9405 search results - page 1279 / 1881 » Computing a Model of Set Theory |
149
click to vote
ICONIP
2008
15 years 8 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...
176
click to vote
WSCG
2003
15 years 8 months ago
2003
In this paper we present an extension to the classical particle system. We unify particles, particle sources, and force generators into a second order particle system. In the seco...
179
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The ability to access, search and analyse secondary structures of a large set of known RNA molecules is very important for deriving improved RNA energy models, for eva...
135
click to vote
NAR
2011
14 years 10 months ago
2011
We describe the Biomolecule Stretching Data Base that has been recently set up at http://www.ifpan .edu.pl/BSDB/. It provides information about mechanostability of proteins. Its c...
192
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...