Abstract: Transport Layer Security (TLS) connection establishment between a client and a server for a new session is enabled using an ephemeral (temporary) key pair. In response to a request, the server generates a temporary certificate by signing an ephemeral public key using the server's private key. A certificate chain comprising at least the temporary certificate that includes the ephemeral public key, together with a server certificate, is output to the client by the server, which acts as a subordinate Certificate Authority. The client validates the certificates, generates a session key and outputs the session key wrapped by the ephemeral public key. To complete the connection establishment, the server applies the ephemeral private key to recover the session key derived at the client for the new session. The client and server thereafter use the session key to encrypt and decrypt data over the link. The ephemeral key pair is not reused.

Abstract: A troche mold assembly includes a cover defining a receiving area and a tray removably positioned in the receiving area. The tray includes a frame having a top side and a bottom side opposite from the top side. The frame defines a plurality of cells, and each cell is configured to receive a medicament. The tray also includes a plurality of buttons. Each button is within a corresponding cell and is between the top side and the bottom side of the frame. In some aspects, wherein each button includes a center portion, a first hinge line adjacent to the cell wall, and a second hinge line between the first hinge line and the center portion. In various aspects, the cover includes a locating rib, and the tray is removably positioned within the receiving area such that the locating rib contacts the top side of the frame.

Abstract: In one embodiment, a method includes identifying, by an image detection tool, a tank within an image of a railway environment and identifying, by the image detection tool, a railroad track within the image of the railway environment. The method also includes determining, by the image detection tool, a distance between the tank and the railroad track and comparing, by the image detection tool, the distance between the tank and the railroad track to a predetermined threshold distance. The method further includes determining, by the image detection tool, that the tank presents a hazard to the railway environment in response to comparing the distance between the tank and the railroad track to the predetermined threshold distance.

Abstract: The present invention is directed to a method, device and system to efficiently liquefy and isolate a gas from a gaseous mixture. In an embodiment of the present invention, separation of gasses from the atmosphere can be carried out using a cooled surface to separate the gasses from the atmosphere. In an alternative embodiment of the present invention, removal of CO2 from the atmosphere can be carried out by using the method, device and system to efficiently cryogenically separate CO2 from air and capture the CO2 from a gaseous mixture using a surface and release the ‘CO2 lean air’ into the atmosphere and store the captured liquefied CO2.

Abstract: A hydraulic apparatus has a plurality of pump modules each of which is formed by a plurality of working chambers having a common high pressure manifold. A connecting circuit switchably connects pump modules to first and second hydraulic circuit portions to allocate capacity as first and second demands for hydraulic fluid vary. In an apparatus which may have two or more connecting circuit outputs, valves may be controlled or working chamber pumping cycles made inactive to facilitate the reallocation of a pump module from one output to another, and a control strategy addresses pump module allocation when the demands for hydraulic fluid exceed available capacity.

Abstract: A continuous CO2 capture system, method, and device are disclosed. The device includes a CO2 pump membrane including a moisture-swing material, and a cavity having a first fluid. The CO2 pump membrane separates the first fluid from a second fluid, the fluids creating a water concentration gradient across the membrane and transport of water through the membrane. The water concentration gradient creates a carbon concentration gradient across the membrane that decreases moving from outside the cavity to inside the cavity. As water is continuously transported from the first fluid to the second fluid through the CO2 pump membrane because of the water concentration gradient, carbon dioxide is continuously captured from the second fluid by the moisture-swing material of the CO2 pump membrane and continuously pumped along the carbon concentration gradient across the CO2 pump membrane and into the first fluid within the cavity.

Abstract: A computer-implemented compliance system is provided, configured to manage transactions over a digital asset network according to a compliance policy. The digital asset network is configured to enforce rules governing recording transactions on a public ledger. The compliance system is configured to determine that a requested transaction is in compliance with the compliance policy, generate at least partially encrypted compliance relevant auxiliary information (CRAI), the CRAI comprising information configured to facilitate independent verification of the compliance, and associate at least a portion of the CRAI with transaction information stored on the public ledger and store the associated CRAI in a storage location accessible via the digital asset network.

Abstract: A zwitterionic polysulfone formed from an allyl-containing monomer, a phenol-containing monomer, and an aryl-halide-containing monomer. The zwitterionic polysulfone may be incorporated into a desalination membrane.

Abstract: Provided herein are compounds of Formula (I): and forms thereof, including compositions thereof and uses therewith for treating spinal muscular atrophy.

Abstract: The present invention provides a controller for hydraulic apparatus (100). The controller is configured to determine (310) that an energy return criteria has been met by movement of a first movement component of a first hydraulic actuator. In response thereto, the controller is further configured to select (320) at least one among a plurality of energy control strategies based on at least one operational characteristic of the hydraulic apparatus, and to control (330) the hydraulic apparatus to implement the energy control strategy during movement of the first movable component in such a way as to meet the energy return criteria. The plurality of energy control strategies comprises a first energy control strategy and a second energy control strategy. The at least one operational characteristic of the hydraulic apparatus comprises an indication of an expected energy recovery of one or more of the energy control strategies.

