Results 1  10
of
17,131
The synchronous approach to reactive and realtime systems
 Proceedings of the IEEE
, 1991
"... This special issue is devoted to the synchronous approach to reactive and realtime programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming langu ..."
Abstract

Cited by 436 (15 self)
 Add to MetaCart
languages on mathematical models. This makes it possible to handle compilation, logical correctness proofs, and verifications of realtime programs in a formal way, leading to a clean and precise methodology for design and programming. 1. INTRODUCTION: REALTIME AND REACTIVE SYSTEMS It is commonly accepted
Computational Techniques and Applications: CTAC95 1 World Scientic A MAPLE Package for Stochastic Differential Equations
"... The eects of intrinsic noise within physical phenomena is ignored when mathematical models of their behaviour are constructed using deterministic dierential equations. Such equations describe what is occurring on average to the system. However, more information is often required to obtain a full pi ..."
Abstract
 Add to MetaCart
The eects of intrinsic noise within physical phenomena is ignored when mathematical models of their behaviour are constructed using deterministic dierential equations. Such equations describe what is occurring on average to the system. However, more information is often required to obtain a full
Modelling an Infectious Disease Prediction and control using SIR Model
"... This paper is concerned with the SIR model of Infectious diseases. Mathematical models based on the demographical factors, which provide a conceptual framework for understanding the process of transmission and control of infectious diseases at a basic level is proposed. The proposed model has adva ..."
Abstract
 Add to MetaCart
This paper is concerned with the SIR model of Infectious diseases. Mathematical models based on the demographical factors, which provide a conceptual framework for understanding the process of transmission and control of infectious diseases at a basic level is proposed. The proposed model has
TWO COUPLED OSCILLATOR MODELS: THE MILLENNIUM BRIDGE AND THE CHIMERA STATE
, 2006
"... Ensembles of coupled oscillators have been seen to produce remarkable and unexpected phenomena in a wide variety of applications. Here we present two mathematical models of such oscillators. The first model is applied to the case of London’s Millennium Bridge, which underwent unexpected lateral vi ..."
Abstract
 Add to MetaCart
Ensembles of coupled oscillators have been seen to produce remarkable and unexpected phenomena in a wide variety of applications. Here we present two mathematical models of such oscillators. The first model is applied to the case of London’s Millennium Bridge, which underwent unexpected lateral
A NEW MADM ALGORITHM BASED ON FUZZY SUBJECTIVE AND OBJECTIVE INTEGRATED WEIGHTS
"... Abstract. In this paper, a new subjective and objective integrated approach is put forward that may be used to determine attribute weights in fuzzy multiple attribute decision making (FMADM) problems. It retains the merits of both subjective and objective approaches: to determine weights by solving ..."
Abstract
 Add to MetaCart
mathematical models automatically and at the same time take into consideration the decision maker’s preferences. Finally, an example is used to illustrate the approach.
Reified bayesian modelling and inference for physical systems (with discussion
 Journal of Statistical Planning and Inference
, 2009
"... We describe an approach, termed reified analysis, for linking the behaviour of mathematical models with inferences about the physical systems which the models represent. We describe the logical basis for the approach, based on coherent assessment of the implications of deficiencies in the mathemat ..."
Abstract

Cited by 38 (18 self)
 Add to MetaCart
We describe an approach, termed reified analysis, for linking the behaviour of mathematical models with inferences about the physical systems which the models represent. We describe the logical basis for the approach, based on coherent assessment of the implications of deficiencies
Optimal Reconstruction Kernels in Medical Imaging
"... Summary. In this paper we present techniques for deriving inversion algorithms in medical imaging. To this end we present a few imaging technologies and their mathematical models. They essentially consist of integral operators. The reconstruction is then recognized as the solution of an inverse pro ..."
Abstract
 Add to MetaCart
Summary. In this paper we present techniques for deriving inversion algorithms in medical imaging. To this end we present a few imaging technologies and their mathematical models. They essentially consist of integral operators. The reconstruction is then recognized as the solution of an inverse
An investigation into round touchscreen wristwatch interaction
 In Proc. of MobileHCI '08, ACM
, 2008
"... The wristwatch is a device that is quick to access, but is currently underutilized as a platform for interaction. We investigate interaction on a circular touchscreen wristwatch, empirically determining the error rate for variouslysized buttons placed around the rim. We consider three types of in ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
of intertarget movements, and derive a mathematical model for error rate given movement type and angular and radial button width. 1.
The Topology of the Universe
, 1999
"... To overcome the problems involved with an infinite universe, we can use mathematical models of finite spaces without boundaries. In practically all cases, these imply a multiplyconnected universe whereby the space we live in (and, therefore, make observations in) is really an infinite lattice of f ..."
Abstract
 Add to MetaCart
To overcome the problems involved with an infinite universe, we can use mathematical models of finite spaces without boundaries. In practically all cases, these imply a multiplyconnected universe whereby the space we live in (and, therefore, make observations in) is really an infinite lattice
Evolving Autonomous Agent Controllers as Analytical Mathematical Models
"... A novel Artificial Life paradigm is proposed where autonomous agents are controlled via geneticallyencoded Evolvable Mathematical Models (EMMs). Agent/environment inputs are mapped to agent outputs via equation trees which are evolved using Genetic Programming. Equations use only the four basic ma ..."
Abstract
 Add to MetaCart
mathematical operators: addition, subtraction, multiplication and division. Experiments on the discrete DoubleT Maze with Homing problem are performed; the source code has been made available. Results demonstrate that autonomous controllers with learning capabilities can be evolved as analytical mathematical
Results 1  10
of
17,131