898 search results - page 141 / 180 » Transitions of the Pre-Symmetry Set |
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
100
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
DNA
2007
Springer
15 years 4 months ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
ER
2007
Springer
15 years 4 months ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces the concept of a critical backbone as a minimal set of variables or part of the solution necessary to be within the basin of attraction of the global optimum...