Ever since von Neumann [Burks 1969], the question of modeling continuous physics with a discrete set of cellular automata has been raised, whether they handle discrete or continuous values. Many answers have been brought forth through, for instance, the work of Stephen Wolfram [Wolfram 1983] summarized in a recent book [Wolfram 2002]. This problem has been mostly tackled by rightfully consideri...

This article describes activity modeling as specified by the Systems Modeling Language (as specified by the SysML Merge Team, http://doc.omg.org/ad/2006-02-01, February 2006) and the finalization of the Unified Modeling Language version 2 (UML 2). It reviews and updates an earlier proposed alignment between Enhanced Functional Flow Block Diagrams (EFFBD), UML 2 Activities, and requirements deve...

background: systolic blood pressure (sbp) and diastolic blood pressure (dbp) are a multi-factorial traits and significantly heritable.glutathione s-transferase (gst) enzyme is involved in detoxification of reactive oxygen species. the present study aimed at finding out the association between gstm1 and gstt1 polymorphisms and mean arterial pressure (map) in iranian population. map, as the impor...

the aim of this paper is to prove a common fixed point theorem for nonexpansive type single valued mappings which include both continuous and discontinuous mappings by relaxing the condition of continuity by weak reciprocally continuous mapping. our result is generalize and extends the corresponding result of jhade et al. [p.k. jhade, a.s. saluja and r. kushwah, coincidence and fixed points of ...

This thesis proposes a new method for unsupervised image clustering using probabilistic continuous models and information theoretic principles. Image clustering relates to content-based image retrieval systems. It enables the implementation of efficient retrieval algorithms and the creation of a user friendly interface to the database. The thesis presents a coherent theory for continuous probab...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

A general approach for modeling the volatility process in continuous-time is based on the convolution of a kernel with a non-decreasing Lévy process, which is non-negative if the kernel is non-negative. Within the framework of Continuous-time Auto-Regressive Moving-Average (CARMA) processes, we derive a necessary condition for the kernel to be non-negative, and propose a numerical method for ch...

Physical systems are by nature continuous but often exhibit nonlinearities that make behavior generation complex and hard to analyze Complexity is often reduced by linearizing model constraints and by ab stracting the time scale for behavior generation In either case the physical components are modeled to operate in multiple modes with abrupt changes be tween modes This paper discusses a hybrid...

the geometric distribution of states duration is one of the main performance limiting assumptions of hidden markov modeling of speech signals. stochastic segment models, generally, and segmental hmm, specifically, overcome this deficiency partly at the cost of more complexity in both training and recognition phases. in this paper, a new duration modeling approach is presented. the main idea of ...

Web-based simulation of hybrid automation systems has attracted much attention. However, most available modeling approaches usually result in unnatural and complex models as both discrete logic and continuous behavior are involved. Based on the multi-paradigm modeling concept, this paper extends the traditional discrete statechart to model the continuous dynamics in a hierarchical and natural w...