Results 21 to 30 of about 2,101,144 (285)
Validating Mathematical Structures [PDF]
Preprint of the paper accepted in proceedings of IJCAR 2020, LNCS, Springer, including ...
openaire +2 more sources
Model of e-learning with electronic educational resources of new generation
Purpose of the article: improving of scientific and methodical base of the theory of the е-learning of variability. Methods used: conceptual and logical modeling of the е-learning of variability process with electronic educational resource of new ...
A. V. Loban, D. A. Lovtsov
doaj +1 more source
Realms: A Structure for Consolidating Knowledge about Mathematical Theories [PDF]
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure
G. Peano +8 more
core +1 more source
Hsp70 is a conserved molecular chaperone. How Hsp70 exhibits specialized functions across species remains to be understood. Plasmodium falciparum Hsp70-1 (PfHsp70-1) and Escherichia coli DnaK are cytosol localized molecular chaperones that are important ...
Charity Mekgwa Lebepe +5 more
doaj +1 more source
Structuralism and Meta-Mathematics [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Machine-learning mathematical structures
We review, for a general audience, a variety of recent experiments on extracting structure from machine-learning mathematical data that have been compiled over the years. Focusing on supervised machine-learning on labeled data from different fields ranging from geometry to representation theory, from combinatorics to number theory, we present a ...
openaire +2 more sources
Mathematical Modeling of Layered Nanocomposite of Fractal Structure
A model of a layered hierarchically constructed composite is presented, the structure of which demonstrates the properties of similarity at different scales.
Sergey Korchagin +5 more
doaj +1 more source
Mathematical Expression Retrieval Based on Inter-relevant Successive Tree [PDF]
Aiming at the difficulties in achieving retrieval that result from the diversity of the mathematical expression structure,a method of mathematical expression indexing and retrieval is proposed.Through analysis and induction of LaTeX mathematical ...
LIU Huicong,TIAN Bingjie,TIAN Xuedong
doaj +1 more source
School starters’ early structure sense [PDF]
Low and high achieving children’s competences regarding pattern and structure at the beginning of formal schooling are comparatively analyzed in order to evaluate the range of school starters’ early structure sense.
Lüken, Miriam M.
core +2 more sources
The elementary mathematical model of sustainable enclosing structure [PDF]
Energy efficiency building envelopes (walls, floors, facades) should meet the requirements of regulatory documents. The main attention is paid to structural and technological activities aimed at increasing the thermal resistance of protections. Estimates
E.A. Statsenko +4 more
doaj +1 more source

