Abstract: A thermally bonded filtration media that can be used in high temperature conditions in the absence of any loss of fiber through thermal effects or mechanical impact on the fiber components is disclosed. The filter media can be manufactured and used in a filter unit or structure, can be placed in a stream of removable fluid, and can remove a particulate load from the mobile stream at an increased temperature range. The combination of bi-component fiber, other filter media fiber, and other filtration additives provides an improved filtration media having unique properties in high temperature, high performance applications.

Abstract: An orthopaedic surgical instrument includes a patella trial and drill guide that may be used to both perform a surgical trial of the patellofemoral joint and guide the surgeon in drilling a number of anchor holes in the patella of the patient.

Abstract: A system encouraging users to cleanse their hands after use of a tankless toilet having a flush valve controlling the flow of water into a toilet bowl through a conduit, in which an abrupt temperature change in the conduit is used to trigger a recorded message urging the user to wash his or her hands.

Abstract: Processes for formal verification of circuits and other finite-state systems are disclosed. For one embodiment, a process is disclosed to provide for significantly reduced computation through automated symbolic indexing of a property assertion and to compute the satisfiability of the property assertion directly from a symbolic simulation of the indexed property assertion. For an alternative embodiment a process using indexed property assertions on a symbolic lattice domain to represent and verify properties, provides an efficient symbolic manipulation technique using binary decision diagrams (BDDs). Methods for computing symbolic simulations, and verifying satisfiability may be applicable with respect to property assertions that are symbolically indexed under specific disclosed conditions.

Abstract: A sunglasses-retention kit to enable attachment of sunglasses to headgear includes at least one substantially flexible hook and loop (Velcro) strip engageable to the headgear and having each of a predetermined length and a predetermined width, wherein the Velcro strip includes hooks and/or loops over at least one-third of the strip; and, at least one adhesive-backed hook and loop pad engageable to the sunglasses for mating to the flexible hook and loop strip.

Abstract: Processes for formal verification of circuits and other finite-state systems are disclosed. For one embodiment, a process is disclosed to provide for significantly reduced computation through automated symbolic indexing of a property assertion and to compute the satisfiability of the property assertion directly from a symbolic simulation of the indexed property assertion. For an alternative embodiment a process using indexed property assertions on a symbolic lattice domain to represent and verify properties, provides an efficient symbolic manipulation technique using binary decision diagrams (BDDs). Methods for computing symbolic simulations, and verifying satisfiability may be applicable with respect to property assertions that are symbolically indexed under specific disclosed conditions.

Abstract: Processes for formal verification of circuits and other finite-state systems are disclosed. For one embodiment, a process is disclosed to provide for significantly reduced computation through automated symbolic indexing of a property assertion and to compute the satisfiability of the property assertion directly from a symbolic simulation of the indexed property assertion. For an alternative embodiment a process using indexed property assertions on a symbolic lattice domain to represent and verify properties, provides an efficient symbolic manipulation technique using binary decision diagrams (BDDs). Methods for computing symbolic simulations, and verifying satisfiability may be applicable with respect to property assertions that are symbolically indexed under specific disclosed conditions.

Abstract: The present invention is a method and apparatus to verify a design which has an input space and a predicate. The input space is decomposed into a plurality of decompositions. The input space includes a plurality of node variables. The plurality of decompositions includes parametric variables. The decompositions are parameterized into vectors of parametric functions to satisfy the predicate.

Abstract: A system for encouraging good personal hygiene in toilet facilities is provided, including means for detecting the acoustic signal generated by the inrush of water into a toilet bowl to trigger a recorded admonition to the toilet user to cleanse his or her hands.

Abstract: A center webbed baseball glove which utilizes the natural fold of the human hand and folds into two equal halves increasing the utilizable surface area is provided. The center webbed glove is constructed from a pocket and back piece which are attached together to form a central pocket, a set of outer finger slots and a set of inner finger slots. The glove is worn by placing the pinky and ring fingers into the left outer finger slot, the middle and index fingers into the left inner finger slot, and the thumb into either the outer or inner right finger slots. The glove can be worn on the right hand by placing the thumb in the left inner or outer finger slots and placing the remaining fingers in the left finger slots of the glove.

Abstract: A guide, for guiding the towing tongue on a trailer onto the standard ball type hitch, which consists of vertical oriented plates attached to a horizontal plate which has an aperture that will receive the standard ball type hitch. The horizontal plate has an steel tube extension on it which will fit into the standard box receivers secured to a towing vehicle.

Abstract: A system for negating remnant magnetic fields in a weld joint between two workpieces includes a controller and an electromagnet with two feet that form the pole pieces. The electromagnet feet are formed with surfaces that provide a substantial area for magnetic flux coupling with each workpiece on either side of the weld joint. Inside and outside surface pairs on the electromagnet feet permit effective placement of the electromagnet on the outside or inside of right angle corners formed by two workpieces to be welded. The electromagnet feet may be rotatively connected to the core to accommodate various workpiece configurations. The controller includes an autotransformer and two separate manually operable current controls.

Abstract: A portable combination anti-theft lock and alarm to prevent the theft or displacement of protected property and comprising a housing, an audible alarm and alarm circuit located within the housing, and a flexible electrically conductive locking cable having a first end that is fixedly attached to the housing and an opposite free end which is detachably connected to the housing. The alarm circuit is adapted to activate the alarm and cause a loud warning signal to be emitted through the housing in the event that either the cable or the housing is vandalized by a thief in an effort to gain access to the protected property. More particularly, the alarm will be activated if the cable is either severed or jumped by a shunt wire. The alarm will also be activated if the housing is cut or a battery cover plate is removed from the housing without properly operating an associated lock assembly.

Abstract: A combination tool for using, repairing and maintaining muzzle loading firearms includes a ball starter tool member connected to an elongated body member which provides the land and groove setting rod of the ball starter and further provides a housing and carrier for a plurality of additional tool members. The additional tool members include at least a plurality of screwdrivers, a flash hole nipple probe, a plurality of whistle signaling devices, a plurality of powder measures and a plurality of bar or pry members.