Sciweavers

21108 search results - page 88 / 4222
» A General Class of Models of
Sort
View
BC
1999
108views more  BC 1999»
15 years 3 months ago
Exact digital simulation of time-invariant linear systems with applications to neuronal modeling
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
Stefan Rotter, Markus Diesmann
129
Voted
SAC
2008
ACM
15 years 3 months ago
Modelling adaptive services for distributed systems
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
Liliana Rosa, Antónia Lopes, Luís Ro...
PPSC
1997
15 years 5 months ago
Java and Web Technologies for Simulation and Modelling in Computational Science and Engineering
We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...
Geoffrey Fox, Wojtek Furmanski
CADE
2002
Springer
16 years 4 months ago
A New Clausal Class Decidable by Hyperresolution
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmid...
123
Voted
BALT
2006
15 years 7 months ago
On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
Giancarlo Guizzardi