Abstract: The present disclosure features compounds of formula (1-a) and related compositions that, inter alia, modulate nucleic acid splicing e.g., splicing of a pre-mRNA, as well as methods of use thereof.

Abstract: Method and system for verifying authenticity of specific personal data responsive to a unique wallet address on a public ledger of an unregulated platform. The wallet contains one or more non-transferable NFTs, each locked to the wallet and related to specific personal data. The non-transferable NFT was minted from a regulated platform to which there is a record in the public ledger. Supplying the unique address of the wallet to a service supplier affects a log-in of a client to the service supplier, whereafter message interactions over a network between the service supplier and the unregulated platform permits searching for a relevant non-transferable NFTs stored in the wallet and related to the specific personal data. Return of any relevant non-transferable NFT related to the personal data thus verifies authenticity of the specific personal data by association with a regulated platform.

Abstract: An insect separating apparatus may include a sensor positioned to detect one or more insects when present within a test chamber. For example, the sensor may emit signals into the test chamber and receive reflected signals indicative of Doppler shifts caused by movement of the one or more insects. Based on information from the sensor, a computing device may determine a characteristic of the one or more insects in the chamber, such as a wing beat frequency, sex, or other characteristic. The computing device may instruct different responses based on the characteristic determined, such as activating an air mover to divert detected mosquitos out of the test chamber in response to the determined characteristics matching those of female mosquitos, or deactivating or maintaining the air mover in an inactive condition in response to the determined characteristics matching those of male mosquitos, for example, to allow passage through the chamber into a collection receptacle.

Abstract: A method and an intersection testing module for performing intersection testing in a ray tracing system determines if a difference between an intersection distance at which a ray intersects a first primitive and an intersection distance at which the ray intersects a second primitive satisfies a comparison condition with respect to a threshold, and if the orientations of the first and second primitives are different. If so the intersection of the ray with the one of the first and second primitives which has a particular orientation is selected.

Abstract: A computer-implemented method for compressing, an input group of m data values compresses the two least significant bits of each of the data values by mapping the two least significant bits of each of the data values in the input group of m data values collectively onto an m-bit encoding and storing the m-bit encoding, the m-bit encoding being selected from 2m m-bit encodings, the 2m m-bit encodings comprising a first group of encodings comprising (2m?4) m-bit encodings and a second group of encodings comprising four m-bit encodings, wherein if the selected encoding is an encoding from the first group of encodings then the selected encoding represents the two least significant bits for a representative group of m data values in which the second least significant bit of each of the data values is the same as a respective bit of the m-bit encoding, and wherein if the selected encoding is an encoding from the second group of encodings then the selected encoding represents the two least significant bits for a rep

Abstract: A method and an intersection testing module for performing intersection testing in a ray tracing system determines a first offset intersection distance which is equal to a sum of an intersection distance at which a ray intersects a first primitive and a first offset which is dependent upon the orientation of the first primitive. A second offset intersection distance is determined which is equal to a sum of an intersection distance at which the ray intersects a second primitive and a second offset which is dependent upon the orientation of the second primitive. The determined first and second offset intersection distances are compared to select the intersection of the ray with one of the first and second primitives.

Abstract: A method and an intersection testing module for performing intersection testing in a ray tracing system determines that a difference between an intersection distance at which a ray intersects a first primitive and an intersection distance at which the ray intersects a second primitive satisfies a comparison condition with respect to a threshold. It is determined that the orientations of the first and second primitives are different. The intersection of the ray with one of the first and second primitives is selected on the basis that the one of the first and second primitives has a particular orientation.

Abstract: A computer-implemented method for compressing an n-bit data value, the method comprising dividing the n bits of the data value into a first subset of bits and a second subset of bits, the first subset comprising the n?2 most significant bits of the data value and the second subset comprising the two least significant bits of the data value; performing compression of the first subset using a first compression module; and performing compression of the second subset using a second compression module, the first and second compression modules implementing different compression schemes.

Abstract: A computer-implemented method for decompressing compressed data, the compressed data representing an n-bit decompressed data value, the compressed data comprising a first compressed subset of bits and a second compressed subset of bits, the first compressed subset representing the n?2 most significant bits of the decompressed data value and the second compressed subset representing the two least significant bits of the decompressed data value, the method comprising performing decompression of the first compressed subset using a first decompression module to determine the n?2 most significant bits of the decompressed data value; performing decompression of the second compressed subset using a second decompression module to determine the two least significant bits of the decompressed data value, the first and second decompression modules implementing different decompression schemes; and combining the determined n?2 most significant bits of the decompressed data value and the determined two least significant bit

Abstract: Systems and methods include obtaining a set of policies to in the serverless computing system, wherein the set of policies specify which applications are authorized for communication with the serverless computing system; and modifying rules in a network Access Control List (ACL) associated with the serverless computing system based on the set of policies, wherein the network ACL includes rules that specify allowing and blocking communication. The serverless computing system includes having underlying hardware abstracted therefrom. The network ACL is provided by a cloud provider that hosts the serverless computing system.

