Results 41 to 50 of about 6,380 (117)

Diagnostic Accuracy of GPT‐Based Large Language Models Across Versions, Prompting Techniques, and Case Presentation Formats

Human Behavior and Emerging Technologies, Volume 2026, Issue 1, 2026.
Despite the centrality of the diagnostic assessment in psychiatry, the agreement among mental health practitioners often varies from poor to moderate. The potential of large language models (LLMs; such as gpt‐based models), among other approaches, has been studied to be used as standardized tools to support clinicians’ decision‐making. The current work
Seraphina Fong, Alessandro Carollo, Martina Dal Maso, Giovanni Martinotti, Debora Luciani, Yasser Saeed Khan, Luca Pellegrini, Ornella Corazza, Gianluca Esposito, Nikhat Kaura   +9 more
wiley   +1 more source

Reachability in Higher-Order-Counters

, 2013
Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels.
A. Bouajjani, A. Bouajjani, A. Carayol, A. Carayol, A. Kartzow, A.N. Maslov, A.N. Maslov, C. Broadbent, D. Caucal, J. Engelfriet, P. Jancar, S. Göller   +11 more
core   +1 more source

Model‐based AI planning and execution platforms for robotics

AI Magazine, Volume 46, Issue 3, Fall 2025.
Abstract Model‐based planning and execution systems offer a principled approach to building flexible autonomous robots that can perform diverse tasks by automatically combining a host of basic skills. This idea is almost as old as modern robotics. Yet, while diverse general‐purpose reasoning architectures have been proposed since, general‐purpose ...
Or Wertheim, Ronen I. Brafman
wiley   +1 more source

On finitely ambiguous B\"uchi automata

, 2018
Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking.
A Arnold, A Weber, C Allauzen, C Baier, C Baier, C Courcoubetis, D Isaak, D Kähler, H Karmarkar, H Leung, J-M Couvreur, N Bousquet, RE Stearns, TH Chan, W Thomas   +14 more
core   +1 more source

Infinite games with finite knowledge gaps [PDF]

, 2015
Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players.
Berwanger, Dietmar, Mathew, Anup Basil
core  

Hybridization and artificial intelligence in optimizing university examination timetabling problem: A systematic review

Review of Education, Volume 13, Issue 2, August 2025.
Abstract University Examination Timetabling Problem is the most important combinational problem to develop a conflict‐free timetable to execute all of the exams in and with the limited timeslots and other resources for universities, colleges or schools. It is also an important Nondeterministic Polynomial Time (NP)‐hard problem that has no deterministic
Abdul Ghaffar, Irfan Ud Din, Asadullah Tariq, Mohammad Haseeb Zafar   +3 more
wiley   +1 more source

A methodology for incident detection in sectorized water distribution networks based on pressure and flow data

Computer-Aided Civil and Infrastructure Engineering, Volume 40, Issue 20, Page 3013-3032, 18 August 2025.
Abstract This study presents an intelligent system for predicting incident reports (IRs) in sectorized water distribution networks, such as drains in sidewalks, lack of pressure, lack of water, leaks, or others, based on pressure and flow data. Currently, incident detection in the industry is highly inefficient, as it is always performed reactively ...
Alicia Robles‐Velasco, Luis Onieva, José Guadix, Pablo Cortés   +3 more
wiley   +1 more source

Macroevolutionary Patterns of Phytochemical Diversity in a Macaronesian Archipelago

Global Ecology and Biogeography, Volume 34, Issue 7, July 2025.
ABSTRACT Aim Plant specialised metabolites are highly diverse and serve various functions, yet the different forms of phytochemical complexity and their drivers are often not fully understood. In this context, islands provide a valuable opportunity to explore the drivers of phytochemical diversity and its adaptive significance, owing to their unique ...
Xoaquín Moreira, Luis Abdala‐Roberts, Jonay Cubas, Beatriz Lago‐Núñez, Nereida M. Rancel‐Rodríguez, Cristina González‐Montelongo, Gaétan Glauser, Matthieu Bueche, Emmanuel Defossez, Juli Caujapé‐Castells, Víctor Bello‐Rodríguez, Juan José García‐Alvarado, Ángel B. Fernández‐López, Pablo Vargas, Sergio Rasmann   +14 more
wiley   +1 more source

A Theory of Formal Synthesis via Inductive Learning

, 2016
Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning.
Jha, Susmit, Seshia, Sanjit A.
core   +2 more sources

AI‐Driven TENGs for Self‐Powered Smart Sensors and Intelligent Devices

Advanced Science, Volume 12, Issue 20, May 29, 2025.
Triboelectric nanogenerators (TENGs) enable sustainable energy harvesting and self‐powered sensing but face challenges in material optimization, fabrication, and stability. Integrating artificial intelligence (AI) enhances TENG performance through machine learning, improving energy output, adaptability, and predictive maintenance.
Aiswarya Baburaj, Syamini Jayadevan, Akshaya Kumar Aliyana, Naveen Kumar SK, George K Stylios   +4 more
wiley   +1 more source