Sciweavers

2631 search results - page 305 / 527
» A Practical Method for the Sparse Resultant
Sort
View
CORR
2000
Springer
67views Education» more  CORR 2000»
15 years 7 months ago
The dynamics of iterated transportation simulations
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
Kai Nagel, Marcus Rickert, Patrice M. Simon, Marti...
CSL
2010
Springer
15 years 8 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
BMCBI
2010
110views more  BMCBI 2010»
15 years 7 months ago
On the use of resampling tests for evaluating statistical significance of binding-site co-occurrence
Background: In eukaryotes, most DNA-binding proteins exert their action as members of large effector complexes. The presence of these complexes are revealed in high-throughput gen...
David S. Huen, Steven Russell
CORR
2010
Springer
152views Education» more  CORR 2010»
15 years 7 months ago
Neuroevolutionary optimization
Temporal difference methods are theoretically grounded and empirically effective methods for addressing reinforcement learning problems. In most real-world reinforcement learning ...
Eva Volná
BMCBI
2011
15 years 2 months ago
Accurate statistics for local sequence alignment with position-dependent scoring by rare-event sampling
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
Stefan Wolfsheimer, Inke Herms, Sven Rahmann, Alex...