Results 131 to 140 of about 14,692 (300)
On the Complexity of Proving Polyhedral Reductions
International audienceWe propose an automated procedure to prove polyhedral abstractions (also known as polyhedral reductions) for Petri nets. Polyhedral abstraction is a new type of state space equivalence, between Petri nets, based on the use of linear
Le Botlan, Didier +2 more
core +1 more source
Advanced Energy Materials, EarlyView.Self‐activating electrocatalysts offer strong potential for advanced water splitting, enabled by their dynamic compositional and structural evolution during operation. This review highlights recent advances in self‐activating OER and HER catalysts, emphasizing the driving forces and mechanisms underlying their adaptive behavior. A conceptual network of
Christean Nickel +6 more
wiley +1 more source
The Homfly Polynomial for Even Polyhedral Links
, 2010 National Natural Science Foundation of China [10831001]In this paper, a general approach is presented to compute the Homily polynomials of even polyhedral links formed from a polyhedron by 'n-branched curve and 2k-twisted double-line covering'.
Jin, XA, 金贤安, Zhang, FJ, 张福基
core
Tropical Fréchet means: a polyhedral approach to exact optimization
Journal of Symbolic Computation26 pages. 8 figures. v3: Added Section 5. Extended version as to appear in the special issue for the International Symposium on Symbolic and Algebraic Computation ISSAC ...
Kamillo Ferry +4 more
openaire +2 more sources
Emerging Materials and Future Strategies for Solid Oxide Electrochemical Cells
Advanced Energy Materials, EarlyView.Solid oxide electrochemical cells operate under strongly coupled electrochemical and thermodynamic conditions, where performance is constrained by interactions among crystal structure, defect chemistry, and interfacial evolution. This review, based on a structure‐defect‐property‐durability framework, reveals the roles of lattice symmetry and defect ...
Qiuchun Lu +4 more
wiley +1 more source
Advanced Energy Materials, EarlyView.Molecular dynamics simulations with machine learning potentials, combined with experiments, reveal how interlayer metals govern Li alloying and crystallization in zero‐excess lithium batteries. Mg and Zn promote solid‐solution alloy‐mediated pathways that influence Li diffusion and structural uniformity, while Bi forms ordered intermetallics with more ...
Neubi F. Xavier Jr. +10 more
wiley +1 more source
Advanced Energy Materials, EarlyView.Oxygen substitution in NaTaOxCl6‐2x drives structural evolution from isolated [TaCl6]– octahedra, through oxygen‐bridged [Ta2OCl10]2– dimers, toward extended trans‐[TaO2Cl4]3– chain‐like arrangements. At intermediate compositions, zero‐dimensional corner‐sharing motifs are proposed to create a flexible, disordered framework that peaks ionic ...
Justin Leifeld +17 more
wiley +1 more source
Advanced Energy Materials, EarlyView.A hexagonal tunnel‐structured MoO3 is nanoparticulated via hydrothermal synthesis followed by ball‐milling. As a positive electrode in Ca and Mg batteries, it delivers superior capacity and structural reversibility, enabling divalent cation intercalation with minimal lattice distortion and no phase transitions.
Reona Iimura +10 more
wiley +1 more source
Mechanisms of Alkali Ionic Transport in Amorphous Oxyhalides Solid State Conductors
Advanced Energy Materials, EarlyView.Large‐scale machine learning‐based molecular dynamics simulations are used to investigate isovalent amorphous oxyhalides, revealing a remarkable chemically independent ionic conductivity. A rigorous analysis of alkali residence times across different metal–anion environments identifies divalent anions as key diffusion bottlenecks.
Luca Binci +3 more
wiley +1 more source
Angewandte Chemie, EarlyView.A critical step, dry reforming of methane (DRM) converts biogas into useful syngas. Yet trace H2S in biogas rapidly poisons DRM catalysts, limiting practical use. We developed a robust Pt/CeO2 catalyst sustaining DRM activity via CO2‐induced reverse lattice oxygen spillover in H2S‐rich environments.
Jun Liu +11 more
wiley +2 more sources