Sciweavers

15073 search results - page 248 / 3015
» Probabilistic algorithms for computing resultants
Sort
View
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
14 years 4 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
IACR
2011
128views more  IACR 2011»
14 years 4 months ago
Sign Modules in Secure Arithmetic Circuits
In this paper, we study the complexity of secure multiparty computation using only the secure arithmetic black-box of a finite field, counting the cost by the number of secure m...
Ching-Hua Yu
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 8 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
IMA
1995
Springer
97views Cryptology» more  IMA 1995»
15 years 8 months ago
A New Algorithm for Finding Minimum-Weight Words in Large Linear Codes
An algorithm for finding small-weight words in large linear codes is developed and a precise analysis of its complexity is given. It is in particular able to decode random [512,256...
Anne Canteaut
BIOINFORMATICS
2006
118views more  BIOINFORMATICS 2006»
15 years 4 months ago
A probabilistic dynamical model for quantitative inference of the regulatory mechanism of transcription
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
Guido Sanguinetti, Magnus Rattray, Neil D. Lawrenc...