Results 1  10
of
1,243
A Simple, Fast, and Accurate Algorithm to Estimate Large Phylogenies by Maximum Likelihood
, 2003
"... The increase in the number of large data sets and the complexity of current probabilistic sequence evolution models necessitates fast and reliable phylogeny reconstruction methods. We describe a new approach, based on the maximumlikelihood principle, which clearly satisfies these requirements. The ..."
Abstract

Cited by 2182 (27 self)
 Add to MetaCart
The increase in the number of large data sets and the complexity of current probabilistic sequence evolution models necessitates fast and reliable phylogeny reconstruction methods. We describe a new approach, based on the maximumlikelihood principle, which clearly satisfies these requirements
Ethernet: Distributed packet switching for local computer networks
 COMMUN. ACM
, 1976
"... Ethernet is a branching broadcast communication system for carrying digital data packets among locally distributed computing stations. The packet transport mechanism provided by Ethernet has been used to build systems which can be viewed as either local computer networks or loosely coupled multipr ..."
Abstract

Cited by 468 (2 self)
 Add to MetaCart
Ethernet is a branching broadcast communication system for carrying digital data packets among locally distributed computing stations. The packet transport mechanism provided by Ethernet has been used to build systems which can be viewed as either local computer networks or loosely coupled
Reachability Analysis of Pushdown Automata: Application to ModelChecking
, 1997
"... We apply the symbolic analysis principle to pushdown systems. We represent (possibly infinite) sets of configurations of such systems by means of finitestate automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (like mode ..."
Abstract

Cited by 376 (38 self)
 Add to MetaCart
We apply the symbolic analysis principle to pushdown systems. We represent (possibly infinite) sets of configurations of such systems by means of finitestate automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (like
Iterated Forcing with ${}^{\omega}\omega$bounding and Semiproper Preorders
"... Assume the Continuum Hypothesis (CH) in the ground model. If we iteratively force with preorders which are $\omega\omega$bounding and semiproper taking suitable limits, then so is the final preorder constructed. Therefore we may show that the Cofinal Branch Principle (CBP) of [F] is strictly weaker ..."
Abstract
 Add to MetaCart
Assume the Continuum Hypothesis (CH) in the ground model. If we iteratively force with preorders which are $\omega\omega$bounding and semiproper taking suitable limits, then so is the final preorder constructed. Therefore we may show that the Cofinal Branch Principle (CBP) of [F] is strictly
Counterexamples to the unique and cofinal branches hypotheses
 The Journal of Symbolic Logic
, 2006
"... Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal. Martin–Steel [3] introduced the notion of an iteration tree, and with it the question of iterability: the existence of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal. Martin–Steel [3] introduced the notion of an iteration tree, and with it the question of iterability: the existence
Bayesian inference on phylogeny and its impact on evolutionary biology.
 Science
, 2001
"... 1 As a discipline, phylogenetics is becoming transformed by a flood of molecular data. These data allow broad questions to be asked about the history of life, but also present difficult statistical and computational problems. Bayesian inference of phylogeny brings a new perspective to a number of o ..."
Abstract

Cited by 235 (10 self)
 Add to MetaCart
the idea provides an organizing principle in biology that has profound importance for a number of fundamental questions. These questions range from the basic, What is the phylogeny of life?, or the more esoteric, How can the association in traits caused by a common history be accommodated
Autonomous Interface Agents
, 1997
"... Two branches of the trend towards "agents" that are gaining currency are interface agents, software that actively assists a user in operating an interactive interface, and autonomous agents, software that takes action without user intervention and operates concurrently, either while the us ..."
Abstract

Cited by 217 (11 self)
 Add to MetaCart
Two branches of the trend towards "agents" that are gaining currency are interface agents, software that actively assists a user in operating an interactive interface, and autonomous agents, software that takes action without user intervention and operates concurrently, either while
The maximum likelihood approach to reconstructing ancestral character states of discrete characters on phylogenies. Syst. Biol
, 1999
"... A phylogeny describes the hierarchical pattern of descent of some group of species from a common ancestor. If information is available on the character states of the contemporaryspecies, thepossibility is raisedof using that information in combination with the phylogeny to reconstruct the historica ..."
Abstract

Cited by 180 (1 self)
 Add to MetaCart
the historical events of evolution. These reconstructions can be used to retrieve a picture of theworld as the species evolved alongwhatwould become the branches of the phylogeny. This, in turn, provides a way to test hypotheses about evolution and adaptation. Methods based on the principle of par
SpaceTree: Supporting Exploration in Large Node Link Tree, Design Evolution and Empirical Evaluation
, 2002
"... We present a novel tree browser that builds on the conventional node link tree diagrams. It adds dynamic rescaling of branches of the tree to best fit the available screen space, optimized camera movement, and the use of preview icons summarizing the topology of the branches that cannot be expanded. ..."
Abstract

Cited by 153 (19 self)
 Add to MetaCart
We present a novel tree browser that builds on the conventional node link tree diagrams. It adds dynamic rescaling of branches of the tree to best fit the available screen space, optimized camera movement, and the use of preview icons summarizing the topology of the branches that cannot be expanded
Modeling Concurrency with Geometry
"... The phenomena of branching time and true or noninterleaving concurrency find their respective homes in automata and schedules. But these two models of computation are formally equivalent via Birkhoff duality, an equivalence we expound on here in tutorial detail. So why should these phenomena prefer ..."
Abstract

Cited by 146 (12 self)
 Add to MetaCart
The phenomena of branching time and true or noninterleaving concurrency find their respective homes in automata and schedules. But these two models of computation are formally equivalent via Birkhoff duality, an equivalence we expound on here in tutorial detail. So why should these phenomena prefer
Results 1  10
of
1,243