Results 121 to 130 of about 344 (214)
Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This class of logics, first introduced by Farinas del Cerro and Penttonen, includes some well-known non-homogeneous multimodal systems characterized by interaction axioms of
openaire +1 more source
Computational complexity of multimodal logics based on rough sets
Summary: We characterize the computational complexity of a family of approximation multimodal logics in which interdependent modal connectives are part of the language. Those logics have been designed to reason in the presence of incomplete information in the sense of rough set theory.
Demri, Stéphane, Stepaniuk, Jaroslaw
openaire +1 more source
Advances in Regulating Strategies and Applications of Ferroelectric Materials
To meet the demand for precise control of performance in nanoelectronic devices, this paper systematically reviews the latest advances in controlling ferroelectric properties through strategies such as external field modulation, low‐dimensional confinement, interface engineering, and topological structure design.
Jianying Ji, Cong Liu, Dan Luo, Zhou Li
wiley +1 more source
Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li +12 more
wiley +1 more source
Multimodal logics for musical grammars
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024.
openaire +1 more source
Multimodal Learning Reveals Plants’ Hidden Sensory Integration Logic
Abstract Plants integrate complex environmental signals through interconnected molecular networks, but the fundamental rules governing this sensory integration remain unknown. Studying tomato roots interacting with fungal symbionts, we discover how microbial effectors systematically reprogram plant sensory systems by coordinating ...
Kelly L. Vomo-Donfack +4 more
openaire +1 more source
Abstract Context‐centric proactive information delivery (PID) is a relatively underexplored domain within recommender systems (RS) aimed at enhancing Knowledge Workers' productivity by proactively providing relevant information during digital tasks.
Mahta Bakhshizadeh +4 more
wiley +1 more source
Abstract This paper challenges the prevailing assumption that technology‐enhanced learning (TEL) inherently benefits all students in higher education, examining how undergraduate students with specific learning differences (SpLDs) and/or autism spectrum disorder (ASD) use technology for learning.
Alexia Achtypi +3 more
wiley +1 more source
Bisimulations for Kripke models of Fuzzy Multimodal Logics
The main objective of the dissertation is to provide a detailed study of several different types of simulations and bisimulations for Kripke models of fuzzy multimodal logics. Two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) are presented hereby. For each
openaire +1 more source
Abstract Academic misconduct appeal services have quietly emerged within China's education marketplace, with commercial agencies promoting themselves on social media to assist international students facing misconduct hearings. While existing research on academic integrity has emphasized prevention and detection, far less attention has been paid to what
Gengyan Tang +2 more
wiley +1 more source

