Sciweavers

938 search results - page 80 / 188
» Mathematical Modelling the Ethnic System
Sort
View
CSFW
2005
IEEE
15 years 11 months ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
AIED
2009
Springer
16 years 2 days ago
Combining Evaluative and Generative Diagnosis in ACTIVEMATH
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
George Goguadze, Erica Melis
SASO
2008
IEEE
15 years 12 months ago
Self-Organization of Creole Community in Spatial Language Dynamics
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in the mathematical framework. In...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
ICC
2007
IEEE
129views Communications» more  ICC 2007»
15 years 11 months ago
Closed-Form Expressions for the Outage and Error Probabilities of Decode-and-Forward Relaying in Dissimilar Rayleigh Fading Chan
—User cooperation protocols, where mobile stations relay signals to the final destination, have been proposed for wireless networks. A general mathematical probability model is ...
Jeremiah Hu, Norman C. Beaulieu
ARTS
1997
Springer
15 years 9 months ago
Refinement of Time
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
Manfred Broy