Results 81 to 90 of about 481,884 (278)

Finite State Machine Modelling to Facilitate the Resilience of Infrastructures: Reflections

Infrastructures, 2020
The ability of an infrastructure to be resistant against hazards or to accommodate and recover from hazard-induced destructions and disturbances is characterized as resilience. Usually, infrastructures are engineered socio-technical systems or systems-of-
Evelin Engler, Michael Baldauf, Frank Sill Torres, Stephan Brusch   +3 more
doaj   +1 more source

A search-based technique for testing from extended finite state machine model [PDF]

, 2009
Extended finite state machines (EFSMs), and languages such as state-charts that are similar to EFSMs, are widely used to model state-based systems. When testing from an EFSM M it is common to aim to produce a set of test sequences (input sequences) that ...
Hierons, RM, Kalaji, AS, Swift, S
core  

AI Education Matters: Teaching Hidden Markov Models

, 2018
In this column, we share resources for learning about and teaching Hidden Markov Models (HMMs). HMMs find many important applications in temporal pattern recognition tasks such as speech/handwriting/gesture recognition and robot localization.
Neller, Todd W.
core   +1 more source

Positive‐Tone Nanolithography of Antimony Trisulfide with Femtosecond Laser Wet‐Etching

Advanced Functional Materials, EarlyView.
A butyldithiocarbamic acid (BDCA) etchant is used to fabricate various micro‐ and nanoscale structures on amorphous antimony trisulfide (a‐Sb2S3) thin film via femtosecond laser etching. Numerical analysis and experimental results elucidate the patterning mechanism on gold (reflective) and quartz (transmissive) substrates.
Abhrodeep Dey, Uwe Hübner, Albane Benardais, Xiaofei Wu, Andrea Dellith, Jan Dellith, Torsten Wieduwilt, Henrik Schneidewind, Markus A Schmidt, Virginie Nazabal, Volker Deckert, Jer‐Shing Huang, Wei Wang   +12 more
wiley   +1 more source

A Computation in a Cellular Automaton Collider Rule 110

, 2016
A cellular automaton collider is a finite state machine build of rings of one-dimensional cellular automata. We show how a computation can be performed on the collider by exploiting interactions between gliders (particles, localisations).
A Adamatzky, A Adamatzky, A Bandyopadhyay, A Wuensche, AC Scott, AJ Heeger, AR Smith III, AS Davydov, B Grünbaum, EF Codd, GJ Martínez, GJ Martínez, GJ Martínez, GJ Martínez, GJ Martínez, GJ Martínez, GJ Martínez, HV McIntosh, JL Bredas, JW Mills, K Lindgren, K Morita, K Morita, M Cook, M Kudlek, M Kudlek, MA Arbib, MH Jakubowski, N Margolus, NH Margolus, NH Margolus, S Ninagawa, S Siccardi, S Wolfram, S Wolfram, T Neary, T Toffoli, Y Lu   +37 more
core   +1 more source

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

Exploring Heuristic and Optimization Approaches for Elevator Group Control Systems

Applied Sciences
This paper undertakes an examination of elevator car dispatching methods in response to hall calls. Firstly, our study focuses on the establishment of a representation of an elevator group control system as a finite-state machine to understand the ...
Atef Gharbi
doaj   +1 more source

Вычислительные свойства сетей клеточных автоматов [PDF]

, 2008
У статті описується новий метод аналізу поведінки клітинного автомату. Запропоновано ізоморфне відображення клітинного автомату у кінцевий автомат із виходом.
Гормакова, Ирина Владимировна
core  

Automata in SageMath---Combinatorics meet Theoretical Computer Science

, 2016
The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved ...
Heuberger, Clemens, Krenn, Daniel, Kropf, Sara   +2 more
core   +1 more source

Mechanical Properties of Architected Polymer Lattice Materials: A Comparative Study of Additive Manufacturing and CAD Using FEM and µ‐CT

Advanced Functional Materials, EarlyView.
This study examines how pore shape and manufacturing‐induced deviations affect the mechanical properties of 3D‐printed lattice materials with constant porosity. Combining µ‐CT analysis, FEM, and compression testing, the authors show that structural imperfections reduce stiffness and strength, while bulk material inhomogeneities probably enhance ...
Oliver Walker, Thierry Roland, Damien Favier, Antoine Egele, Michael Heymann, Cosima Stubenrauch   +5 more
wiley   +1 more source