Results 11 to 20 of about 1,458 (230)
A Formal System of Axiomatic Set Theory in Coq
IEEE Access, 2020 Formal verification technology has been widely applied in the fields of mathematics and computer science. The formalization of fundamental mathematical theories is particularly essential.
Tianyu Sun, Wensheng Yu
doaj +1 more source
Space in Numerical and Ordinal Information: A Common Construct?
Journal of Numerical Cognition, 2017 Space is markedly involved in numerical processing, both explicitly in instrumental learning and implicitly in mental operations on numbers. Besides action decisions, action generations, and attention, the response-related effect of numerical magnitude ...
Philipp Alexander Schroeder +2 more
doaj +1 more source
The Hierarchical Symbol Integration Model of Individual Differences in Mathematical Skill
Journal of Numerical Cognition, 2019 Symbolic number knowledge is strongly related to mathematical performance for both children and adults. We present a model of symbolic number relations in which increasing skill is a function of hierarchical integration of symbolic associations.
Chang Xu +3 more
doaj +1 more source
Frontiers in Psychology, 2011 Usually children learn the basic principles of number and arithmetic by the help of finger-based representations. However, whether the reliance on finger-based representations is only beneficial or whether it may even become detrimental is the subject of
Korbinian eMoeller +4 more
doaj +1 more source
Summing It Up… Expressions with Numbers in Mexican Spanish
Ибероамериканские тетрадиSpanish like any other language is the product of its history and culture. Numbers are all around us and play a crucial role in our everyday lives; therefore, idioms with both cardinal and ordinal numerals which do not determine their meaning not only ...
S. Kamenetskaia
doaj +1 more source
Números, objetos y estructuras
Crítica, 2018 Introduction. This paper is principally a critical exposition of the celebrated article by Benacerraf, indicating briefly íts antecedents, emphasizing its accomplishments, problems and basic insufficiencies, followed by an evaluation of the main ...
Francisco Rodríguez Consuegra
doaj +1 more source
Background perspectives on infinity and God
In die Skriflig, 2019 Initially the connection between divinity and infinity was accompanied by an initial notion of infinity in the literal sense of one, another one, and so on – without an end, endless. Via Anaxagoras we reach Aristotle for whom it would be contradictory to
Danie F.M. Strauss
doaj +1 more source
Persian noun phrase and its dependents [PDF]
زبان پژوهی1. Introduction During recent decades Persian noun phrases have been analyzed in details by many linguists within different theoretical frameworks. However, some dimensions of this syntactic category, including internal and external dependents as well as
jalal Rahimian
doaj +1 more source
Molecular Oncology, EarlyView.Radiotherapy (RT) response depends on the DNA repair capacity of tumor and host cells. We show that circulating tumor cell (CTC) counts and apoptosis rates before and after RT predict treatment response and outcome, which can be accessed via easily accessible liquid biopsy approaches. Created in BioRender. Wikman, H.
Yvonne Goy +10 more
wiley +1 more source
Molecular Oncology, EarlyView.Many patients with urothelial cancer do not benefit from treatment with pembrolizumab, while at risk of severe side effects. Changes in the levels of circulating tumor DNA early during treatment, measured by a simple and affordable assay that can be easily implemented in the clinic, can be used as a prognostic tool to identify these patients.
Youssra Salhi +14 more
wiley +1 more source