Sciweavers

2970 search results - page 300 / 594
» A Model for the Visualization Exploration Process
Sort
View
WSC
2007
15 years 6 months ago
Feasibility study of variance reduction in the logistics composite model
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...
George P. Cole III, Alan W. Johnson, J. O. Miller
CMSB
2007
Springer
15 years 10 months ago
Expressive Models for Synaptic Plasticity
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
ITRE
2006
IEEE
15 years 10 months ago
A Knowledge Building Community Constructing a Knowledge Model Using Online Concept Maps
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...
Moshe Leiba, Rafi Nachmias
PDCAT
2004
Springer
15 years 9 months ago
A Componentized Approach to Grid Enabling Seismic Wave Modeling Application
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
Dheeraj Bhardwaj, Jeremy Cohen, Steve McGough, Ste...
CAISE
2006
Springer
15 years 8 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul