Abstract: Described herein is a simulation of an input quantum circuit, comprising a machine-readable specification of a quantum circuit. Aspects include partitioning the input quantum circuit into a group of sub-circuits based on at least two groups of qubits identified for tensor slicing, wherein the resulting sub-circuits have associated sets of qubits to be used for tensor slicing. The simulating can occur in stages, one stage per sub-circuit. A set of qubits associated with a sub-circuit can be used to partition the simulated quantum state tensor for the input quantum state circuit into quantum state tensor slices, and the quantum gates in that sub-circuit can used to update the quantum state tensor slices into updated quantum state tensor slices. The updated quantum state tensor slices are stored to secondary storage as micro slices.

Abstract: Low-cost techniques for sensing ambient temperatures in a container or package using phase change materials are provided. In one aspect, a temperature sensor is provided. The temperature sensor includes: at least one phase change material configured to transition from an amorphous state to a crystalline state upon exposure to temperatures above a predetermined threshold temperature for a given duration. A method of monitoring temperature exposure of a consumer good using the temperature sensor is also provided.

Abstract: A system for detecting an object in a subsurface environment includes a first recorder of a vertical electromagnetic component, including first pair of polarization orientation components, of an electromagnetic field in a region of interest, a second recorder of an orthogonal electromagnetic component, including second pair of polarization orientation components, of the electromagnetic field in the region of interest, at least one processor configured to derive a pair of transfer functions that relates the vertical electromagnetic component and the orthogonal electromagnetic component of the electromagnetic field for each of the polarization orientation components, at least one processor configured to determine a simulation of the pair of transfer functions for a given impedance distribution, and at least one processor configured to infer a subsurface impedance map using the pair of transfer functions of the recorded data and the simulation of the pair of transfer functions.

Abstract: Techniques and a system for quantum circuit decomposition by integer programming are provided. In one example, a system includes a quantum circuit decomposition component and a simulation component. The quantum circuit decomposition component generates graphical data for a quantum circuit that is indicative of a graphical representation of the quantum circuit. The graphical representation is formatted as a hypergraph. The simulation component simulates the quantum circuit based on the graphical data associated with the hypergraph.

Abstract: A method is disclosed including instrumenting a first version of an application on a plurality of end user devices and receiving execution data for the first version of the application from at least some of the plurality of end user devices. The execution data may be generated by the instrumentation in response to an execution of the first version of the application by the at least some of the end user devices. The method further includes automatically generating execution scripts based on the received execution data. The execution scripts may be configured to reproduce the execution of the first version of the application by the at least some of the end users devices. The method further includes automatically executing at least one of the execution scripts on an updated version of the application.

Abstract: A method for increasing efficiency in emulsion production for a steam-assisted gravity drainage (SAGD) oil well system includes generating a causal model of the SAGD oil well system and training the causal model of the SAGD oil well system utilizing historical time series data relating to one or more SAGD oil wells at one or more SAGD production sites of the SAGD oil well system. The historical time series data is obtained from a plurality of sensors in the SAGD oil well system. The method also includes utilizing the causal model to determine a forecast emulsion production and a forecast set of control parameters associated with one or more of the SAGD production sites of the SAGD oil well system. The method further includes adjusting a set of controls of the SAGD oil well system based on the forecast emulsion production and the forecast set of control parameters and subject to one or more constraints associated with the SAGD oil well system.

Abstract: Methods and systems for determining control inputs to a manufacturing apparatus to manufacture a product are described. A processor may receive model data including initial state data indicating an initial state of an input material, a set of model control inputs, and target measurement data associated with a target product. The processor may learn a causal predictive model based on the target data. Each state of the causal predictive model may be based on an application of the model control inputs on a previous state of the causal predictive model. The processor may compare a final state of the causal predictive model with the target measurement data to determine a difference. The processor may determine, based on the difference, a set of control inputs to be assigned to one or more controls. The one or more controls may define a design of the manufacturing process of an end product.

Abstract: A method for increasing efficiency in emulsion production for a steam-assisted gravity drainage (SAGD) oil well system includes generating a multiple time step model of the SAGD oil well system and training the multiple time step model of the SAGD oil well system utilizing historical time series data relating to one or more SAGD oil wells at one or more SAGD production sites of the SAGD oil well system. The historical time series data is obtained from a plurality of sensors in the SAGD oil well system. The method also includes utilizing the multiple time step model to determine, based on a set of objectives and subject to one or more constraints, two or more sets of values for control parameters associated with one or more of the SAGD production sites of the SAGD oil well system for respective ones of two or more time steps.

Abstract: A method includes receiving, by a controller, a numerical coefficient to decompose into at least one mathematical expression. The method also includes decomposing, by the controller, the numerical coefficient into the at least one mathematical expression. Decomposing takes into account a complexity cost of the at least one mathematical expression. The method also includes generating an output data that comprises the at least one mathematical expression.

