Results 251 to 260 of about 699,995 (283)

On the best constants of Schur multipliers of second order divided difference functions. [PDF]

Math Ann
Caspers M, Reimann J.
europepmc   +1 more source

Consistency between the geographic distributions of overweight and obesity among children and adults in China. [PDF]

BMC Public Health
Liu Y, Fan H.
europepmc   +1 more source

Dual-Function Femtosecond Laser: β-TCP Structuring and AgNP Synthesis via Photoreduction with Azorean Green Tea for Enhanced Osteointegration and Antibacterial Properties. [PDF]

Materials (Basel)
Oliveira M, Angelova L, Grenho L, Fernandes MH, Daskalova A.   +4 more
europepmc   +1 more source

Towards a genetic obesity risk score in a single-center study of children and adolescents with obesity. [PDF]

Sci Rep
Partenope C, Monteleone G, Andorno S, Petri A, Prodam F, Bellone S, Mellone S, Giordano M, Rabbone I.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Nominal Narrowing

International Conference on Formal Structures for Computation and Deduction, 2016
Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories.
M. Ayala-Rincón, M. Fernández, D. Nantes-Sobrinho   +2 more
semanticscholar   +1 more source

Evaluation and development of a new diagnostic tool for early and reliable diagnostic of prosthetic joint infection

, 2020
ENGLISH) ..................................................................................................................................................
K. Yermak
semanticscholar   +1 more source

A Type Theory for Probabilistic and Bayesian Reasoning

Types for Proofs and Programs, 2015
This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states.
Robin Adams, B. Jacobs
semanticscholar   +1 more source

Optimality and the Linear Substitution Calculus

International Conference on Formal Structures for Computation and Deduction, 2017
We lift the theory of optimal reduction to a decomposition of the lambda calculus known as the Linear Substitution Calculus (LSC). LSC decomposes β-reduction into finer steps that manipulate substitutions in two distinctive ways: it uses context rules ...
Pablo Barenbaum, E. Bonelli
semanticscholar   +1 more source

The Complexity of Principal Inhabitation

International Conference on Formal Structures for Computation and Deduction, 2017
It is shown that in the simply typed λ-calculus the following decision problem of principal inhabitation is Pspace-complete: Given a simple type τ , is there a λ-term N in β-normal form such that τ is the principal type of N?
Andrej Dudenhefner, J. Rehof
semanticscholar   +1 more source

Decidable Logics with Associative Binary Modalities

Annual Conference for Computer Science Logic, 2017
A new family of modal logics with an associative binary modality, called counting logics is proposed. These propositional logics allow to express finite cardinalities of sets and more generally to count the number of subsets satisfying some properties ...
Joseph Boudou
semanticscholar   +1 more source