Abstract: A method, apparatus, and program product generate an estimation of an incremental recovery for an Enhanced Oil Recovery (EOR) process performed on a naturally-fractured reservoir by classifying the naturally-fractured reservoir based upon a set of reservoir properties associated with the naturally-fractured reservoir, and generating an estimation of the incremental recovery for at least one EOR process based on the classification of the naturally-fractured reservoir.

Abstract: An embodiment includes a computer-readable media storing instructions that when executed on processing logic execute a process for reducing complexity. The media stores instructions for identifying data dependencies in a model having executable semantics, the data dependencies affecting verification of the model and for selecting a location in the model, the location having data dependencies with other locations in the model, the location to be verified when the model is verified. The media also stores instructions for detecting complexities in the model, the complexities related to the selected location and presenting information about a source for at least one of the complexities. The media further stores instructions for eliminating the source for the at least one of the complexities and for transforming the model into an updated model based on the eliminating, the updated model not including the source for the at least one of the complexities.

Abstract: A computer-implemented method for configuring an advection diffusion model may include retrieving, via a processor, a plurality of advection diffusion model parameters indicative of model extremes of the advection diffusion model, retrieving, via the processor, convergence area information indicative of a convergence area for the advection diffusion model, determining, via the processor, an accuracy metric for each of the plurality of advection diffusion model parameters, selecting, via the processor, an optimal advection diffusion model parameter from the plurality of advection diffusion model parameters, and configuring, via the processor, the advection diffusion model with the optimal advection diffusion model parameter.

Abstract: Methods and apparatuses related to the generation of test stimuli are described. In some embodiments, a finite state machine is generated based on a mission profile, and test stimuli are generated based on the mission profile.

Abstract: The floating memristor emulator is based on a circuit implementation that uses grounded capacitors and CFOAs in addition to combinations of diodes and resistors to provide the required nonlinearity and time constants. This circuit results in low power consumption, cost reduction and ease of implementation because it avoids the use of multipliers, ADCs and RDACs. The present circuit is used in an FM demodulator, which exploits the frequency-dependence of the memristance. Successful use in the FM demodulator confirmed the functionality of the present floating memristor emulator circuit.

Abstract: The present disclosure relates to a computer-implemented method for electronic design verification. Embodiments may include providing an electronic design including, at least in part, one or more hardware description languages and one or more software programming languages. Embodiments may further include calculating configuration information without analyzing the electronic design, wherein the configuration information includes one or more memory elements configured to control a mode of operation of the electronic design. Embodiments may also include determining a change in the one or more memory elements and altering a function associated with the electronic design verification based upon, at least in part, the determined change.

Abstract: Various implementations of the invention provide for the determination of a test set that satisfies a coverage model, where portions of the search space need not be searched in order to generate the test set. With various implementations of the invention, a search space defined by a set of inputs for an electronic design and a coverage model is identified. The search space is then fractured into subspaces. Subsequently, the subspaces are solved to determine if they include at least one input sequence that satisfies the coverage constraints defined in the coverage model. The subspaces found to include at least one input sequence that satisfies these coverage constraints, are then searched for unique input sequences in order to generate a test set. Subspaces found not to include at least one input sequence that satisfies the coverage constraints may be excluded from the overall search space.

Abstract: A method of checking joule heating of an integrated circuit design, the method includes dividing the integrated circuit design into a plurality of windows, determining a power index of each window, adjusting the specification current value associated with each of the corresponding windows, and generating a current violation report, by a processor, of the integrated circuit. Each window includes one or more circuit elements. Each circuit element is associated with a corresponding current value. Each window is associated with a corresponding specification current value. Each power index is associated with a corresponding window. An amount of adjustment of the specification current value is a function of the power index of each corresponding window. The current violation report includes one or more entries. Each entry is associated with at least a corresponding window and one or more corresponding current values which exceed the corresponding adjusted specification current value.

Abstract: The application is directed towards facilitating the debugging of suspected errors in a proprietary component when the proprietary component is incorporated into a larger electronic design. Various implementations provide for the generation of a reference model for an integrated circuit design, where the reference model includes the proprietary component and sufficient information about the rest of the design to allow for the debugging of the proprietary component over a period of verification where the error in the proprietary component is suspected.

