Abstract: An embodiment may include a processor that identifies a plurality of weights from the propositional logical neural network. The embodiment may convert the plurality of weights into a sparse matrix. The embodiment may convert a training set into a plurality of bound vectors. The embodiment may update the sparse matrix using a graphical processing unit (GPU). The embodiment may compute a loss parameter and based on determining the loss function is below threshold, update the plurality of weights of the propositional neural network.

Abstract: Methods, systems, and computer program products for cold-start service placement over on-demand resources are provided herein. A computer-implemented method includes obtaining a performance requirement profile comprising performance requirements of a service that vary over time; determining a plurality of incarnations for the service, wherein each incarnation is associated with a level of performance provided by the incarnation for the service, resource requirements of the incarnation, and a type of computing node the incarnation is configured to execute on; identifying computing nodes having different types and different resource capacities; jointly scheduling (i) the computing nodes and (ii) one or more of the incarnations on the computing nodes over a time interval such that a cumulative level of performance of the incarnations scheduled at each timepoint in the time interval satisfies the performance requirement profile of the service.

Abstract: Disclosed herein is a compound of formula (I): [M(L)n]m+(Ay?)z??(I) where A, M, L, n, m, y and z are as defined herein, which can be used in the formation of a resistive memory device. Also disclosed herein are methods of manufacturing such devices and their uses.

Abstract: Disclosed herein is a compound of formula (I): [M(L)n]m+(Ay?)z??(I) where A, M, L, n, m, y and z are as defined herein, which can be used in the formation of a resistive memory device. Also disclosed herein are methods of manufacturing such devices and their uses.