295 search results - page 51 / 59 » Simultaneous Quantifier Elimination |
FROCOS
2000
Springer
14 years 10 days ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
SIGMOD
2010
ACM
13 years 9 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
ADHOC
2008
13 years 8 months ago
2008
Sensor network MAC protocols typically sacrifice packet latency to achieve energy efficiency. Such delays may well increase due to routing protocol operation. For this reason it i...
BMCBI
2010
13 years 8 months ago
2010
Background: Nuclear magnetic resonance spectroscopy is one of the primary tools in metabolomics analyses, where it is used to track and quantify changes in metabolite concentratio...
BMCBI
2008
13 years 8 months ago
2008
Background: DNA microarrays are used to investigate differences in gene expression between two or more classes of samples. Most currently used approaches compare mean expression l...