Sciweavers

4306 search results - page 522 / 862
» Timed Testing with TorX
Sort
View
EUROGP
2004
Springer
129views Optimization» more  EUROGP 2004»
15 years 10 months ago
Evolution and Acquisition of Modules in Cartesian Genetic Programming
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
James Alfred Walker, Julian Francis Miller
SAT
2004
Springer
102views Hardware» more  SAT 2004»
15 years 9 months ago
Derandomization of Schuler's Algorithm for SAT
Abstract. Recently Schuler [17] presented a randomized algorithm that solves SAT in expected time at most 2n(1−1/ log2(2m)) up to a polynomial factor, where n and m are, respecti...
Evgeny Dantsin, Alexander Wolpert
ICANN
2003
Springer
15 years 9 months ago
The Spike Response Model: A Framework to Predict Neuronal Spike Trains
We propose a simple method to map a generic threshold model, namely the Spike Response Model, to artificial data of neuronal activity using a minimal amount of a priori informatio...
Renaud Jolivet, Timothy J. Lewis, Wulfram Gerstner
DATE
2010
IEEE
144views Hardware» more  DATE 2010»
15 years 9 months ago
A robust ADC code hit counting technique
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...
Jiun-Lang Huang, Kuo-Yu Chou, Ming-Huan Lu, Xuan-L...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 9 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...