Results 141 to 150 of about 69,515 (313)
Under Lock and Key: A Proof System for a Multimodal Logic
G. A. Kavvos, Daniel Gratzer
openalex +2 more sources
Current Application Status and Innovative Development of Surgical Robot
Advantage, Challenge and Innovation of surgical robots. ABSTRACT Surgery has undergone a revolutionary development since the innovations in anesthesiology, aseptic techniques, and antibiotics. The use of modern techniques, especially minimally invasive techniques, has led to a new era of microsurgery and reduced patient trauma.
Aimin Jiang+11 more
wiley +1 more source
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Christoph Benzmueller
openalex +2 more sources
Small‐data machine learning models (e.g., TabPFN, GPs) harness sparse digital phenotyping streams from wearables and smartphones to forecast individualized mental health trajectories, enabling proactive interventions through uncertainty‐aware predictions and closed‐loop clinical integration. ABSTRACT Advances in digital phenotyping have opened the door
Peng Wang+9 more
wiley +1 more source
AI‐Based Autonomous Sailboat Navigation: A Review
ABSTRACT This review explores the recent advancements in AI‐driven autonomous sailboat navigation, underscoring its pivotal role in ocean monitoring and real‐time maritime data collection. Drawing on an extensive range of primary and secondary sources, the study critically evaluates current challenges, innovative control algorithms, and path planning ...
Vishali Mankina+6 more
wiley +1 more source
Local Search and the Evolution of World Models
Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley+3 more
wiley +1 more source
Fuzzy Logic Decision Fusion in a Fingerprints Based Multimodal Biometric System [PDF]
Emad Majeed Hameed+2 more
openalex +1 more source
Enhancing multimodal analogical reasoning with Logic Augmented Generation
Recent advances in Large Language Models have demonstrated their capabilities across a variety of tasks. However, automatically extracting implicit knowledge from natural language remains a significant challenge, as machines lack active experience with the physical world.
Lippolis, Anna Sofia+2 more
openaire +2 more sources
ABSTRACT Creating, visualizing, and critiquing data are integral knowledge‐building practices within science, as well as many other fields. Yet data is often treated as neutral and value‐free, perpetuating narratives of science as a dispassionate discipline where data are merely extracted, repackaged, and distributed anew.
Kathryn Lanouette
wiley +1 more source
ABSTRACT This systematic review examines urban regeneration's effects on sustainable transport using the Preferred Reporting Items for Systematic Reviews and Meta‐Analyses methodology (PRISMA). The study analyzed 108 peer‐reviewed articles (2000–2024) across different continents, evaluating four variable clusters: traffic dynamics (congestion, modal ...
Serdar Dindar
wiley +1 more source