Abstract: A dental implant fixture mount-abutment includes a fixture mount having a coronal end and an internal slot, a tapered cylinder body, a root for internally connecting to a dental implant, and a plurality of engaging jaws protruded from the root for engaging with an internal channel of the dental implant, such that the root forms a male connector for inserting into the internal channel in the dental implant to stabilize the DIFMA in position.

Abstract: Computer-implemented techniques are disclosed for verifying circuit designs using dynamic problem generation. A device under test (DUT) is modeled as part of a test bench where the test bench is a random process. A set of constraints is solved to generate stimuli for the DUT. Problem generation is repeated numerous times throughout a verification process with problems and sub-problems being generated and solved. When a problem is solved, the problem structure can be stored in a cache. The storage can be based on entropy of variables used in the problem. The problem storage cache can be searched for previously stored problems which match a current problem. By retrieving a problem structure from cache, the computational burden is reduced during verification. Problems can be multi-phase problems with storage and retrieval of problem structures based on the phase level. Caching can be accomplished using an information theoretic approach.

Abstract: Computer-implemented techniques are disclosed for verifying circuit designs using subgraph caching. A device under test (DUT) is modeled as a graph. The graph is partitioned into one or more subgraphs and problems are generated for each subgraph. Graph and subgraph problem generation is repeated numerous times throughout the verification process. Problems and sub-problems are generated and solved. When a subgraph problem is solved, the problem's variables, values, and information can be stored in a cache. The storage can be based on entropy of variables used in the graph and subgraph problems. The subgraph problem storage cache can be searched for previously stored problems which match another problem in need of a solution. By retrieving subproblem variables, values, and information from the cache, the computational overhead of circuit design verification is reduced as problems are reused. Caching can be accomplished using an information theoretic approach.

Abstract: Some embodiments provide systems and techniques to facilitate construction of a canonical representation (CR) which represents a logical combination of a set of logical functions. During operation, the system can receive a CR-size limit. Next, the system can construct a set of CRs based on the set of logical functions, wherein each CR in the set of CRs represents a logical function in the set of logical functions. The system can then combine a subset of the set of CRs to obtain a combined CR. Next, the system can identify a problematic CR which when combined with the combined CR causes the CR-size limit to be exceeded. The system can then report the problematic CR and/or a logical function associated with the problematic CR to a user, thereby helping the user to identify an error in the set of logical functions.

Abstract: Methods and apparatuses are described for identifying inconsistent constraints. During operation, a system can receive a set of constraints, wherein each constraint is defined over one or more random variables from a set of random variables. If an inconsistency or conflict is detected while solving the set of constraints, the system can identify a phase in a series of phases of the constraint solver where the inconsistency was detected. The system can then try to solve different subsets of the set of constraints to identify smaller subsets of the set of constraints that contain the inconsistency. When the system tries to solve a subset of the set of constraints, the system can determine whether or not an inconsistency is detected in the identified phase while solving the subset of the set of constraints. Next, the system can report the smallest subset of inconsistent constraints that was found to a user.

Abstract: Methods and apparatuses are described for assigning random values to a set of random variables so that the assigned random values satisfy a set of constraints. A constraint solver can receive a set of constraints that is expected to cause performance problems when the system assigns random values to the set of random variables in a manner that satisfies the set of constraints. For example, modulo constraints and bit-slice constraints can cause the system to perform excessive backtracking when the system attempts to assign random values to the set of random variables in a manner that satisfies the set of constraints. The system can rewrite the set of constraints to obtain a new set of constraints that is expected to reduce and/or avoid the performance problems. The system can then assign random values to the set of random variables based on the new set of constraints.

Abstract: Some embodiments provide a system for adaptively performing state-to-symbolic transformation in a canonical representation which is used for generating random stimulus for a constrained-random simulation. The system can construct a canonical representation for a set of constraints using the set of random variables and the subset of the state variables in the constraints. Next, the system can use the canonical representation to generate random stimulus for the constrained-random simulation, and monitor parameters associated with the constrained-random simulation. Next, the system can add state variables to or remove state variables from the canonical representation based at least on the monitored parameters. The system can then use the modified canonical representation which has a different set of state variables to generate random stimulus for the constrained-random simulation.

