Results 51 to 60 of about 99,866 (158)

A Decidable Class of Nested Iterated Schemata (extended version)

, 2010
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input.
Aravantinos, Vincent, Caferra, Ricardo, Peltier, Nicolas   +2 more
core   +1 more source

On Deductionism [PDF]

Deductionism assimilates nature to conceptual artifacts (models, equations), and tacitly holds that real physical systems are such artifacts. Some physical concepts represent properties of deductive systems rather than of nature.
Bruiger, Dan
core  

Deep sequent systems for modal logic

Archive for Mathematical Logic, 2009
Kai Brünnler
semanticscholar   +1 more source

Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices

Mathematical Logic Quarterly, 2008
Eduardo Hirsh, Renato A. Lewin
semanticscholar   +1 more source

The illusion of internal models in biological movement. [PDF]

Eur J Appl Physiol
Mangalam M.
europepmc   +1 more source

IMPACT: In-Memory ComPuting Architecture based on Y-FlAsh Technology for Coalesced Tsetlin machine inference. [PDF]

Philos Trans A Math Phys Eng Sci
Ghazal O, Wang W, Kvatinsky S, Merchant F, Yakovlev A, Shafik R.   +5 more
europepmc   +1 more source

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem. [PDF]

J Med Syst
Marte C, Mochi M, Dodaro C, Galatà G, Maratea M.   +4 more
europepmc   +1 more source

Representational change is integral to reasoning. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Bundy A, Li X.
europepmc   +1 more source

Stochastic and deterministic processes in Asymmetric Tsetlin Machine. [PDF]

Front Artif Intell
Elmisadr N, Belaid MB, Yazidi A.
europepmc   +1 more source

Maximum Entropy Estimates of Hubble Constant from Planck Measurements. [PDF]

Entropy (Basel)
Knobles DP, Westling MF.
europepmc   +1 more source