7988 search results - page 277 / 1598 » A Useful Undecidable Theory |
115
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
100
click to vote
TIME
2008
IEEE
15 years 7 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
104
click to vote
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
Functional dependencies (FDs) are an integral part of database theory since they are used in integrity enforcement and in database design. Recently, functional dependencies satis...
104
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...