Abstract: Timing constraint auto-creation for integrated circuit testing includes analyzing an integrated circuit design using a first clocking attribute, wherein the first clocking attribute describes a first clock for the integrated circuit design; identifying, based on the analysis and the first clocking attribute, design features of the integrated circuit design necessitating timing constraints; and generating, based on the identified design features, the timing constraints for the static timing analysis of the integrated circuit design.

Abstract: The current invention describes a laboratory animal model for dirofilarial nematodes wherein said laboratory animal is fed a dietary admixture of laboratory feed containing an immunosuppressing agent, for example, a glucocorticoid. The invention also describes the use of the laboratory animal model for screening endoparasiticides for the treatment and/or prevention of filarial nematode infections in animals.

Abstract: Systems and methods for making and delivering personalized, medically prescribed pharmaceuticals to an individual patient are described. Individual unit doses (IUDs) of medicine may be prepared specific to the individual in need of same, by using a system, which includes a networked control system in combination with manufacturing assemblies specific to the IUDs and delivering the medicine to the patient directly from the manufacturer.

Abstract: A method and system for linking a physical artifact to a non-fungible token (NFT) with a digital certificate and/or a digital certificate of authenticity (COA) are disclosed herein. The method and system use multiple attestations along with digital ledger technology to provide a digital certificate of authenticity for an object such as a work of art, collectible, or a non-fungible token (NFT) when the NFT is minted. An extended physical backed token (EPBT) is also generated for the physical artifact.

Abstract: A product, according to one general aspect, includes solid state electrolyte particles, each particle individually having a coating thereon, the coating comprising a first metal oxide in a first layer and a second metal oxide in a second layer. The first and second metal oxides are different. A method, according to one general aspect, includes fabricating a product using a powder of solid state electrolyte particles, each particle being coated with a coating formed via 15 cycles or less of atomic layer deposition, the coating comprising a first metal oxide in a first layer and a second metal oxide in a second layer. The first and second metal oxides are different.

Abstract: A system and method for using a mobile device to capture the proper execution of a series of one or more tasks with pre-assigned constraints that are associated with a specific set of assets is disclosed herein. The assets have certain known physical attributes and characteristics and are configured in a known manner. The assets are preferably vehicles such as trucks.

Abstract: A partially foam encased pocketed spring assembly is made in a fully automated assembly machine. A first foam rail is introduced into the assembly machine and glued to upper and lower substrate webs. A first string of pocketed springs is then glued to a side surface of the first foam rail between upper and lower substrate webs and glued to the upper and lower substrate webs. Additional strings are joined together to create a pocketed spring interior. A second foam rail is then introduced into the assembly machine and glued to an outer string and to the upper and lower substrate webs to create a core. Third and fourth foam rails are glued to the core.

Abstract: The invention is related to the preparation of protected piperidine carboxylates suitable for use as intermediates that lead, via a series of additional process steps, including a sulfation of a hydroxy urea compound, to the preparation of the beta lactamase inhibitor (2S,5R)-7-oxo-N-piperidin-4-yl-6-(sulfoxy)-1,6-diazabicyclo[3.2.1]octane-2-carboxamide.

Abstract: Disclosed are systems, methods, and devices for managing mobile devices used while collecting samples and capturing auxiliary data in the field. A sampling system may provide at-a-glance information on sample statuses, help with scheduling, and track locations of mobile devices. Locations may be obtained from lower-level software than a mobile application running on the mobile devices, so as to help ensure compliance. A mobile device may provide a mobile application that provides sample status in real-time and helps with the capture of data even without a network connection that enables uploading to a server. Because locations may be detected via satellites without requiring a network connection, the locations of devices are more reliable.

Abstract: The present disclosure generally relates to user interfaces for managing spatial audio. Some exemplary techniques include user interfaces for transitioning between visual elements. Some exemplary techniques include user interfaces for previewing audio. Some exemplary techniques include user interfaces for discovering music. Some exemplary techniques include user interfaces for managing headphone transparency. Some exemplary techniques include user interfaces for manipulating multiple audio streams of an audio source.

Abstract: A method of determining a location of an ingestible capsule within a gastrointestinal tract of a subject mammal, the method comprising providing the ingestible capsule to the subject mammal for ingestion, the ingestible capsule comprising a housing, a power source, a TCD gas sensor, and a VOC gas sensor; recording readings of the ingestible capsule as a function of time, the readings including TCD gas sensor readings and VOC gas sensor readings; processing the recorded readings, including: determining a timing of a gastric-duodenal transition, wherein determining the timing comprises detecting a gastric-duodenal transition indicator in recorded readings including the recorded TCD gas sensor readings; and determining a timing of a transition across an ileocecal junction by the ingestible capsule, wherein determining the timing comprises detecting an ileocecal junction indicator in recorded readings including the VOC gas sensor readings.

