Abstract: Techniques are disclosed for identifying fixed bits of a bitstring format. One or more processors are configured to generate a first bitstring having respective first bit values that have a first satisfiability state and generate a second bitstring having respective second bit values that have a second satisfiability state. The one or more processors are configured to identify first potential free bits having respective first common values and generate a third bitstring having first potential free bits with the respective first common values and third remaining bits. The one or more processors are configured to identify second potential free bits having respective second common values and identify a fixed bit that is not included in the first potential free bits and is not included in the second potential free bits.

Abstract: In general, the disclosure describes techniques for facilitating trust in neural networks using a trusted neural network system. For example, described herein are multi-headed, trusted neural network systems that can be trained to satisfy one or more constraints as part of the training process, where such constraints may take the form of one or more logical rules and cause the objective function of at least one the heads of the trusted neural network system to steer, during machine learning model training, the overall objective function for the system toward an optimal solution that satisfies the constraints. The constraints may be non-temporal, temporal, or a combination of non-temporal and temporal. The constraints may be directly compiled to a neural network or otherwise used to train the machine learning model.

Abstract: In the present disclosure, a request is received from a user to access the electronic device. Upon receiving the request, the user is prompted to perform an action and image frames are captured while the user performs the action. Next, a variation in characteristics of skin of the user is identified, while the user performs the action. The identification is performed using the image frames captured. Upon identification of the variation in the characteristic of the skin of the user, facial features of the user are recognized. The access is provided to the user based on recognition of the facial features.

Abstract: Systems and methods for distributed ledger-based software supply chain management are disclosed. According to one embodiment, in an information processing apparatus comprising at least one computer processor, a method for distributed ledger-based software supply chain management may include: (1) receiving, from a software tool, a metadata artifact for a software development lifecycle event; (2) writing the metadata artifact to a metadata store; and (3) updating a present state database with values for metadata keys referencing the metadata artifact in the metadata store.

Abstract: A controlled release pharmaceutical composition comprising Milnacipran or pharmaceutically acceptable salts thereof and hydrophobic release controlling agent. The composition releases 90% of the total amount of Milnacipran or pharmaceutically acceptable salts thereof between 8 to 20 hours when dissolution is carried out in 900 ml 0.1N HCl, USP apparatus Type I (Basket) at 100 rpm for 2 hrs, followed by 900 ml Phosphate buffer pH 6.8 USP apparatus Type I (Basket) at 100 rpm. A process of preparing a controlled release pharmaceutical composition comprises: a) preparing a first layer comprising i) melting hydrophobic release controlling agent and Milnacipran or pharmaceutically acceptable salts thereof in it ii) cooling followed by sieving the melted mass to obtain granules and iii) lubricating the granules; and b) preparing a second layer comprising granules which comprises hydrophobic release controlling agent and optionally Milnacipran or pharmaceutically acceptable salts thereof.

Abstract: A controlled release pharmaceutical compositions comprising Milnacipran or pharmaceutically acceptable salts thereof is provided. The pharmaceutical composition comprises an immediate release core comprising Milnacipran or pharmaceutically acceptable salts thereof, pharmaceutically acceptable excipients and a coating on the immediate release core comprising rate controlling agents.

Abstract: A controlled release pharmaceutical compositions comprising Milnacipran or pharmaceutically acceptable salts there—of is provided. The pharmaceutical composition comprises an immediate release core comprising Milnacipran or pharmaceutically acceptable salts thereof, pharmaceutically acceptable excipients and a coating on the immediate release core comprising rate controlling agents.

Abstract: A controlled release pharmaceutical composition comprising Milnacipran or pharmaceutically acceptable salts thereof and hydrophobic release controlling agent. The composition releases 90% of the total amount of Milnacipran or pharmaceutically acceptable salts thereof between 8 to 20 hours when dissolution is carried out in 900 ml 0.1N HCl, USP apparatus Type I (Basket) at 100 rpm for 2 hrs, followed by 900 ml Phosphate buffer pH 6.8 USP apparatus Type I (Basket) at 100 rpm.

Abstract: A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Abstract: A single decryption engine is used for decrypting a plurality of encrypted transport streams. Packets in each of the plurality of encrypted transport streams are tagged with a tag value to indicate their origin stream. The tagged packets from the plurality of encrypted transport streams are merged into a merged transport stream. The packets in the merged transport stream are decrypted with the decryption engine to produce a decrypted merged transport stream. The decrypted merged transport stream is split into a plurality of decrypted transport streams, equal in number to the plurality of encrypted transport streams, by routing packets in the decrypted merged transport stream to specific decrypted transport streams according to their tag value. A null-packet padding technique, a gapped-clock technique and a multi-port static RAM controller technique are disclosed.

Abstract: Methods and apparatus are provided for sending multiple MPEG transport streams over an interface, between, e.g., a host set top box (STB) and an endpoint device such as an access control device (ACD). The addition of a multi-byte field consisting of Transport ID (TSID), Packet ID (PKTID), Cyclic Redundancy Check (CRC) bits, Local Time Stamp etc. to an MPEG-2 transport stream makes possible simultaneous transfer of multiple transport streams through high speed isochronous transfers using only one transmit and one receive pipe. Use of only one transmit and one receive pipe causes less CPU loading and offers better bandwidth utilization by causing much less overhead on the bus compared to using multiple transmit and receive pipes.

Abstract: A single decryption engine is used for decrypting a plurality of encrypted transport streams. Packets in each of the plurality of encrypted transport streams are tagged with a tag value to indicate their origin stream. The tagged packets from the plurality of encrypted transport streams are merged into a merged transport stream. The packets in the merged transport stream are decrypted with the decryption engine to produce a decrypted merged transport stream. The decrypted merged transport stream is split into a plurality of decrypted transport streams, equal in number to the plurality of encrypted transport streams, by routing packets in the decrypted merged transport stream to specific decrypted transport streams according to their tag value. A null-packet padding technique, a gapped-clock technique and a multi-port static RAM controller technique are disclosed.

Abstract: A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.