Results 11 to 20 of about 1,440 (228)
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
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
FEBS Open Bio, EarlyView.Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley +1 more source
Whole‐Body Pattern of Muscle Degeneration and Progression in Sarcoglycanopathies
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To characterize whole‐body intramuscular fat distribution pattern in patients with sarcoglycanopathies and explore correlations with disease severity, duration and age at onset. Methods Retrospective, cross‐sectional, multicentric study enrolling patients with variants in one of the four sarcoglycan genes who underwent whole‐body ...
Laura Costa‐Comellas +39 more
wiley +1 more source