Abstract: An embedded software analyzer (ESA) detects vulnerabilities in software, such as embedded software items (e.g., software that is pre-loaded onto a device or component). Vulnerabilities may include flaws, glitches, weaknesses, and/or other elements that may prevent correct operation or allow an attacker to access or exploit the software (and/or associated devices, components, systems, etc.) The ESA may utilize techniques such as fuzzing and symbolic execution to identify vulnerabilities. The ESA may predict vulnerabilities and prioritize analysis based on the prediction. The ESA may use smart seeding to optimize fuzzing or other analysis. Such smart seeding may include generating optimized inputs for a particular software item. The ESA may apply machine learning to perform, optimize, and/or otherwise implement such analysis techniques.

Abstract: Electrochemical CO2 reduction is a promising technology to capture and convert CO2 to valuable chemicals. Disclosed herein is the effect of anolyte on the effective morphology (i.e. ionic accessibility) of a CO2 reduction cathode using electrochemical techniques and cell configurations that avoid the complexities related to co-electrolysis (oxygen evolution reaction at anode).

Abstract: Described herein are compositions and methods that utilize complementary polymerization reactions to simultaneously generate one or more polymeric materials, including crosslinked polymer matrices, tethered inter-penetrating network, heterogenous polymer blends, or homogeneous polymer blends. The provided compositions and methods utilize the combination of an energy demanding step-growth reaction with a highly exothermic reaction to drive the energy demanding reaction by chemical heating and avoid issues associated with thermal runaway, such as solution boiling or unwanted biproducts.

Abstract: The present invention relates to a one-step process for preparation of “in-situ” or “ex-situ” self-organized and electrically conducting polymer nanocomposites using thermally initiated polymerization of a halogenated 3,4-ethylenedioxythiophene monomer or its derivatives. This approach does not require additional polymerization initiators or catalysts, produce gaseous products that are naturally removed without affecting the polymer matrix, and do not leave by-product contaminants. It is demonstrated that self-polymerization of halogenated 3,4-ethylenedioxythiophene monomer is not affected by the presence of a solid-state phase in the form of nanoparticles and results in formation of 3,4-polyethylenedioxythiophene (PEDOT) nanocomposites.

Abstract: A device includes one or more processors configured to: receive source code including a section of source code associated with at least one bug or vulnerability; generate a formatted code section based at least partly on the section of source code associated with at least one bug or vulnerability; identify a matching patch model based on the formatted code section; provide the formatted code section to the matching patch model; receive a remedied code section from the matching patch model; and apply the remedied code section to the section of source code associated with at least one bug or vulnerability. Generating the formatted code section based at least partly on the section of source code associated with at least one bug or vulnerability includes: dividing the section of source code into sub-elements; associating type information to the sub-elements to generate tokens; and mapping each token to a unique identifier.

Abstract: Various embodiments provide methods and systems for providing sustainable and environmentally friendly fluid lighteners for use in downhole wells. The sustainable and environmentally friendly fluid lighteners may include one or more viscosifiers, one or more aphron generators, and a location-specific non-emulsifying or de-emulsifying surfactant. Various embodiments provide methods and systems for providing continuity of chemistry in downhole wells.

Abstract: Various embodiments provide methods and systems for providing fluid lighteners for use in downhole wells. The fluid lighteners may include one or more viscosifiers, one or more aphron generators, and a location-specific non-emulsifying surfactant.

Abstract: Various embodiments provide methods and systems for providing fluid lighteners for use in downhole wells. The fluid lighteners may include one or more viscosifiers, one or more aphron generators, and a location-specific non-emulsifying surfactant.

Abstract: An embedded software analyzer (ESA) detects vulnerabilities in software, such as embedded software items (e.g., software that is pre-loaded onto a device or component). Vulnerabilities may include flaws, glitches, weaknesses, and/or other elements that may prevent correct operation or allow an attacker to access or exploit the software (and/or associated devices, components, systems, etc.) The ESA may utilize techniques such as fuzzing and symbolic execution to identify vulnerabilities. The ESA may predict vulnerabilities and prioritize analysis based on the prediction. The ESA may use smart seeding to optimize fuzzing or other analysis. Such smart seeding may include generating optimized inputs for a particular software item. The ESA may apply machine learning to perform, optimize, and/or otherwise implement such analysis techniques.

