Abstract: A method for verifying and/or validating whether a technical system fulfills a desired criterion. The technical system emits output signals based on input signals supplied to the technical system. The method includes: obtaining models for a plurality of components of the technical system; obtaining a plurality of validation measurements; for each component, training a machine learning model to predict outputs of the respective component; obtaining first test outputs from a last model based on test input; determining, second test outputs from the machine learning model corresponding to the last model and based on the test inputs of the models; determine a deviation which characterizes a difference between first test outputs determined from the last model and second test outputs determined by the machine learning model corresponding to the last model; verifying and/or validating whether the technical system fulfills the criterion.

Abstract: A method for subsurface sequestration of carbon dioxide includes placing into a subterranean zone an oxidizer having a redox potential of at least 0.5 volts. The subterranean zone has an average total organic content of at least three weight percent. Carbon dioxide is injected into the subterranean zone via one or a plurality of wells. A total volume of all fluids injected into the subterranean zone via the one or the plurality of wells includes, on average per well per month, at least sixty-five weight percent carbon dioxide and less than thirty weight percent water.

Abstract: A method for verifying and/or validating whether a technical system fulfills a desired criterion. The technical system emits output signals based on input signals supplied to the technical system. The method includes: obtaining models for a plurality of components comprised by the technical system; obtaining a plurality of validation measurements; for each component, training a machine learning model to predict measurement outputs of the respective component based on inputs of the respective component; obtaining first test outputs from a last model based on test inputs; determining second test outputs from the machine learning model corresponding to the last model and based on the test inputs of the models; determining a discrepancy; verifying and/or validating whether the technical system fulfills the criterion.

Abstract: Provided herein are compounds identified as inhibitors of HDAC6 activity having the formula: or a pharmaceutically acceptable salt thereof, that can be used to treat various diseases and disorders.

Abstract: Methods and apparatus for providing delivery of content to client devices of a network via both multicast and unicast mechanisms. In one embodiment, a system for use in a managed content delivery network is described to bridge multicast to unicast, so that the total network bandwidth consumption is significantly lower than a corresponding unicast-only delivery solution, yet which still provides improved quality of service and user viewing experience as compared to a multicast-only delivery solution. In addition, various exemplary aspects of the present disclosure are readily adapted for real-time multicast to unicast streaming of audio and data to, among other things, minimize network bandwidth usage, while maintaining the guaranteed delivery of unicast streams with little or no modification to the existing client device logic.

Abstract: A streaming service updates a manifest to include a location of an encoded version of a program that is available for streaming and a restriction marker indicating that the program is restricted. A request for the manifest is received from a client device. Subsequent to providing the manifest to the client device, a request for authorization to stream the program is received from the client device, the request for authorization including client device metadata. Based on the client device metadata and blackout metadata associated with the program, it is determined that the client device is not authorized to stream the program. The streaming service sends, to the client device, slate information that identifies a slate image to be presented by the client device in lieu of the program.

Abstract: A mote includes an optical receiver that wirelessly receives a power and data signal in form of NIR light energy within a patient and converts the NIR light energy to an electrical signal having a supply voltage. A control module supplies the supply voltage to power devices of the mote. A clock generation circuit locks onto a target clock frequency based on the power and data signal and generates clock signals. A data recovery circuit sets parameters of one of the devices based on the power and data signal and a first clock signal. An amplifier amplifies a neuron signal detected via an electrode inserted in tissue of the patient. A chip identifier module, based on a second clock signal, generates a recorded data signal based on a mote chip identifier and the neuron signal. A driver transmits the recorded data signal via a LED or a RF transmitter.

Abstract: An optical modulator includes a substrate, a first dielectric layer over the substrate, a rib waveguide including a PN junction on the first dielectric, a second dielectric layer over the rib waveguide and a stressor layer including a metal, where the first or the second dielectric is between the stressor layer and the PN junction.

Abstract: Embodiments may relate to a transmission line to be coupled with an electromagnetic waveguide. The transmission line may include a signal node with a first contact, a second contact, and a via between first contact and the second contact. The transmission line may further include a ground node with a third contact, a fourth contact, and a via between the third contact and the fourth contact. Other embodiments may be described or claimed.

Abstract: A semiconductor waveguide device includes a first semiconductor layer having a first surface, wherein the first surface comprises a first protrusion and a second protrusion collectively forming a first trench in the first semiconductor layer, a second semiconductor layer having a second surface opposing the first surface of the first semiconductor layer, and an insulator layer disposed between and in contact with the first surface and the second surface, wherein the first semiconductor layer, the second semiconductor layer, and the insulator layer form a semiconductor waveguide region, and wherein the first trench is configured to confine a mode of light beam propagation in the semiconductor waveguide region.

Abstract: Embodiments may relate to a transmission line to be coupled with an electromagnetic waveguide. The transmission line may include a signal node with a first contact, a second contact, and a via between first contact and the second contact. The transmission line may further include a ground node with a third contact, a fourth contact, and a via between the third contact and the fourth contact. Other embodiments may be described or claimed.

Abstract: A battery of a vehicle is cooled by air from a cabin of the vehicle. The air from the cabin flows underneath a rear seat of the vehicle and to the battery.

Abstract: Air is cooled by a heat exchanger of a vehicle. The cooled air is directed to a cabin and/or battery of the vehicle. Ports in the cooling path direct the cooled air to the cabin and/or battery.

Abstract: A battery of a vehicle is cooled by air from a cabin of the vehicle. The air from the cabin flows underneath a rear seat of the vehicle and to the battery.

Abstract: Air is cooled by a heat exchanger of a vehicle. The cooled air is directed to a cabin and/or battery of the vehicle. Ports in the cooling path direct the cooled air to the cabin and/or battery.

Abstract: A method of knitting on a full fashion flat bed knitting machine where a face yarn and a plated yarn are used in combination. The method includes knitting an inelastic yarn on the face of the fabric and knitting an elastic yarn on the back of the fabric in plated relationship. Two separate yarn carriers are used to deliver the yarn to the needles where the carries are offset from each other by at least one needle width.