Abstract: An example method of generating a control and data flow graph for hardware description language (HDL) code specifying a circuit design is described. The method includes traversing an abstract syntax tree (AST) representation of the HDL code having a plurality of modules on a module-by-module basis. The method further includes adding an execution unit to the control and data flow graph for each module having concurrent paths. Each execution unit includes nodes in the control and data flow graph. The nodes include a loopback sink that merges the concurrent paths and a loopback source that receives feedback from the loopback sink and propagates the feedback to the concurrent paths.

Abstract: A method and system are provided for tuning parameters of a synthesis program for a design description. The method includes (a) ranking individual parameter impact by evaluating a design-cost function of each of the parameters. The method further includes (b) creating a set of possible parameter combinations that is ordered by an estimated-cost function. The method additionally includes (c) selecting, from the set of possible parameter combinations, top-k scenarios having best estimated costs to form a potential set, and running at least some of the top-k scenarios in parallel through the synthesis program. The method also includes (d) repeating steps (b)-(c) for one or more iterations until at least one of a maximum iteration limit is reached and an exit criterion is satisfied.

Abstract: Embodiments of the present invention provide methods for optimizing a lithographic projection apparatus including optimizing projection optics therein, and preferably including optimizing a source, a mask, and the projection optics. The projection optics is sometimes broadly referred to as “lens”, and therefore the joint optimization process may be termed source mask lens optimization (SMLO). SMLO is desirable over existing source mask optimization process (SMO), partially because including the projection optics in the optimization can lead to a larger process window by introducing a plurality of adjustable characteristics of the projection optics. The projection optics can be used to shape wavefront in the lithographic projection apparatus, enabling aberration control of the overall imaging process.

Abstract: The present disclosure relates to a system and method for determining an effective electrical resistance in an electronic circuit design. Embodiments may include receiving, at one or more computing devices, an electronic circuit design and identifying one or more features associated with the electronic circuit design. Embodiments may also include performing a resistance only extraction of a circuit net associated with the electronic circuit design and identifying at least two node locations from the electronic circuit as one or more port nodes. Embodiments may further include reducing the resistance only extraction to an equivalent circuit including only the port nodes and attaching a high-resistance ground voltage source to at least one of the port nodes of the reduced equivalent circuit. Embodiments may also include generating a conductance matrix, based upon, at least in part, the reduced equivalent circuit.

Abstract: A method and system are provided for automatically enforcing a schematic layout strategy applied to a group of schematically represented circuit objects of an electronic circuit design. A circuit editing tool electronically renders schematic representations of circuit objects responsive to user input. A layout object acquisition unit coupled to the circuit editing tool actuates responsive to user input to selectively apply a predetermined layout strategy to at least one group of circuit objects for generating a corresponding layout object. The predetermined layout strategy includes a defining set of placement and interconnection routing schemes for the grouped circuit objects, one relative to the other. A layout object management unit coupled to the layout object acquisition unit and circuit editing tool adaptively reconfigures the layout object in accordance with the layout strategy thereof responsive to an editing operation being imposed on at least one circuit object within the layout object.

Abstract: A method of placing a dummy fill layer on a substrate is disclosed (FIG. 2). The method includes identifying a sub-region of the substrate (210). A density of a layer in the sub-region is determined (212). A pattern of the dummy fill layer is selected to produce a predetermined density (216). The selected pattern is placed in the sub-region (208).

Abstract: Described herein is a method for obtaining a preferred layout for a lithographic process, the method comprising: identifying an initial layout including a plurality of features; and reconfiguring the features until a termination condition is satisfied, thereby obtaining the preferred layout; wherein the reconfiguring comprises evaluating a cost function that measures how a lithographic metric is affected by a set of changes to the features for a plurality of lithographic process conditions, and expanding the cost function into a series of terms at least some of which are functions of characteristics of the features.

