Sciweavers

CORR
2004
Springer
99views Education» more  CORR 2004»
14 years 8 days ago
Merging costs for the additive Marcus-Lushnikov process, and Union-Find algorithms
Abstract. Starting with a monodisperse configuration with n size
Philippe Chassaing, Regine Marchand
CORR
2004
Springer
104views Education» more  CORR 2004»
14 years 8 days ago
Ramanujan Graphs and the Random Reducibility of Discrete Log on Isogenous Elliptic Curves
Cryptographic applications using an elliptic curve over a finite field filter curves for suitability using their order as the primary criterion: e.g. checking that their order has...
David Jao, Stephen D. Miller, Ramarathnam Venkates...
CORR
2004
Springer
86views Education» more  CORR 2004»
14 years 8 days ago
Probabilistic Solutions of Equations in the Braid Group
D. Garber, S. Kaplan, Mina Teicher, Boaz Tsaban, U...
CORR
2004
Springer
90views Education» more  CORR 2004»
14 years 8 days ago
Non-computable Julia sets
While most polynomial Julia sets are computable, it has been recently shown [12] that there exist non-computable Julia sets. The proof was non-constructive, and indeed there were ...
Mark Braverman, Michael Yampolsky
CORR
2004
Springer
106views Education» more  CORR 2004»
14 years 8 days ago
Why Delannoy numbers?
This article is not a research paper, but a little note on the history of combinatorics: we present here a tentative short biography of Henri Delannoy, and a survey of his most no...
Cyril Banderier, Sylviane R. Schwer
CORR
2004
Springer
142views Education» more  CORR 2004»
14 years 8 days ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CORR
2004
Springer
195views Education» more  CORR 2004»
14 years 8 days ago
Detecting User Engagement in Everyday Conversations
This paper presents a novel application of speech emotion recognition: estimation of the level of conversational engagement between users of a voice communication system. We begin...
Chen Yu, Paul M. Aoki, Allison Woodruff
CORR
2004
Springer
71views Education» more  CORR 2004»
14 years 8 days ago
A novel approach to symbolic algebra
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
Thomas Fischbacher
CORR
2004
Springer
117views Education» more  CORR 2004»
14 years 8 days ago
Efficient dot product over word-size finite fields
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
Jean-Guillaume Dumas
CORR
2004
Springer
191views Education» more  CORR 2004»
14 years 8 days ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio