Results 91 to 100 of about 2,186 (279)
History−Register Automata [PDF]
, 2013 Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (HRA), a new automata-theoretic formalism for modelling such programs. HRAs
Tzevelekos, Nikos +5 more
core +1 more source
Artificial Intelligence for Advanced Functional Materials: Progress and Emerging Frontiers
Advanced Intelligent Systems, EarlyView.Artificial intelligence is transforming the discovery of functional materials by linking synthesis, characterization, simulation, and design in unified workflows. Advances in machine learning, autonomous experimentation, and foundation models are accelerating innovation across energy, electronics, and biomedicine, while revealing new frontiers for ...
Cristiano Malica +38 more
wiley +1 more source
jsFLAP: A JavaScript Formal Languages and Automata Package for Computer Science Education [PDF]
Visualization and simulation software serves an important role in education, especially in the education of abstract topics. The field of computational theory, and specifically the topics of formal languages and finite automata are well suited to ...
Cirioli, Elijah
core +3 more sources
All about unambiguous polynomial closure [PDF]
TheoretiCSWe study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the ...
Thomas Place, Marc Zeitoun
doaj +1 more source
Behaviorally Adaptive and Inclusive Advanced Driver‐Assistance Systems
Advanced Intelligent Systems, EarlyView.Advanced driver‐assistance systems (ADASs) are mapped as evolving human‐centered, adaptive technologies linking sensing, driver monitoring, AR/HUD interfaces, patents, regulation, and inclusive design. The review identifies gaps in real‐world evidence, diverse‐driver validation, gaze metrics, and governance, outlining a roadmap for safer, behaviorally ...
Jana Skirnewskaja +2 more
wiley +1 more source
An Infinite Automaton Characterization of Double Exponential Time
, 2008 Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of initial and final states.
Torre, Salvatore La +2 more
core +2 more sources
Simulations for Event-Clock Automata [PDF]
Logical Methods in Computer ScienceEvent-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay +3 more
doaj +1 more source
Advanced Intelligent Systems, EarlyView.Motion artifacts in electrocardiographic signals, conventionally dismissed as noise, are shown to encode discriminative activity information. A smart t‐shirt fusing textile strain sensors with textile ECG electrodes, processed through a complex‐valued residual network, recognizes 12 sport activities.
Nada Al‐azzawi +4 more
wiley +1 more source
Safety and Liveness of Quantitative Properties and Automata [PDF]
Logical Methods in Computer ScienceSafety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker +3 more
doaj +1 more source
AI‐Based Immortality: The Ethical Advantage of the Aretai Approach
AI &Innovation, EarlyView.ABSTRACT The convergence of artificial intelligence, digital identity technologies, and biogerontological ambitions has produced a novel set of philosophical problems that have not yet been adequately addressed within mainstream bioethical discourse. Digital life extension—encompassing AI‐generated avatars, neural data preservation, mind uploading, and
Mirko Daniel Garasic
wiley +1 more source