Abstract: Systems and methods for facilitating the provision of goods using automated stores are provided. The automated stores are distributed across a geographical area and are remotely controlled to create an on-line marketplace. Users of the system can access the marketplace using an interactive portal to purchase items. Buyers can create purchase orders for items stocked in the marketplace and collect the items at one or more automated stores. The items are consigned to the buyers in real time at the automated store.

Abstract: A rotational intravascular ultrasound probe for insertion into a vasculature and a method of manufacturing the same. The rotational intravascular ultrasound probe comprises an elongate catheter having a flexible body and an elongate transducer shaft disposed within the flexible body. The transducer shaft comprises a proximal end portion, a distal end portion, a drive shaft extending from the proximal end portion to the distal end portion, an ultrasonic transducer disposed near the distal end portion for obtaining a circumferential image through rotation, and a transducer housing molded to the drive shaft and the ultrasonic transducer.

Abstract: Embodiments provided herein relate to methods and compositions for preparing nucleic acid libraries. Some embodiments include preparing libraries from nucleic acids obtained from degraded samples, such as ancient samples and fixed samples.

Abstract: A method and an intersection testing module in a ray tracing system for determining whether a ray intersects a three-dimensional axis-aligned box. It is determined whether a first condition is satisfied, wherein the first condition is, or is equivalent to, ? "\[LeftBracketingBar]" C x - C z ? D x D z ? "\[RightBracketingBar]" ? H z ? D x D z + H x . It is determined whether a second condition is satisfied, wherein the second condition is, or is equivalent to, ? "\[LeftBracketingBar]" C y - C z ? D y D z ? "\[RightBracketingBar]" ? H z ? D y D z + H y . It is determined whether a third condition is satisfied, wherein the third condition is, or is equivalent to, ? "\[LeftBracketingBar]" C x ? D y D z - C y ? D x D z ? "\[RightBracketingBar]" ? H y ? D x D z + H x ? D y D z .

Abstract: A flow control device for a compressible bottle may include a reservoir, the reservoir comprising an ophthalmic formulation disposed therein, the ophthalmic formulation comprising an ophthalmic agent and a preservative; a reservoir interface, disposed at a mouth of the reservoir, the reservoir interface comprising one or more apertures, the one or more apertures in the reservoir interface fluidically connecting an interior of the reservoir and an exterior of the reservoir; a nozzle, the nozzle comprising: an outlet and a nozzle cap, the nozzle cap comprising one or more apertures, the one or more apertures in the nozzle cap fluidically connecting the outlet and a reservoir-facing surface of the nozzle; and an axis of rotation, wherein rotation of the nozzle about the axis of rotation relative to the reservoir aligns the one or more apertures in the reservoir interface with the one or more apertures in the nozzle cap.

Abstract: Methods of treating of interstitial lung disease, reducing pulmonary function decline in a subject with interstitial lung disease (ILD), and increasing forced vital capacity (FVC) in a subject suffering from ILD are provided, wherein the methods include administration of treprostinil.

Abstract: A method and an intersection testing module for performing intersection testing of a ray with a box in a ray tracing system. The ray and the box are defined in a 3D space using a space-coordinate system, and the ray is defined with a ray origin and a ray direction. A ray-coordinate system is used to perform intersection testing, wherein the ray-coordinate system has an origin at the ray origin, and the ray-coordinate system has three basis vectors. A first of the basis vectors is aligned with the ray direction. A second and a third of the basis vectors: (i) are both orthogonal to the first basis vector, (ii) are not parallel with each other, and (iii) have a zero as one component when expressed in the space-coordinate system. A result of performing the intersection testing is outputted for use by the ray tracing system.

Abstract: Embodiments are for using adaptive fill techniques to avoid electromigration, thereby resulting in electromigration signoff. A wire segment failing to meet an electromigration current limit is determined on an integrated circuit (IC). Fill shapes are connected adjacent to the wire segment to cause the wire segment to meet the electromigration current limit. The fill shapes are non-functional shapes on the IC.

Abstract: Embodiments include thermally coupled aware device placement in the schematic design stage of the development of an integrated circuit. Aspects of the invention include obtaining a schematic design of a macro, the schematic design including a plurality of devices disposed within the macro. Aspects also include determining an initial temperature for each of the plurality of devices, where the initial temperature due to self-heating. Aspects further include determining, iteratively for each of the plurality of devices, an uplift temperature, where the uplift temperature for a first device of the plurality of devices is determined based on the initial temperature of each of the other plurality of devices and a distance between the first device and each of the other plurality of devices as encoded in the schematic design. Aspects also include modifying the schematic design of the macro based on a determination that the uplift temperature of at least one of the plurality of devices is above a threshold value.

Abstract: A method and an intersection testing module for performing intersection testing of a ray with a convex polygon in a ray tracing system. The ray and the convex polygon are defined in a 3D space using a space-coordinate system. The ray is defined with a ray origin and a ray direction. A ray-coordinate system is used to perform intersection testing, wherein the ray-coordinate system has an origin at the ray origin, and wherein the ray-coordinate system has three basis vectors. A first of the basis vectors is aligned with the ray direction. A second and a third of the basis vectors: (i) are both orthogonal to the first basis vector, (ii) are not parallel with each other, and (iii) have a zero as one component when expressed in the space-coordinate system. A result of performing the intersection testing is outputted for use by the ray tracing system.