3993 search results - page 238 / 799 » Matchmaking for Structured Objects |
171
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
110
Voted
RECOMB
1998
Springer
15 years 8 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...
148
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Structural alignment of RNAs is becoming important, since the discovery of functional non-coding RNAs (ncRNAs). Recent studies, mainly based on various approximations ...
111
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Mitochondrial tRNAs have been the subject of study for structural biologists interested in their secondary structure characteristics, evolutionary biologists have rese...
141
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...