Results 11 to 20 of about 6,397 (149)
AI in Neurology: Everything, Everywhere, All at Once Part 1: Principles and Practice. [PDF]
Ann NeurolArtificial intelligence (AI) is rapidly transforming healthcare, yet it often remains opaque to clinicians, scientists, and patients alike. This review, part 1 of a 3‐part series, provides neurologists and neuroscientists with a foundational understanding of AI's key concepts, terminology, and applications.
Rizzo M, Dawson JD.
europepmc +2 more sources
Machine Learning in Polymer Research. [PDF]
Adv MaterArtificial intelligence (AI) has permeated every aspect of science, including polymer research. Researchers from both fields need to collaborate to understand the challenges and opportunities of each domain. This review is therefore written by mathematicians and polymer chemists to highlight the key research questions polymer chemists aim to address ...
Ge W +4 more
europepmc +2 more sources
Cartography of Accident Causation Models: Remapping the Modeling Landscape. [PDF]
Risk AnalABSTRACT Accident causation models are abstractions of the real world that explicitly or implicitly underlie our perception and understanding of accidents. As the continuous advancement of our dynamic society demands us to keep updating our understanding of accidents, this review article provides an overview of the landscape of accident causation ...
Igarashi T, Marais K.
europepmc +2 more sources
Time and space complexity of deterministic and nondeterministic decision trees
Annals of Mathematics and Artificial Intelligence, 2022 AbstractIn this paper, we study arbitrary infinite binary information systems each of which consists of an infinite set called universe and an infinite set of two-valued functions (attributes) defined on the universe. We consider the notion of a problem over information system, which is described by a finite number of attributes and a mapping ...
openaire +2 more sources
Lipschitz Robustness of Finite-state Transducers [PDF]
, 2014 We investigate the problem of checking if a finite-state transducer is robust to uncertainty in its input. Our notion of robustness is based on the analytic notion of Lipschitz continuity --- a transducer is K-(Lipschitz) robust if the perturbation in ...
Henzinger, Thomas A. +2 more
core +4 more sources
, 2023 arXiv admin note: substantial text overlap with arXiv:2305.06093, arXiv:2304 ...
Ostonov, Azimkhon, Moshkov, Mikhail
openaire +2 more sources
Computational Complexity for Physicists [PDF]
, 2002 These lecture notes are an informal introduction to the theory of computational complexity and its links to quantum computing and statistical mechanics.Comment: references updated, reprint available from http://itp.nat.uni-magdeburg.de/~mertens/papers ...
Mertens, Stephan
core +2 more sources
Satisfiability Games for Branching-Time Logics [PDF]
, 2013 The satisfiability problem for branching-time temporal logics like CTL*, CTL and CTL+ has important applications in program specification and verification. Their computational complexities are known: CTL* and CTL+ are complete for doubly exponential time,
Friedmann, Oliver +2 more
core +2 more sources
IEEE AccessThis paper investigates classes of decision tables (DTs) with 0-1-decisions that are closed under the removal of attributes (columns) and changes to the assigned decisions to rows.
Azimkhon Ostonov, Mikhail Moshkov
doaj +1 more source
Can Nondeterminism Help Complementation?
, 2012 Complementation and determinization are two fundamental notions in automata theory. The close relationship between the two has been well observed in the literature.
Aniello Murano +26 more
core +2 more sources