Sciweavers

3198 search results - page 149 / 640
» Evolutionary Computation in Structural Design
Sort
View
POPL
2010
ACM
15 years 11 months ago
Ypnos: declarative, parallel structured grid programming
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
IJCNN
2000
IEEE
15 years 8 months ago
Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata
This paper shows an application in the field of Electronic CAD of the Selfish Gene algorithm, an evolutionary algorithm based on a recent interpretation of the Darwinian theory. Te...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
BIOCOMP
2006
15 years 5 months ago
Support Vector Machines for Predicting microRNA Hairpins
- microRNAs (miRNAs) are 20-22 nt noncoding RNAs which are rapidly emerging as crucial regulators of gene expression in plants and animals. Identification of the hairpins which yie...
Karol Szafranski, Molly Megraw, Martin Reczko, Art...
DAC
2004
ACM
16 years 5 months ago
Exploiting structure in symmetry detection for CNF
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah...
AMW
2010
15 years 5 months ago
Certification and Authentication of Data Structures
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
Roberto Tamassia, Nikos Triandopoulos