Abstract: The present disclosure relates to a system and method for multi-user, at least partially concurrent, electronic circuit design. Embodiments may include recording, at a client computing device, a plurality of operations associated with an electronic circuit design, wherein the electronic circuit design is accessible by multiple users in an at least partially concurrent manner. Embodiments may also include generating a script based upon, at least in part, the recorded operations and displaying, at the client computing device, at least a portion of the generated script.

Abstract: Design methods and systems disclosed use a process window-aware timing analysis of an integrated circuit (IC) chip design for improved accuracy. Specifically, a process distribution for the design is defined and divided into process windows. Timing parameter adjustment factors are assigned to the process windows. A timing analysis is performed in order to acquire an initial solution for a timing parameter (e.g., delay, slack or slew). For each specific process window, this initial solution is adjusted by the predetermined timing parameter adjustment factor assigned to that specific process window. The adjusted solutions for the different process windows account for process window-to-process window variations in the widths of distribution of a process parameter (e.g., leakage power) and can be used to predict whether IC chips manufactured according the IC chip design will meet established timing requirements (e.g., required arrival times (RATs)) regardless of where they fall within the process distribution.

Abstract: Methods for control block size reduction of a controller of an integrated circuit (IC) device through intellectual property (IP) migration in the IC device are disclosed. A disclosed method includes receiving configuration data for the IC device and determining whether IP construction data is defined in the configuration data. The IP construction data contains instruction sets for implementing logical operations of a controller-based IP core in a core region of the IC device. Such data creates flexibility to configure the controller-based IP core in a core logic circuit as a soft IP core, when required. In this scenario, the controller-based IP core can be removed from the controller of the IC device during IC device fabrication. As a result, the footprint (e.g., area) of the controller of the IC device can be reduced, which subsequently increases cost-savings for the IC device fabrication.

Abstract: The present modeling tool and method dynamically generate a maintenance simulation of a vehicle. For doing so, a configuration interface receives a list of components of the vehicle, each particular component comprising parameters defining the particular component. The configuration interface further receives relationships between the components in the list, and determines a plurality of state, transitions, conditions, triggers and actions. A processing unit processes the data received and determined via the configuration interface to generate the maintenance simulation, the maintenance simulation comprising an aggregation of all the determined transitions between the components into a global state machine. The present method may further be performed by a computer program product.

Abstract: A tester for equipment, apparatuses, or components with distributed measurement and analytical functions comprises a simplified test circuit for obtaining key data representative of the operational characteristics of said equipment, apparatus, or component and transmitting these to a sophisticated device capable of other uses, such as a smart phone or tablet computer. The latter analyzes the raw data with reference to values for nominal characteristics or operation of the equipment, apparatus, or component and provides a result indicative of the condition thereof.

Abstract: Methods and systems are disclosed for sensing and assessing a patients responses to tests using a device that may include tactile input, voice input, still image analysis, and responses to visual and auditory stimuli. In one example, a method includes obtaining interactive clinical assessment data using a remote client device and a computer-based control device, the method including providing on a display of a remote client device one or more test prompts for conducting an interactive clinical assessment, each displayed test prompt instructing a user to perform an action using the remote client device in response to the test prompt, and providing on the display of the remote client device one or more potential responses of actions that may be performed in response to the test prompt.

Abstract: An apparatus, computer-readable medium, and computer-implemented method for integrating and sharing patient-related information among members of a medical team in real-time via an authenticated Application Programming Interface (API), includes receiving preliminary patient data corresponding to the patient from a first member of a medical team comprising a plurality of members, the preliminary patient data being received via the authenticated API, generating a patient profile for the patient, the patient profile being accessible to each member of the medical team via the authenticated API, receiving input relating to the patient from a second member of the medical team, the input being received via the authenticated API, and updating the patient profile based at least in part on the received input, with each of the plurality of members of the medical team being able to access the updated patient profile via the authenticated API.

Abstract: A system for confidentially retrieving data from a person, such as by authorized personnel. One embodiment provides a data carrier item such as jewelry, having encrypted data imparted upon the item in manner that is only intelligible after being unencrypted. Such data can be encrypted and/or invisibly disposed such that the data is not identifiable by the public, but can be quickly and accurately retrieved by authorized personnel.

