Abstract: A “dry” packaging in which a prosthetic heart valve is packaged within a container with hydrogel that can be provided in many forms. Certain embodiments include hydrogel that is preloaded with glycerol or the like. The hydrogel regulates the humidity within the container through a diffusion-driven mechanism if a gradient of humidity between the inside and the outside of the hydrogel exists. Humidity regulation is important to prevent the tissue of the valve structure from drying out. When the partially-hydrated hydrogel is present within container, which is saturated with air of a predefined humidity, the water molecules from the air will be absorbed by the hydrogel if the air humidity is high (i.e. when the thermodynamics favor hydrogel hydration) or vice versa. Various embodiments are configured to also house at least a portion of a delivery device for delivering the prosthetic heart valve.

Abstract: In various embodiments method are provided for generating expression cassettes and gene therapy vectors comprising those cassettes that recapitulate the spatiotemporal pattern of expression of the endogenous gene. In certain embodiments the methods comprise (i) selecting a target gene; (ii) identifying putative regulatory elements associated with the target gene; (iii) determining if the regulatory element is a key regulatory element and (iv) providing a list of the key regulatory elements identified in step (iii).

Abstract: The present invention is directed to an assembling device used for semiconductor equipment. The assembling device includes a chamber lid, a ceiling, a suspension part, a driving part and receptacles. The ceiling is disposed below the chamber lid. The suspension part is inserted through the chamber lid, and to be hooked to the ceiling. The driving part is disposed above the chamber lid and connected to the suspension part, and configured to drive the suspension part to join or separate the ceiling and the chamber lid. The receptacles are disposed in the ceiling and configured to be correspondingly attached to the suspension part, each of the receptacles defines a rotating groove that is open at top and closed at bottom.

Abstract: The invention provides a gas injector and cover plate assembly comprising a cover plate, a gas injector and a ceiling. The cover plate comprises a plurality of cooling fluid channels. The gas injector is configured to be located on the cover plate comprising a gas distributor, a fluid-cooling gas transmitter, a plurality of gas spraying plates and a conducting cone. The gas distributor distributes a plurality of gases and a gas transmitter cooling fluid. The gas distributor comprises a gas conduit for introducing a first gas. The fluid-cooling gas transmitter connects the gas distributor to introduce the gas transmitter cooling fluid to form a plurality of cooling fluid walls and the first gas and the gases. The gas spraying plates and the conducting cone are located beneath the fluid-cooling gas transmitter.

Abstract: The present invention is directed to an assembling device used for semiconductor equipment. The assembling device includes a chamber lid, a ceiling, a suspension part, a driving part and receptacles. The ceiling is disposed below the chamber lid. The suspension part is inserted through the chamber lid, and to be hooked to the ceiling. The driving part is disposed above the chamber lid and connected to the suspension part, and configured to drive the suspension part to join or separate the ceiling and the chamber lid. The receptacles are disposed in the ceiling and configured to be correspondingly attached to the suspension part, each of the receptacles defines a rotating groove that is open at top and closed at bottom.

Abstract: The present invention is directed to an assembling device used for semiconductor equipment. The assembling device includes a chamber lid, a ceiling, a suspension part and a driving part. The ceiling is disposed below the chamber lid. The suspension part is inserted through the chamber lid, and to be hooked to the ceiling. The driving part is disposed above the chamber lid and connected to the suspension part, and configured to drive the suspension part to join or separate the ceiling and the chamber lid. The driving part has an elevating unit and a rotating unit. The elevating unit and the rotating unit are respectively configured to elevate and rotate the suspension part.

Abstract: Perfluoro-t-butoxyallyl ether and perfluoro-t-butoxypropargyl ether and methods for their synthesis are disclosed. Also disclosed are methods for making polymers from the perfluoro-t-butoxyallyl ether and perfluoro-t-butoxypropargyl ether.

Abstract: A gas injector and cover plate assembly includes a cover plate, a gas injector and a ceiling. The cover plate includes cooling fluid channels. The gas injector is configured to be located on the cover plate, and includes a gas distributor, a fluid-cooling gas transmitter, gas spraying plates and a conducting cone. The gas distributor distributes gases and a gas transmitter cooling fluid. The gas distributor includes a gas conduit for introducing a first gas. The fluid-cooling gas transmitter connects the gas distributor to introduce the gas transmitter cooling fluid to form cooling fluid walls and the first gas and the gases. The gas spraying plates and the conducting cone are located beneath the fluid-cooling gas transmitter.

Abstract: The invention provides a gas injector and cover plate assembly comprising a cover plate, a gas injector and a ceiling. The cover plate comprises a plurality of cooling fluid channels. The gas injector is configured to be located on the cover plate comprising a gas distributor, a fluid-cooling gas transmitter, a plurality of gas spraying plates and a conducting cone. The gas distributor distributes a plurality of gases and a gas transmitter cooling fluid. The gas distributor comprises a gas conduit for introducing a first gas. The fluid-cooling gas transmitter connects the gas distributor to introduce the gas transmitter cooling fluid to form a plurality of cooling fluid walls and the first gas and the gases. The gas spraying plates and the conducting cone are located beneath the fluid-cooling gas transmitter.

Abstract: Perfluoro-t-butoxyallyl ether and perfluoro-t-butoxypropargyl ether and methods for their synthesis are disclosed. Also disclosed are methods for making polymers from the perfluoro-t-butoxyallyl ether and perfluoro-t-butoxypropargyl ether.

Abstract: A gas injector and cover plate assembly includes a cover plate, a gas injector and a ceiling. The cover plate includes cooling fluid channels. The gas injector is configured to be located on the cover plate, and includes a gas distributor, a fluid-cooling gas transmitter, gas spraying plates and a conducting cone. The gas distributor distributes gases and a gas transmitter cooling fluid. The gas distributor includes a gas conduit for introducing a first gas. The fluid-cooling gas transmitter connects the gas distributor to introduce the gas transmitter cooling fluid to form cooling fluid walls and the first gas and the gases. The gas spraying plates and the conducting cone are located beneath the fluid-cooling gas transmitter.

Abstract: Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for formally verifying designs having elements from more than a single design domain is described. An example system allows formal verification of a design containing mixed analog and digital subparts. The system may use different proof engines to solve an appropriate sub-partition of the entire design, and may provide a framework for translating between the different domains to create a unified result. For example, a digital proof engine may be used for a digital only subpart, while an analog proof engine may be used for an analog only subpart. The system may use the partitioning results to determine translators between the various domains, and an order in which the proof engines are applied.

Abstract: An egg dipper for use in an egg decorating kit includes a handle and an egg holder portion pivotally attached to the handle and defining an opening for receiving at least a portion of an egg such that the egg is held by the holder portion. The handle and holder portion are formed of a plastic material and the handle pivots between an unlocked position and a locked position in which the handle is locked in place with respect to the holder portion.

Abstract: Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.

Abstract: A method and system for formally verifying designs having elements from more than a single design domain is described. For example, an example system allows formal verification of a design containing mixed analog and digital design.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.