Hesitant tree automata characterize FO over infinite trees equivalently to PolPCTL and CTLsf, yielding a normal form in PolCTLs and revealing that FO is limited to safety or co-safety per branch.
Irradiation growth of zirconium single crystals: A Review,
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 4verdicts
UNVERDICTED 4roles
background 1polarities
support 1representative citing papers
Presents rules for constructing (NxH)-polytypes with La2WO6 stoichiometry and DFT results identifying La2WO6.oP36 as ground state with La2WO6.mC72 only 5 meV/at above hull.
Hybrid QM/ML forcefield framework couples DFT with MLIPs to enable scalable, chemically accurate simulations of solute-dislocation interactions, demonstrated on Sn/Fe segregation in Zr and magnetic effects in steel.
Amorphous Al2O3 coatings show steadily decreasing hardness but constant Young's modulus from 25-650C, remain non-crystalline, and crystallize via intermediate phases to stable alpha-Al2O3 above 950C.
citing papers explorer
-
Automaton-based Characterisations of First Order Logic over Infinite Trees
Hesitant tree automata characterize FO over infinite trees equivalently to PolPCTL and CTLsf, yielding a normal form in PolCTLs and revealing that FO is limited to safety or co-safety per branch.
-
Family of (NxH)-polytypes with La2WO6-related stoichiometry
Presents rules for constructing (NxH)-polytypes with La2WO6 stoichiometry and DFT results identifying La2WO6.oP36 as ground state with La2WO6.mC72 only 5 meV/at above hull.
-
A Hybrid Quantum Mechanics Machine Learning Forcefield (QM/ML) Framework for Accurate Solute-Dislocation Interaction Simulations
Hybrid QM/ML forcefield framework couples DFT with MLIPs to enable scalable, chemically accurate simulations of solute-dislocation interactions, demonstrated on Sn/Fe segregation in Zr and magnetic effects in steel.
-
High-temperature behavior of amorphous alumina coatings: Insights from in-situ nanoindentation and X-ray diffraction studies
Amorphous Al2O3 coatings show steadily decreasing hardness but constant Young's modulus from 25-650C, remain non-crystalline, and crystallize via intermediate phases to stable alpha-Al2O3 above 950C.