Abstract: Implementations directed to identifying variables affecting a cost of healthcare include actions of receiving data from a plurality of data sources, the data relating to cost of providing healthcare, providing a data model based on the data, processing the data model using non-parametric analysis to provide a non-parametric result, the non-parametric result including a first and second variable, automatically processing the data model to correlate at least the first variable of the non-parametric result to the second variable of the non-parametric result to provide a correlation result, processing the correlation result using parametric analysis to provide a parametric result including at least one variable that affects the cost more than one or more other variables of a plurality of variables of the data model, and providing at least one data visualization for display, the at least one data visualization providing at least one graphical representation of the parametric result.

Abstract: The present disclosure provides computing device implemented methods, computing device readable medium, and molds for filling undercut areas of teeth relative to an axis of placement. Filling undercut areas of teeth relative to an axis of placement can include calculating an undercut area of a tooth relative to an axis of placement of part of a dental appliance over a number of teeth and a height of contour that is defined based on the axis of placement. Filling undercut areas of teeth relative to an axis of placement can also include filling in a part of the undercut area of the tooth with a virtual filler wherein the undercut is filled to within a threshold distance from the tooth that is defined relative to the axis of placement and the height of contour.

Abstract: According to some embodiments, a system and method are provided to model a sparse data asset. The system comprises a processor and a non-transitory computer-readable medium comprising instructions that when executed by the processor perform a method to model a sparse data asset. Relevant data and operational data associated with the newly operational are received. A transfer model based on the relevant data and the received operational data. An input into the transfer model is received and a predication based on data associated with the received operational data and the relevant data is output.

Abstract: Methods and systems for roof estimation are described. Example embodiments include a roof estimation system, which generates and provides roof estimate reports annotated with indications of the size, geometry, pitch and/or orientation of the roof sections of a building. Generating a roof estimate report may be based on one or more aerial images of a building. In some embodiments, generating a roof estimate report of a specified building roof may include generating a three-dimensional model of the roof, and generating a report that includes one or more views of the three-dimensional model, the views annotated with indications of the dimensions, area, and/or slope of sections of the roof. This abstract is provided to comply with rules requiring an abstract, and it is submitted with the intention that it will not be used to interpret or limit the scope or meaning of the claims.

Abstract: An information processing apparatus includes an installation control unit configured to execute an installation of a program, validate predetermined information for the program and thereafter execute the program, and invalidate the predetermined information when the program is successfully executed, and a launching control unit configured to launch the program installed in the information processing apparatus when the information processing apparatus is started up, the launching control unit not launching the program, for which the predetermined information is validated.

Abstract: The present invention is notably directed to a computerized method for providing real-time feedback to a user from states of a model physical system, or MPS, via a computerized system comprising one or more processors and a user interface system, or UIS. The method comprises the following steps, each performed via the one or more processors. Configuration inputs are repeatedly received, to modify a configuration of the MPS, said inputs including user inputs received via said UIS. While receiving said configuration inputs: configurations of the MPS are updated based on the configuration inputs received; and a state of the MPS is repeatedly computed, whereby each computed state corresponds to a latest updated configuration that was available before starting to compute said each computed state.

Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to improve FPGA pipeline emulation efficiency on CPUs. An example disclosed apparatus includes a loop detector to identify a register shift loop in field programmable gate array (FPGA) code, an unroller to shift and store pipeline stages in the register shift loop to a temporary unroll array, an intermediate canceller to cancel out intermediate load and store values of the temporary unroll array to retain last shifted values of the pipeline stages, and a propagator to improve emulation efficiency of the FPGA code by generating a scalar loop of the retained last shifted values for a vectorization input.

Abstract: A thermal transient response simulation is performed to determine a total thermal resistance value for a structure having a plurality of thermal model elements. A plurality of thermal transient response simulations are also performed for the structure to determine changed total thermal resistance values by varying one of thermal resistance values of the thermal model elements. Thermal resistance values for the thermal model elements are then determined based on the total thermal resistance value and the changed total thermal resistance values. The structure function is divided into portions associated with the thermal model elements based on the thermal resistance values for the thermal model elements.

Abstract: A method and a device for verifying one or more safety volumes for a movable mechanical unit positioned in an environment, wherein a world-coordinate system is defined in relation to the mechanical unit and in relation to the environment of the mechanical unit. The method includes storing a description of one or more safety volumes defined in relation to the world-coordinate system, and repeatedly determining position and orientation of a portable display unit in relation to the world-coordinate system, determining a graphical representation of the safety volumes based on the description of the safety volumes and the position and orientation of the portable display unit, overlaying the graphical representation of the safety volumes on a view of the real mechanical unit and its environment to provide a composited augmented reality image, and displaying the augmented reality image on the portable display unit.

Abstract: An exploration system includes an artificial seismic source, sensor terminals, an environmental sensor, and a computer, wherein each of a plurality of sensor terminals is provided with a velocity or acceleration sensor which detects vibration generated by the artificial seismic source, and an identifier which is unique to the velocity or acceleration sensor; the environmental sensor detects an external environment which influences the velocity or acceleration sensor; and the computer stores a deterioration model which possibly indicates, as a degree of deterioration, performance deterioration of the velocity or acceleration sensor by providing information about the external environment as a variable, associates, with the identifier, the information about the external environment detected by the environmental sensor, stores the information about the external environment as a usage history, and determines a deterioration state of the velocity or acceleration sensor or the sensor terminal on the basis of the det

