Abstract: Systems, methods and apparatus for factoring numbers are provided. The factoring may be accomplished by creating a factor graph, mapping the factor graph onto an analog processor, initializing the analog processor to an initial state, evolving the analog processor to a final state, and receiving an output from the analog processor, the output comprising a set of factors of the number. The factoring may be accomplished by generating a logic circuit representation of the factoring problem, such as a multiplication circuit, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s).

Abstract: A novel Levenberg-Marquardt like second-order algorithm for tuning the Parzen window ? in a Radial Basis Function (Gaussian) kernel. Each attribute has its own sigma parameter. The values of the optimized ? are then used as a gauge for variable selection. Kernel Partial Least Squares (K-PLS) model is applied to several benchmark data sets to estimate effectiveness of second-order sigma tuning procedure for an RBF kernel. The variable subset selection method based on these sigma values is then compared with different feature selection procedures such as random forests and sensitivity analysis. The sigma-tuned RBF kernel model outperforms K-PLS and SVM models with a single sigma value. K-PLS models also compare favorably with Least Squares Support Vector Machines (LS-SVM), epsilon-insensitive Support Vector Regression and traditional PLS.

Abstract: A control model updating device includes a control model calculating unit that calculates a control model using analysis data, a control model updating unit that updates by accepting the control model, and a data suitability evaluating unit that evaluates the suitability of analysis data. The data suitability evaluating unit has a function characteristic prior knowledge storing unit that stores prior knowledge regarding a characteristic obtained in advance regarding the subject of control, a quadratic polynomial calculating unit that calculates a quadratic polynomial wherein the analysis data is approximated by a quadratic function, and a characteristic evaluating unit that compares a characteristic of the quadratic polynomial, calculated by the quadratic polynomial calculating unit, to prior knowledge stored in the function characteristic prior knowledge storing unit. The control model updating unit updates the control model if the two match in the comparison.

Abstract: This application discloses a system for recording medical image data for production on a portable digital recording medium such as CDs and DVDs. Aspects of this disclosure include a robotic disc burning system that can receive a request to record medical image data on the data storage medium. The system includes, among other components, an auditing component configured to transmit to an audit module audit data that includes an identifier associated with the data storage medium, an identifier associated with a requester of the recording request, and an identifier associated with a patient associated with the medical image data. Additional aspects of this disclosure include an associated method for recording medical image data.

Abstract: The invention is directed to methods and kits that allow for classification of malignant melanoma cells according to genomic profiles, and methods of diagnosing, predicting clinical outcomes, and stratifying patient populations for clinical testing and treatment using the same.

Abstract: The invention is directed to methods and kits that allow for classification of non-small cell lung carcinoma tumors and cell lines according to genomic profiles, and methods of diagnosing, predicting clinical outcomes, and stratifying patient populations for clinical testing and treatment using the same.

Abstract: The invention is directed to methods and kits that allow for classification of colorectal cancer cells according to genomic profiles, and methods of diagnosing, predicting clinical outcomes, and stratifying patient populations for clinical testing and treatment using the same.

Abstract: An improved algorithm for calculating multimode fiber system bandwidth which addresses both modal dispersion and chromatic dispersion effects is provided. The radial dependence of a laser transmitter emission spectrum is taken into account to assist in designing more effective optical transmission systems.

Abstract: The present invention teaches a medical procedure training system based on a PC platform that provides multimodal education within a virtual environment. The system integrates digital video, three-dimensional modeling, and force-feedback devices for the purpose of training medical professionals medical procedures.

Abstract: Incoming data from, for example, an array of detectors, may be received. A dynamical system may be initialized corresponding to a modality of the incoming data so that a measurement probe based on the initialized dynamical system may be generated. Such a measurement probe may be injected into a quantum mechanical system so that it may be determined whether the injection of the measurement probe into the quantum mechanical system results in a collapse of the quantum mechanical system. Thereafter, it may be determined that a signal is present within the incoming data if the quantum mechanical system collapses. Related methods, apparatuses, systems, and computer-program products are also described.

Abstract: A method for providing a new workflow that reuses an existing workflow includes displaying one or more collections of existing workflows available for selection; receiving a selection of one of the one or more existing workflow collections; displaying one or more existing workflows associated with the selected existing workflow collection; receiving a selection of one of the existing workflows in the selected existing workflow collection; receiving a selection of a variable in the selected existing workflow to be used in the new workflow; and storing the new workflow such that, when executed, the new workflow utilizes the selected variable from the existing workflow.

