Results 21 to 30 of about 69,515 (313)
Inferring combinatorial association logic networks in multimodal genome-wide screens [PDF]
Bioinformatics, 2010 Abstract Motivation: We propose an efficient method to infer combinatorial association logic networks from multiple genome-wide measurements from the same sample. We demonstrate our method on a genetical genomics dataset, in which we search for Boolean combinations of multiple genetic loci that associate with transcript levels.
Jeroen de Ridder +5 more
openalex +7 more sources
, 2018 We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even if one or two of the binary relations are transitive.
Jakub Michaliszyn
openalex +4 more sources
Interpretable Multimodal Out-of-Context Detection with Soft Logic Regularization
ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)ICASSP 2024 lecture ...
Huanhuan Ma +4 more
openalex +3 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ηΦ ...
Pilar Dellunde
openalex +3 more sources
A Hybrid Fault Tree–Fuzzy Logic Model for Risk Analysis in Multimodal Freight Transport
SystemsMultimodal freight transport systems, integrating maritime, rail, and road modes, play a vital role in modern logistics but face elevated operational, human, and environmental risks due to their complexity and interdependencies.
Catalin Popa +3 more
doaj +2 more sources
Quantified Multimodal Logics in Simple Type Theory
, 2009 ii + 22 ...
Christoph Benzmueller +1 more
openalex +4 more sources
Computational Complexity of Multimodal Logics Based on Rough Sets
, 2000 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.
Stéphane Demri, Jarosław Stepaniuk
openalex +3 more sources
Multimodal Fusion: A Review, Taxonomy, Open Challenges, Research Roadmap and Future Directions [PDF]
Neutrosophic Sets and Systems, 2021 The present work collects a plethora of previous research work in the field of multimodal fusion which despite a lot of research could not handle the imperfections.
Mohd Anas Wajid, Aasim Zafar
doaj +1 more source
Cut elimination for knowledge logic with interaction
Lietuvos Matematikos Rinkinys, 2021 In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined.
Julius Andrikonis +1 more
doaj +1 more source
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source