Results 31 to 40 of about 697,012 (268)
Diversitas Journal, 2020 Mathematics in elementary school provides a whole foundation of knowledge that the student will need to expand more abstract contexts, establishing competencies and skills necessary to reason and think mathematically ...
Edel Guilherme Silva Pontes +5 more
doaj +1 more source
Local Termination: theory and practice [PDF]
Logical Methods in Computer Science, 2010 The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis +2 more
doaj +1 more source
A combinatorial problem in logic
Discrete Mathematics, 1977 AbstractThis short note is an application of some theorems of graph theory to the problem of the minimum number of counter-examples needed to show that a special class of theories is complete.
Claude Berge 0001, A. Ramachandra Rao
openaire +2 more sources
On the likelihood of normalization in combinatory logic
Journal of Logic and Computation, 2017 We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of David et al. and Bendkowski et al. to all Turing-complete combinator bases proving, inter alia, that asymptotically almost no combinator is strongly normalising nor typeable.
Bendkowski, Maciej +2 more
openaire +4 more sources
Logic programming for combinatorial problems [PDF]
Artificial Intelligence Review, 2009 Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for solving combinatorial problems, involving permutations and combinations, by incorporating logic programming.
Toshinori Munakata, Roman Barták
openaire +2 more sources
Logical Combinatorialism [PDF]
The Philosophical Review, 2020 In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to
openaire +1 more source
On a Logical Model of Combinatorial Problems [PDF]
OALib, 2015 The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem.
openaire +2 more sources
Net versus combinatory effects of firm and industry antecedents of sales growth [PDF]
, 2016 This study examines antecedents of sales growth using a two-step mixed-method approach including analyses of net effects and combinatory effects. Based on a sample of 453 respondents from manufacturing and service firms, this article shows how the ...
Thornton, Sabrina +4 more
core +1 more source
Advances in Electrical and Electronic Engineering, 2011 The Reactive power flow’s is one of the most electrical distribution systems problem wich have great of interset of the electrical network researchers, it’s cause’s active power transmission reduction, power losses decreasing, and the drop voltage’s ...
Nasri Abdelfatah, Gasbaoui Brahim
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source