Sciweavers

4961 search results - page 228 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
143
Voted
CMOT
2004
141views more  CMOT 2004»
15 years 3 months ago
Small Worlds Among Interlocking Directors: Network Structure and Distance in Bipartite Graphs
We describe a methodology to examine bipartite relational data structures as exemplified in networks of corporate interlocking. These structures can be represented as bipartite gr...
Garry Robins, Malcolm Alexander
125
Voted
BMCBI
2007
107views more  BMCBI 2007»
15 years 3 months ago
Reuse of structural domain-domain interactions in protein networks
Background: Protein interactions are thought to be largely mediated by interactions between structural domains. Databases such as iPfam relate interactions in protein structures t...
Benjamin Schuster-Böckler, Alex Bateman
FROCOS
2000
Springer
15 years 7 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio
133
Voted
CONTEXT
1999
Springer
15 years 7 months ago
The Formal Structure of Ecological Contexts
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
Barry Smith, Achille C. Varzi
99
Voted
CSL
2007
Springer
15 years 7 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...