Abstract: A method for converting traditional ladder diagrams for programmable controllers according to model 984, for example, the traditional ladder diagrams being read and executed column by column, into ladder diagrams for IEC 61131-oriented controllers, for example, with the ladder diagrams being read and executed in a data flow-oriented manner. In order to carry out the method, it is determined, in the ladder diagrams that are traditionally read and executed column by column, whether variables are provided on coils as well as on contacts within the network, and it is determined whether the contact is processed according to model 984 in front of the associated coil and according to the IEC model behind the associated coil. If so, an additional variable is generated for each such variable, and the additional variable is fed to the respective contact instead of the original variable.

Abstract: A method for creating entropy in a virtualized computing environment includes waking one or more samplers, each sampler having a sampling frequency; sampling a sample source with each of the one or more samplers; placing each of the samplers in an inactive state when not sampling; determining a difference between an expected value and a sampled value at each sampler; and providing a function of the difference from each of the one or more samplers to an aggregator.

Abstract: The present invention certifies control modules of engineered safety feature instruments for a power plant automatically. The control modules can be tested before storing or operating. The test is done with enhanced testing speed and saved cost. Thus, safety of the control modules is confirmed.

Abstract: The simulation information creating part 111 generates random numbers corresponding to the correlation coefficient data between the simulation model parameters, and also creates the simulation model library having correlated model parameters with variations, and the simulation net list for the objective characteristic, by Monte Carlo method using the typical simulation model library, the standard deviations for the plural simulation model parameters and the simulation net list for the typical objective characteristic. The simulation part 112 obtains samples having the objective characteristics with variations. The yield estimation part 120, estimates the yields by determining whether the samples satisfy the predetermined specification or not (Pass or Fail), wherein by repeating the determination by making the simulations again only for the samples on which the filter having the function of learning the boundary for decision of Pass or Fail did not determine as Pass.

Abstract: The present disclosure relates to computational and/or control systems and methods related to nutraceutical agent selection and dosing.

Abstract: Systems and methods are provided for the identification of available payers for healthcare transactions. A reply to a healthcare claim transaction may be received from a claims processor computer. Based at least in part on the reply, a determination may be made that the healthcare claim transaction has been rejected for an eligibility reason. An available payer for a patient associated with the received reply may be identified subsequent to the determination. Information associated with the identified available payer may be communicated to a healthcare provider associated with the healthcare claim transaction.

Abstract: A method for establishing a simulating signal suitable for estimating a complex exponential signal includes the following computer-implemented steps: sampling a time domain signal of a physical system to obtain a sampling signal; transforming the sampling signal to a frequency domain signal using Fast Fourier Transform; determining parameters of the frequency domain signal; establishing a simulating signal; establishing a target function which is a deviation of the simulating signal from the sampling signal; obtaining correcting factors; iterating the target function using a gradient method and the correcting factors to obtain three sets of iterated signal parameters; obtaining corrected parameters using quadratic interpolation; and using the corrected parameters to correct the simulating signal, and establishing an updated target function. The simulating signal can be used to estimate dynamic behavior of the physical system if the updated target function converges to a tolerable range.

Abstract: In the present invention, in a case where a stable equilibrium point calculation is not calculable by using a Newton method, a damping factor of a mechanical system differential equation of a generator is set to be greater than an actual value of the generator of the power system. By applying pseudo-transient simulation to the nonlinear differential algebraic equation of the power system including the mechanical system differential equation of the generator, in which the damping factor is set, a norm of a mechanical system equation is found. If the found norm meets a predetermined condition, variable values of the power system at a time when the norm is found are set as initial values of the nonlinear differential algebraic equation of the power system. A stable equilibrium point is determined by applying the Newton method to the nonlinear differential algebraic equation in which the initial values are set.

Abstract: An ultrasound training system having a data capture module, a digital asset management module, a validation module, didactic content, a media asset production module, an integration layer, an internet-based portal, a software client, and a peripheral probe. The combination of the disclosed elements creates a system that enables the creation and delivery of high-quality ultrasound education and training in a low-cost, widely deployable, and scalable manner, with a facilitated method for processing orders and financial transactions between customers and content providers.

Abstract: The present invention is a method and system for detecting an abnormal on-line analysis or laboratory measurement and for predicting an abnormal quality excursion due to an abnormal process condition.

Abstract: A method and system for determining and optimizing an insurance company's asset-liability risk is disclosed. The method and system comprises determining numerous earnings at risk (EaR) estimates to assess risks associated with asset and liability portfolios. EaR estimates may be determined through modeling of various risk factors. The EaR calculations may be processed through a distributed processing infrastructure to maximize efficiency and cycle time.