Abstract: A device includes one or more processors configured to: receive source code including a section of source code associated with at least one bug or vulnerability; generate a formatted code section based at least partly on the section of source code associated with at least one bug or vulnerability; identify a matching patch model based on the formatted code section; provide the formatted code section to the matching patch model; receive a remedied code section from the matching patch model; and apply the remedied code section to the section of source code associated with at least one bug or vulnerability. Generating the formatted code section based at least partly on the section of source code associated with at least one bug or vulnerability includes: dividing the section of source code into sub-elements; associating type information to the sub-elements to generate tokens; and mapping each token to a unique identifier.

Abstract: The present invention relates to a one-step process for preparation of “in-situ” or “ex-situ” self-organized and electrically conducting polymer nanocomposites using thermally initiated polymerization of a halogenated 3,4-ethylenedioxythiophene monomer or its derivatives. This approach does not require additional polymerization initiators or catalysts, produce gaseous products that are naturally removed without affecting the polymer matrix, and do not leave by-product contaminants. It is demonstrated that self-polymerization of halogenated 3,4-ethylenedioxythiophene monomer is not affected by the presence of a solid-state phase in the form of nanoparticles and results in formation of 3,4-polyethylenedioxythiophene (PEDOT) nanocomposites.

Abstract: The present invention relates to a one-step process for preparation of “in-situ” or “ex-situ” self-organized and electrically conducting polymer nanocomposites using thermally initiated polymerization of a halogenated 3,4-ethylenedioxythiophene monomer or its derivatives. This approach does not require additional polymerization initiators or catalysts, produce gaseous products that are naturally removed without affecting the polymer matrix, and do not leave by-product contaminants. It is demonstrated that self-polymerization of halogenated 3,4-ethylenedioxythiophene monomer is not affected by the presence of a solid-state phase in the form of nanoparticles and results in formation of 3,4-polyethylenedioxythiophene (PEDOT) nanocomposites.

Abstract: A horizontal adjustable hinge system that is capable of replacing existing hinges. The adjustable hinge assembly comprises of a first and second horizontally mounted support legs which comprise of two elongated slots for fasteners. These elongated slots for fasteners allow for adjustment of the distance between the fixed support structure and the movable structure. There is also two square holes for additional fortifying of the hinge assemble to the structure. The system also has a vertical mounted pole bracket capable of acting as a clamp over a standard post pole and having a multiplicity of openings for the insertion of fasteners.

Abstract: The present invention relates to a one-step process for preparation of “in-situ” or “ex-situ” self-organized and electrically conducting polymer nanocomposites using thermally initiated polymerization of a halogenated 3,4-ethylenedioxythiophene monomer or its derivatives. This approach does not require additional polymerization initiators or catalysts, produce gaseous products that are naturally removed without affecting the polymer matrix, and do not leave by-product contaminants. It is demonstrated that self-polymerization of halogenated 3,4-ethylenedioxythiophene monomer is not affected by the presence of a solid-state phase in the form of nanoparticles and results in formation of 3,4-polyethylenedioxythiophene (PEDOT) nanocomposites.

Abstract: A pair of magnetic mechanics gloves for allowing metal objects to be removably attached magnetically thereto comprising a right magnetic mechanics glove and a left magnetic mechanics glove. The right magnetic mechanics glove is defined by a conventional right handed glove body having magnetically infused finger tips and, in some embodiments, a magnetically infused dorsal side. The left magnetic mechanics glove is defined by a conventional left handed glove body which has three magnetic strips affixed in parallel to the surface of its dorsal side, below the finger area and above the wrist area.

Abstract: Packaging for holding an ophthalmic shunt, the ophthalmic shunt having a foot, a head, and a body connecting the foot and head, the packaging having an elastomeric membrane with an aperture for receiving the shunt in the packaging.

Abstract: An insertion tool and method are provided for implanting an ophthalmic shunt having a foot, a head and a body connecting the foot and head. The insertion tool has a first arm having a proximal end and a distal end and a second arm having a proximal end and a distal end. The second arm is movable with respect to the first arm between an open position and a closed position. A means to grip a shunt is disposed on the distal ends of the first and second arms. In use, the insertion tool is employed to selectively grip the shunt for placement in the tissue of the eye and, as desired, to orient the shunt after placement.

Abstract: An underwater vacuum, cleaning, removal, and sterilization system that allows for the submersible cleaning and sterilization of interior surfaces of drinking water storage, treatment, and distribution facilities. The system allows for the cleaning and chemical sterilization of surfaces in an underwater environment while simultaneously removing the sterilization chemical to prevent the said sterilization chemical from impacting or increasing the optimum sterilization chemical concentration in the surrounding water. The underwater vacuum, cleaning, and sterilization system includes a housing 24 having an opening 46 which is positioned adjacent the surface to be cleaned and sterilized. The system also includes a containment chamber 55 inside said housing.