Sciweavers

29046 search results - page 176 / 5810
» Computable Models
Sort
View
FOCI
2007
IEEE
15 years 9 months 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...
87
Voted
CIE
2007
Springer
15 years 9 months 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
101
Voted
AEI
2010
115views more  AEI 2010»
15 years 3 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 3 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
123
Voted
CCS
2010
ACM
15 years 3 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,...