Results 151 to 160 of about 1,475,237 (325)

Simultaneous Method for Solving Certain Systems of Matrix Equations with Two Unknowns

Axioms
Quantitative bisimulations between weighted finite automata are defined as solutions of certain systems of matrix-vector inequalities and equations. In the context of fuzzy automata and max-plus automata, testing the existence of bisimulations and their ...
Predrag S. Stanimirović, Miroslav Ćirić, Spyridon D. Mourtas, Gradimir V. Milovanović, Milena J. Petrović   +4 more
doaj   +1 more source

Optoelectronic Synaptic Devices Using Molecular Telluride Phase‐Change Inks for Three‐Factor Learning

Advanced Functional Materials, EarlyView.
Optoelectronic synaptic devices based on solution‐processed molecular telluride GST‐225 phase‐change inks are demonstrated for three‐factor learning. A global optical signal broadcast through a silicon waveguide induces non‐volatile conductance updates exclusively in locally electrically flagged memristors.
Kevin Portner, Dhananjeya Kumaar, Giacomo Torti, Killian Keller, Till Zellweger, Florian M. Schenk, Christoph Weilenmann, Daniel Chelladurai, Vara Prasad Jonnalagadda, Ghazi Sarwat Syed, Vanessa Wood, Jürg Leuthold, Alexandros Emboras, Maksym Yarema, Mathieu Luisier   +14 more
wiley   +1 more source

Approximating Heterotypic Bisimulations for Weighted Finite Automata over the Field of Real Numbers

Axioms
This paper examines the existence and approximation of bisimulations between weighted finite automata (WFAs) over the real numbers. It shows that forward–backward bisimulation (fbb) and backward–forward bisimulation (bfb) between two WFAs are equivalent ...
Predrag Stanimirović, Miroslav Ćirić, Darjan Karabašević, Dimitrios Gerontitis   +3 more
doaj   +1 more source

Pebble Weighted Automata and Transitive Closure Logics

, 2010
International audienceWe introduce new classes of weighted automata on words. Equipped with pebbles and a two-way mechanism, they go beyond the class of recognizable formal power series, but capture a weighted version of first-order logic with bounded ...
Benedikt Bollig, Zeitoun, Marc, Benjamin Monmege, Paul Gastin, Marc Zeitoun, Bollig, Benedikt, Monmege, Benjamin, Gastin, Paul   +7 more
core   +1 more source

Fully Additive Vertical Organic Electrochemical Transistors on Renewable and Compostable Substrates Enable Ultrasensitive Bioelectronics

Advanced Functional Materials, EarlyView.
Fully additive vertical organic electrochemical transistors (vOECTs) with channel‐length of 226 nm on a 50 µm compostable substrate achieve >106 current modulation and ∼36 mS transconductance. Ion‐selective integration enables 1.1 mA dec−1 sensitivity and 36 µm detection limit, highlighting a scalable platform for sustainable electronics and ...
Giulia Frusconi, Samuele Lavelli, Zsolt M. Kovács‐Vajna, Fabrizio Torricelli   +3 more
wiley   +1 more source

Decomposition of a parallel automaton into a net of sequential automata and low power state assignment of them at asynchronous implementation

Informatika
Objectives. The problems of decomposition of a parallel automaton into a net of sequential automata at synchronous realization and low power race free state assignment of them are considered. The objective of the paper is to investigate the possibilities
Yu. V. Pottosin
doaj   +1 more source

Advances in Sustainable and Wearable Textile Based Soft Robotics

Advanced Functional Materials, EarlyView.
This Review examines advances in wearable textile‐based soft robotics, focusing on sustainable materials, integrated sensing, and scalable actuation. It discusses manufacturing and system integration across healthcare, assistive robotics, prosthetics, and human–machine interfaces, and highlights key challenges in circular design, including life‐cycle ...
Zahir Abbas, Marzia Dulal, Sophia K. Novoselov, Victoria K. Novoselov, Kostya S. Novoselov, Shaila Afroj, Nazmul Karim   +6 more
wiley   +1 more source

Bio‐Inspired Artificial Ionic Mechanoreceptor

Advanced Functional Materials, EarlyView.
A skin‐inspired artificial mechanoreceptor based on ionic interactions is presented for biomimetic tactile sensing. Pressure‐driven ionic redistribution within microfluidic channels generates a self‐powered electrical signal without external bias. The generated waveform exhibits mechanoreceptor‐like temporal features, including overshoot and undershoot,
Mohammad Akbari, Jeppe Don, Lasse A. N. Pedersen, John Noee, Rassoul Tabassian   +4 more
wiley   +1 more source

Logics for Weighted ω-Pushdown Automata

, 2018
We show that weighted pushdown automata and algebraic Systems over semirings are, by the triple construction, mechanisms of equal power. The same holds true for weighted ω-pushdown automata and algebraic systems over quemirings by the triple pair ...
Kuich, Werner, Dziadek, Sven, Esik, Zoltan, Droste, Manfred   +3 more
core   +3 more sources

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source