Sciweavers

3522 search results - page 367 / 705
» Modeling and Aspect Weaving
Sort
View
ISCAS
2002
IEEE
153views Hardware» more  ISCAS 2002»
15 years 11 months ago
Biological learning modeled in an adaptive floating-gate system
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
Christal Gordon, Paul E. Hasler
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 10 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
NIPS
2008
15 years 8 months ago
Psychiatry: Insights into depression through normative decision-making models
Decision making lies at the very heart of many psychiatric diseases. It is also a central theoretical concern in a wide variety of fields and has undergone detailed, in-depth, ana...
Quentin J. M. Huys, Joshua T. Vogelstein, Peter Da...
BIOCOMP
2006
15 years 8 months ago
An Artificial Neural Network based Model to Analyze Malarial Data and Predict Organ Failure
Health Care Management is one of the most important and most important research areas of the new millennium. The main purpose of this work was to analyze the data on malaria patie...
Dinesh P. Mital, Shankar Srinivasan, Syed Haque, R...
BMCBI
2008
82views more  BMCBI 2008»
15 years 6 months ago
Envelope: interactive software for modeling and fitting complex isotope distributions
Background: An important aspect of proteomic mass spectrometry involves quantifying and interpreting the isotope distributions arising from mixtures of macromolecules with differe...
Michael T. Sykes, James R. Williamson