3690 search results - page 524 / 738 » Computation with classical sequents |
143
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Proteins carrying twin-arginine (Tat) signal peptides are exported into the periplasmic compartment or extracellular environment independently of the classical Secdepe...
150
click to vote
ECOI
2007
15 years 5 months ago
2007
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
170
click to vote
JAIR
2002
15 years 5 months ago
2002
Much work in AI deals with the selection of proper actions in a given (known or unknown) environment. However, the way to select a proper action when facing other agents is quite ...
180
click to vote
CGF
2010
15 years 4 months ago
2010
In this paper we present an extended critical point concept which allows us to apply vector field topology in the case of unsteady flow. We propose a measure for unsteadiness wh...
147
click to vote
JSYML
2010
15 years 3 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...