Sciweavers

1941 search results - page 8 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
COMPLEX
2009
Springer
13 years 12 months ago
Moving Breather Collisions in the Peyrard-Bishop DNA Model
We consider collisions of moving breathers (MBs) in the Peyrard-Bishop DNA model. Two identical stationary breathers, separated by a fixed number of pair-bases, are perturbed and b...
A. Alvarez, F. R. Romero, J. Cuevas, J. F. R. Arch...
EDOC
2005
IEEE
14 years 4 months ago
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
Valdis Vitolins, Audris Kalnins
ICMT
2010
Springer
13 years 8 months ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...
CSL
2001
Springer
14 years 3 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
CIBCB
2006
IEEE
14 years 5 months ago
A Novel Graphical Model Approach to Segmenting Cell Images
— Successful biological image analysis usually requires satisfactory segmentations to identify regions of interest as an intermediate step. Here we present a novel graphical mode...
Shann-Ching Chen, Ting Zhao, Geoffrey J. Gordon, R...