Results 81 to 90 of about 109,516 (325)
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
Recognizable Languages of k-Forcing Automata
Mathematical and Computational ApplicationsIn this study, we show that automata theory is also a suitable tool for analyzing a more complex type of the k-forcing process. First, the definition of k-forcing automata is presented according to the definition of k-forcing for graphs.
Marzieh Shamsizadeh +3 more
doaj +1 more source
Robot‐Assisted Automated Serial‐Sectioning and Imaging for 3D Microstructural Investigations
Advanced Engineering Materials, EarlyView.A fully automated 3D microstructure characterization platform provides new insights into materials. This robot‐assisted system performs serial‐sectioning, etching, and optical imaging to generate large‐volume 3D reconstructions with submicron resolution.
Michael Moschetti +7 more
wiley +1 more source
ON THE PROBLEM OF LOGIC-AUTOMATIC FORMULAS PERFORMABILITY
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2020 Background. In the theory of finite automata, there are a number of ways to define finite automata (finitely automatic functions). There are systems of canonical equations among them, Moore diagrams, information trees, schemes of automatic elements ...
S. S. Marchenkov
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study explores the replacement of cobalt using the high‐entropy alloy design strategy for wear‐resistant components operating at high temperatures. Starting from the Cantor alloy, cobalt is substituted with Cu, Al, V, or Mo. Metallurgical and tribological analyses reveal that aluminum, vanadium, and molybdenum effectively strengthen the developed ...
Rafaël Jénot +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Intelligent radiative cooling devices, adaptable to various weather conditions, have the potential for year‐round energy savings. This study introduces a sustainable dual‐mode film made from polycaprolactone nanofibers and upcycled chip bags for effective thermal management.
Qimeng Song +4 more
wiley +1 more source
Stamina: Stabilisation Monoids in Automata Theory [PDF]
, 2017 We present Stamina, a tool solving three algorithmic problems in automata theory. First, compute the star height of a regular language, i.e. the minimal number of nested Kleene stars needed for expressing the language with a complement-free regular expression. Second, decide limitedness for regular cost functions.
Fijalkow, Nathanaël +3 more
openaire +2 more sources
Advanced Functional Materials, EarlyView.Cu‐based catalysts as a cornerstone in advancing sustainable energy technologies are fully reviewed in this manuscript, highlighting their potential in photo‐ and electrocatalysis. It includes metallic copper, copper oxides, copper sulfides, copper halide perovskites, copper‐based metal–organic frameworks (MOFs), and covalent organic frameworks (COFs),
Jéssica C. de Almeida +16 more
wiley +1 more source
Fermionic quantum field theories as probabilistic cellular automata [PDF]
, 2022 C. Wetterich
openalex +1 more source