Results 171 to 180 of about 3,389 (180)

Hypocycloids, Continued Fractions, and Distribution Modulo One

The American Mathematical Monthly, 1991
openaire   +1 more source

Optimization Modulo Theories with Linear Rational Costs

ACM Transactions on Computational Logic, 2015
Roberto Sebastiani
exaly  

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan   +2 more
exaly  

Modulo 2/sup n/ ± adder design using select-prefix blocks

IEEE Transactions on Computers, 2003
C Efstathiou, H T Vergos
exaly  

Strict coherence of conditional rewriting modulo axioms

Theoretical Computer Science, 2017
JOSÉ Meseguer
exaly  

Synthesis modulo recursive functions

ACM SIGPLAN Notices, 2013
Etienne Kneuss, Viktor Kuncak
exaly  

Iterative Modulo Scheduling

International Journal of Parallel Programming, 2016
B Ramakrishna Rau
exaly  

Uniform distribution and sum modulo m of independent random variables

Statistics and Probability Letters, 1993
exaly  

On the Distribution of αp Modulo One II

Proceedings of the London Mathematical Society, 1996
openaire   +1 more source

On the distribution of $p^{1/2}$ modulo one

1990
M. NAIR, PERELLI, ALBERTO
openaire   +1 more source