Sciweavers

936 search results - page 61 / 188
» Mathematical Models of Endocrine Systems
Sort
View
LCPC
1999
Springer
14 years 2 months ago
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
Olav Beckmann, Paul H. J. Kelly
CORR
2008
Springer
98views Education» more  CORR 2008»
13 years 10 months ago
Does intelligence imply contradiction?
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
Patrizio Frosini
PET
2004
Springer
14 years 3 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
FCT
1999
Springer
14 years 2 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
14 years 3 months ago
RoboTrikke: A Novel Undulatory Locomotion System
— In this paper we present a mathematical model of the TRIKKE, a human-powered scooter produced by Trikke Tech Inc. The Trikke is a three-wheeled, single-rider vehicle that can b...
Sachin Chitta, Peng Cheng, Emilio Frazzoli, Vijay ...