1205 search results - page 207 / 241 » Program Extraction from Large Proof Developments |
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...
110
click to vote
HCW
2000
IEEE
15 years 5 months ago
2000
IEEE
Applications that use collections of very large, distributed datasets have become an increasingly important part of science and engineering. With high performance wide-area networ...
100
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
127
click to vote
PLANX
2007
15 years 2 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
123
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Target identification is important for modern drug discovery. With the advances in the development of molecular docking, potential binding proteins may be discovered b...