Results 141 to 150 of about 1,079,877 (335)
An SLD-Resolution Calculus for Basic Serial Multimodal Logics [PDF]
, 2005 We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, B, 4, 5 (in the form, e.g., 4:□iϕ→□j□kϕ) and I:□iϕ→□jϕ. We do not assume any special restriction for the form of programs and goals.
openaire +1 more source
ChatMolData: A Multimodal Agent for Automatic Molecular Data Processing
Advanced Intelligent Systems, EarlyView.While large language models (LLMs) struggle with molecular data due to single‐modality limitations, ChatMolData—a multimodal agent for processing databases, images, structure files, and documents—is presented. It combines LLMs with tools for retrieval, structuring, prediction, visualization, and search, achieving > 90% accuracy across 128 tasks.
Yi Yu +5 more
wiley +1 more source
Improving Long‐Term Glucose Prediction Accuracy with Uncertainty‐Estimated ProbSparse‐Transformer
Advanced Intelligent Systems, EarlyView.Wearable devices collect blood glucose and other physiological data, which serve as inputs to the prediction model. After data embedding, a structure utilizing ProbSparse self‐attention and a one‐step generative head within a Transformer‐based model is introduced, which is concurrently designed for deployment on edge devices, enabling real‐time ...
Wei Huang +5 more
wiley +1 more source
Optimizing Multimodal Transportation: A Novel Decision-Making Approach With Fuzzy Risk Assessment
IEEE AccessIn today’s complex transportation networks, optimizing multimodal transportation decisions is critical for enhancing efficiency and sustainability.
R. Muthunandhini, K. Palanivel
doaj +1 more source
Advanced Intelligent Systems, EarlyView.A novel medical image segmentation framework that integrates an enhanced Particle Swarm Optimization (EE‐PSO) into DeepLabV3+ to optimize feature selection. By dynamically identifying key channels in the atrous spatial pyramid pooling module, the method improves segmentation performance, achieving mIoU gains of 2.7% on Alzheimer's and 2.8% on brain ...
Alireza Norouziazad +8 more
wiley +1 more source
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
, 2009 Christoph Benzmueller
openalex +2 more sources
Discriminating between intentional and unintentional gaze fixation using multimodal-based fuzzy logic algorithm for gaze tracking system with NIR camera sensor [PDF]
, 2016 Rizwan Ali Naqvi, Kang Ryoung Park
openalex +1 more source
Crater Observing Bioinspired Rolling Articulator (COBRA)
Advanced Intelligent Systems, EarlyView.Crater Observing Bio‐inspired Rolling Articulator (COBRA) is a modular, snake‐inspired robot that addresses the mobility challenges of extraterrestrial exploration sites such as Shackleton Crater. Incorporating snake‐like gaits and tumbling locomotion, COBRA navigates both uneven surfaces and steep crater walls.
Adarsh Salagame +4 more
wiley +1 more source
Bioinspired Engineering beyond Homeostasis
Advanced Intelligent Systems, EarlyView.This perspective article introduces systems biology as the unifying theoretical framework behind bioinspired engineering. As an example, it explores how disruptions in multiscale biological systems, associated with pathological states, can be viewed as localized failure modes of biological cooperation showing emergent advantages that can inspire ...
Rosalia Moreddu
wiley +1 more source
PORT REORGANISATION AND THE WORLDS OF PRODUCTION THEORY [PDF]
Taking into consideration the new dimensions of port production that have become evident during the resent past, this paper tackles the issue of port reorganisation.
Apostolos V. Karalis +2 more
core