Sciweavers

2666 search results - page 259 / 534
» Computing with Evolving Proteins
Sort
View
CSR
2006
Springer
15 years 10 months ago
Expressiveness of Metric Modalities for Continuous Time
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
Yoram Hirshfeld, Alexander Moshe Rabinovich
ICES
2000
Springer
91views Hardware» more  ICES 2000»
15 years 10 months ago
Dynamic Optimisation of Non-linear Feed Forward Circuits
Abstract. An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16-bit address space into an 8-bit one. The target technolog...
Ernesto Damiani, Valentino Liberali, Andrea Tettam...
ISMB
2000
15 years 8 months ago
A Pragmatic Information Extraction Strategy for Gathering Data on Genetic Interactions
We present in this paper a pragmatic strategy to perform information extraction from biologic texts. Since the emergence of the information extraction field, techniques have evolv...
Denys Proux, François Rechenmann, Laurent J...
ICEC
1994
147views more  ICEC 1994»
15 years 8 months ago
VLSI Circuit Synthesis Using a Parallel Genetic Algorithm
A parallel implementation of a genetic algorithm used to evolve simple analog VLSI circuits is described. The parallel computer system consisted of twenty distributed SPARC workst...
Mike Davis, Luoping Liu, John G. Elias
SIGCSE
2008
ACM
108views Education» more  SIGCSE 2008»
15 years 6 months ago
From sockets and RMI to web services
Traditional coverage of network programming techniques in a computer networking course addresses sockets, remote procedure call, and object-oriented remote procedure call. We prop...
Mark A. Holliday, J. Traynham Houston, E. Matthew ...