Sciweavers

11862 search results - page 2348 / 2373
» Relative information completeness
Sort
View
AC
2000
Springer
13 years 8 months ago
State of the art in electronic payment systems
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
N. Asokan, Philippe A. Janson, Michael Steiner, Mi...
BMCBI
2002
109views more  BMCBI 2002»
13 years 8 months ago
Kangaroo - A pattern-matching program for biological sequences
Background: Biologists are often interested in performing a simple database search to identify proteins or genes that contain a well-defined sequence pattern. Many databases do no...
Doron Betel, Christopher W. V. Hogue
BMCBI
2002
136views more  BMCBI 2002»
13 years 8 months ago
Making sense of EST sequences by CLOBBing them
Background: Expressed sequence tags (ESTs) are single pass reads from randomly selected cDNA clones. They provide a highly cost-effective method to access and identify expressed g...
John Parkinson, David B. Guiliano, Mark L. Blaxter
ENTCS
2000
120views more  ENTCS 2000»
13 years 8 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
ENVSOFT
2000
51views more  ENVSOFT 2000»
13 years 8 months ago
Simulation of nitrous oxide and nitric oxide emissions from tropical primary forests in the Costa Rican Atlantic Zone
Nitrous oxide (N2O) and nitric oxide (NO) are important atmospheric trace gases participating in the regulation of global climate and environment. Predictive models on the emissio...
Shuguang Liu, William A. Reiners, Michael Keller, ...
« Prev « First page 2348 / 2373 Last » Next »