Results 81 to 90 of about 78,943 (189)
BiSikkel: A Multimode Logical Framework in Agda
Proceedings of the ACM on Programming LanguagesEmbedding Multimode Type Theory (MTT) as a library enables the usage of additional reasoning principles in off-the-shelf proof assistants without risking soundness or compatibility. Moreover, by interpreting embedded MTT terms in an internally constructed model of MTT, we can extract programs and proofs to the metalanguage and obtain interoperability ...
Ceulemans, Joris +2 more
openaire +1 more source
Interdiscursive Readings in Cultural Consumer Research [PDF]
, 2018 The cultural consumption research landscape of the 21st century is marked by an increasing cross-disciplinary fermentation. At the same time, cultural theory and analysis have been marked by successive ‘inter-’ turns, most notably with regard to the Big ...
Rossolatos, George
core
Cattle welfare assessment based on adaptive fuzzy logic and multimodal data fusion
Frontiers in Veterinary ScienceThis study proposes a cattle welfare evaluation method based on multi-modal data fusion, which integrates various data dimensions, such as cattle behavior characteristics, feeding management conditions, and environmental parameters, to achieve a ...
Lei Tong +10 more
doaj +1 more source
CALM: Contextual Analog Logic with Multimodality
In this work, we introduce Contextual Analog Logic with Multimodality (CALM). CALM unites symbolic reasoning with neural generation, enabling systems to make context-sensitive decisions grounded in real-world multi-modal data. Background: Classic bivalent logic systems cannot capture the nuance of human decision-making.
Jacobson, Maxwell J. +2 more
openaire +2 more sources
On the Multimodal Logic of Normative Systems [PDF]
, 2008 We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, for every modality □i and normative system η, we expand the language adding a new modality □iη with the intended meaning of □iηΦ ...
openaire +1 more source
Modality Choice for Generation of Referring Acts: Pointing versus Describing [PDF]
, 2007 The main aim of this paper is to challenge two commonly held assumptions regarding modality selection in the generation of referring acts: the assumption that non-verbal means of referring are secondary to verbal ones, and the assumption that there is a ...
Piwek, Paul
core +1 more source
Bio‐Inspired Stored Magnetic Energy Actuator with Transient Triggering and Programmable Logic
Advanced ScienceSmart actuators generally face the problems of limited response speed, dependence on external energy supply, and lack of multi‐environmental signal logic judgment capability.
Chao Xu +5 more
doaj +1 more source
AIAccurate medical diagnosis is essential for informed decision making and the delivery of effective treatment. Traditionally, this process relies on clinical judgment, integrating data and medical expertise to inform decision making.
Noel Zacarias-Morales +3 more
doaj +1 more source
Frontiers in PsychologyThe digital age comes with new demands and challenges for talent cultivation within the higher education system. The digital transformation in higher education has emerged as a critical element in addressing these challenges.
Juan Tang, Pin Huang, Shuangsheng Yan
doaj +1 more source
Multimodal fuzzy logic-based gait evaluation system for assessing children with cerebral palsy
Scientific ReportsGait analysis is crucial for identifying functional deviations from the normal gait cycle and is essential for the individualized treatment of motor disorders such as cerebral palsy (CP).
Saleh Massoud +4 more
doaj +1 more source