Abstract: A simulation system is proposed that makes use of historical and live data sensed for one or more objects (e.g., people, cars, balls, rackets, etc.). An event will include one or more decision points. A choice of an action to take at a decision point is made. That chosen action will be simulated based on the historical and live data. The simulation can be compared to the actual action taken in the event as a way to judge the choice. Although the choice of action to take at the decision point is simulated, the real event is not altered by the choice.

Abstract: Methods and systems for modeling and displaying magnetic field intensities during Transcranial Magnetic Stimulation (TMS) are described, particularly methods and system for modeling and displaying TMS using overlapping magnetic fields to stimulate deep brain regions.

Abstract: A method includes receiving data values associated with one of a position and orientation of a simulated scanner relative to an object. Image values are calculated, substantially in realtime, based on the data values. A simulated ultrasound image is rendered in a graphical display based on the image values. The simulated ultrasound image is representative of an interior or a simulated interior of the object on the ultrasound scan plane. Ultrasound simulation systems are also disclosed.

Abstract: A computer-implemented system and method analyzes the thermodynamic and mechanical properties of a molecule or collection of molecules within a chemical environment under given thermodynamic conditions. The system is based on user-defined rules for a free energy decomposition and its reconstitution, explicit solute and implicit solvent specifications, and a selection of thermodynamic conditions. One template structure or multiple template structures define an explicit solute specification. Each template structure consists of a list of atoms and their coordinates. Input data is processed to produce a flexibility and stability test and return global thermodynamic properties, such as free energy, enthalpy, entropy and heat capacity as a function of temperature. Implemented via pebble game theory, global mechanical properties are determined based on the statistics of rigid and flexible regions that thermally fluctuate over ensembles of accessible states consistent with selected order parameters.

Abstract: A method and system for providing efficient and flexible techniques for modeling technical and economic benefits of consolidating information technology (IT) systems, hardware, software, network, and other infrastructure are described. The system includes a data processing system configured to receive data from a user. The system also includes an input collection system communicatively coupled to the data processing system, with the input collection system designed to organize, convert, and sort the data to generate baseline server information. In addition, the system includes an optimization system communicatively coupled to the data processing system, with the optimization system designed to generate one or more server consolidation models based on the baseline server information. Further, based on the generated one or more server consolidation models, a recommendation can be generated.

Abstract: A machining simulation apparatus is arranged in a machine tool having a tool holding mechanism, a workpiece holding mechanism, a drive mechanism and a numerical controller, and provided with: an actual CCD camera for imaging a tool held by the tool holding mechanism and the workpiece holding mechanism not holding a workpiece to generate actual image data; a model data update processing section for generating model data relating to when moving the holding mechanisms based on the operation command received from the numerical controller and the model data of the holding mechanisms, tool and workpiece; a virtual image generation processing section for generating virtual image data of the tool and workpiece based on the generated model data; and a rendering processing section for generating composite image data by superimposing the virtual image on the actual image, and displaying the composite image data on a screen display device.

Abstract: An exemplary embodiment may provide a repository for containing representations that represent a model or a portion of the model. A user may store the representations in the repository, for example, as functions. The functions stored in the repository may be shared and used for processing another model that includes a pattern performing the same or similar function as the representations stored in the repository. A checksum may be compared to determine an equivalent function in the repository. In a different embodiment, the intermediate representation of the pattern may be compared to determine an equivalent function in the repository.

Abstract: A system and method for verifying the receive path of an input/output device such as a network interface circuit. The device's operation with various different input sources (e.g., networks) and output sources (e.g., hosts, host buses) is modeled in a verification layer that employs multiple queues to simulate receipt of packets, calculation of destination addresses and storage of the packet data by the device. Call backs are employed to signal completion of events related to storage of packet data by the device and modeling of data processing within the verification layer. Processing of tokens within the verification layer to mimic the device's processing of corresponding packets is performed according to a dynamic DMA policy modeled on the device's policy. The policy is dynamic and can be updated or replaced during verification without interrupting the verification process.

Abstract: In one embodiment, a model of a system includes one or more event-driven blocks and one or more time-driven blocks. The model is executed in part by receiving an entity from a event-driven block, and in response to receiving the entity, generating a time-varying data signal descriptive of the entity. The data signal is passed to one or more time-driven blocks, which generate one or more results at least in part from the data signal, and display at least some of the one or more results.

