Results 41 to 50 of about 140,238 (256)

Psi-Calculi in Isabelle

open access: yesJournal of Automated Reasoning, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bengtson, Jesper   +2 more
openaire   +4 more sources

Rafting of Ni‐Based Superalloys Under Multiaxial Load as Understood by Phase‐Field Simulations and Critical Experiments

open access: yesAdvanced Engineering Materials, EarlyView.
Phase‐field simulations coupled with dislocation‐density‐based crystal plasticity modeling reproduce γ′ rafting behavior in single‐crystal Ni‐based superalloys under varied loading conditions. The model captures both macroscopic creep and microscopic morphology evolution, with results matching high‐temperature creep experiments.
Micheal Younan   +5 more
wiley   +1 more source

Microstructure‐Controlled Crack Propagation and Fracture Resistance in MoSiBTiC Alloy Revealed by Multiscale Extended Finite Element Method Modeling

open access: yesAdvanced Engineering Materials, EarlyView.
A two‐dimensional multiscale finite element analysis framework was established for the first‐generation MoSiBTiC alloy, and the mechanical and fracture‐related parameters of the constituent phases were calibrated through experiments and simulations. The framework provides a basis for analyzing crack propagation behavior in its complex microstructure ...
Junfeng Du   +4 more
wiley   +1 more source

Low Cycle Repetitive Loading of Ti‐6Al‐4V‐Epoxy Composite Lattice Structures for Enhanced Energy Dissipation and Damage Tolerance

open access: yesAdvanced Engineering Materials, EarlyView.
Composite Ti–6Al–4V–epoxy lattice structures are additively manufactured and epoxy infiltrated for cyclic loading. At low lattice volume fractions, hybridization produces synergistic gains in stiffness and energy dissipation. At higher volume fractions, synergy diminishes, although composites still exceed metallic lattices in specific energy ...
Joey Tallon   +3 more
wiley   +1 more source

Directly synthesized cobalt oxyhydroxide as an oxygen evolution catalyst in proton exchange membrane water electrolyzers

open access: yesNature Communications
The limited choice of oxygen evolution reaction catalysts for proton exchange membrane water electrolyzers hinders their large-scale commercialization. Cobalt-based catalysts are promising candidates and usually undergo surface reconstruction into CoOOH ...
Jinzhen Huang   +11 more
doaj   +1 more source

SwissFEL: The Swiss X-ray Free Electron Laser

open access: yesApplied Sciences, 2017
The SwissFEL X-ray Free Electron Laser (XFEL) facility started construction at the Paul Scherrer Institute (Villigen, Switzerland) in 2013 and will be ready to accept its first users in 2018 on the Aramis hard X-ray branch.
Christopher J. Milne   +114 more
doaj   +1 more source

Compatibility of Methacrylate Based Resins Controls Interfacial Failure and Toughness in 3D‐Printed Multimaterial Composites

open access: yesAdvanced Engineering Materials, EarlyView.
This work shows that the mechanical performance of multimaterial digital light processing (DLP) printed thermoset composites is governed by resin compatibility and interfacial design rather than spatial patterning alone. Brittle and ductile resin combinations produced premature interfacial failure, while graded interfaces and mechanically compatible ...
Ahmed M. H. Ibrahim   +3 more
wiley   +1 more source

X-ray Spectroscopy at the SuperXAS and Debye Beamlines: from in situ to Operando

open access: yesCHIMIA
Understanding structure–performance relationships are essential for the rational design of new functional materials or in the further optimization of (catalytic) processes. Due to the high penetration depth of the radiation used, synchrotron-based hard X-
Aram Bugaev   +5 more
doaj   +1 more source

Speckle‐Engineered Upconversion Amplification in Nanoemulsion‐Templated Hydrogel Microdomes

open access: yesAdvanced Functional Materials, EarlyView.
Nanoemulsion‐confined PEGDA microdomes generate speckle‐like excitation fields that strongly amplify upconversion luminescence upon dehydration, enabling filter‐free visible readout with reversible on–off switching. DMD‐based lithography yields scalable, shape‐programmable arrays for moisture‐responsive displays and optical encryption.
Chaeyeong Ryu   +13 more
wiley   +1 more source

Pattern of Partai Solidaritas Indonesia Candidacy In the Selection of DPRD DKI Jakarta Member Candidates In 2024 General Election

open access: yesPoliticos
This study discussed about the pattern of PSI candidacy in candidates selection for DPRD DKI Jakarta member in 2024’s General Election. This study was motivated because PSI can implementing high degree of participation in their candidacy process. Thatâ€
Ida Bagus Gede Randika Pradayana   +1 more
doaj   +1 more source

Home - About - Disclaimer - Privacy