Sciweavers

1121 search results - page 95 / 225
» Logics of Complementarity in Information Systems
Sort
View
FLAIRS
2003
13 years 10 months ago
Automated Data Fusion and Situation Assessment in Space Systems
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
Mark L. Hanson, Paul G. Gonsalves
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
DIAGRAMS
2010
Springer
13 years 9 months ago
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
Aidan Delaney, Gem Stapleton, John Taylor, Simon J...
ICWL
2009
Springer
14 years 1 months ago
Applying a Web and Simulation-Based System for Adaptive Competence Assessment of Spinal Anaesthesia
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
Cord Hockemeyer, Alexander Nussbaumer, Erik Lö...
CEC
2008
IEEE
13 years 9 months ago
Design and implementation of a patterns recognition system for analysis of biological liquids
Given the great amount of data that are generated of the experiments to analyze information of extracted chemical fluids of the brain of a rodent, arises the necessity to design an...
Jose Aguilar, Luis Hernandez, Anny Olivar