5122 search results - page 277 / 1025 » Comparing Consequence Relations |
125
click to vote
APAL
2010
15 years 5 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
123
click to vote
BIOSYSTEMS
2007
15 years 5 months ago
2007
The intricate intracellular infrastructure of all known life forms is based on proteins. The folded shape of a protein determines both the protein’s function and the set of mole...
137
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: Non-coding RNAs gain more attention as their diverse roles in many cellular processes are discovered. At the same time, the need for efficient computational prediction...
131
click to vote
CONCURRENCY
2010
15 years 5 months ago
2010
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...
112
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Lattice reduction-aided decoding enables significant complexity saving and near-optimum performance in multi-input multi-output (MIMO) communications. However, its remarkable perfo...