Abstract: Techniques to leveraging distributed ledgers for integrating heterogeneous database systems independent of underlying legacy systems are described herein. Heterogeneous database systems may be integrated to generate a desired analytics report. In one embodiment, DApps (i.e., smart contracts) and database drivers may be deployed to implement just-in-time data mapping in smart contracts to save substantial time in integrating these heterogeneous database systems. With the smart contract approach, the database drivers may be configured to port only the key data that are needed to be processed based upon, for example, on business considerations. As a result, only data fields that are needed may be mapped and converted into smart contracts. Because the data needed may be dynamically mapped to the inputs specified for the smart contract, which in turn handles posting to the distributed ledgers, changes to the inputs are isolated to the smart contract, rather than forcing a schema redesign.

Abstract: Techniques to using distributed ledgers to confirm service levels in a network routing are disclosed. Communications networks are virtualized thereby enabling software-defined networking (SDN). An SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. In one example, the SDN scheduler may generate a temporal audit trail of service level agreements (SLAs) over a network path that includes different intermediate autonomous systems from a transmitting node to a destination node. The SDN scheduler may further perform temporal enhancements of the contract, and then combine the temporal enhancements with the temporal audit trail to confirm the actual service level against the service level as prescribed in the contract.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Abstract: Techniques to leveraging distributed ledgers for integrating heterogeneous database systems independent of underlying legacy systems are described herein. Heterogeneous database systems may be integrated to generate a desired analytics report. In one embodiment, DApps (i.e., smart contracts) and database drivers may be deployed to implement just-in-time data mapping in smart contracts to save substantial time in integrating these heterogeneous database systems. With the smart contract approach, the database drivers may be configured to port only the key data that are needed to be processed based upon, for example, on business considerations. As a result, only data fields that are needed may be mapped and converted into smart contracts. Because the data needed may be dynamically mapped to the inputs specified for the smart contract, which in turn handles posting to the distributed ledgers, changes to the inputs are isolated to the smart contract, rather than forcing a schema redesign.

Abstract: Techniques to using distributed ledgers to confirm service levels in a network routing are disclosed. Communications networks are virtualized thereby enabling software-defined networking (SDN). An SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. In one example, the SDN scheduler may generate a temporal audit trail of service level agreements (SLAs) over a network path that includes different intermediate autonomous systems from a transmitting node to a destination node. The SDN scheduler may further perform temporal enhancements of the contract, and then combine the temporal enhancements with the temporal audit trail to confirm the actual service level against the service level as prescribed in the contract.

Abstract: Techniques to apply consensus-based network routing using distributed ledgers are disclosed. Communications networks are virtualized thereby enabling software defined networking (SDN). A SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. Since the SDN scheduler or allocator may rely on knowledge of the network state, it need not rely on optimistic routing techniques and thereby realize routing efficiencies. In some cases, the state of the network is comprised of MPLS histories where each MPLS history as a trace of network activity that is implemented as a well-marked and well-decorated tree. Persistence may be via a distributed ledger, software transactional memory or a relational database management system.

Abstract: A low density polyethylene composition characterized by having a density in range of 0.91 to 0.94 gm/cm3, a melt index in the range of 1 to 5 g/10 minutes, a gel permeation chromatography branching index in the range of 1.2 to 1, a polydispersity index in the range of 3.5 to 7.5, a viscosity ratio in the range of 0.7 to 1, and a long chain branching frequency greater than zero at a log molecular weight (log(MW)) value in the range of 4 to 5.5. Film formed from the polyethylene compositions with favorable haze and gloss characteristics, and a process for forming such film, are also described.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject according to a schedule, under the control of a scheduling controller.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject according to a schedule, under the control of a scheduling controller.

Abstract: A system, computer-readable medium, and method for developing a treatment strategy for a patient with a medical condition related to an undesirable occurrence in at least one population of in vivo cells. The system, and method include generating one or more proposed treatment strategies to treat the patient's medical condition. A predictive model is utilized to predict a patient's physiological response to events that occur during the treatment strategies. As patient information is measured over time, the predictive model is adapted to more accurately model the patient's expected response.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject when the eye of the subject is properly aligned with regard to an interrogation signal source and/or response signal sensor.

Abstract: A low density polyethylene composition characterized by having a density in range of 0.91 to 0.94 gm/cm3, a melt index in the range of 1 to 5 g/10 minutes, a gel permeation chromatography branching index in the range of 1.2 to 1, a polydispersity index in the range of 3.5 to 7.5, a viscosity ratio in the range of 0.7 to 1, and a long chain branching frequency greater than zero at a log molecular weight (log(MW)) value in the range of 4 to 5.5. Film formed from the polyethylene compositions with favorable haze and gloss characteristics, and a process for forming such film, are also described.

Abstract: Systems and methods are disclosed for initiating a monitoring session between a user device and a pet monitoring system including a base station and a plurality of monitoring devices. The base station receives a request to monitor the pet from the user device, activates the plurality of monitoring devices, receives data from the plurality of monitoring devices, locates the pet based on the received data from the plurality of monitoring devices, selects a selected monitoring device of the plurality of monitoring devices based upon at least one of the data from the plurality of monitoring devices and the location of the pet, and transmits the data from the selected monitoring device to the user device.

Abstract: A system for monitoring a pet includes a base station and a first monitoring device configured to capture first data relating to a first monitored area and to transmit the first data to the base station. The system further includes a second monitoring device configured to capture second data relating to a second monitored area and to transmit the second data to the base station, wherein the first monitored area and the second monitored area are adjacent. The base station is configured to determine a location of the pet as being in at least one of the first monitored area and the second monitored area. The base station is configured to determine a status of the pet based on at least one of the first and second data.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject when the eye of the subject is properly aligned with regard to an interrogation signal source and/or response signal sensor.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject according to a schedule, under the control of a scheduling controller.

Abstract: Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject according to a schedule, under the control of a scheduling controller.

Abstract: Methods and system for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The gaze direction of the eye of the subject is determined and an interrogation signal source and/or response signal sensor are moved into alignment with the eye using an actuator to facilitate detection of the signal from the eye of the subject.