4895 search results - page 143 / 979 » Functional Quantum Programming |
BIOINFORMATICS
2005
15 years 2 months ago
2005
: Recent advances in gene sequencing have provided complete sequence information for a number of genomes and as a result the amount of data in the sequence databases is growing at ...
115
Voted
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
103
Voted
ASIAN
2003
Springer
15 years 7 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
133
Voted
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
122
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...