Results 151 to 160 of about 188,814 (295)

Explainable AI needs formalization. [PDF]

NPJ Artif Intell
Haufe S, Wilming R, Clark B, Zhumagambetov R, Boubekki A, Martin J, Panknin D.   +6 more
europepmc   +1 more source

ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1970
openaire   +2 more sources

NIRGB‐GS: Near‐Infrared Assisted Low‐Light Scene Reconstruction and Enhancement via Gaussian Splatting

Advanced Intelligent Systems, EarlyView.
This article proposes NIRGB‐GS, a multimodal 3DGS variant that enables reliable 3D reconstruction and normal‐light novel‐view synthesis for extremely low‐light scenes by fusing paired near‐infrared and noisy RGB captures. High‐SNR near‐infrared modality and modality‐specific appearance encoding together resolve the issues of unstable pose/geometry ...
Chengyun Yang, Yi Zhang, Yu Lei, Qiaofeng Li   +3 more
wiley   +1 more source

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

Nature
Hubert T, Mehta R, Sartran L, Horváth MZ, Žužić G, Wieser E, Huang A, Schrittwieser J, Schroecker Y, Masoom H, Bertolli O, Zahavy T, Mandhane A, Yung J, Beloshapka I, Ibarz B, Veeriah V, Yu L, Nash O, Lezeau P, Mercuri S, Sönne C, Mehta B, Davies A, Zheng D, Pedregosa F, Li Y, von Glehn I, Rowland M, Albanie S, Velingker A, Schmitt S, Lockhart E, Hughes E, Michalewski H, Sonnerat N, Hassabis D, Kohli P, Silver D.   +38 more
europepmc   +1 more source

Artificial Intelligence in Autonomous Mobile Robot Navigation: From Classical Approaches to Intelligent Adaptation

Advanced Intelligent Systems, EarlyView.
Artificial intelligence (AI) is reshaping autonomous mobile robot navigation beyond classical pipelines. This review analyzes how AI techniques are integrated into core navigation tasks, including path planning and control, localization and mapping, perception, and context‐aware decision‐making. Learning‐based, probabilistic, and soft‐computing methods
Giovanna Guaragnella, Angelo Cardellicchio, Cosimo Patruno, Massimiliano Nitti, Nicola Pedrocchi, Vito Renò   +5 more
wiley   +1 more source

Dispute resolution in China: A test of black's theory of legal behavior. [PDF]

PLoS One
Mao K, Xia Y.
europepmc   +1 more source

OntoLogX: Ontology‐Guided Knowledge Graph Extraction From Cybersecurity Logs With Large Language Models

Advanced Intelligent Systems, EarlyView.
OntoLogX is an autonomous AI agent that uses large language models to transform unstructured cyber security logs into ontology grounded knowledge graphs. By integrating retrieval augmented generation, iterative correction, and a light‐weight log ontology, OntoLogX produces semantically consistent intelligence that links raw log events to MITRE ATT & CK
Luca Cotti, Idilio Drago, Anisa Rula, Devis Bianchini, Federico Cerutti   +4 more
wiley   +1 more source

Under my umbrella: Rating scales obscure statistical power and effect size heterogeneity. [PDF]

Behav Res Methods
Fünderich JH, Beinhauer LJ, Renkewitz F.   +2 more
europepmc   +1 more source

Material‐Based Intelligence: Autonomous Adaptation and Embodied Computation in Physical Substrates

Advanced Intelligent Systems, EarlyView.
This perspective formulates a unifying framework for Material‐Based Intelligence (MBI), defining the physical requirements for materials to achieve embodied action, active memory and embodied information processing through intrinsic nonequilibrium dynamics. The design of intelligent materials often draws parallels with the complex adaptive behaviors of
Vladimir A. Baulin, Rudolf M. Füchslin, Achille Giacometti, Helmut Hauser, Marco Werner   +4 more
wiley   +1 more source

Borders and Businesses: Intersectional Resilience, Entrepreneurship and Health Promotion Among Immigrant Women in the Post-Pandemic Global South. [PDF]

Int J Environ Res Public Health
Veiga HMDS, Borges AM, de Melo KB, Reis HC, Zanata N.   +4 more
europepmc   +1 more source