Results 1 to 10 of about 2,124,931 (265)
On formal concepts of random formal contexts [PDF]
Information Sciences, 2021 In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average number of formal concepts has a superpolynomial asymptotic lower bound.
Taro Sakurai
exaly +4 more sources
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs? [PDF]
Athens Journal of Education, 2020 As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof.
Michael Aristidou
doaj +1 more source
How detection ranges and usage stops impact digital contact tracing effectiveness for COVID-19
Scientific Reports, 2021 To combat the COVID-19 pandemic, many countries around the globe have adopted digital contact tracing apps. Various technologies exist to trace contacts that are potentially prone to different types of tracing errors.
Konstantin D. Pandl +3 more
doaj +1 more source
On Formality and Combinatorial Formality for Hyperplane Arrangements
Discrete & Computational Geometry, 2023 AbstractA hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal.
Tilman Möller +2 more
openaire +4 more sources
The Quantum Formalism and the GRW Formalism [PDF]
Journal of Statistical Physics, 2012 The Ghirardi-Rimini-Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so ...
Sheldon Goldstein +2 more
openaire +2 more sources
A Threat Model for Vehicular Fog Computing
IEEE Access, 2022 Vehicular Fog Computing (VFC) facilitates the deployment of distributed, latency-aware services, residing between smart vehicles and cloud services. However, VFC systems are exposed to manifold security threats, putting human life at risk.
Timo Klein +5 more
doaj +1 more source
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire +3 more sources
IEEE Access, 2020 Developments in artificial intelligence (AI) and distributed ledger technology (DLT) currently lead to lively debates in academia and practice. AI processes data to perform tasks that were previously thought possible only for humans.
Konstantin D. Pandl +3 more
doaj +1 more source
Study focuses on local government formation process in Kawagoe City from Edo Period to Meiji Era
Japan Architectural Review, 2023 This paper focuses on the process of local government formation, from the Edo Period to the Meiji Era, in Kawagoe City, which has its roots in a castle town at the end of the Edo Period, in order to discover regional formation for urban reorganization ...
Hiroshi Tsuchida, Yuka Honda
doaj +1 more source
Studia Romanica Posnaniensia, 2021 In this article we intend to present the theoretical bases for the contrastive study of colloquial and formal registers from a pragmatic point of view.
Raúl Fernández Jódar
doaj +1 more source