Results 51 to 60 of about 14,469 (313)

Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]

, 2011
We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core   +1 more source

Microstructure Reconstruction in Battery Electrodes Using Machine Learning Based on Low‐Voltage Focused Ion Beam–Scanning Electron Microscopy Tomography Images

Advanced Engineering Materials, EarlyView.
Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran, Vincent Nebel, Dominik Perius, Kshitij Kumar, Yannis Heim, Laura Bies, Tobias Kraus   +6 more
wiley   +1 more source

Weighted DAG Automata for Semantic Graphs [PDF]

Computational Linguistics, 2018
Graphs have a variety of uses in natural language processing, particularly as representations of linguistic meaning. A deficit in this area of research is a formal framework for creating, combining, and using models involving graphs that parallels the ...
David Chiang, Frank Drewes, Daniel Gildea, Adam Lopez, Giorgio Satta   +4 more
doaj   +2 more sources

Performance analysis of probabilistic timed automata using digital clocks [PDF]

, 2006
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a modelling formalism suitable for describing formally both nondeterministic and probabilistic aspects of real-time systems, and is amenable to
Kwiatkowska, M., Parker, D., Norman, G., Sproston, J.   +3 more
core   +1 more source

Defect Evolution and Mechanical Performance of Fused Filament Fabrication‐Manufactured 17‐4PH Stainless Steel Revealed by X‐Ray Computed Tomography

Advanced Engineering Materials, EarlyView.
X‐ray computed tomography reveals how process‐induced defects evolve from green to sintered states in Fused Filament Fabrication (FFF)‐manufactured 17‐4PH stainless steel. Internal porosity, weakest cross‐sections, and fracture locations show strong correlation with tensile performance, demonstrating the potential of computed tomography (CT)‐based ...
György Ledniczky, Márk Sárközi, Ibolya Zsoldos, Zoltán Weltsch   +3 more
wiley   +1 more source

Cellular automata and finite groups [PDF]

Natural Computing, 2017
For a finite group $G$ and a finite set $A$, we study various algebraic aspects of cellular automata over the configuration space $A^G$. In this situation, the set $\text{CA}(G;A)$ of all cellular automata over $A^G$ is a finite monoid whose basic algebraic properties had remained unknown.
Alonso Castillo-Ramirez, Maximilien Gadouleau   +1 more
openaire   +3 more sources

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

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

Review of Thermally Activated Twisted Coiled Polymer Actuators: A Materials Science Perspective

Advanced Functional Materials, EarlyView.
Thermally activated twisted and coiled polymer actuators (TCPAs) combine lightweight design, large deformation, and scalable fabrication for soft robotic and wearable applications. This review connects polymer structure, processing history, helix geometry, and thermomechanical characterization to actuator performance, highlighting current challenges in
Nadja Schenk, Lukas Benecke, Chokri Cherif, Johannes Mersch   +3 more
wiley   +1 more source

State Elimination Ordering Strategies: Some Experimental Results [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
Recently, the problem of obtaining a short regular expression equivalent to a given finite automaton has been intensively investigated. Algorithms for converting finite automata to regular expressions have an exponential blow-up in the worst-case.
Nelma Moreira, Davide Nabais, Rogério Reis   +2 more
doaj   +1 more source