Abstract: A computer-implemented method for analyzing a time-varying graph is provided. The time-varying graph includes nodes representing elements in a network, edges representing transactions between elements, and data associated with the nodes and the edges. The computer-implemented method includes constructing, using a processor, adjacency and feature matrices describing each node and edge of each time-varying graph for stacking into an adjacency tensor and describing the data of each time-varying graph for stacking into a feature tensor, respectively. The adjacency and feature tensors are partitioned into adjacency and feature training tensors and into adjacency and feature validation tensors, respectively. An embedding model and a prediction model are created using the adjacency and feature training tensors. The embedding and prediction models are validated using the adjacency and feature validation tensors to identify an optimized embedding-prediction model pair.

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: A computer-implemented method for automatic multilabel classification includes receiving a label matrix Y for multiple training instances. The label matrix Y includes multiple labels, each label representing a respective category. The method further includes computing an intermediate matrix YYT, where YT is a transpose of the label matrix Y. The method further includes computing a basis matrix H by a non-negative matrix factorization of the intermediate matrix YYT. The method further includes generating a group testing matrix A by sampling the basis matrix H. The method further includes generating, for each training instance from the training instances, a reduced label vector z by computing a product of the group testing matrix A and a label vector y for respective training instance from the label matrix Y. The method further includes predicting multiple labels associated with an input based on the reduced label vector z.

Abstract: Matrix inversion systems and methods are implemented using an analog resistive processing unit (RPU) array for hardware accelerated computing. A request is received from an application to compute an inverse matrix of a given matrix, and a matrix inversion process is performed in response to the received request. The matrix inversion process includes storing a first estimated inverse matrix of the given matrix in an array RPU cells, performing a first iterative process on the first estimated inverse matrix stored in the array of RPU cells to converge the first estimated inverse matrix to a second estimated inverse matrix of the given matrix, and reading the second estimated inverse matrix from the array of RPU cells upon completion of the first iterative process. An inverse matrix is returned to the application, wherein the returned inverse matrix is based, at least in part, on the second estimated inverse matrix.

Abstract: In an embodiment, a method of sketching using a hybrid quantum-classical system includes creating a set of clustered data sets from a first data set. In an embodiment, the method includes evaluating, using a quantum processor and quantum memory, the set of clustered data sets. In an embodiment, the method includes evaluating, using the quantum processor and quantum memory, a set of quality metrics for the set of clustered data sets. In an embodiment, the method includes reclustering, responsive to at least one of the set of quality metrics failing to meet a quality criterion, the first data set.

Abstract: Methods and systems for solving a linear system include setting resistances in an array of settable electrical resistances in accordance with values of an input matrix. A series of input vectors is applied to the array as voltages to generate a series of respective output vectors. Each input vector in the series of vectors is updated based on comparison of the respective output vectors to a target vector. A solution of a linear system is determined that includes the input matrix based on the updated input vectors.

Abstract: A computer-implemented method for Eigenpair computation is provided. The method includes computing, her a hardware processor, an Eigenvector and respective Eigenvalues of the Eigenvector of a matrix by using a modified Stochastic Optimization process including performing a matrix vector product on a Resistive Processing Unit (RPU) crossbar array operatively coupled to the hardware processor and performing a scalar vector product on a digital device operatively coupled to the hardware processor and representing, for each of an Eigenpair, an initial guess for the Eigenvector and the respective Eigenvalues. The computing step includes storing the matrix in the RPU crossbar array.

Abstract: Provide a background theory applicable to a scientific problem as input to a computerized generative reasoner, which in turn produces a plurality of provable conjectures applicable to the problem, based on the input. Provide the plurality of provable conjectures and a set of input training data to a computerized model inference engine, which fits the input training data to the plurality of provable conjectures to obtain at least one candidate symbolic model reflecting scientific laws associated with the problem. Reduce a search space of a computerized prediction module by providing to the computerized prediction module the at least one candidate symbolic model. Provide new data to the computerized prediction module, which searches in the reduced search space to make a prediction related to the problem based on the new data and the at least one candidate symbolic model.

Abstract: A method of performing Principal Component Analysis is provided. The method includes receiving, by a computing device, evolving data for processing/visualization. The method further includes, by the computing device, a dimensionality for reducing of the evolving data using the PCA, wherein the PCA is performed on analog crossbar hardware. The method also includes using, by the computing device, the evolving data for visualization having the dimensionality thereof reduced by the principal component analysis for a further application.

Abstract: A method for performing sparse quantum Fourier transform computation includes defining a set of quantum circuits, each quantum circuit comprising a Hadamard gate and a single frequency rotation operator, said set of quantum circuits being equivalent to a quantum Fourier transform circuit. The method includes constructing a subset of said quantum circuits in a quantum processor, said quantum processor having a quantum representation of a classical distribution loaded into a quantum state of said quantum processor. The method includes executing said subset of said quantum circuits on said quantum state, and performing a measurement in a frequency basis to obtain a frequency distribution corresponding to said quantum state.