Abstract: The present disclosure describes systems and methods for performing timing analysis of circuit designs. According to an embodiment, a method includes assigning a timing margin to a non-scan latch of a circuit design and performing a timing analysis on the circuit design using the timing margin for the non-scan latch to produce timing results for the circuit design. The timing results include a slack value. The method also includes calculating a credit based on the slack value and updating the slack value based on the credit.

Abstract: Disclosed herein is a dynamic backup battery for updating the firmware of a media device. The media device includes a memory device that is electrically coupled to a port. The port of the media device is configured to receive a first power. The media device also includes a battery that is electrically coupled to the port and is configured to supply a second power to the port. The media device includes a processor electrically coupled to the battery and is configured to monitor the power level of the first power received and based on the power level of the first power received falling below a threshold value, the battery supplies a second power to the port of the media device. The processor is further configured to activate a low power mode, detect an event while in low power mode, deactivate low power mode, perform a task, and reactivate low power mode.

Abstract: A perforation forming system includes a laser device and a control unit operably connected to the laser device. The control unit is configured to control the laser device to laser drill a plurality of perforations through a lipskin that has a curved contour. The lipskin includes a metallic coating that defines an exterior surface of the lipskin and a composite panel that defines an interior surface of the lipskin. The control unit is configured to form the perforations by controlling the laser device to emit laser beams that impinge upon the interior surface of the lipskin and penetrate the composite panel before penetrating the metallic coating.

Abstract: Systems and methods are provided for remotely detecting a status associated with an autonomous vehicle and generating control actions in response to such detections. In one example, a computing system can access a third-party communication associated with an autonomous vehicle. The computing system can determine, based at least in part on the third-party communication, a predetermined identifier associated with the autonomous vehicle. The computing system can determine, based at least in part on the third-party communication, a status associated with the autonomous vehicle, and transmit one or more control messages to the autonomous vehicle based at least in part on the predetermined identifier and the status associated with the autonomous vehicle.

Abstract: The present disclosure generally relates to user interfaces for managing spatial audio. Some exemplary techniques include user interfaces for transitioning between visual elements. Some exemplary techniques include user interfaces for previewing audio. Some exemplary techniques include user interfaces for discovering music. Some exemplary techniques include user interfaces for managing headphone transparency. Some exemplary techniques include user interfaces for manipulating multiple audio streams of an audio source.

Abstract: A computer-implemented method includes receiving one or more update requests; identifying, a set of foundational relationships for deletion from a graph database; inferring, using one or more relationship inference rules, a set of inferred relationships for deletion from the graph database; and deleting, from the graph database, the set of foundational relationships for deletion and the set of inferred relationships for deletion. Inferring the set of inferred relationships for deletion includes searching for relationships in the set of foundational relationships for deletion that match a relationship specified in a precondition of at least one of the one or more relationship inference rules; determining whether the precondition is satisfiable using at least one of the matching relationships; and, in response to the precondition being satisfiable, inferring at least one of the relationships of the set of inferred relationships for deletion using at least one of the matching relationships.

Abstract: A product includes a solid state electrolyte particle coated with a coating consisting essentially of metal oxide. A method includes depositing a coating on a solid state electrolyte particle by atomic layer deposition. A method includes fabricating a product using a plurality of solid state electrolyte particles coated with a coating consisting essentially of metal oxide.

Abstract: A partially foam encased pocketed spring assembly is made in a fully automated assembly machine. A first foam rail is introduced into the assembly machine and glued to upper and lower substrate webs. A first string of pocketed springs is then glued to a side surface of the first foam rail between upper and lower substrate webs and glued to the upper and lower substrate webs. Additional strings are joined together to create a pocketed spring interior. A second foam rail is then introduced into the assembly machine and glued to an outer string and to the upper and lower substrate webs to create a core. Third and fourth foam rails are glued to the core.

Abstract: A method for producing a nacelle inlet assembly includes forming a composite panel that has a carbon fiber reinforced polymer (CFRP) material. The composite panel is formed to have a curved contour that represents at least a portion of an annular barrel shape. The method includes applying a metallic coating to the composite panel to form a lipskin. The metallic coating is applied such that the metallic coating defines an exterior surface of the lipskin and the composite panel defines an interior surface of the lipskin. The method includes laser drilling a plurality of perforations through the lipskin. The laser drilling involves emitting a laser beam that impinges upon the interior surface of the lipskin and penetrates the CFRP material of the composite panel before penetrating the metallic coating and exiting the lipskin through the exterior surface.