Sciweavers

938 search results - page 36 / 188
» Mathematical Modelling the Ethnic System
Sort
View
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
15 years 12 months ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
JCP
2007
102views more  JCP 2007»
15 years 5 months ago
Deterministic Models of an Active Magnetic Bearing System
— In this paper the development of mathematical model of voltage-input and current-input active magnetic bearing (AMB) system in deterministic form is presented. The AMB system, ...
Abdul Rashid Husain, Mohamad Noh Ahmad, Abdul Hali...
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 5 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
IUI
2004
ACM
15 years 11 months ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow
BIBE
2000
IEEE
113views Bioinformatics» more  BIBE 2000»
15 years 10 months ago
Calcium Homeostasis: A Feedback Control Point of View
In the biological sciences, the mathematical approach to studying feedbackmechanisms has not been common despite the abundance of such mechanismsin those systems. In this paper, w...
Hana El-Samad, Mustafa Khammash