Abstract: Techniques are provided for an electronic skill based platform. In an embodiment, a gaming platform may receive a predetermined sale price for a product/service from a merchant. The gaming platform may determine a prices for each electronic entry to participate in a skill based game where skill is the predominant factor and chance is not the predominant factor. The gaming platform may generate the skill based game for each participant that purchases an electronic entry. The skill based game may be generated utilizing a clustering technique to determine a skill level for each participant. The gaming platform may determine a score for each participant based on participation in the skill based games. The gaming platform ay determine a winner, wherein the winning participant wins the product/service for a cost that is equal to a selected number of the plurality of electronic entries purchased by the winning participant.

Abstract: A fluid dispenser can have a bottle holder and a dispenser bulb, and a bottle can be placed in the bottle holder so that fluids can drain down into the dispenser bulb. The dispenser bulb can have a dispenser pore that can be a slit. A user can squeeze the dispenser bulb, so that the fluid within the dispenser bulb can be dispensed through the dispenser opening.

Abstract: A light-coupling cap can sterilize targets including connectors and other devices such as catheters with Luer fittings conforming to ISO 594 or ISO 80369 standards. The cap can be disposable. A light-coupling cap can reversibly attach to a connector of a target, creating a physical seal and barrier between the inside of the connector and the outside environment while at the same time transmitting light into the connector. A sterilizer can be connected to the end cap while the end cap is connected to the target. The sterilizer can include a UV light emitter that emits UV light through the end cap into the target. The light-coupling end cap sterilization system can be self-healing by measuring internal performance indicators and adjusting its operation in response to them. The light-coupling end cap sterilization system can provide to the user an indication of the amount of light dosage applied to the target.

Abstract: A fluid dispenser can have a bottle holder and a dispenser bulb, and a bottle can be placed in the bottle holder so that fluids can drain down into the dispenser bulb. The dispenser bulb can have a dispenser pore that can be a slit. A user can squeeze the dispenser bulb, so that the fluid within the dispenser bulb can be dispensed through the dispenser opening.

Abstract: A fluid dispenser can have a bottle holder and a dispenser bulb, and a bottle can be placed in the bottle holder so that fluids can drain down into the dispenser bulb. The dispenser bulb can have a dispenser pore that can be a slit. A user can squeeze the dispenser bulb, so that the fluid within the dispenser bulb can be dispensed through the dispenser opening.

Abstract: Devices, systems, and methods for monitoring and enhancing patient adherence to a prescription drug regimen are disclosed herein. In some embodiments, a medication storage device includes a plurality of dose containers, each dose container having an interior region configured to contain a medication. The medication storage device also includes an event detection system that includes a plurality of sensors. The plurality of sensors are configured to detect a change in each dose container of the plurality of dose containers. The medication storage device also includes an imaging system. The imaging system includes a plurality of image capture devices configured to capture an image of the interior region of each dose container of the plurality of dose containers. A communications module is configured to send an indication of the change detected by the event detection system and/or an image captured by the imaging device to a remote device.

Abstract: A system and methods for dynamically matching sponsors with vendors in connection with a request for proposal (“RFP”) are disclosed. In at least one embodiment, the system provides a central computing system and a database server containing data related to each of the sponsor, the vendors, and the RFP. The sponsor is able to create the RFP and provide an associated confidential disclosure agreement (“CDA”). The database server is searched for vendors that the sponsor would potentially find suitable and compiles said vendors in a matched vendors list. The sponsor is able to review the matched vendors list and decide which should receive the RFP. Each contacted vendor must accept the CDA before gaining access to the RFP. If interested, each contacted vendor must complete an electronic proposal form, at which point the sponsor is able to review the completed forms and select one of the matched vendors.

Abstract: Disclosed are methods and systems for performing false path analysis. In one approach, the methods and systems identify a set of zero or more false paths based upon both implementation-specific design data and non-implementation-specific design data. In some approaches, disclosed are methods and systems for performing automated gate-level static timing false path analysis, identification, constraint generation, and/or verification using architectural information. Static timing paths at the gate-level can be linked to the architectural information via mapping techniques found in equivalence checking (EC). The gate level static timing paths can be analyzed in the context of the architectural information to identify false paths.

Abstract: Disclosed are methods and systems for performing coverage analysis. In one approach, the methods and systems perform coverage analysis based upon both implementation-specific design data and non-implementation-specific design data. In an approach, both gate level and RTL level information are considered to perform coverage analysis.

Abstract: Disclosed are methods and systems for performing coverage analysis. In one approach, the methods and systems perform coverage analysis based upon both implementation-specific design data and non-implementation-specific design data. In an approach, both gate level and RTL level information are considered to perform coverage analysis.

Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.

Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.

Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.

Abstract: Disclosed are methods and systems for performing false path analysis. In one approach, the methods and systems identify a set of zero or more false paths based upon both implementation-specific design data and non-implementation-specific design data. In some approaches, disclosed are methods and systems for performing automated gate-level static timing false path analysis, identification, constraint generation, and/or verification using architectural information. Static timing paths at the gate-level can be linked to the architectural information via mapping techniques found in equivalence checking (EC). The gate level static timing paths can be analyzed in the context of the architectural information to identify false paths.

Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.

Abstract: A seat warmer having a self-regulating heating mechanism. The heating mechanism constructed as a sheet comprising layers of a chemical-resistant and moisture-resistant material. Heating elements are enclosed between the layers for heating the sheet to a predetermined temperature.