Sciweavers

CORR
2007
Springer
74views Education» more  CORR 2007»
13 years 7 months ago
Computing Minimal Polynomials of Matrices
We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an n × n matrix over a finite field that requires O(n3 ) field operations and O(n) random v...
Max Neunhöffer, Cheryl E. Praeger
CORR
2007
Springer
68views Education» more  CORR 2007»
13 years 7 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
CORR
2007
Springer
122views Education» more  CORR 2007»
13 years 7 months ago
Modeling Epidemic Spread in Synthetic Populations - Virtual Plagues in Massively Multiplayer Online Games
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...
Magnus Boman, Stefan J. Johansson
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 7 months ago
Computing Integer Powers in Floating-Point Arithmetic
We introduce two algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. We ...
Peter Kornerup, Vincent Lefèvre, Jean-Miche...
CORR
2007
Springer
101views Education» more  CORR 2007»
13 years 7 months ago
Curry-style type Isomorphisms and Game Semantics
Joachim De Lataillade
CORR
2007
Springer
74views Education» more  CORR 2007»
13 years 7 months ago
Secure Two-party Protocols for Point Inclusion Problem
It is well known that, in theory, the general secure multiparty computation problem is solvable using circuit evaluation protocols. However, the communication complexity of the re...
Tony Thomas
CORR
2007
Springer
96views Education» more  CORR 2007»
13 years 7 months ago
The Distance Geometry of Music
Erik D. Demaine, Francisco Gomez-Martin, Henk Meij...
CORR
2007
Springer
75views Education» more  CORR 2007»
13 years 7 months ago
On Undetected Error Probability of Binary Matrix Ensembles
Abstract— In this paper, analysis on undetected error probability of ensembles of m × n binary matricies is presented. Two ensembles are considered: One is an ensemble of dense ...
Tadashi Wadayama