Abstract: An electronic device for aggregating electronic medical records, in which electronic medical records are aggregated from multiple electronic repositories and displayed as a single set of records. The multiple electronic repositories may store records for a particular patient using varying identifying/access information to facilitate anonymous access to the electronic medical records. Emergency medical services providers may be able to access medical records for a patient using the electronic device after being authenticated as a valid/licensed medical services provider.

Abstract: A method. The method includes, at a computing system, receiving information associated with an asset. The method also includes determining a location of the asset based on the received information, and determining a status of the asset based on the received information and/or the determined location of the asset. The determining of the location and the determining of the status are performed by the computing system.

Abstract: Systems and methods for credit-based usage of surgical instruments include one or more surgical instruments having associated therewith a usage amount, a pre-determined maximum usage amount, and an available usage credit amount that is less than the pre-determined maximum usage amount. The systems implement and the methods include comparing the usage amount to the pre-determined maximum usage amount and inhibiting further use of the at least one reusable component when the usage amount is equal to the pre-determined maximum usage amount, and identifying the available usage credit amount and inhibiting further use of the at least one reusable component when there is no available usage credit remaining.

Abstract: A method for error recognition in a control system of a medical treatment and/or diagnosis device includes processing, by the control system, data in a regular operating mode and supplying, by the control system, test data of a test data record to a safety-critical component of the control system in a test mode of the control system. The safety-critical component of the control system is also checked in the test mode of the control system.

Abstract: The present invention discloses a health monitoring system and a data collection method of the health monitoring system. The health monitoring system includes an intelligent monitoring system and a micro-monitoring system, wherein the micro-monitoring system is configured to judge whether the intelligent monitoring system is completely started, and if it judges that the intelligent monitoring system is completely started, the micro-monitoring system transmits the human body data information collected by the collection device to the intelligent monitoring system; if it judges that the intelligent monitoring system is not completely started, the micro-monitoring system processes the human body data information collected by the collection device and transmits the processed human body data information to a display terminal. The health monitoring system can effectively solve the problem that the intelligent monitoring system fails to monitor the health indicators of a human body during a start process.

Abstract: A method according to an aspect of the present invention includes receiving data through a wired connection from a medical device, transmitting the data to an intermediary device, formatting a message including the received data for transmission to a medical data server, and receiving a command from the medical data server. Commands from the medical data server can be used for the authentication, configuration, and control of the medical device, intermediary device or another device operating in conjunction with the present invention, as well as to achieve other purposes. This method can be practiced automatically to allow a medical device for a patient or other subject to be monitored without requiring the patient to manually enter information.

Abstract: Systems and methods are provided though which a transaction, e.g., in a multi-tier, distributed application may be initiated from a portable or hand-held device, such as a smartphone. A computer system or systems, possibly remote from the device, may approve the transaction, complete it, or both, and the remote computer system or systems may cause a document to be printed, e.g., by a printer physically proximate to the device. Aspects of the invention are illustrated by embodiments in which a drug prescription may be created electronically using a hand-held device. In such an embodiment, the prescription may be transmitted to one or more remote computer systems, such as an application server, for processing. If specified, the remote computer systems may cause a prescription to be printed, e.g., at a printer near the prescriber's location. The prescriber may sign the printed prescription and give it to a patient or pharmacy.

Abstract: A casing adapted to use with a mobile device for monitoring health condition of a user is provided. The casing includes (a) a memory unit, (b) a sensor unit at a surface of the casing, (c) a plurality of health parameter measuring sensors embedded within the sensor unit for measuring raw health parameters data of the user, (d) a processor which is activated from a sleep mode based on a user input including contacting at least one predetermined sensor surface on the casing for a predetermined period, and (e) a power unit for controllably supplying power to the sensors and the processor upon detecting the user input. The processor (i) initializes and configures the sensors, and (ii) receives the raw health parameters data from the sensors. The casing further includes a communication unit for communicating the raw health parameters data to a mobile device for processing.

