Results 111 to 120 of about 51,114 (288)
An introduction to finite automata and their connection to logic [PDF]
, 2011 This is a tutorial on finite automata. We present the standard material on determinization and minimization, as well as an account of the equivalence of finite automata and monadic second-order logic.
Straubing, Howard, Weil, Pascal
core
Microrobotic Catheterization of the Ophthalmic Artery for Targeted Treatment of Retinoblastoma
Advanced Intelligent Systems, EarlyView.A microrobotic platform is presented that allows teleoperated and autonomous navigation of flow‐driven magnetic microcatheters, MagFlow, into the ophthalmic artery for superselective intra‐arterial infusion of chemotherapy to treat retinoblastoma. Extensive benchtop validations with patient‐derived biomimetic phantoms under optical and fluoroscopic ...
Artur Banach +5 more
wiley +1 more source
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions [PDF]
Scientific Annals of Computer Science, 2010 In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f.
H.H. Hansen, J. Rutten
doaj
An Algorithm to Compute the Character Access Count Distribution for Pattern Matching Algorithms
Algorithms, 2011 We propose a framework for the exact probabilistic analysis of window-based pattern matching algorithms, such as Boyer–Moore, Horspool, Backward DAWG Matching, Backward Oracle Matching, and more.
Sven Rahmann, Tobias Marschall
doaj +1 more source
Advanced Intelligent Systems, EarlyView.A volatile‐switching compact model of electrochemical metallization memory cells for neuromorphic architecture is developed and validated by reliable reproduction of device characterization measurements: I−V sweeps, SET kinetics, relaxation dynamics.
Rana Walied Ahmad +4 more
wiley +1 more source
Modeling and Characterization of a Self‐Sensing Soft Hydraulic Muscle
Advanced Intelligent Systems, EarlyView.This article presents the self‐sensing soft hydraulic muscle (SSHM), a novel soft actuator capable of simultaneously sensing force and length without external sensors. A comprehensive model accurately predicts SSHM behavior, validated experimentally with minimal errors. Using propylene glycol enhances durability and reduces hysteresis.
Nhu An Phan +8 more
wiley +1 more source
A Novel Multi-Step Finite-State Automaton for Arbitrarily Deterministic\n Tsetlin Machine Learning [PDF]
, 2020 K. Darshana Abeyrathna +6 more
openalex +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT The transition to a circular economy (CE) in the textile and clothing (TC) industry is frequently attributed to sustainability‐oriented innovation (SOI), yet empirical understanding of the systemic conditions under which SOI enables CE remains underdeveloped.
Krishnendu Saha +3 more
wiley +1 more source
Seismic Design of Concrete Dams: An Integrated Risk‐Informed Performance‐Based (RIPB) Framework
Earthquake Engineering &Structural Dynamics, EarlyView.ABSTRACT This paper advances the integration of risk‐informed principles into the seismic design of dams—a domain long guided by standards‐based, largely deterministic approaches. While performance‐based earthquake engineering is well established for buildings and bridges, its systematic adoption in dam engineering remains limited. We first address two
M. Amin Hariri‐Ardebili, Larry K. Nuss
wiley +1 more source