Results 101 to 110 of about 716 (151)

Dynamic Buffer Management in Massively Parallel Systems: The Power of Randomness. [PDF]

ACM Trans Parallel Comput
Pham M, Yuan Y, Li H, Mou C, Tu Y, Xu Z, Meng J.   +6 more
europepmc   +1 more source

Artificial intelligence in pediatric healthcare: current applications, potential, and implementation considerations. [PDF]

Clin Exp Pediatr
Park T, Lee IH, Lee SW, Kong SW.
europepmc   +1 more source

A logic-based resilience metric for water resource recovery facilities.

Environ Sci (Camb)
Laino AS, Wooding B, Soudjani S, Davenport RJ.   +3 more
europepmc   +1 more source

Toward the automatic generation of mathematical morphology procedures using predicate logic

[1990] Proceedings Third International Conference on Computer Vision, 2002
A discussion is presented of the design of a system that can input a vision task specification and use its knowledge of the operations of mathematical morphology to automatically construct a procedure that can execute the task. To do this, the authors develop a predicate calculus representation to describe the essence of the states of all the images ...
H. Joo, R.M. Haralick, L.G. Shapiro
openaire   +2 more sources

A mechanistic study of cyclohexene hydrogenation over platinum catalyst using the predicate calculus of mathematical logic

Journal of Catalysis, 1970
Abstract By combining the available experimental information with the assumed mechanism of complex processes, mathematical logic allows proper selection of the necessary and sufficient steps to be included in the adequate mechanism, i.e., correct interpretation of the experimental information. This procedure requires that the expected outcomes of the
F. Nagy, D. Moger, G. Mink, I. Nemes
openaire   +2 more sources

THE STRUCTURE OF THE INTELLECTUAL POTENTIAL OF A CORPORATION: THE RATIO OF THE CONCEPTS OF "INTELLECTUAL POTENTIAL" - "INTELLECTUAL CAPITAL" - "INTELLECTUAL PROPERTY" IN THE CONTEXT OF THE MATHEMATICAL APPARATUS OF PREDICATE LOGIC

Scientific research of the SCO countries: synergy and integration
The article reveals the structure of the corporations intellectual potential, analyzes the correlation of such concepts as intellectual potential, intellectual capital, intellectual property. The relations between these concepts are described using the mathematical apparatus of predicate logic. A scheme of the relationship between the basic concepts of
A.Y. Bulatetskaya
openaire   +2 more sources

Aspects of predication and their influence on reasoning about logic in discrete mathematics

ZDM – Mathematics Education, 2022
Paul Christian Dawkins, Kyeong Hah Roh
openaire   +2 more sources

Appendix 2 Mathematical Induction without Higher-Level Predicate Logic

, 2023
Michael Wolff
openaire   +2 more sources

Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.

Journal of Symbolic Logic, 1958
Roland Fraïssé
openaire   +2 more sources