Abstract: A dental implant fixture mount-abutment, comprising a fixture mount is a 2 to 7 mm coronal extension/metal collar at a coronal end for serving as an impression coping, temporary/permanent abutment and fixture mount, wherein the internal slots in said coronal end for receiving the fixture mount driver, wherein the driven channel in said coronal end for receiving a ball impression screw, wherein said the fixture mount has two small flat facets, located on opposite side of the fixture mount, extended between said coronal end and circumferential groove, an abutment which is a taper cylinder body having a shoulder and a circumferential curvature, wherein the shoulder on the abutment portion is a part of the abutment, wherein the circumferential curvature is designed to avoid engaging alveolar bone so as to be easily removed later, wherein said the abutment has two large flat facets, located on opposite side of the abutment, extended between said circumferential groove and shoulder, and the root of the DIFMA is a m

Abstract: Some embodiments provide a system for adaptively performing state-to-symbolic transformation in a canonical representation which is used for generating random stimulus for a constrained-random simulation. The system can construct a canonical representation for a set of constraints using the set of random variables and the subset of the state variables in the constraints. Next, the system can use the canonical representation to generate random stimulus for the constrained-random simulation, and monitor parameters associated with the constrained-random simulation. Next, the system can add state variables to or remove state variables from the canonical representation based at least on the monitored parameters. The system can then use the modified canonical representation which has a different set of state variables to generate random stimulus for the constrained-random simulation.

Abstract: Some embodiments provide systems and techniques to facilitate construction of a canonical representation (CR) which represents a logical combination of a set of logical functions. During operation, the system can receive a CR-size limit. Next, the system can construct a set of CRs based on the set of logical functions, wherein each CR in the set of CRs represents a logical function in the set of logical functions. The system can then combine a subset of the set of CRs to obtain a combined CR. Next, the system can identify a problematic CR which when combined with the combined CR causes the CR-size limit to be exceeded. The system can then report the problematic CR and/or a logical function associated with the problematic CR to a user, thereby helping the user to identify an error in the set of logical functions.

Abstract: The present invention provides a disposable educational drinking device for learning such things as the letters of the alphabet or numbers or geometric shapes. The disposable drinking device can be converted to a reusable drinking device. The disposable drinking device also has a mechanical mean to center drinking spout between handles.

Abstract: A method for forming a silicone hydrogel contact lens is disclosed, wherein a lens body is formed by curing a mixture of silicone lens matrix, including a filling material, which is water soluble or organic solvent soluble. The lens body, once formed, is processed by water or organic solvent extraction to remove part or whole filling material from the silicone matrix of the lens body. Whereby densely distributed and interconnected pores are formed in the lens body to provide additional wettability required for the contract lens. This method is also applicable of to making other optical medical devices, such as an intraocular lens.

Abstract: A disposable open bag for a power tool such as a Shop-Vac cleaner has a mounting plate with an opening for receiving debris from the intake of the power tool. The mounting plate is also provided with a vent opening(s), e.g., to prevent the bag from closing in on the air filter and blocking the airflow. The said bag provides a cleaner and more convenient means of collection of the debris, leaves, and particulate matters directly into the bag.

Abstract: The present invention provides infant and toddler feeding and liquid food storing systems. Disposable containers and infant feeding assemblies are provided for preparing, storing, and serving a liquid food or other beverage to children or other subjects having special needs. The assembly can comprise a holder, a disposable container that fits into the holder, and a means for delivering the food to the subject, e.g., using a nipple or drinking spout.

Abstract: Water-soluble chitosan having a low concentration of endotoxin is disclosed. Products containing the water-soluble chitosan are also disclosed. Methods of making and using water-soluble chitosan having a low concentration of endotoxin are further disclosed.

Abstract: Water-soluble chitosan having a low concentration of endotoxin is disclosed. Products containing the water-soluble chitosan are also disclosed. Methods of making and using water-soluble chitosan having a low concentration of endotoxin are further disclosed.

Abstract: The present invention is a consumer product packaging system comprising at least one consumer product wrapped in a UV—protective thermoplastic packaging film. At least one of the consumer products wrapped in the UV—protective thermoplastic packaging film has a brightness value wherein the brightness value of the consumer product changes about 5 percent or less during an exposure to light for a period of about 12 months or more.

Abstract: The present invention is a consumer product packaging system comprising at least one consumer product wrapped in an UV thermoplastic packaging film. At least one of the consumer products wrapped in the UV thermoplastic packaging film has a brightness wherein the brightness of the consumer product changes about 5 percent or less during an exposure to light for a period of about 12 months or more.