Sciweavers

735 search results - page 107 / 147
» A Mechanization of Phylogenetic Trees
Sort
View
164
Voted
COORDINATION
2004
Springer
16 years 4 days ago
A Component-Based Parallel Constraint Solver
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
Peter Zoeteweij, Farhad Arbab
IJCAI
1989
15 years 8 months ago
Maximum Entropy in Nilsson's Probabilistic Logic
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
Thomas B. Kane
ISPA
2005
Springer
16 years 7 days ago
Ethernet as a Lossless Deadlock Free System Area Network
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...
Sven-Arne Reinemo, Tor Skeie
BMCBI
2008
102views more  BMCBI 2008»
15 years 6 months ago
PhyloNet: a software package for analyzing and reconstructing reticulate evolutionary relationships
Background: Phylogenies, i.e., the evolutionary histories of groups of taxa, play a major role in representing the interrelationships among biological entities. Many software tool...
Cuong Than, Derek A. Ruths, Luay Nakhleh
BMCBI
2008
107views more  BMCBI 2008»
15 years 6 months ago
GPR17: Molecular modeling and dynamics studies of the 3-D structure and purinergic ligand binding features in comparison with P2
Background: GPR17 is a G-protein-coupled receptor located at intermediate phylogenetic position between two distinct receptor families: the P2Y and CysLT receptors for extracellul...
Chiara Parravicini, Graziella Ranghino, Maria P. A...