Abstract: A device solves for eigenvalues of a matrix system. The device performs a domain decomposition of a matrix system into non-overlapping subdomains and a reordering of matrices of the matrix system. An interface variable projection subspace associated with interface variables of an adjacency graph of the matrix system is created. The interface variables are related to nodes of the adjacency graph which are connected with nodes located in neighboring partitions. An internal variable projection subspace is created that is associated with internal variables of the adjacency graph of the matrix system, wherein the internal variables are related to nodes of the adjacency graph which are connected only to nodes located in the same partition. A projection matrix is built based on the interface variable projection subspace and the internal variable projection subspace. The device determines eigenvalues that solve a Raleigh-Ritz eigenvalue problem utilizing the projection matrix.

Abstract: A computer implemented method for speeding up execution of a convex optimization operation one or more quadratic complexity operations to be performed by an analog crossbar hardware switch, and identifying one or more linear complexity operations to be performed by a CPU. At least one of the quadratic complexity operations is performed by the analog crossbar hardware, and at least one of the linear complexity operations is performed by the CPU. An iteration of an approximation of a solution to the convex optimization operation is updated by the CPU.

Abstract: A medication dispenser system and use thereof for providing exact personal dosing for a patient are provided. In one aspect, a method for dispensing medications is provided. The method includes the steps of: obtaining patient information and a list of the medications for the patient; calculating a personal dose of each of the medications for the patient using the patient and cross-medication interaction information; and preparing treatments each containing the personal dose of each of the medications in a single treatment. In another aspect a system for dispensing medications includes: a patient information component for obtaining patient information and a list of the medications for the patient; a dosage calculator component for calculating a personal dose of each of the medications for the patient using the patient information; and a medication dispenser component for preparing treatments each containing the personal dose of each of the medications in a single treatment.

Abstract: Embodiments herein disclose computer-implemented methods, computer program products and computer systems for authenticating a user. The computer-implemented method may include receiving biographical data corresponding to a user. A change rate may be determined based on user biographical data. The computer-implemented method may include receiving first biometric data having a time-varying characteristic from the user at a first time and receiving second biometric data having the time-varying characteristic from the user at a second time that is later in time than the first time. Further, the computer-implemented method may include determining third biometric data based at least on the first biometric data, the second time, and the time-varying characteristic, and authenticating the user if the third biometric data is within a predetermined threshold of the second biometric data at the second time.

Abstract: Aspects of the invention include obtaining a set of data that includes inputs and outputs to be modelled and performing a symbolic regression to find a symbolic model that fits the inputs and the outputs of the set of data. The symbolic model is a symbolic expression discovered by the symbolic regression in a search space. Automated reasoning is performed to affect a final symbolic model that is used to obtain new outputs from new inputs based on the final symbolic model.

Abstract: A computer-implemented method for Eigenpair computation is provided. The method includes computing an Eigenvector and respective Eigenvalues of the Eigenvector by using a Stochastic Optimization process. The computing step includes storing the matrix in a Resistive Processing Unit (RPU) crossbar array.

Abstract: A method of detecting cliques in a graph includes determining, based on a number of nodes in the graph, a number of qubits to be included in a quantum processor. The method includes assigning to each node in the graph, a qubit of the quantum processor. The method includes operating on the qubits with a preparation circuit to create a quantum state in the qubits that corresponds to the graph. The method includes operating on the quantum state with a random walk circuit, and measuring the qubits of the quantum processor to detect cliques in the graph. The preparation circuit comprises a plurality of single- and two-qubit operators, wherein, for each pair of adjacent nodes in the graph, an operator of the plurality of two-qubit operators acts on a pair of qubits corresponding to the pair of adjacent nodes to create the quantum state.

Abstract: An approach is provided in which an information handling system loads a set of encrypted binary code into a processor that has been encrypted based upon a unique key of the processor. The processor includes an instruction decoder that transforms the set of encrypted binary code into a set of instruction control signals using the unique key. In turn, the processor executes a set of instructions based on the set of instruction control signals.

Abstract: An illustrative embodiment includes a method for solving a dynamical system. The method comprises: obtaining multidimensional snapshots representing respective discrete solutions of the dynamical system; storing the multidimensional snapshots within a snapshot tensor having an order of at least three; generating a basis for at least a subspace of a state space of the dynamical system at least in part by performing a decomposition of the snapshot tensor; deriving a reduced order model at least in part by using the basis to project the dynamical system from the state space onto the subspace; and solving the reduced order model of the dynamical system.

Abstract: A medication dispenser system and use thereof for providing exact personal dosing for a patient are provided. In one aspect, a method for dispensing medications is provided. The method includes the steps of: obtaining patient information and a list of the medications for the patient; calculating a personal dose of each of the medications for the patient using the patient and cross-medication interaction information; and preparing treatments each containing the personal dose of each of the medications in a single treatment. In another aspect a system for dispensing medications includes: a patient information component for obtaining patient information and a list of the medications for the patient; a dosage calculator component for calculating a personal dose of each of the medications for the patient using the patient information; and a medication dispenser component for preparing treatments each containing the personal dose of each of the medications in a single treatment.