Results 171 to 180 of about 13,307 (188)

Some results in the probabilistic theory of asymptotic uniform distribution modulo 1

Zeitschrift Für Wahrscheinlichkeitstheorie Und Verwandte Gebiete, 1973
R M Loynes
exaly  

Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories

ACM Transactions on Design Automation of Electronic Systems, 2015
Steffen Peter, Tony Givargis
exaly  

Structured learning modulo theories

Artificial Intelligence, 2017
Roberto Sebastiani, Andrea Passerini
exaly  

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics

ACM SIGPLAN Notices, 2014
Julien Henry
exaly  

Binary Kloosterman Sums Modulo 256 and Coefficients of the Characteristic Polynomial

IEEE Transactions on Information Theory, 2012
Faruk Gologlu, Petr Lisoněk, Gary Mcguire   +2 more
exaly  

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications

Software Testing Verification and Reliability, 2016
Hongda Wang, Jianchun Xing, Wei Song
exaly  

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

IEEE Transactions on Automatic Control, 2017
Yasser Shoukry, Pierluigi Nuzzo, A Sangiovanni-Vincentelli   +2 more
exaly  

General Theory of Information Transfer and Combinatorics

General Theory of Information Transfer and Combinatorics, 2006
R. Ahlswede, Lars Bäumer, N. Cai, Harout K. Aydinian, V. Blinovsky   +4 more
semanticscholar   +1 more source

On the distribution of √ p modulo one

Mathematika, 1983
Glyn Harman
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