Results 101 to 110 of about 6,170,352 (312)
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
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
Algebraic Spaces and Set Decompositions
The contribution is growing up from certain parts of scientific work by professor Boruvka in several ways. Main focus is on the decomposition theory, especially algebraized decompositions of groups.
Jan Chvalina, Bedřich Smetana
doaj +1 more source
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
Theorietage der Gesellschaft für Informatik in Speyer 2015—Special Issue
We briefly report on the national workshops on Formal Languages and Automata Theory as well as on Algorithms and Complexity Theory held in early Autumn, 2015.
Henning Fernau
doaj +1 more source
Stamina: Stabilisation Monoids in Automata Theory [PDF]
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
By a simple anti‐Galvanic reaction, up to six copper atoms could be preferably doped into the Ag2(SR)5 staple motifs and Ag20 dodecahedral shell of an atomically precise Ag44(SR)30 nanocluster. When anatase TiO2 is used as substrate, the (AgCu)44/TiO2 photocatalyst exhibited much improved activity in photocatalytic CO2 reduction compared to Ag44/TiO2 ...
Ye Liu +5 more
wiley +1 more source
Micropatterned Biphasic Printed Electrodes for High‐Fidelity on‐Skin Bioelectronics
Micropatterned biphasic printed electrodes achieve unprecedented skin conformity and low impedance by combining liquid‐metal droplets with microstructured 3D lattices. This scalable approach enables high‐fidelity detection of ECG, EMG, and EEG signals, including alpha rhythms from the forehead, with long‐term comfort and stability.
Manuel Reis Carneiro +4 more
wiley +1 more source
ON THE PROBLEM OF LOGIC-AUTOMATIC FORMULAS PERFORMABILITY
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
Effective theories for circuits and automata [PDF]
Abstracting an effective theory from a complicated process is central to the study of complexity. Even when the underlying mechanisms are understood, or at least measurable, the presence of dissipation and irreversibility in biological, computational, and social systems makes the problem harder.
openaire +4 more sources