Abstract: An analyzer system inputs parameter values from trace files of a software application into an autoencoder. The analyzer system adjusts weights of the edges between nodes in the autoencoder until reconstruction errors in outputs are minimized. The analyzer system receives a selection of a parameter represented in an autoencoder. In response, the analyzer system identifies hidden layer nodes connected to an output node corresponding to the selected parameter and identifies other output nodes connected to the hidden layer nodes. The analyzer system retrieves weights assigned to edges between the hidden layer nodes and the other output nodes. The analyzer system calculates correlation values between the output node corresponding to the selected parameter and each of the other output nodes and outputs the correlation values. A user can use the correlation values to better direct the root cause analysis.

Abstract: A carbon dioxide capture composition includes a hydroxide-ion-exchanged poly(N-vinyl guanidine)-based polymer material as a sorbent. A method of preparing the carbon dioxide capture composition includes contacting a poly(N-vinyl guanidine)-based polymer material with hydroxide ion exchange beads, and exchanging hydroxide ion into the poly(N-vinyl guanidine)-based polymer material to form the sorbent. A carbon dioxide capture method includes contacting the sorbent with a gas stream, and sorbing carbon dioxide in the gas stream with the sorbent. A carbon dioxide capture system includes a sorption bed having a hydroxide-ion-exchanged poly(N-vinyl guanidine)-based polymer material as a sorbent.

Abstract: A polymer composite includes a polymer substrate, activated carbon, and a carbonate salt. The activated carbon is infused with the carbonate salt. A hybrid composite includes a fibrous mat with activated carbon and potassium carbonate crystals adhered to the fibrous mat. Making a polymer composite includes combining activated carbon with a polymer to yield a mixture, and electrospinning the mixture to yield nanofibers, wherein the carbonate salt is adhered to or embedded in the nanofibers. Capturing carbon dioxide from a quantity of air includes contacting the polymer composite with the quantity of air in the presence of water vapor to yield potassium bicarbonate sorbed on the polymer composite.

Abstract: Systems and methods for preparing encapsulant-containing polymer capsules and fibers, as well as the encapsulant-containing polymer capsules and fibers and composites including the same are described. In one example, forming a plurality of encapsulant-containing polymer capsules includes preparing a mixture comprising a polymer, a solvent, an encapsulant, and a polymer that is soluble in the solvent, and removing some of the solvent from the mixture to yield the plurality of polymer capsules. Each polymer capsule include a shell formed of the polymer and contains the encapsulant. In another example, forming a plurality of polymer fibers containing an encapsulant includes providing the mixture to an electrospin apparatus and electrospinning the mixture to yield the plurality polymer fibers, where each polymer fiber defines a hollow core that contains the encapsulant.

Abstract: Described are techniques for generating an adaptive data protocol for an IoT network having a plurality community networks of IoT devices. The techniques include determining a data synchronization policy associated with Internet of Things (IoT) devices contained in a plurality of community networks within an IoT network. The techniques further include determining a data sharing policy associated with the IoT devices in the IoT network. The techniques further include analyzing transactions of the data synchronization policy and the data sharing policy to identify transactional inefficiencies in the data synchronization policy and the data sharing policy. The techniques further include generating an adaptive data protocol to increase transactional efficiency within the IoT network based on the analyzing of the data synchronization policy and the data sharing policy.

Abstract: Systems and methods are disclosed for simultaneously jet milling and conditioning particulate material comprising a grinding chamber and an aerosol generator arranged to supply liquid aerosol into the grinding chamber. A composition made by this method is also disclosed.

Abstract: A method, a computer program product, and a system for binding post-quantum certificates to traditional certificates. The method includes selecting a traditional certificate in a certificate chain owned by an owner. The method also includes calculating a fingerprint of the traditional certificate. The method further includes generating a post-quantum certificate with identical information fields as the traditional certificate, and populating a serial number of the post-quantum certificate using the fingerprint. The post-quantum certificate acts as an extension of the first traditional certificate providing authentication and validation between a client and a server using post-quantum capable signing algorithms.

Abstract: A computer system determines stack usage. An intercept function is executed to store a stack marker in a stack, wherein the intercept function is invoked when a program enters or exits each function of a plurality of functions of the program. A plurality of stack markers are identified in the stack and a memory address is determined for each stack marker during execution of the program to obtain a plurality of memory addresses. The plurality of memory addresses are analyzed to identify a particular memory address associated with a greatest stack depth. A stack usage of the program is determined based on the greatest stack depth. Embodiments of the present invention further include a method and program product for determining stack usage in substantially the same manner described above.

Abstract: Establishing secure communications by sending a server certificate message, the certificate message including a first certificate associated with a first encryption algorithm and a second certificate associated with a second encryption algorithm, the first certificate and second certificate bound to each other, signing a first message associated with client-server communications using a first private key, the first private key associated with the first certificate, signing a second message associated with the client-server communications using a second private key, the second private key associated with the second certificate, the second message including the signed first message, and sending a server certificate verify message, the server certificate verify message comprising the signed first message and the signed second message.

Abstract: A method, a computer program product, and a system for embedding a message in a random value. The method includes generating a random value and applying a hash function to the random value to produce a hash value. Starting with the hash value, the method further includes reapplying the hash function in an iterative or recursive manner, with a new hash value produced by the hash function acting as an initial value that is applied to the hash function for a next iteration, until a bit sequence representing a message is produced in a message hash value. The method further includes utilizing the message hash value as a new random value that can be used by an encryption algorithm.