Abstract: Methods and systems for generating output of a simulation model in a simulation system are described. In an example, a processor may retrieve observed output data from a memory. The observed output data may be generated based on a simulation operator of a simulation model. The processor may further optimize a generalization error of a distance measure between the observed output data and model output data. The model output data may be generated based on a high-fidelity operator. The processor may further determine a correction operator based on the optimized generalization error of the distance measure. The processor may further append the correction operator to the simulation operator to produce a supplemented operator. The processor may further generate supplemented output data by applying the simulation model with the supplemented operator on a set of inputs.

Abstract: A method for determining at least one zonal flow rate of a reservoir well comprises: receiving input data representing at least one state parameter of the reservoir well; determining a generative model of the at least one state parameter and a generative model of the at least one zonal flow rate; iteratively adapting the generative models to minimize divergence from available data until the generative models and the available data converge; and, once the generative models and the available data converge, using the generative model of the at least one zonal flow rate to compute the at least one zonal flow rate.

Abstract: A method includes receiving, by a controller, a set of data. The set of data includes data of at least one explanatory variable and data of at least one response variable. The method also includes receiving, by the controller, an input that identifies a relevant explanatory variable. The method also includes generating, by the controller, an output data that corresponds to a symbolic expression that represents a relationship between the at least one explanatory variable and the at least one response variable. The symbolic expression is responsive to the identified relevant explanatory variable, and the symbolic expression includes a mathematically stable expression.

Abstract: A dimensionality analysis method, system, and computer program product, include defining a grammar that describes an admissible relationship between quantities in a data set, discovering symbolic expressions that intrinsically account for a dimensionality analysis based on the grammar, conducting a search that determines which valid expression in the data set satisfy the grammar, and selecting the expression that fits the dataset and minimizes a measure of a complexity of the expression.

Abstract: Free-form discovery of differential equations for modeling a physical system or process under investigation that includes defining a formal language sentence grammar that describes admissible relationships between quantities, and incorporating the use of such grammar for free-(functional) form, automatic discovery of differential equations. The method requires minimum knowledge of the desired differential equation and is universally applicable to ordinary and partial differential equations.

Abstract: A method for correcting perspective distortion includes acquiring a plurality of images of a given subject by at least one camera of a mobile device, wherein each of the images is taken using respective actual settings for the camera captured by at least one sensor of the mobile device. The method further includes processing the images and the respective actual settings for each of the images to synthesize a single image of the given subject, wherein the single image emulates using specified virtual settings for the camera. The method further comprises displaying the synthesized single image of the given subject to a user of the mobile device.

Abstract: Techniques for automatically eradicating microorganisms (e.g., germs, bacteria, and/or viruses) from appliance handles using ultraviolet (UV) light are provided. In one aspect, a system for eradicating biological contaminants from a handle on an appliance door is provided. The system includes a UV light emitter for producing UV disinfecting light during a cleaning cycle; and a waveguide coating on the handle, coupled to the UV light emitter, for propagating the UV disinfecting light over a surface of the handle. The system can also include a control module for controlling the UV light emitter; and at least one sensor for providing data to the control module as to when to initiate or halt a cleaning cycle. A method for eradicating biological contaminants from a handle on an appliance door using the present system is also provided.

Abstract: A method for increasing efficiency in emulsion production for a steam-assisted gravity drainage (SAGD) oil well system includes generating a model of the SAGD oil well system and training the model of the SAGD oil well system utilizing historical time series data relating to one or more SAGD oil wells at one or more SAGD production sites of the SAGD oil well system. The historical time series data is obtained from a plurality of sensors in the SAGD oil well system. The method also includes determining an uncertainty of the model as a function of a control space of the model and utilizing the model to determine values for control variables associated with one or more of the SAGD production sites of the SAGD oil well system which reduce the model uncertainty while meeting one or more objectives subject to one or more constraints. The method further includes adjusting a set of controls of the SAGD oil well system based on the determined values for the control variables.

Abstract: A computer implemented method and computer system for automatically limiting the swing angle of a vehicle door to not hit nearby moving objects, including predicting that a moving object will move to be within a predetermined distance of the door and predicting the distance the moving object will be from the door, determining a swing angle extent of an opening of the door that will avoid hitting the moving object and actuating a door controller to limit the swing angle of the door. Historical data on the speed the door is opened can be used in determining the door swing angle. The current position and velocity of the moving object relative to the door of the vehicle is estimated based on signals received from sensors attached to the vehicle.

Abstract: A computer implemented method and computer system for automatically limiting the swing angle of a vehicle door to not hit nearby moving objects, including predicting that a moving object will move to be within a predetermined distance of the door and predicting the distance the moving object will be from the door, determining a swing angle extent of an opening of the door that will avoid hitting the moving object and actuating a door controller to limit the swing angle of the door. Historical data on the speed the door is opened can be used in determining the door swing angle. The current position and velocity of the moving object relative to the door of the vehicle is estimated based on signals received from sensors attached to the vehicle.

Abstract: A method, apparatus, and a computer product are provided for a location oriented membership code device. The method includes storing, in a memory of a device, one or more identifiers, wherein each of the one or more identifiers is associated with one or more locations; determining that the device is within a range of a location associated with at least two of the identifiers; selecting which of the least two identifiers to retrieve from the memory of the device based at least partially upon past user behavior; and displaying an indication of the selected identifier on a display of the device.