Sciweavers

16626 search results - page 201 / 3326
» Computing is a natural science
Sort
View
STACS
2001
Springer
15 years 11 months ago
Semantical Principles in the Modal Logic of Coalgebras
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
Dirk Pattinson
PPL
2007
112views more  PPL 2007»
15 years 6 months ago
Embodied Computation
The traditional computational devices and models, such as the von Neumann architecture or the Turing machine, are strongly influenced by concepts of central control and perfectio...
Heiko Hamann, Heinz Wörn
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
16 years 6 days ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
ICALT
2003
IEEE
15 years 12 months ago
Gaining Computational Literacy by Creating Hybrid Aesthetic Learning Spaces
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...
Daniela Reimann, Michael Herczeg, Thomas Winkler, ...
ISCOPE
1998
Springer
15 years 10 months ago
The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations
In this paper we present a parallel runtime substrate that supports a global addressing scheme, object mobility, and automatic message forwarding required for the implementation o...
Nikos Chrisochoides, Kevin Barker, Démian N...