Sciweavers

2779 search results - page 310 / 556
» Modelling Immunological Memory
Sort
View
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
15 years 10 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
147
Voted
ICARIS
2004
Springer
15 years 9 months ago
Immunity Through Swarms: Agent-Based Simulations of the Human Immune System
Abstract. We present a swarm-based, 3-dimensional model of the human immune system and its response to first and second viral antigen exposure. Our model utilizes a decentralized ...
Christian Jacob, Julius Litorco, Leo Lee
COSIT
2009
Springer
144views GIS» more  COSIT 2009»
15 years 8 months ago
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
Clare Davies
DAC
1996
ACM
15 years 8 months ago
Integrating Formal Verification Methods with A Conventional Project Design Flow
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
Ásgeir Th. Eiríksson
180
Voted
VISUALIZATION
1994
IEEE
15 years 8 months ago
Parallel Performance Measures for Volume Ray Casting
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
Cláudio T. Silva, Arie E. Kaufman