Results 11 to 20 of about 69,366 (304)
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
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 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
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
Historická sociologie, 2014 Simmel’s social theory, namely his formal sociology, has long been considered if not dead, then of little relevance for contemporary sociological theories. This study is an attempt at proving the contrary. Our aim is to show that Simmel’s social ontology
Lukáš Bůžek
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
Formal Program Verification Using Symbolic Execution [PDF]
IEEE Transactions on Software Engineering, 1982 Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle a number of language features, including loops and procedures with multiple exits.
Roger B. Dannenberg, George W. Ernst
openaire +2 more sources
Finding the Key Structure of Mechanical Parts with Formal Concept Analysis
Information, 2020 Aiming at the problem that the assembly body model is difficult to classify and retrieve (large information redundancy and poor data consistency), an assembly body retrieval method oriented to key structures was presented.
Qiang Wu, Yan Dong, Liping Xie
doaj +1 more source
Counting symbol switches in synchronizing automata [PDF]
, 2018 Instead of looking at the lengths of synchronizing words as in Černý's conjecture, we look at the switch count of such words, that is, we only count the switches from one letter to another.
Zantema, H Hans +3 more
core +1 more source