Abstract: A streakline visualization apparatus sets a partial region including a discrete point at a first position on a first streakline in an analysis space as an analysis target region of the discrete point. Based on a velocity of fluid in the analysis target region indicated by fluid information, the apparatus calculates a second position indicating a destination of a particle on the discrete point at a second analysis time point. Next, based on information about a structure in the analysis target region indicated by structure information, the apparatus determines a region occupied by the structure in the analysis target region at the second analysis time point. Next, based on the first and second positions, the apparatus determines whether a second streakline has entered the occupied region. If the second streakline has not entered the occupied region, the apparatus displays the second streakline passing through the second position.

Abstract: According to one embodiment, a model generation system includes a NCLM processor, a filter part, a model generator, a variable narrow-down part, a determiner, and a soundness calculator. The NCLM processor and the filter part narrows down a first input variable group to a third input variable group selected using NCLM. The model generator generates a model of a relationship between the third input variable group and an output variable. The variable narrow-down part narrows down the first input variable group to one or more of the input variables not used in the generation of the model. When the number of the models has not reached the specified number, the determiner outputting to the NCLM processor the first input variable group narrowed down by the variable narrow-down part. The soundness calculator calculates an overall soundness of the models and calculating a soundness of each of the models.

Abstract: Hardware for speeding up MCMC is realized. An information processing apparatus includes a plurality of Ising chips and a controller that controls the plurality of Ising chips. Each of the plurality of Ising chips includes a plurality of units, and each of the plurality of units retains a spin state. The controller instructs one set of Ising chips among the plurality of Ising chips to compare values of spin states of corresponding units and instructs the one set of Ising chip to invert values of a portion of spins among spins having different values of spin states of the corresponding units.

Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: Embodiments of systems and methods for predicting when a dry oil producing well is expected to transition to a wet oil producing well, the system configured to generate predictions from multiple databases of information. A first database is designed to store real time data about an active producing well and a second database can be a historical production information database, such as an Online Transactions Processing (OLTP) database. The data from both databases can be normalized, compared, and correlated to create a predictive model that accurately predicts when a particular well is expected to transition from a dry oil producing well to a wet oil producing well. The system and method can be configured to use many different techniques including an autoregressive integrated moving average equation to create a predictive model based off the normalized data from the multiple databases.

Abstract: A streakline visualization apparatus sets a partial region including a discrete point at a first position on a first streakline in an analysis space as an analysis target region of the discrete point. Based on a velocity of fluid in the analysis target region indicated by fluid information, the apparatus calculates a second position indicating a destination of a particle on the discrete point at a second analysis time point. Next, based on information about a structure in the analysis target region indicated by structure information, the apparatus determines a region occupied by the structure in the analysis target region at the second analysis time point. Next, based on the first and second positions, the apparatus determines whether a second streakline has entered the occupied region. If the second streakline has not entered the occupied region, the apparatus displays the second streakline passing through the second position.

Abstract: It is advantageous to handle certain conditions when equipment (or equipment components) is taken out-of-service or shutdown for service or maintenance. Equipment service flags may be used to indicate that an individual variable will no longer be propagated as the associated equipment has been taken out of line for service. When multiple variables feed another system or component downstream, those variables may be placed in an equipment service set and that set may be associated with an indicator that indicates that the group of variables in the equipment service set is unavailable. A visual indicator as to which variables have been made unavailable for propagation may be displayed to a user. Once the equipment or system is brought back online or is taken out of equipment service mode, the appropriate flags and equipment service set are reset and associated variables are once again propagated downstream.

Abstract: A system and method of generating a two-dimensional (2D) image of an environment is provided. The system includes a housing having a body and a handle. A 2D scanner is disposed in the body and has a light source, an image sensor and a controller, the light source steers a beam of light within a first plane to illuminate object points in the environment. The image sensor is arranged to receive light reflected from the object points and the controller determines a distance value to at least one of the object points. An inertial measurement unit is provided having a 3D accelerometer and a 3D gyroscope. One or more processors are responsive to executable instructions for generating a 2D image of the environment in response to an activation signal from an operator and based at least in part on the distance values and the signal.

Abstract: Simulation of execution of a processing workload by a target hardware device is provided by providing workload data specifying the processing workload, passing the workload data to both a primary partial simulation and a complementary partial simulation that run in parallel and acquire input data from different levels of abstraction of the target hardware and then simulating execution of the processing workload using a primary partial simulation to generate primary partial result state data and using the complementary partial simulation to generate complementary partial result state data. The target hardware device may be a graphics processing unit and the workload data may specify the processing to be performed in a hardware independent form, such as, for example, OpenGL ES. The host system supporting the simulation may include a graphics processing unit serving to provide the complementary partial simulation due to its own execution of the workload data.

Abstract: A method of determining dimensional changes of features in a mask involves calculating a spacing to be used between adjacent unit cells, correcting a unit cell surrounded by replicas of the same unit cell at the calculated spacing for optical proximity effects, arraying the proximity corrected unit cell at the calculated spacing, and dividing the array of unit cells into templates. Each template frames a portion of the array of unit cells, and locations of the unit cells in each framed template are shifted relative to locations of the unit cells in other framed templates. Critical dimensions for features in the unit cell are determined within each template, and the critical dimensions determined across the template are used to obtain shift variances of each feature. A dimensional change is determined for a feature based on the shift variance for that feature.