|
Match
|
Document |
Document Title |
|
|
7349833 |
2D central difference level set projection method for ink-jet simulations
A coupled level set projection method is incorporated into a finite-difference-based ink-jet simulation method to make the simulation easier and faster to run and to decrease the memory...
|
|
|
7346486 |
System and method for modeling, abstraction, and analysis of software
A system and method is disclosed for formal verification of software programs that advantageously translates the software, which can have bounded recursion, into a Boolean representation comprised...
|
|
|
7346458 |
Genotyping method using DNA chip
A robust genotyping method using a DNA chip is provided. In the DNA chip used in the genotyping method, optimal probe pairs of a wild-perfect match probe and a mutant-perfect match probe are...
|
|
|
7343271 |
Incorporation of a phase map into fast model-based optical proximity correction simulation kernels to account for near and mid-range flare
A first method to compute a phase map within an optical proximity correction simulation kernel utilizes simulated wavefront information from randomly generated data. A second method uses measured...
|
|
|
7343269 |
Object designing method, object designed by said method, and program for executing said method
Designing system 10 is equipped with a primary sequence setting portion 42 , which computes primary golden values using the golden ratio on a set reference value and sets these primary golden...
|
|
|
7343270 |
Method for modeling asphaltenes flocculation conditions in hydrocarbon-containing fluids related to a reference fluid
Method for modeling the flocculation conditions of hydrocarbon-containing fluids under pressure, related to a reference fluid. The asphaltenic properties are modeled from the results of an...
|
|
|
7340083 |
Method and system for atherosclerosis risk scoring
A method for characterizing the risk associated with atherosclerosis is disclosed. The method uses one or more images of cross-sections of the artery or other vessel of interest to identify and...
|
|
|
7337097 |
Dynamic modeling technique for the deployment of large satellite antennas
A method for modeling a structure deployed on a spacecraft. The method includes determining a geometric shape that resembles the structure in a fully deployed configuration; generating time...
|
|
|
7337099 |
Method, arrangement and computer program for generating database of fuel bundle designs for nuclear reactors
A method, arrangement and computer program is described for generating a database of selectable fresh fuel bundle designs usable in one or more nuclear reactors. In an example, an initial...
|
|
|
7333923 |
Degree of outlier calculation device, and probability density estimation device and forgetful histogram calculation device for use therein
Degree of outlier of one input data is calculated by an amount of change in a learned probability density from that before learning as a result of taking in of the input data. This is because data...
|
|
|
7333924 |
Method and system for device level simulation of large semiconductor memories and other circuits
A method for device level simulation of a circuit modeled by a set of CCR graphs, a computer system programmed to perform such a method, and a computer readable medium which stores code for...
|
|
|
7330767 |
Configuration and viewing display for an integrated model predictive control and optimizer function block
An interface or display routine is provided for use in viewing and configuring a function block that performs integrated optimization and control within a process control system. The interface...
|
|
|
7330805 |
Method for predicting bending durability of electric wire and bend protection member, and apparatus and recording medium storing program therefor
A wires laid at a predetermined bend, a bend protection member, an atmosphere temperature and the initial shape and the final bent shape of the wires and the bend protection member are designated,...
|
|
|
7330187 |
Hybrid processing of OpenGL display list commands
A hybrid method or apparatus for processing OpenGL display list commands. A deamon intercepts display list commands issued by a client to an OpenGL stack. Responsive to a newList [list commands]...
|
|
|
7331023 |
Modelling current flows in three-dimensional conductive and dielectric bodies
Current flows in a three-dimensional conductive or dielectric body embedded in a substrate of a different material are modelled in terms of surface currents induced in planar surfaces bounding the...
|
|
|
7328424 |
Method for determining a matrix of transmission cross coefficients in an optical proximity correction of mask layouts
The present invention relates to a method for determining a matrix of transmission cross coefficients w for an optical modeling in an optical proximity correction of mask layouts. In a first step,...
|
|
|
7328140 |
Method for designing passenger air bag door for invisible airbag
A method for designing a PAB door for an invisible airbag provided to a passenger-side seat of a vehicle includes defining levels of a noise factor depending on a process condition of laser scoring...
|
|
|
7328139 |
Device and software package for extracting a geological horizon and related properties
The invention concerns a method for extracting a geological horizon and related properties of a seismic representation, comprising a step ( 100 ) which consists in digital modeling with continuous...
|
|
|
7328074 |
Real-time quadratic programming for control of dynamical systems
Real-time control of a dynamical system is provided by determining control variables that get as close as possible to producing a desired response. Additional consideration of physical limitations...
|
|
|
7324927 |
Fast feature selection method and system for maximum entropy modeling
A method to select features for maximum entropy modeling in which the gains for all candidate features are determined during an initialization stage and gains for only top-ranked features are...
|
|
|
7325217 |
Automatic wiring method for the crosstalk reduction
A computer implemented method for designing a semiconductor integrated circuit includes extracting a global wire susceptible to an influence of crosstalk from among a plurality of global wires...
|
|
|
7324934 |
Feedback process to model CP utilization in multi-processor performance models
Feedback control algorithms for controlling a given simulation model which relates to a computer-program-based method and respective system for providing a feedback control for a given set of...
|
|
|
7324926 |
Methods for predicting chemosensitivity or chemoresistance
Methods and apparatus for classifying or predicting the classes for samples based on gene expression are described. Also described are methods and apparatus for ascertaining or discovering new,...
|
|
|
7321810 |
Method of dynamic economic dispatch
Certain exemplary embodiments provide a method comprising: for an electrical power system comprising a plurality of committed electrical power generating units: for each of the committed electrical...
|
|
|
7319945 |
Automated methods for simulating a biological network
The present invention relates to methods, computer systems, and computer programs for simulating a biological network. The methods of the present invention facilitate biological network simulations...
|
|
|
7319520 |
Method for separating fluorescence spectra of dyes present in a sample
A system and a method for setting a fluorescence spectrum measurement system for microscopy is disclosed. Using illuminating light ( 3 ) from at least one laser that emits light of one wavelength,...
|
|
|
7319943 |
Optimum design method, and apparatus, and program for the same
In an optimum design method comprising a first solution determining step of solving an optimization problem of a first evaluation function for a state variable vector with a design variable vector...
|
|
|
7318207 |
Apparatus and method for verifying layout interconnections using power network analysis
A method for verifying layout interconnections includes extracting a loop circuit as a loop portion in a first circuit model. The first circuit model includes first branch interconnections included...
|
|
|
7318013 |
Method for slurry and operation design in cuttings re-injection
A method for simulating cuttings re-injection in a wellbore, that includes defining a mass balance equation for a solids bed, defining a mass balance equation for a suspension solids, segmenting...
|
|
|
7318012 |
Problem solving method utilizing emergent clustering and case retrieval
An Adaptive, Any-Time Case Retrieval process combines existing knowledge (emergent clustering, case retrieval with CRN) in a novel and advantageous way. Although ideally suited to the Digital Body...
|
|
|
7315798 |
Method of identifying boundary condition between components of object of analysis
A natural frequency and a calculated mode vector are calculated by using a finite-element method models for analysis which include an object of analysis including a plurality of components and a...
|
|
|
7315799 |
Method of and article of manufacture for determining probability of avian collision
A method of calculating probability of collision by birds within a wind park includes modeling a wind turbine to create a wind-turbine model, modeling a challenged bird to create a challenged-bird...
|
|
|
7313503 |
Designing layout for internet datacenter cooling
A system and method to model and design a layout of an Internet Datacenter (IDC) for cooling. The IDC is defined as a collection of cells, the cells of the IDC are pre-characterized, an arrangement...
|
|
|
7310788 |
Sample probability of fault function determination using critical defect size map
Methods, systems and program products for determining a probability of fault (POF) function using critical defect size maps. Methods for an exact or a sample POF function are provided. Critical...
|
|
|
7308392 |
Processes and systems for predicting biological species invasions
Methods and systems are disclosed for predicting species invasions. Native species occurrence information and native environmental information are received. At least one ecological niche model is...
|
|
|
7308363 |
Modeling and evaluation metabolic reaction pathways and culturing cells
Biological and chemical systems are represented as a symbolic model. Minimal sets of elements of the system are identified from the model, for example, by automatic inference. The model can be...
|
|
|
7308365 |
Automated projection spectroscopy (APSY)
A method of projection spectroscopy for N-dimensional NMR experiments with the following steps. Data recording through; a) selection of N-dimensional NMR experiments out of a group of N-dimensional...
|
|
|
7308388 |
Method and apparatus for risk management
An integrated risk management tool includes a persistent object database to store information about actors (individuals and/or groups), physical surroundings, historical events and other...
|
|
|
7308389 |
Method of predicting shape of wire-like structure, its apparatus and its program
A wire harness constituted by bundling a plurality of pieces of line streak members by a predetermined exterior member is regarded to be an elastic body having a circular shape and coupled with a...
|
|
|
7305330 |
Life predicting method for rolling bearing, life predicting device, rolling bearing selecting device using life predicting device, program and environment coefficient determining method
To predict a correction rated life at high accuracy. A life predicting device executes step S 1 , step S 2 , step S 4 for inputting specification information including a basic dynamic rated load C...
|
|
|
7304642 |
Analysis model producing/assisting apparatus
An analysis model producing/assisting apparatus produces a recognition model, approximating surfaces of configuration and ridgelines thereof by planes and lines, from a configuration model showing...
|
|
|
7305333 |
Projection electron beam lithography apparatus and method employing an estimator
A process and method for projection beam lithography which utilizes an estimator, such as a Kalman filter to control electron beam placement. The Kalman filter receives predictive information from...
|
|
|
7302379 |
DSL system estimation and parameter recommendation
Estimates of a communication system configuration, such as a DSL system, are based on operational data collected from a network element management system, protocol, users and/or the like. The...
|
|
|
7302367 |
Library accuracy enhancement and evaluation
The accuracy of a library of simulated-diffraction signals for use in optical metrology of a structure formed on a wafer is evaluated by utilizing an identity relationship inherent to simulated...
|
|
|
7302375 |
Simulation of processes, devices and circuits by a modified newton method
Roughly described, a method for numerically solving a system of equations of the form
0= F ( X ),
|
|
|
7302369 |
Traffic and geometry modeling with sensor networks
A method models movement of users in an environment including sensors connected in a network. Events due to movement of the users are detected at the sensors and each event is labeled according to...
|
|
|
7299164 |
Mixed-signal finite state machine models ensuring analog continuity
A modeling technique that extends the formalism of finite state machines to analog and mixed-signal systems is proposed. The intended use of this technique is to generate continuous mixed-signal...
|
|
|
7299162 |
Method and apparatus for providing a polynomial based virtual age estimation for remaining lifetime prediction of a system
A method for providing a virtual age estimation for predicting the remaining lifetime of a device of a given type, comprises the steps of monitoring a predetermined number of significant parameters...
|
|
|
7299445 |
Nonlinear receiver model for gate-level delay calculation
A characterized cell library for EDA tools includes receiver model data that provides two or more capacitance values for a given receiver modeling situation (signal type and operating conditions)....
|
|
|
7299459 |
Parser for signomial and geometric programs
A method and apparatus for parsing signomial and geometric programs, referred to herein as “the Parser”. Signomial and Geometric programming is a unique class of mathematical problems that is...
|