Abstract: The present disclosure is directed to systems and methods for identifying unknown drug targets via adverse event data. An analyzer receives an identification of a first drug having one or more unknown target proteins and identifies a second drug related to the first drug. The analyzer retrieves, from an adverse event database, a first side effect profile associated with the first drug, and a second side effect profile associated with the second drug. The analyzer generates a third side effect profile comprising a subset of the first side effect profile not shared by the second side effect profile, and identifies a third drug having a fourth side effect profile comprising the third side effect profile. The analyzer retrieves a list of one or more target proteins of the third drug not targeted by the second drug, and presents the retrieved list as potential target proteins of the first drug.

Abstract: A system for optimizing a patient's basal insulin dosage regimen over time, adapted to (a) determine from blood glucose values whether and by how much to vary a patient's present recommended amount of the insulin-containing drug in order to maintain the patient's future blood glucose level measurements within a predefined range, and (b) at the same time display blood glucose value data and the recommended amount data as a function of time.

Abstract: A method and a user terminal for identifying exercise information of a user are provided. The method includes detecting air pressure information at a location of the user terminal; identifying a state of a topography at the location of the user terminal by using the detected air pressure information; analyzing vertical movement and horizontal movement of the user terminal to identify movement information of the user terminal; and identifying the exercise information of the user according to the identified movement information of the user terminal and the identified state of the topography at the location of the user terminal.

Abstract: Systems and methods are provided for collecting, preparing, and/or analyzing a biological sample. A sample collection site may be utilized with one or more sample processing device. The sample processing device may be configured to accept a sample from a subject. The sample processing device may perform one or more sample preparation step and/or chemical reaction involving the sample. Data related to the sample may be sent from the device to a laboratory. The laboratory may be a certified laboratory that may generate a report that is transmitted to a health care professional. The health care professional may rely on the report for diagnosing, treating, and/or preventing a disease in the subject.

Abstract: Systems and methods may provide for securely transferring data from a flash component. In one example, the method may include receiving a download request from an embedded controller chip, obtaining information from the flash component in response to the download request, and transferring the information to the embedded controller chip.

Abstract: A system for transferring verified media data. The system comprising: an item of content storing the media data, and having an associated serial number; a computing device including a first storage device and a network interface; a secure copying application program; a secure copy of the media data generated by the secure copying application program and stored on the first storage device; a verification server including a serial number database and having a network connection to the computing device through the network interface, wherein the secure copying application program generates the secure copy after verifying the serial number is valid and active by communicating with the verification server; and a portable copy of the media data, including license information, generated from the secure copy by the secure copying application program.

Abstract: A token contains licensing information for software stored on another computer. The token connects to the computer wirelessly, and transmits the licensing information, preferably automatically. While the token is connected to the computer, at least one factor in a multi-factor authentication scheme is satisfied for licensed use of the software. When the token disconnects from the computer either at will, or by exceeding the range of the wireless connection, the software on the computer becomes unlicensed and then can no longer execute.

Abstract: Mechanisms for controlling access to a computing resource are disclosed. A request to initiate an action against a computing resource of a plurality of computing resources is received from a user. A plurality of permission definitions that identify a plurality of corresponding permissions that grant access to the plurality of computing resources is accessed. Based on a set of permissions comprising at least one permission associated with the user and at least one permission associated with a team of which the user is a member, it is determined that at least one permission in the set of permissions grants the user access to the computing resource. The request to initiate the action against the computing resource is processed.

Abstract: The invention provides secure and private communication over a network, as well as persistent private storage and private access control to the stored information, which is accomplished by imposing mechanisms that separate a user's actions from their identity. The system provides (i) anonymous network browsing, in which event the anonymity system is unaware of both the user's identity and browsing activities, (ii) private network storage and retrieval of data such as passwords, profiles and files in a manner such that the data can be stored into the system and later retrieved without the system knowing the contents or owners of the data, and (iii) the ability of the user to control and manage access to the remotely stored data without the system knowing the contents, owners, or accessors of the data.

