Sciweavers

29046 search results - page 176 / 5810
» Computable Models
Sort
View
FOCI
2007
IEEE
16 years 23 days ago
The Immune System in Pieces: Computational Lessons from Degeneracy in the Immune System
— The concept of degeneracy in biology, including the immune system, is well accepted and has been demonstrated to be present at many different levels. We explore this concept fr...
Miguel Mendao, Jonathan Timmis, Paul S. Andrews, M...
CIE
2007
Springer
16 years 18 days ago
Locally Computable Structures
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
Russell G. Miller
AEI
2010
115views more  AEI 2010»
15 years 6 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
CCS
2010
ACM
15 years 6 months ago
Computational indistinguishability logic
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
Gilles Barthe, Marion Daubignard, Bruce M. Kapron,...