Results 11 to 20 of about 622,762 (333)
Mathematics, 2021 The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system.
Vladimir Olegovich Lobovikov
doaj +1 more source
eLife, 2020 Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might ‘recycle’ neurocognitive mechanisms originally developed for natural languages.
Yun-Fei Liu +3 more
doaj +1 more source
Digital Press Social Sciences and Humanities, 2023 This paper discusses the consequences of the latest PUEBI EYD V regulations for scientific ontological theorization through analyzing the semantical metaphysical commitment it reflects when we write formal mathematical statements using purely ...
Raisa Rahima
doaj +1 more source
JMIR mHealth and uHealth, 2023 BackgroundVarious populations with chronic conditions are at risk for decreased cognitive performance, making assessment of their cognition important.
Raymond Hernandez +8 more
doaj +1 more source
The Steri, the historical site of Palermo University: past, present, future
Conservation Science in Cultural Heritage, 2023 The aim of the paper is to present the study carried out by the art historian Ferdinando Bologna on the painted ceiling of the Steri in Palermo in an informative but less formal way, so as to make it more accessible and, therefore, more enjoyable for a ...
Salvatore Lorusso +3 more
doaj +1 more source
HOLIDAY CELEBRATION OF THE POPULATION OF GORNA REKA RELATED TO FOLK RELIGION
EtnoAntropoZum, 2016 The author analysis religion as an important non-verbal ethnic symbol, as well as folk celebrations in the ethnographic area of Gorna Reka. The formal affiliation to a concrete faith (Orthodox Christianity versus Islam) in Gorna Reka is a potential non ...
Mirjana Mirchevska
doaj +1 more source
The psychology of the artwork in the dramatic story of the production of contemporary works of art
Journal of Architecture, Art & Humanistic Science, 2021 Our society is now experiencing changes in technology in how we approach situations and events when telling stories and dramas. We find that there are a lot of literary and historical novels and books that are documented by dramatic photography, from ...
Hager Ismaiel Elsayed +2 more
doaj +1 more source
, 2001 In this paper we study spatially quenched, SU(N) Yang-Mills theory in the large-N limit. The resulting reduced action shows the same formal look as the Banks-Fischler-Shenker-Susskind M-theory action.
Ansoldi S +20 more
core +3 more sources
The languages of artificial intelligence, the languages of metaphysics, and the languages of faith
Scientia et Fides, 2014 The formalization of the languages of mathematics has led to the formal languages of computer science and artificial intelligence. This article studies a few semantic properties of the formal languages of artificial intelligence, which I call languages ...
Javier Leach
doaj +1 more source
A formal foundation for symbolic evaluation with merging [PDF]
Proceedings of the ACM on Programming Languages, 2022 Reusable symbolic evaluators are a key building block of solver-aided verification and synthesis tools. A reusable evaluator reduces the semantics of all paths in a program to logical constraints, and a client tool uses these constraints to formulate a satisfiability query that is discharged with SAT or SMT solvers.
Sorawee Porncharoenwase +3 more
openaire +1 more source