Abstract: A method, a system, and computer program product for degradation-aware training of neural networks are provided. A degradation of degraded memory cells of a memory array is detected, during a training of a neural network. A first set of writing parameter values to be applied to the one or more degraded memory cells and a second set of writing parameter values to be applied to the undegraded memory cells is determined using a model of the memory array tuned to account for the degradation of one or more memory cells. A writing operation is executed, by applying the first set of writing parameter values to the one or more degraded memory cells to compensate for the degradation of the one or more degraded memory cells and by applying the second set of writing parameter values to the undegraded memory cell.

Abstract: Apparatuses and methods for controlling transfer of substances to a formulation container to provide a predetermined formulation. A controller may utilize one or more of a flow time, flow rate or a volume of transfer of substance. Barcoded and RFID-containing components may be used to determine what connection or disconnection has been made, and/or time thereof. Process compliance may compare measured or determined flow or connection time, flow rate and/or the transfer volume to a predetermined time, flow rate and/or volume, and adjust one or more of the time, flow rate and/or the volume of the transfer. An optional holder or cradle is configured to receive therein a fluid transfer connector formed by the connection of first and second connector portions, each in fluid communication with a flow conduit or channel that delivers substance to or receives substance from its respective connector portion, only if the connector portions are properly connected together.

Abstract: Apparatuses and methods for controlling transfer of substances to a formulation container to provide a predetermined formulation. A controller may utilize one or more of a flow time, flow rate or a volume of transfer of substance. Barcoded and RFID-containing components may be used to determine what connection or disconnection has been made, and/or time thereof. Process compliance may compare measured or determined flow or connection time, flow rate and/or the transfer volume to a predetermined time, flow rate and/or volume, and adjust one or more of the time, flow rate and/or the volume of the transfer. An optional holder or cradle is configured to receive therein a fluid transfer connector formed by the connection of first and second connector portions, each in fluid communication with a flow conduit or channel that delivers substance to or receives substance from its respective connector portion, only if the connector portions are properly connected together.

Abstract: A sterilizing apparatus and related method are provided for sterilizing an object, such as a container. The sterilizing apparatus may include a housing, a source of fluid sterilant, a fluid sterilant station for transmitting fluid sterilant onto a surface of the object, a flow system for circulating air or gas within the housing, a system for removing fluid sterilant from the surface of the object, and a system for evacuating fluid sterilant from the housing. The container may include a body defining a storage chamber for receiving a product, and a container closure. A sealing portion may be engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: The present invention provides a biomarker, namely CDX2, and surrogate CDX2 biomarkers, the expression level of which is useful in predicting response of cancer patients to therapy with an EGFR inhibitor.

Abstract: Apparatuses and methods for controlling transfer of substances to a formulation container to provide a predetermined formulation. A controller may utilize one or more of a flow time, flow rate or a volume of transfer of substance. Barcoded and RFID-containing components may be used to determine what connection or disconnection has been made, and/or time thereof. Process compliance may compare measured or determined flow or connection time, flow rate and/or the transfer volume to a predetermined time, flow rate and/or volume, and adjust one or more of the time, flow rate and/or the volume of the transfer. An optional holder or cradle is configured to receive therein a fluid transfer connector formed by the connection of first and second connector portions, each in fluid communication with a flow conduit or channel that delivers substance to or receives substance from its respective connector portion, only if the connector portions are properly connected together.

Abstract: An outer shell and nozzle portion define therebetween a swirl chamber having a plurality of inlet flow paths and an outlet flow path. The swirl chamber may receive a plurality of substances or components from separate sources, to mix the plurality of substances in the swirl chamber, and to deliver the mixed substances or formulation through an outlet, e.g., to a connector. The substances may be sterile, and the entire flow path from the substance sources to the container may be sterile and aseptically sealed from ambient atmosphere. The outer shell and nozzle portion may be constructed of plastic or other disposable materials. The swirl chamber may be constructed to optimize the mixing of the substances through control of the velocity by which each substance enters the swirl chamber.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A container including a body defining an outflow opening and at least one chamber adapted for storing a product, such as a fat containing liquid product, and a container closure including a primary seal for hermetically sealing the product within the chamber during storage. The container closure includes a sealing member forming a substantially fluid-tight seal between the container closure and the body, and a dispensing member in fluid communication with the chamber. The container closure and body move relative to each other between a first position where the primary seal is seated about the outflow port to hermetically seal the product in the chamber during storage, and a second position where the primary seal is displaced from the outflow port to allow product to pass from the chamber through the outflow port and into dispensing member to dispense the product.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A container and method are provided for storing fat containing liquid products. The container includes a body defining a storage chamber for receiving the product, and a container closure. A first material portion forms at least most of the surface area overlying the storage chamber that can contact any product therein. Neither the body nor the first material portion leach more than a predetermined amount of leachables into the product or undesirably alter a taste profile thereof. A needle penetrable and thermally resealable second material portion either (i) overlies the first material portion and cannot contact any product within the storage chamber, or (ii) forms a substantially lesser surface area overlying the storage chamber that can contact any product therein in comparison to the first material portion. A sealing portion is engageable with the body to form a substantially dry hermetic seal between the container closure and body.

Abstract: A method for evaluating an erroneous state associated with a target circuit is provided that includes receiving information associated with a target circuit, the information identifying a property within the target circuit to be verified. One or more partitioned ordered binary decision diagram (POBDD) operations are executed using the information in order to identify an erroneous state associated with a sub-space within the target circuit. A path associated with the erroneous state is identified. The path reflects a correlation between an initial state associated with the erroneous state and a point where the erroneous state was encountered.

Abstract: In one embodiment, a method for multithreaded reachability analysis includes partitioning a state space of a circuit under analysis into a plurality of partitions and assigning each partition to a thread to carry out a reachability analysis on the partition assigned to the thread. The threads carry out the reachability analyses of the partitions in parallel with each other. The method also includes using one or more of an early communication algorithm and a partial communication algorithm to communicate states from one or more first ones of the partitions to one or more second ones of the partitions to facilitate the reachability analysis of the second ones of the partitions.

Abstract: In one embodiment, a method for verifying one or more particular properties of a circuit using a learning strategy to determine suitable values of particular verification parameters includes classifying each of multiple properties of a circuit according to circuit size and selecting a candidate property from the properties. The candidate property set includes one or more particular properties from each property class. The method also includes attempting to verify one or more particular properties of the circuit using the candidate property set and particular values of particular verification parameters. The method also includes determining suitable values of the particular verification parameters according the attempted verification of the particular properties of the circuit using the candidate property set and the particular values of the particular verification parameters.

Abstract: In one embodiment, a method for circuit verification using multiple engines includes running multiple traces on a circuit using multiple reachability algorithms, selecting an effective reachability algorithm for the circuit from among the multiple reachability algorithms according to a comparison of results of the multiple traces with each other, generating a set of initial states for the selected effective reachability algorithm using states reached in the plurality of traces, and executing the selected effective reachability algorithm using the generated set of initial states to verify the circuit.

Abstract: In one embodiment, a method for multithreaded reachability analysis includes partitioning a state space of a circuit under analysis into a plurality of partitions and assigning each partition to a thread to carry out a reachability analysis on the partition assigned to the thread. The threads carry out the reachability analyses of the partitions in parallel with each other. The method also includes using one or more of an early communication algorithm and a partial communication algorithm to communicate states from one or more first ones of the partitions to one or more second ones of the partitions to facilitate the reachability analysis of the second ones of the partitions.

Abstract: In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.