Sciweavers

7504 search results - page 971 / 1501
» Computing with Action Potentials
Sort
View
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 11 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
VW
2000
Springer
215views Virtual Reality» more  VW 2000»
15 years 10 months ago
A 3-D Biomechanical Model of the Salamander
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
Auke Jan Ijspeert
BCSHCI
2007
15 years 8 months ago
Design, use and experience of e-learning systems
The use of computer applications to support learning and assessment is becoming more common, along with a growing body of research focusing on the pedagogical effectiveness of the...
Willem-Paul Brinkman, Annette Payne, Nayna Patel, ...
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 7 months ago
The Complexity of Causality and Responsibility for Query Answers and non-Answers
An answer to a query has a well-defined lineage expression (alternatively called how-provenance) that explains how the answer was derived. Recent work has also shown how to comput...
Alexandra Meliou, Wolfgang Gatterbauer, Katherine ...

Publication
2162views
17 years 8 months ago
Virtual Fly-Over: A New Visualization Technique For Virtual Colonoscopy
In this paper, we propose a new visualization technique for virtual colonoscopy (VC). The proposed method is called Virtual Fly-Over, which splits the entire colon anatomy into e...
M. Sabry Hassouna, Aly A. Farag, Robert Falk