6978 search results - page 1212 / 1396 » On Proofs in System P |
ESIAT
2009
IEEE
13 years 7 months ago
2009
IEEE
Shortcut nitrification was reported to be technically feasible and economically favourable, especially when sewages with high ammonium concentrations or low C/N ratios are treated....
HIPC
2009
Springer
13 years 7 months ago
2009
Springer
Stream computing research is moving from terascale to petascale levels. It aims to rapidly analyze data as it streams in from many sources and make decisions with high speed and a...
ICETET
2009
IEEE
13 years 7 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
ICNS
2009
IEEE
13 years 7 months ago
2009
IEEE
In the last decade, file sharing systems have generally been dominated by P2P solutions. Whereas e-mail and HTTP have been the killer apps of the earlier Internet, a large percent...
ICPPW
2009
IEEE
13 years 7 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...