Abstract: Disclosed herein are compositions and methods related to differentiation of stem cells into pancreatic islet cells. In some aspects, the methods provided herein relate to generation of pancreatic ? cell, ? cell, ? cells, and EC cells in vitro. In some aspects, the disclosure provides pharmaceutical compositions including the cells generated according to the methods disclosed herein, as well as methods of treatment making use thereof.

Abstract: A remote device infrastructure can be used to test and develop applications and websites. A user developer can select a number of remote devices at a remote location and test a programming application from a local machine. The remote devices run the programming application. The user interacts with mirrored displays of the remote devices on the local machine of the user. User inputs are transmitted to a remote device. The user can also enable a multisession mode, where the user can test a programming application on multiple remote devices and observe a display output of each remote device on the local machine of the user. The user can interact with any mirrored display of a remote devices in a multisession and observe a synced output in the other mirrored displays.

Abstract: The present invention provides compositions and methods for treating a neuromuscular disorder. In certain embodiments, the invention provides compositions and methods for assessing weaning readiness and continuation of weaning off of a mechanical ventilator in a subject with X-linked myotubular myopathy (XLMTM).

Abstract: Described are a system, method, and computer program product for secure client device and consumer authentication. The method includes receiving a primary account number (PAN) of an account of a consumer from a merchant system and determining whether the PAN has been registered with a public key of a public-private key pair of a client device of the consumer. The method also includes, in response to determining that the PAN has been registered, transmitting a login request to a transaction processing system including a device identifier of the client device based on the PAN. The method further includes receiving a login response from the transaction processing system associated with successful authentication of the client device and, in response to receiving the login response, processing a transaction by generating a transaction authorization request message including the PAN to the transaction processing system.

Abstract: In a Byzantine computing environment in which a database is sharded or partitioned among multiple clusters of computing nodes, consensus for and execution of data transactions (e.g., transactions that require and/or affect data of one or more shards) are achieved in a resilient manner. Within some clusters, multiple primary replicas concurrently propose transactions for processing in parallel by all replicas. For some multi-shard transactions, shards involved in the transactions may be logically ring-ordered; each shard in turn achieves consensus among its nodes to commit the transactions, and then executes its portion of the operation after consensus is obtained among all shards. For some other multi-shard transactions, involved shards first determine whether local data constraints are satisfied, after which data modifications are made in parallel.

Abstract: Methods and systems for providing concise data for analyzing checker completeness, in the context of formal verification analysis of circuit designs. The methods and systems concisely report information useful to a human user (e.g., circuit designer or verification engineer) for efficiently determining what manual action should be taken next to resolve holes in verification coverage. The reported information can include lists of signals on which checkers can be written, which lists can be ranked, can be limited to a subset of interest signals, and can include corresponding cover items for each reported interest signal. The present systems and methods thereby improve on reporting provided to the user, permitting the user to more quickly advance a formal verification process toward full coverage of the relevant portions of a circuit design.

Abstract: Disclosed is a system for managing access to a plurality of remote digital platforms, wherein the system comprising a plurality of platform databases, wherein a given platform database is associated with a given remote digital platform and stores metadata related thereto, the system further comprising: a user device, wherein an existing user generates a user-request, and provides a remote digital platform identifier; an access-control database comprising information relating to roles and permissions associated with a plurality of users; a key-store database comprising private key associated with the plurality of users; and a server arrangement, the server arrangement: identifies a given remote digital platform server; obtains credentials from the existing user and verifies the credentials; determines roles and permissions associated with the existing user; retrieves a private key; verifies the private key with a public key stored at the given remote digital platform server; and enables a data communication ne

Abstract: A lightweight node in a decentralized network includes stores a blockchain with a plurality of blocks. The lightweight node adds blocks to the blockchain successively. A given block having a header and a body. The header includes a data merkle root generated as a root hash of a data merkle tree with one or more leaf nodes that are one or more hashes. A given hash being a hash of a combination of (1) a public key associated with a lightweight node of the decentralized network and (2) of a validity value associated with the public key indicating whether the public key is a valid public key. The data merkle root being insufficient for restoring the data merkle tree. But with a public key and an intermediate hash the date merkle root is sufficient for at least partly verifying the public key.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for robot navigation. One of the methods includes obtaining one or more images of an area from a robot; detecting two or more lines within the one or more images; identifying at least two of the two or more lines as vanishing lines; determining, using the vanishing lines, a correction maneuver; and controlling the robot to implement the correction maneuver.

Abstract: Aspects of the disclosure provide for a computer program product comprising computer executable instructions. The instructions are executable by a controller of a network device to cause the controller to analyze data transmitted by the network device via a network for a programmed amount of time, determine a data transmission pattern based on the analysis, determine, based on the transmission pattern, a volume of expected data transmission during a period of time, and determine whether to transmit additional data based on a relationship between the volume of expected data transmission during the period of time and a bandwidth allocation of the network device during the period of time.

Abstract: Techniques for sending prompt data related to content output on a voice-controlled device are described. In an example, a computer system receives request for audio output at a user device. The computer system determines a recommendation for content. The computer system also generates customization data for prompt data based on one or more user features, context features, metadata features, and a history of customization data. The prompt data includes the customization data and an acknowledgement associated with the request. The computer system sends the prompt data to the user device.

