Results 71 to 80 of about 4,904 (291)
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani+2 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
Antimicrobial Titanium–Copper Alloys: The Role of Microstructure in Arc‐Melted Compositions
Copper‐containing titanium alloys show promise in combating orthopedic implant infections. This study explores the influence of heat treatment on Ti‐11.5Cu and Ti‐33Cu alloys, revealing that larger Ti2Cu precipitates (≈5 μm) enhance antimicrobial efficacy through increased surface contact. Results suggest contact sterilization is the primary mechanism,
Daisy Rabbitt+5 more
wiley +1 more source
Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code.
Meng Li, Ratnesh Kumar
doaj +1 more source
This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister+2 more
wiley +1 more source
Recognizable Languages of k-Forcing Automata
In 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
This study presents a multimodal characterization method for a prototype metamaterial model structure that features four distinct states of mechanical stiffness and electrical resistivity. Through simulations and experiments, it uncovers insights into the structural behavior, the correlation between changes in electrical resistivity and mechanical ...
Rebecca Kose+3 more
wiley +1 more source
On the power of alternation in automata theory
An extended abstract of this paper appeared in Lect. Notes Comput. Sci. 176, 322-329 (1984; Zbl 0571.68035).
openaire +3 more sources
By fabricating and covalently assembling gelatin methacryloyl (GelMA) porous microgels, a new class of granular hydrogel scaffolds with hierarchical porosity is developed. These scaffolds have a significantly higher void fraction than their counterparts made up of nonporous microgels, enhancing cell recruitment and tissue integration. This research may
Alexander Kedzierski+9 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