Abstract: Ceremonial installation, comprising a movable object (1), provided with an energy source (4) and a device (6) for actuating the energy source, linked to a computer memory, a programmer (8) of the actuation device and an interface (2) between the programmer and the memory, the actuation device being controlled by a physical separation of the object (1) from a support (2) and/or a physical contact of the object with said support, after said separation and/or a physical and/or chemical parameter of the object or of the environment of the object and/or a defined spatial position of the object.

Abstract: Flight management systems can behave erratically when the distance measurements on which they are based are subject to value jumps because they liken these value jumps to movements of the aircraft performed at speeds exceeding the performance levels of the aircraft for which they were designed. To avoid this, the proposed flight management system uses a filter to spread the distance value jumps in time, over periods of the order of those needed for the aircraft to come through the distance differences that they represent. This filter replaces a value jump with a ramp making up the difference and corresponding to a movement that remains within the performance scope of the aircraft.

Abstract: An amplitude modulator circuit includes a reference oscillator and an envelope modulator coupled to the reference oscillator for receiving a reference signal. A microcontroller is coupled to the envelope modulator for providing an envelope signal to the envelope modulator and a low pass filter is coupled to the envelope modulator for receiving a modulated command from the envelope modulator. An inverter is coupled to the low pass filter for receiving a low passed envelope modulated signal from the low pass filter and a transducer or amplifier is coupled to the inverter and the low pass filter for receiving an inverted low passed signal and the low passed envelope modulated signal.

Abstract: A method of modeling a composite emotion in a multidimensional vector space, is provided with creating an emotion vector space by defining dimensions of a vector space in consideration of stimuli affecting emotions, and dividing a defined multidimensional vector space into emotion regions. Further, the method of modeling a composite emotion in a multidimensional vector space includes creating a composite emotion by calculating a fuzzy partitioned matrix between a current state vector and respective representative vectors in the created emotion vector space.

Abstract: A method is presented for selecting the order in which parameters are evaluated for inclusion in a model of a film stack, which is by ranking them according to measurement precision. Further, a method is presented for determining which parameters are to be floated, set, or discarded from the model, which is by determining whether average chi-square and chi-square uniformity decreases or increases when the parameter is added to the model. In this manner, a model for the film stack can be quickly assembles with a high degree of accuracy.

Abstract: A computer-readable electronic services management system for a mobile communications network, comprising a distributed network of agents in the form of collaborative autonomous software agents wherein the agents are configured to represent and act on behalf of a user and to communicate with each other to manage, for the user, one or more electronic services (e.g. electronic messages, a purchase etc.) via the user's communications devices. Multiple types of agents include a primary personal agent, a primary creation agent for creating other agents and subordinate agents, and a primary destruction agent for destroying agents meeting pre-determined criteria based on a threshold value in relation to an agent value coefficient. Collaboration between agents is by a private user whiteboard facility whereby collaborating agents post to the whiteboard addressed electronic services, including service tasks to be performed for the user, and extract from the whiteboard electronic services addressed to them.

Abstract: A method and systems are provided for screening and rapid evaluation of routed nets in a post-layout circuit environment, such as in the design of printed circuit boards. A portion of nets are selected for determination of associated signal quality factors. Signal channels containing one or more selected nets are then built. A reference input stimulus is propagated along each of the signal channels in a frequency based simulation for generating characteristic responses of the selected nets' signal channels. A signal channel quality factor is obtained for each signal channel based upon its characteristic response. The signal channels and their nets are then comparatively analyzed according to corresponding signal channel quality factors to selectively identify any aberrant nets warranting supplemental evaluation for faults.

Abstract: In an electronic device and a method for computing optimal parameters of an equalization filter, an output file, which comprises times and voltages of data points that represent a signal, of electronic circuit simulation software is loaded, and is read using the installed post-processing software. A time interval of outputs of the signal is obtained by selecting an output type of the signal. A parameter file which includes several sets of equalization parameters of the equalization filter is received, to select optimal equalization parameters for the equalization filter from the several sets of equalization parameters according to the times, the voltages, and the time interval, using a parameter formula y(n)=a*x(n)?b*x(n?1)?c*x(n?2).

Abstract: A computer-implemented method for the design of a power supply is disclosed. Multiple lists of power supply design variables are provided. The method includes simulating a first power supply design in response to power supply design variables selected from these multiple lists of variables. The method then calculates a score of the first power supply design and determines whether the score is better than the score of any power supply design included in a set of power supply designs. If so, the method replaces a power supply design having a worst score from the set of power supply designs with the first power supply design.

