Abstract: Methods and systems for model discovery include forming a mathematical program based on a set of observational data to generate an objective function and one or more constraints. The mathematical program represents a model space as an expression tree comprising operators and operands. The mathematical program is solved by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.

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: In one or more embodiments described herein, device, computer-implemented methods, and/or computer program products that facilitate automated survey results generation from an image are provided. According to an embodiment, a system can comprise a memory that stores computer executable components and a processor that executes the computer executable components stored in the memory. The computer executable components can comprise an image capturing component that captures a first sample image. The computer executable components can further comprise an image processing component that processes the first sample image to determine a survey count, wherein the survey count indicates a number of times a survey image was identified in the first sample image. The computer executable components can further comprise an authentication component that adjusts the survey count based on detection of a discrepancy.

Abstract: A method, system and computer program product are disclosed for integrating plural modalities of information to obtain values for a specified attribute of a given system. In one embodiment, the method comprises acquiring data of a first modality, conveying a first source of data of a first type of the system; configuring simulator with settings of physical sensors; acquiring data of a second modality from the system, conveying a second source of data of a second type of the system. The method further comprises converting the data of the second modality to data of the first type, while configuring a virtual set of sensors to enable acquisition of the converted data of the second modality; and configuring adjoints equipped simulator with settings of the virtual sensors, to mimic collection of data of the first type, while configured to measure data of second type.

Abstract: Devices, systems, computer-implemented methods, and computer program products that can facilitate estimating orientation and/or identity of an entity that touches a touch screen device are provided. According to an embodiment, a device can comprise a pixelated touch screen that provides a two-dimensional capacitance map in response to detection of one or more entities touching the pixelated touch screen. Capacitance data of the two-dimensional capacitance map is inversely proportional to a distance between fingers of the one or more entities and the pixelated touch screen. The device can further comprise a processor that applies an analytic method to the two-dimensional capacitance map to estimate orientation or identity of the one or more entities.

Abstract: Techniques for generating and managing, including simulating and training, deep tensor neural networks are presented. A deep tensor neural network comprises a graph of nodes connected via weighted edges. A network management component (NMC) extracts features from tensor-formatted input data based on tensor-formatted parameters. NMC evolves tensor-formatted input data based on a defined tensor-tensor layer evolution rule, the network generating output data based on evolution of the tensor-formatted input data. The network is activated by non-linear activation functions, wherein the weighted edges and non-linear activation functions operate, based on tensor-tensor functions, to evolve tensor-formatted input data. NMC trains the network based on tensor-formatted training data, comparing output training data output from the network to simulated output data, based on a defined loss function, to determine an update.

Abstract: A dimensionality analysis method, system, and computer program product, include conducting a search that determines which valid expressions in a data set satisfies a defined free-form grammar that describes the data set.

Abstract: One aspect includes a method for use with a plurality of steam assisted gravity drainage wells. The method includes designing a first modeling framework which provides a model of total output for the plurality of wells from one or more input variables for respective ones of the plurality of wells. The method also includes designing a second modeling framework which provides a model of output for a given one of the plurality of wells based at least in part on one or more input variables for the given one of the plurality of wells and one or more input variables for at least another one of the plurality of wells. The method further includes utilizing the first and second modeling frameworks to determine an optimal configuration for the wells and configuring the well to operate with the determined optimal configuration.

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: A method, system and computer program product for integrating plural modalities of information to obtain values for a specified attribute of a given system. In one embodiment, data of a first modality, conveying a first source of data of a first type of the system is acquired; a simulator is configured with settings of physical sensors; and data of a second modality from the system, conveying a second source of data of a second type of the system is acquired. The data of the second modality is converted to data of the first type, while configuring a virtual set of sensors to enable acquisition of the converted data of the second modality; and an adjoints equipped simulator is configured with settings of the virtual sensors, to mimic collection of data of the first type, while configured to measure data of the second type.

Abstract: One aspect includes a method for use with a steam assisted gravity drainage well. The method includes generating an analytical framework for the well at least in part by modeling one or more observable variables as a function at least of one or more control variables; and modeling one or more output variables as a function at least of at least one of the one or more control variables; and at least one of the one or more observable variables. The method further includes utilizing the analytical framework to determine an optimal configuration for the well, the optimal configuration including a set of one or more values for the one or more control variables which produce one or more desired values for the one or more output variables; and configuring the well to operate with the determined optimal configuration.

Abstract: Methods and systems for cleaning an optic include cleaning an optic with ultrasonic vibrations. The locations of nodes in a standing wave of the ultrasonic vibrations are changed by changing a frequency of vibration during cleaning.

Abstract: A method for controlling operation of a steam-assisted gravity drainage (SAGD) oil well system to increase efficiency in emulsion production includes obtaining a predictive model of the SAGD oil well system. The predictive model has control parameters including one or more continuous control parameters and one or more discrete control parameters. The method also includes utilizing the predictive model to determine values for the control parameters that meet one or more objectives for the SAGD oil well system subject to one or more constraints based on a sequence of iterations of solving a mixed integer non-linear problem. The method further includes adjusting controls of the SAGD oil well system based on the determined values of the control parameters.

Abstract: Methods and systems for cleaning an optic include measuring a state of the optic. It is determined whether the optic needs to be cleaned based on the measured state of the optic. The optic is cleaned with ultrasonic vibrations if the optic needs to be cleaned.

Abstract: Methods and systems for cleaning an optic include measuring a state of the optic. It is determined whether the optic needs to be cleaned based on the measured state of the optic. The optic is cleaned with ultrasonic vibrations if the optic needs to be cleaned.

Abstract: Techniques and a system to facilitate quantum computation of Monte Carlo minimization are provided. In one example, a system includes a quantum processor and a classical processor. The quantum processor can perform an Nth order moment expectation computation process to compute an expected value of a quantum state associated with a quantum circuit description. The classical processor can execute computer executable components stored in a memory, where the computer executable components comprise a variational optimization component. The variational optimization component can perform an optimization process associated with a Monte Carlo minimization process to iteratively determine a variational parameterization for an Nth expectation value and associated trial state based on samples of the Nth order moment expectation computation process.

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 method is disclosed including presenting via a graphical user interface of an application at least one element that is activatable to specify a source of information as a source of information to be logged, receiving from the user via the graphical user interface an activation of the at least one element, and in response to receiving the activation of the at least one element, instrumenting the application to capture and log information received from the specified source of information, capturing information received by the application from the specified source using the instrumentation, logging the information in memory, capturing data that is output by the application, comparing the captured data to the logged information, determining based on the comparison that a leak of the information has occurred, and in response to determining that a leak of the information has occurred, performing a corrective action.

Abstract: Techniques and a system to facilitate meta-level quantum computation are provided. In one example, a system includes a quantum processor and a classical processor. The quantum processor can perform an expectation computation process to compute an expected value of a deflated operator and a quantum state associated with a quantum circuit description. The classical processor can execute computer executable components stored in a memory, where the computer executable components comprise a meta-level variational optimization component. The meta-level variational optimization component can perform a meta-level optimization process associated with a k-eigenvalue decomposition process to iteratively determine an inflation parameter and a variational parameterization for an eigenpair based on samples of the expectation computation process.

Abstract: A dimensionality analysis method, system, and computer program product, include defining a set of symbols along with a grammatical rule that define a syntax of a valid expression having a valid physical dimensionality relationship.