Results 91 to 100 of about 467,015 (135)
Towards Measurable Types for Dynamical Process Modeling Languages. [PDF]
Electron Notes Theor Comput Sci, 2010 Mjolsness E.
europepmc +1 more source
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. [PDF]
Proc Natl Acad Sci U S A, 1963 Lawvere FW.
europepmc +1 more source
ON THEORIES CATEGORICAL IN UNCOUNTABLE POWERS. [PDF]
Proc Natl Acad Sci U S A, 1963 Morley M.
europepmc +1 more source
The n-Ality Theory of Rings. [PDF]
Proc Natl Acad Sci U S A, 1949 Foster AL.
europepmc +1 more source
Boolean Algebras and Their Application to Topology. [PDF]
Proc Natl Acad Sci U S A, 1934 Stone MH.
europepmc +1 more source
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
, 2008 Unit propagation-based (UP) lower bounds are used in the vast majority of current Max-SAT solvers. However, lower bounds based on UP have seldom been applied in Pseudo-Boolean Optimization (PBO) algorithms derived from the DPLL procedure for ...
Heras, Federico +5 more
core
ERGODIC THEORY, GROUP THEORY AND DIFFERENTIAL GEOMETRY. [PDF]
Proc Natl Acad Sci U S A, 1963 Mackey GW.
europepmc +1 more source