Sciweavers

735 search results - page 107 / 147
» A Mechanization of Phylogenetic Trees
Sort
View
COORDINATION
2004
Springer
15 years 11 months 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 7 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
15 years 11 months 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...