Abstract: A remote device infrastructure can be used to test and develop applications and websites. A user developer can select a number of remote devices at a remote location and test a programming application from a local machine. The remote devices run the programming application. The user interacts with mirrored displays of the remote devices on the local machine of the user. User inputs are transmitted to a remote device. The user can also enable a multisession mode, where the user can test a programming application on multiple remote devices and observe a display output of each remote device on the local machine of the user. The user can interact with any mirrored display of a remote devices in a multisession and observe a synced output in the other mirrored displays.

Abstract: An example apparatus includes interface circuitry, memory configured to store machine-readable instructions, and processing circuitry configured to at least one of instantiate or execute the machine-readable instructions. The example processing circuitry is configured to at least one of instantiate or execute the machine-readable instructions to determine a connectivity metric for a first device synchronized with a second device and cause, via the interface circuitry, transmission of the connectivity metric to a third device with which the first device is not synchronized. Additionally, the example processing circuitry is configured to at least one of instantiate or execute the machine-readable instructions to, based on a first communication from the third device, cause transmission of a second communication to the first device to cause the first device to synchronize with the third device.

Abstract: Aspects of the disclosure provide for a computer program product comprising computer executable instructions. The instructions are executable by a controller of a network device to cause the controller to analyze data transmitted by the network device via a network for a programmed amount of time, determine a data transmission pattern based on the analysis, determine, based on the transmission pattern, a volume of expected data transmission during a period of time, and determine whether to transmit additional data based on a relationship between the volume of expected data transmission during the period of time and a bandwidth allocation of the network device during the period of time.

Abstract: Embodiments of the present invention provide a system for detecting and correcting data quality issues in electronic data feeds via metadata analysis. The system is configured for receiving data from one or more electronic data feeds, wherein the data comprises an actual metadata file with metadata associated with the data, predicting quality of the data, via an artificial intelligence engine, comparing the actual metadata file with an enhanced metadata file associated with the one or more electronic data feeds based on the prediction of the quality of the data, detecting an anomaly between the actual metadata file and the enhanced metadata file based on comparing the actual metadata file with an enhanced metadata file, performing one or more remediation actions on the data to correct the anomaly, and transmitting corrected data to one or more feed processing systems.

Abstract: A parsing system includes an imaging device and one or more processors. The imaging device may capture visual instructions displayed on a monitor. The one or more processors may be configured to receive, from the imaging device, the captured visual instructions, generate functions for a robot to perform based on the captured visual instructions, and transmit, to a robot, the functions to perform.

Abstract: The present invention relates to methods and apparatus for migrating and/or changing the allocation of network interface(s) or Internet Protocol address(es) of network interface(s) from one Pod, e.g., a failed Pod, to another Pod, e.g., a live Pod, in a Kubernetes system. An exemplary method of operating a Kubernetes system in accordance with an embodiment of the invention includes: establishing, by the Kubernetes system, a first service including a first Pod located on a first node and a second Pod located on a second node, allocating by the Kubernetes system an external network interface including an Internet Protocol address for use by the first Pod, the allocation of said external network interface for use by the first Pod being unknown to a first Kubelet managing the first node; and upon failure of the first Pod, changing allocation of the external network interface from the first Pod to the second Pod.

Abstract: A lighting system for a local vehicle, comprising: a head lamp including a low-beam lamp for shining low-beam light in a first zone, and a first high-beam lamp for shining first high-beam light in the first zone; a sensory cluster for detecting a remote vehicle proximate to the local vehicle, the sensory cluster including a distance sensor for determining a distance of the remote vehicle from the local vehicle, and a velocity sensor for determining a velocity of the remote vehicle with respect to the local vehicle; and a lighting controller for determining a minimum-distance target time when the remote vehicle will reach a minimum distance from the local vehicle based on the distance of the remote vehicle and the velocity of the remote vehicle, and for controlling the operation of the first high-beam lamp based on the distance of the remote vehicle and the velocity of the remote vehicle.

Abstract: A cryptographic method includes (1) with the first chiplet, parsing a message into one or more message blocks (2) dynamically generating a first target value that is associated with a first key (3) dynamically generating a second target value that is associated with a second key (4) encrypting at least one message block of the at least one or more message blocks to generate some ciphertext, the encryption being performed with at least one operation that includes at least one XOR operation, the at least one XOR operation performed at least in part with the first target value and with at least the second target value, the first target value and the second target value being accessed via the first and second keys, respectively; and (5) with at least one processing device associated with the first chiplet, transmitting the some ciphertext to a second chiplet.

Abstract: A cryptographic method includes at least (1) receiving a message for encryption, (2) encrypting the message to obtain message ciphertext, the encryption including at least one or more operations that include at least one or more XOR operations, (3) computing a tag on a concatenation that includes at least a nonce, the message ciphertext, and other data, (4) encrypting the tag to obtain one or more ordered blocks of tag ciphertext, the encryption including at least one or more operations that include at least one or more XOR operations, (5) appending the one or more ordered blocks of tag ciphertext to the message ciphertext to obtain final ciphertext, and (6) transmitting the final ciphertext to a second chiplet.