摘要:
This invention relates to acrylic polymers and more specifically to polyalamides and polyacrylates such as poly{2-[(N-2-methyl-5-nitrophenylamino)ethyl acrylate]} and poly[(N-2-methyl-4-nitrophenyl)acrylamide]. These acrylic polymers are particularly useful as nonlinear optical components in various electrical devices for processing optical amplifiers, generators, computational devices and the like.
摘要:
This invention relates to acrylic polymers and more specifically to polyalamides and polyacrylates such as poly{(2-[(N-2-methyl-5-nitrophenylamino)ethyl acrylate]} and poly[(N-2-methyl-4-nitrophenyl)acrylamide]. These acrylic polymers are particularly useful as nonlinear optical components in various electrical devices for processing optical signals including interferometors, optical switches, optical amplifiers, generators, computational devices and the like.
摘要:
Provided herein are methods for preparing nano-macroporous glass articles, such as bioscaffolds, from starting materials such as phosphosilicate glasses made by melt-quench methods, mixed with a soluble pore former such as a sugar, followed by steps of dissolving, heating, and leaching to yield a glass composition having a highly interconnected system of both macropores and large scale nanoporosity.
摘要:
Sensors for detecting IR radiation, UV radiation, X-Rays, light, gas, and chemicals. The sensors herein incorporate freestanding carbon nanostructures, such as single-walled carbon nanotubes (“SWCNT”), atomically thin carbon sheets having a thickness of about between 1 atom and about 5 atoms (“graphene”), and combinations thereof. The freestanding carbon nanostructures are suspended above a substrate by a plurality of conductors, each conductor electrically connected to the carbon nanostructure. In one method of manufacture, a resonance chamber is formed under the carbon nanostructure by etching of the substrate, yielding a sensor wherein the resonance chamber is bounded by at least the substrate and the carbon nanostructure.
摘要:
A biocompatible inorganic porous material having a three-dimensional coexistent network of interconnected macro-pores and nanopores produced by the steps of mixing an organic water-soluble polymer (e.g., polyethylene oxide or a block copolymer of ethylene oxide and propylene oxide), an alkoxysilane, and an inorganic water-soluble calcium salt in an aqueous acid solution, such that a sol-gel process of hydrolysis and polycondensation is initiated and thereby producing a gel; drying the gel to remove solvent by evaporation; and heating the gel to remove the polymer by thermal decomposition, thereby forming an inorganic porous material, which may be suitable for use as a bone tissue scaffold.
摘要:
A biocompatible inorganic porous material having a three-dimensional coexistent network of interconnected macro-pores and nanopores produced by the steps of mixing an organic water-soluble polymer (e.g., polyethylene oxide or a block copolymer of ethylene oxide and propylene oxide), an alkoxysilane, and an inorganic water-soluble calcium salt in an aqueous acid solution, such that a sol-gel process of hydrolysis and polycondensation is initiated and thereby producing a gel; drying the gel to remove solvent by evaporation; and heating the gel to remove the polymer by thermal decomposition, thereby forming an inorganic porous material, which may be suitable for use as a bone tissue scaffold.
摘要:
Methods and apparatuses are described for formally verifying a bit-serial division circuit design or a bit-serial square-root circuit design. Some embodiments formally verify a bit-serial division circuit design using a set of properties that can be efficiently proven using a bit-level solver. In some embodiments, the set of properties that are used for verifying a bit-serial division circuit design does not include any terms that multiply a w-bit partial quotient with the divisor. Some embodiments formally verify a bit-serial square-root circuit design using a set of properties that can be efficiently proven using a bit-level solver. In some embodiments, the set of properties that are used for verifying a bit-serial square-root circuit design does not include any terms that compute a square of a w-bit partial square-root.
摘要:
A system and method is disclosed for formal verification of software programs that advantageously improves performance of an abstraction-refinement loop in the verification system.
摘要:
A novel technique for improving the accuracy of seed values for iterative convergent computations such as square-root taking and division by providing optional dynamic range expansion as a part of the seed selection process is described. The technique, by improving seed accuracy, reduces the number of iterations required for convergence. This is accomplished with less hardware than would be required to accomplish the same result with a large ROM.
摘要:
Provided herein are novel nanoporous glass fibers, and methods of preparing and using such fibers. In some embodiments, articles are made from particular glass starting materials, such as soda-lime phosphosilicate glass fabricated by melt-quench methods. The articles include nanoporous fibers that can be used alone, or sewn, woven, bundled, and otherwise incorporated to form nanoporous articles, including bioactive articles.