Abstract: An electronic vapor provision system includes an inhaler component for generating vapor from a vapor precursor material, and a base unit to which the inhaler component may be selectively coupled and uncoupled; wherein the base unit is configured to establish an identifier for the inhaler component and, when the inhaler component is coupled to the base unit, to provide the inhaler component with an amount of consumable for use by the inhaler component for generating vapor for user inhalation when the inhaler component is uncoupled from the base unit; wherein the base unit is further configured to establish a record of the identifier for the inhaler component in association with an indication the consumable has been provided to the inhaler component.

Abstract: A consumable component for an aerosol provision system includes an outer housing including an outer wall extending between first and second end walls to define an interior chamber; a plurality of elements of solid aerosol forming material for generating an aerosol for user inhalation, wherein the plurality of elements of solid aerosol forming material are retained within the interior chamber by the housing and wherein the first and second end walls comprise openings to allow air to flow into the interior chamber through the first end wall and out of the interior chamber through the second end wall during use, and a heater located within the interior chamber and configured to heat the elements of solid aerosol forming material during use to generate a vapor for user inhalation.

Abstract: An arrival time propagation method and system for statistical circuit analysis that uses a conjugation operation and a negation operation to determine and adjust arrival times in a circuit model and to determine path ordering in a circuit.

Abstract: Disclosed herein are systems, methods, and software to enhance licensing in multi-user computing environments. In an implementation, for each user of a plurality of users engaged with an application installed in a multi-user computing environment, a user-specific license state is maintained for the user with respect to the application. In addition, for each of the plurality of users engaged with the application installed in the multi-user computing environment, the application is delivered in accordance with the user-specific license state for the user.

Abstract: A method for performing static timing analysis of an integrated circuit design, wherein at least two timing paths share a shared node comprises propagating along the at least two timing paths a plurality of timing signals characterized by a set of timing parameters and determining respective values of the timing parameters at the shared node. Subsets of timing signals are defined based on relations between the determined parameter values of different timing signals. For each of the subsets representative parameter values are identified and a merged timing signal is propagated from the shared node at least partially along the at least two timing paths. Therein the merged timing signal has at the shared node the representative parameter values of the subset. The method also comprises generating timing data based on the merged timing signals and storing the timing data.

Abstract: A method for performing static timing analysis of an integrated circuit design, wherein at least two timing paths share a shared node comprises propagating along the at least two timing paths a plurality of timing signals characterized by a set of timing parameters and determining respective values of the timing parameters at the shared node. Subsets of timing signals are defined based on relations between the determined parameter values of different timing signals. For each of the subsets representative parameter values are identified and a merged timing signal is propagated from the shared node at least partially along the at least two timing paths. Therein the merged timing signal has at the shared node the representative parameter values of the subset. The method also comprises generating timing data based on the merged timing signals and storing the timing data.

Abstract: Disclosed herein are systems, methods, and software to enhance licensing in multi-user computing environments. In an implementation, for each user of a plurality of users engaged with an application installed in a multi-user computing environment, a user-specific license state is maintained for the user with respect to the application. In addition, for each of the plurality of users engaged with the application installed in the multi-user computing environment, the application is delivered in accordance with the user-specific license state for the user.

Abstract: Disclosed herein are systems, methods, and software to enhance licensing in multi-user computing environments. In an implementation, for each user of a plurality of users engaged with an application installed in a multi-user computing environment, a user-specific license state is maintained for the user with respect to the application. In addition, for each of the plurality of users engaged with the application installed in the multi-user computing environment, the application is delivered in accordance with the user-specific license state for the user.

Abstract: Disclosed herein are systems, methods, and software to enhance licensing in multi-user computing environments. In an implementation, for each user of a plurality of users engaged with an application installed in a multi-user computing environment, a user-specific license state is maintained for the user with respect to the application. In addition, for each of the plurality of users engaged with the application installed in the multi-user computing environment, the application is delivered in accordance with the user-specific license state for the user.

Abstract: A system and method is provided to customize and validate an oligonucleotide plate and/or tube design. A graphical user interface enables a user to submit oligo design data in a series of steps. One or more rules are used to validate the oligo plate design data as it is submitted. The graphical user interface also enables the user to modify oligonucleotide design data to correct errors and/or to obtain a valid oligonucleotide plate design.

Abstract: In an apparatus for aligning pins of PGA devices in a predetermined array of parallel rows, a comb assembly includes a plurality of tines disposed in side-by-side spaced parallel array. Adjacent tines are spaced apart a distance greater than the maximum cross section of a pin of the PGA device and a slide mechanism actuates the PGA device through the comb assembly whereby the comb tines engage between the rows of pins in the PGA device and straighten the same by a combing action. The comb tines are oriented relative to the PGA device to engage the pins along substantially their entire length.