Sciweavers

5981 search results - page 327 / 1197
» time 2006
Sort
View
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 6 months ago
Fast algorithms for computing isogenies between elliptic curves
We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an...
Alin Bostan, Bruno Salvy, François Morain, ...
145
Voted
ENTCS
2006
99views more  ENTCS 2006»
15 years 6 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
OR
2006
Springer
15 years 6 months ago
Financial forecasting through unsupervised clustering and neural networks
In this paper, we review our work on a time series forecasting methodology based on the combination of unsupervised clustering and artificial neural networks. To address noise and...
Nicos G. Pavlidis, Vassilis P. Plagianakos, Dimitr...
JUCS
2006
175views more  JUCS 2006»
15 years 6 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
BMCBI
2007
198views more  BMCBI 2007»
15 years 6 months ago
Correlation analysis reveals the emergence of coherence in the gene expression dynamics following system perturbation
Time course gene expression experiments are a popular means to infer co-expression. Many methods have been proposed to cluster genes or to build networks based on similarity measu...
Nicola Neretti, Daniel Remondini, Marc Tatar, John...