Abstract: A method for reconstructing a radioactive emission image of an overall volume having first and second volumetric regions, each volumetric region having respectively independent dynamic characteristics. The method comprises the following steps: a) obtaining radioactive emissions from the overall volume, including the volumetric regions, b) reconstructing an initial radioactive emission image of the volumetric region according to the radioactive emissions, c) segmenting the initial radioactive emission image to delineate the first and second volumetric regions, and d) separately reconstructing the first and the second volumetric regions according to the respectively independent dynamic characteristics.

Abstract: A method for reconstructing a radioactive emission image of an overall volume having first and second volumetric regions, each volumetric region having respectively independent dynamic characteristics. The method comprises the following steps: a) obtaining radioactive emissions from the overall volume, including the volumetric regions, b) reconstructing an initial radioactive emission image of the volumetric region according to the radioactive emissions, c) segmenting the initial radioactive emission image to delineate the first and second volumetric regions, and d) separately reconstructing the first and the second volumetric regions according to the respectively independent dynamic characteristics.

Abstract: A method for reconstructing a radioactive emission image of an overall volume having first and second volumetric regions, each volumetric region having respectively independent dynamic characteristics. The method comprises the following steps: a) obtaining radioactive emissions from the overall volume, including the volumetric regions, b) reconstructing an initial radioactive emission image of the volumetric region according to the radioactive emissions, c) segmenting the initial radioactive emission image to delineate the first and second volumetric regions, and d) separately reconstructing the first and the second volumetric regions according to the respectively independent dynamic characteristics.

Abstract: A method of processing an object in an energy application zone by application of radio frequency (RF) energy via a plurality of radiating elements may include applying RF energy to the energy application zone at a first plurality of excitation setups (excitation setups). The method may also include applying RF energy to the energy application zone at one or more excitation setups, at least one of which is not included in the first plurality of excitation setups, based on feedback received from the energy application zone in response to the application of the first amount of energy to the energy application zone at the first plurality of excitation setups.

Abstract: A method for reconstructing a radioactive emission image of an overall volume having first and second volumetric regions, each volumetric region having respectively independent dynamic characteristics. The method comprises the following steps: a) obtaining radioactive emissions from the overall volume, including the volumetric regions, b) reconstructing an initial radioactive emission image of the volumetric region according to the radioactive emissions, c) segmenting the initial radioactive emission image to delineate the first and second volumetric regions, and d) separately reconstructing the first and the second volumetric regions according to the respectively independent dynamic characteristics.

Abstract: The invention implements a novel method for discarding model behaviors from the computation-tree, when these behaviors are defined by the user as ‘not interesting’. The method works as follows: the user defines, by declarative means via regular expression, a set of model behaviors that are of interest. After applying this method, referred to as the restrict algorithm henceforth, the computation-tree will consist only of paths representing model behaviors specified by the user. The restrict algorithm consists of a preprocessing stage and a processing stage. In the preprocessing stage, a mechanism for identifying when an execution path is an allowed behavior is constructed. While processing, sub-trees representing “bad behaviors” (execution paths identified as not allowed behaviors) are pruned from the computation-tree.

Abstract: A method for exploring the behavior of a design model, the method including the steps of providing a design model represented as a Finite State Machine (FSM). The method further includes the step of providing a path specification of interest. The method further includes the step of exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.

Abstract: The invention implements a novel method for discarding model behaviors from the computation-tree, when these behaviors are defined by the user as ‘not interesting’. The method works as follows: the user defines, by declarative means via regular expression, a set of model behaviors that are of interest. After applying this method, referred to as the restrict algorithm henceforth, the computation-tree will consist only of paths representing model behaviors specified by the user. The restrict algorithm consists of a preprocessing stage and a processing stage. In the preprocessing stage, a mechanism for identifying when an execution path is an allowed behavior is constructed. While processing, sub-trees representing “bad behaviors” (execution paths identified as not allowed behaviors) are pruned from the computation-tree.