Results 91 to 100 of about 1,331 (113)

Villain Action in Lattice Gauge Theory. [PDF]

J Stat Phys
Chevyrev I, Garban C.
europepmc   +1 more source

Powering RCTs for Marginal Effects With GLMs Using Prognostic Score Adjustment. [PDF]

Stat Med
Højbjerre-Frandsen E, van der Laan MJ, Schuler A.   +2 more
europepmc   +1 more source

Integer partitions detect the primes. [PDF]

Proc Natl Acad Sci U S A
Craig W, van Ittersum JW, Ono K.
europepmc   +1 more source

Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking

Journal of Logical and Algebraic Methods in Programming, 2021
Madalina Eraşcu, Daniela Zaharie
exaly  

Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models

ACM Transactions on Programming Languages and Systems, 2023
Fei He, Zhihang Sun, Hongyu Fan
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  

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

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

Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis

Lecture Notes in Computer Science, 2006
Roberto Sebastiani, Alessandro Cimatti, Alberto Griggio   +2 more
exaly  

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Journal of Automated Reasoning, 2019
David Delahaye, Pierre Halmagrand, Olivier Hermant   +2 more
exaly  

Structured learning modulo theories

Artificial Intelligence, 2017
Roberto Sebastiani, Andrea Passerini
exaly