Sciweavers

938 search results - page 76 / 188
» Mathematical Modelling the Ethnic System
Sort
View
JUCS
2002
146views more  JUCS 2002»
15 years 5 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
WSC
1997
15 years 6 months ago
Single Run Optimization Using the Reverse-Simulation Method
An efficient “Simulation Optimization” technique is developed to solve system design problems which can not be expressed in explicit analytical or mathematical models. In part...
Young Hae Lee, Kyoung Jong Park, Yun Bae Kim
ICRA
2009
IEEE
96views Robotics» more  ICRA 2009»
16 years 5 days ago
Harnessing bacterial power in microscale actuation
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
A. Agung Julius, M. Selman Sakar, Edward Steager, ...
CDC
2009
IEEE
101views Control Systems» more  CDC 2009»
15 years 10 months ago
Barrier function nonlinear optimization for optimal Decompression of divers
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
Le Feng, Christian R. Gutvik, Tor Arne Johansen, D...
IJON
2008
101views more  IJON 2008»
15 years 5 months ago
Learning dynamics and robustness of vector quantization and neural gas
Various alternatives have been developed to improve the Winner-Takes-All (WTA) mechanism in vector quantization, including the Neural Gas (NG). However, the behavior of these algo...
Aree Witoelar, Michael Biehl, Anarta Ghosh, Barbar...