Abstract: Methods and systems for authenticating a user are described. In some embodiments, an authentication request including biometric information collected from a user is received. The user may be authenticated using a first authentication system by comparing characteristics generated from the biometric information with characteristics of previously collected biometric information. The biometric information collected from the user during the authentication request may be used to automatically enroll the user into a second authentication system.

Abstract: The invention concerns a method of identification of a person to be identified, comprising: receiving, from an input device (106A to 106C), user input data of the person to be identified and location data indicating the location of the person to be identified; and identifying by a processing device, in a user database (108) storing a plurality of user records of registered users, each record comprising user reference data and historical location information of a registered user, a record of the person to be identified based on the user input data and the location data, wherein the historical location information of at least one of the registered users includes an association of time and location data provided by a user location device associated with the registered user.

Abstract: A biometric authentication apparatus includes processing apparatuses allocated with biometric data to be matched, a storage unit that stores a distribution of the biometric data for each of a plurality of quality levels, and an authentication processing time required by an authentication process of each of the processing apparatuses, and a management apparatus. The management apparatus extracts first and second processing apparatuses from the processing apparatuses based on the authentication processing time, identifies a quality level for which a difference between the distributions of the first and second processing apparatuses is greater than or equal to a threshold value, and exchanges the biometric data having the identified quality level between the first and second processing apparatuses.

Abstract: One feature pertains to a computing device that includes an input interface, a communication interface, and a processing circuit that is adapted to receive a request from an application to authorize an action and generate a dynamic access code associated with the action. The processing circuit also transmits a message to a secondary display device that includes information data associated with the action and the dynamic access code for display on a display of the secondary display device. The processing circuit authorizes the action received from the application if the dynamic access code is entered into the input interface. Multiple, unique dynamic codes may also be associated with different actions the application may make requests for, which are also transmitted to the secondary display device for display.

Abstract: A portable memory storage device is provided for interfacing with a computer system. During operating system startup, fields relating to the operating system are prompted for. The portable memory storage device retrieves from memory therein data for populating said fields and provides same to the computer system.

Abstract: Embodiments of the present invention provide a method and system for enacting various driving profiles based on identifying the age and gender of the user. Initially, identifying information is acquired from a user of a vehicle. An identification program determines whether the driver is known, by comparing the identifying information to a set of stored identifying information. If the driver of the vehicle is known, as the identifying information from the user is similar to stored identifying information, then a specific driver profile associated with the specific driver is activated. If the driver is not known, as the identifying information from the user of the vehicle is not similar to the stored identifying information, then the age and gender of the user of the vehicle is determined. Based on the determined age and gender of the driver of the vehicle, various vehicle setting ranges are enacted.

Abstract: A method for real time presence verification, comprising: capturing a first image of a machine-readable label by a first camera of a mobile device; automatically decoding the machine-readable label to extract a reference to a database entry in response to the capturing; automatically triggering at the mobile device a capturing of a second image by a second camera of the mobile device in response to at least one of the decoding and the capturing; and automatically forwarding the second image and at least one of the first image, the database entry, and the reference to a control network node for documentation of the second image in association with the database entry.

Abstract: A method includes issuing a digital certificate to a licensee, the digital certificate identifying a licensed product and the licensee to enable the licensee to enable the licensed product. The method involves receiving a request to enable the licensed product from an entity, the request including the digital certificate and determining whether the entity is the licensee of the licensed product based on the digital certificate. A system includes a relational structure having associations among authorized entities and digital certificates within an organization. Each to digital certificate identifies a licensed product licensed to the organization. A certificate distribution module distributes the digital certificates to associated authorized entities.

Abstract: A function performing apparatus includes a function performing unit performing a specific function, a processor, and memory storing computer-readable instructions therein, the computer-readable instructions, when executed by the processor, causing the function performing apparatus to perform, in response to receiving a user authentication information when the user authentication information has been registered in an authentication memory, transitioning a state of the apparatus from a non-permission state to a permission state, registering, in the authentication memory, a device authentication information in association with the user authentication information upon establishing a first connection with a portable device, and transitioning the state of the apparatus from the non-permission state to the permission state when a second connection with the portable device is established and the device authentication information is obtained from the portable device.