Results 131 to 140 of about 8,430 (314)
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
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
Curvature‐tuned auxetic lattices are designed, fabricated, and mechanically characterized to reveal how geometric curvature governs stretchability, stress redistribution, and Poisson's ratio evolution. Photoelastic experiments visualize stress pathways, while hyperelastic simulations quantify deformation mechanics.
Shuvodeep De +3 more
wiley +1 more source
THE MARKOFF AUTOMATON: A NEW ALGORITHM FOR SIMULATING THE TIME-EVOLUTION OF LARGE STOCHASTIC DYNAMIC SYSTEMS [PDF]
THOMAS FRICKE, DIETMAR WENDT
openalex +1 more source
Herein, environmental scanning electron microscopy (ESEM) is discussed as a powerful extension of conventional SEM for life sciences. By combining high‐resolution imaging with variable pressure and humidity, ESEM allows the analysis of untreated biological materials, supports in situ monitoring of hydration‐driven changes, and advances the functional ...
Jendrian Riedel +6 more
wiley +1 more source
Special Issue Dedicated to the 16th International Symposium on Parameterized and Exact Computation. [PDF]
Golovach PA, Zehavi M.
europepmc +1 more source
Rheocasting versus Die Casting: An Insight into the Low‐Cycle Fatigue Behavior of AlSi7Mg0.6
The study compares rheocast lightweight components with high‐pressure die cast materials regarding microstructure and fatigue behavior. Rheocast process offers higher efficiency due to lower casting temperatures. Despite some microstructural differences, both processes show similar strengths (yield strength 125 MPa, tensile strength 240 MPa).
Julia Richter +4 more
wiley +1 more source
Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES [PDF]
Yawen Ke, Xiaofeng Xia
openalex +1 more source
The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos +11 more
wiley +1 more source
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source

