Results 211 to 220 of about 555,393 (246)

Teaching and learning high school mathematics in the post-COVID-19 era: investigating the emotion factor. [PDF]

Front Psychol
Polydoros G, Antoniou AS, Vasileiou I, Polydoros C.   +3 more
europepmc   +1 more source

Towards Nonlinearity: The <i>p</i>-Regularity Theory. [PDF]

Entropy (Basel)
Bednarczuk E, Brezhneva O, Leśniewski K, Prusińska A, Tret'yakov AA.   +4 more
europepmc   +1 more source

Diagnosing Multiple Sclerosis from Magnetic Resonance Imaging Images: Highlights from the Second Isfahan Artificial Intelligence Event 2024. [PDF]

J Med Signals Sens
Davanian F, Adibi I, Tajmirriahi M, Rejali M, Heyrati MP, Ghasemi M, Alavi SH, Dizaji KM, Rad MH, Ghorbanali Z, Hajiabadi M, Sedaghi A, Khaniki ER, Sabzevari H, Zarei SP, Bavafa A, Bazargani M, Sedighin F, Rabbani H.   +18 more
europepmc   +1 more source

Personalized prediction of gait freezing using dynamic mode decomposition. [PDF]

Sci Rep
Fu Z, Lin C, Zhang Y.
europepmc   +1 more source

ARTreeFormer: A faster attention-based autoregressive model for phylogenetic inference. [PDF]

PLoS Comput Biol
Xie T, Mao Y, Zhang C.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Computer Tools for Supporting of Constructive Tasks in Discrete Mathematics for Engineering Education

2018 IV International Conference on Information Technologies in Engineering Education (Inforino), 2018
The paper presents the final results of the restructuring of the course of discrete mathematics and, as its continuation, the course of mathematical logic and the theory of algorithms in a technical university based on a constructive approach ...
S. Pozdnyakov, A. Chukhnov, Sergey Rybin
semanticscholar   +1 more source

Classical consequences of constructive systems

Philosophical Transactions of the Royal Society A, 2023
This is a survey of formal axiomatic systems for the three main varieties of constructive analysis, in a common language and with intuitionistic logic, which are as nearly as possible compatible with classical analysis and with one another.
J. Moschovakis
semanticscholar   +1 more source

Mathematics: Formation, Substantiation, Resolution of the Crisis

Ideas and Ideals, 2023
The article discusses the current situation in mathematics, which is interpreted as a crisis. The problems that allow making such a conclusion are considered: the question of the scientific status of mathematics, the possibility of its substantiation ...

semanticscholar   +1 more source

Constructive Type Theory (CTT)

اللسانيات, 2022
The aim of our paper is to present the Constructive Type Theory )CTT( and some related concepts for the Swedish logician Per Martin Löf, who constructed a formal logic system in order to establish a philosophical foundation of constructive mathematics ...
Terkia Mechouet, Zidani Farid
semanticscholar   +1 more source