Results 91 to 100 of about 31,589 (286)
Degree of Sequentiality of Weighted Automata [PDF]
35 ...
Daviaud, Laure +3 more
openaire +5 more sources
Series, Weighted Automata, Probabilistic Automata and Probability Distributions for Unranked Trees. [PDF]
We study tree series and weighted tree automata over unranked trees. The message is that recognizable tree series for unranked trees can be defined and studied from recognizable tree series for binary representations of unranked trees.
Gilbert, Édouard +2 more
core +2 more sources
The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi +3 more
wiley +1 more source
Minimizing Deterministic Weighted Tree Automata
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS [PDF]
The article proposes modification method for automata-based programs induced by changes in their test scenarios. The method can also be used for constructing automata-based programs without using any prior knowledge of a program structure and without ...
A. V. Shestakov
doaj
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source
Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems.
Rachmat Wahid Saleh Insani +1 more
doaj +1 more source
Cladding is a proven method that boosts the surface qualities of mechanical parts by applying a layer of more durable material over a base substrate. This work responds to the needs of offshore and pressure vessels sectors by focusing on cladding a super austenitic steel onto low‐carbon steel through gas tungsten arc welding.
E. J. da Cruz Junior +6 more
wiley +1 more source
Finite automata for caching in matrix product algorithms
A diagram is introduced for visualizing matrix product states which makes transparent a connection between matrix product factorizations of states and operators, and complex weighted finite state automata.
D. Aharonov +5 more
core +1 more source

