Results 31 to 40 of about 1,157,139 (277)
Journal of Logic and Computation, 2017 Abstract Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define Polyteam ...
Virtema Jonni +2 more
openaire +6 more sources
Semantics, sensors, and the social web: The live social semantics experiments [PDF]
, 2010 The Live Social Semantics is an innovative application that encourages and guides social networking between researchers at conferences and similar events. The application integrates data and technologies from the Semantic Web, online social networks, and
A. Scherrer +7 more
core +6 more sources
Decentralized Zone-Based PKI: A Lightweight Security Framework for IoT Ecosystems
InformationThe advent of Internet of Things (IoT) devices has revolutionized our daily routines, fostering interconnectedness and convenience. However, this interconnected network also presents significant security challenges concerning authentication and data ...
Mohammed El-Hajj, Pim Beune
doaj +1 more source
Age-Related Changes in Micro Brain Characteristics Based on Relaxed Mean-Field Model
Frontiers in Aging Neuroscience, 2022 Brain health is an important research direction of neuroscience. In addition to the effects of diseases, we cannot ignore the negative effect of aging on brain health.
Ke Zhan +23 more
doaj +1 more source
2014 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom), 2014 PUBLISHED IEEE Catalog Number: CFP1426R-USB ISBN 978-1-4799-7279-1 ...
openaire +2 more sources
FAIR High Content Screening in Bioimaging
Scientific Data, 2023 The Minimum Information for High Content Screening Microscopy Experiments (MIHCSME) is a metadata model and reusable tabular template for sharing and integrating high content imaging data.
Rohola Hosseini +5 more
doaj +1 more source
Theoretical Computer Science, 2020 We discuss how mathematical semantics has evolved, and suggest some new directions for future work. As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.
openaire +2 more sources
ComplexityThe present paper employs topological data analysis methods to reveal ‘holes’ (stable persistent homologies) in the semantic spaces of words, bigrams, and trigrams of the English and Russian languages, and to ascertain their boundaries.
Vasilii A. Gromov +2 more
doaj +1 more source
InformationThis study builds on our previous systematic literature review (SLR) that assessed the applications and performance of zk-SNARK, zk-STARK, and Bulletproof non-interactive zero-knowledge proof (NIZKP) protocols. To address the identified research gaps, we
Mohammed El-Hajj, Bjorn Oude Roelink
doaj +1 more source
IEEE Access, 2022 In an environment with multiple static obstacles, UAVs usually communicate with each other to avoid collisions during trajectory planning. However, such communication may become infeasible or unreliable due to interference or jam in practice.
Zijia Niu, Xiaohu Jia, Wang Yao
doaj +1 more source