Abstract: A biological information monitoring system includes a plurality of biological information sensor modules 1A and 1B attached to the right side and left side of a subject body, which sensor modules 1A and 1B each incorporate a biological information sensor for detecting biological information, and a communicator capable of wireless radio communication for the biological information. At least one of the biological information sensor modules 1A and 1B includes a determination device for performing determination of an abnormality by comparing the biological information detected by one biological information sensor in one of the sensor modules with biological information sent from the other biological information sensor module through the communicator.

Abstract: Methods for interactive simulation using a handheld calculator are provided. One method for interactive simulation includes receiving, by the handheld calculator, experiment data from a data source collecting the experiment data as an experiment is conducted, and using a portion of the experiment data to drive behavior of a simulation of the experiment executing on the handheld calculator. Another method for interactive simulation includes executing a simulation of an experiment on the handheld calculator, and sending, by the handheld calculator, experiment control data generated by the simulation to a data source operatively connected to the experiment, wherein the data source uses the experiment control data to control the experiment.

Abstract: Improved responses can be generated to scan patterns (e.g., test patterns) for an electronic circuit designs having timing exception paths by more accurately determining the unknown values that propagate to observation points in the circuit, where the response is captured. For instance, the responses are determined more accurately by analyzing the effect of sensitizing a timing exception path during each time frame associated with a scan pattern. Path sensitization can be determined based on observing whether values injected at starting points of the timing exception paths due to signal transitions and glitches propagate to their end points. The response can be updated by masking the affected end points and propagating unknown values further in the circuit to determine whether they are captured at observation points of the circuit. For instance, the methods and systems described herein may result in reduced unknowns, improved test coverage and test compression.

Abstract: In a graphical modeling environment supporting a model having at least two different analysis frameworks operating therein, a system and corresponding method of processing the graphical model modify the model to group model portions together for processing in the same analysis framework. Model parts are identified and associated with the analysis framework in which they operate. Model parts are then grouped based on their association with their analysis framework to form model portions that operate in one of the different analysis frameworks. In instances where topological separation of model portions operating in the same analysis framework occurs, the system and method reconfigure intervening model portions to be amenable with operation in the analysis framework of the surrounding model portions to improve processing efficiency.

Abstract: A method and apparatus may linearize a model representing a dynamic system without using perturbation techniques. The model may include a differential-algebraic system of equations to represent the dynamic system. The mass matrix of the model may be singular. The linear model of the system may be generated in a state-space representation using the analytic Jacobians of the model.

Abstract: A circuit verifying method is provided for a logic circuit of a first sequential circuit which outputs a first data based on an input data in synchronization with a first clock signal, and a second sequential circuit which outputs a second data based on the first data in synchronization with a second clock signal with a period longer than that of a first clock signal. The circuit verifying method includes detecting a change of the input data in synchronization with the first clock signal; outputting a data indicating a meta stable state during a period longer than one period of the first clock signal based on the change of the input data as the first data; storing the changed input data in a storage unit based on the change of the input data; and outputting the changed input data which has been stored in the storage unit as the first data after stop the output of the data indicating the meta stable state.

Abstract: A method for emulating human cognition in electronic form is disclosed. Information is received in the form of a textual or voice input in a natural language. This is parsed into pre-determined phrases based on a stored set of language rules for the natural language. Then, the parsed phrases are determined as to whether they define aspects of an environment and, if so, then creating weighting factors to the natural language that are adaptive, the created weighting factors operable to create a weighted decision based upon the natural language. Then it is determined if the parsed phrases constitute a query and, if so, then using the weighted factors to make a decision to the query.

Abstract: The invention relates to the processing of application logic of a virtual and a real-world ambient intelligence environment. An embodiment of the invention provides a system (10) for processing application logic (12) of a virtual and a real-world ambient intelligence environment, wherein the virtual ambient intelligence environment is a computer generated simulation of the real-world ambient intelligence environment and—the application logic defines at least one interactive scene in the virtual and the real-world ambient intelligence environment.

Abstract: The present invention provides a method and apparatus for sensing and determining the shapes of deformable materials, shaped by a plurality of actuators, using sparse sensor network topologies. The method comprises placing a plurality of curvature sensors on the surface of a deformable material to measure the local curvatures of the deformable material. The plurality of curvature sensors generate a collection of sensor data correlated to the local curvatures. Actuator parameters are generated from sensor data by assuming linear approximation between sensors data and actuator parameters. The shape of the deformable material is determined from the generated actuator parameters.

Abstract: A computer interface for use with a computer simulation system. The interface includes a first grip portion and a second grip portion pivotably coupled to the first grip portion. An actuator is coupled to at least one of the two grip portions and is configured to provide feedback to a user.