Results 111 to 120 of about 1,155,019 (339)
In this paper we improve a model checking algorithm based on the tableau method of Stifling and Walker. The algorithm proves whether a property expressed in the modal mu-calculus holds for a state in a finite transition system. It makes subsequent use of subtableaux which were calculated earlier in the proof run.
openaire +2 more sources
Four‐point bending tests are conducted in an argon atmosphere on commercial MgO‐C brick grades with and without MgO‐C recyclate from room temperature up to 1300 °C. No detrimental effect of the MgO‐C recyclates on bending strength is found. Instead, a decisive influence of the total carbon content is observed, with lower total carbon contents ...
Alexander Schramm +5 more
wiley +1 more source
In this article, we applied tunable diode laser absorption spectroscopy (TDLAS) technique to measure variation of water vapor concentration in gas flow channels in an operating polymer electrolyte membrane fuel cell (PEMFC).
Yoshinobu FUJII +2 more
doaj +1 more source
In this work, a magnetic core‐shell catalyst (HOF‐on‐Fe3O4/ZIF‐67) is successfully synthesized, consisting of a metal–organic framework (ZIF‐67) with magnetic Fe3O4 as the core and a porous hydrogen‐bonded organic framework (HOF) as the shell. The catalyst efficiently activated peroxymonosulfate, resulting in rapid and effective removal of water ...
Yingying Du +4 more
wiley +1 more source
The use of beach-cast macroalgae as a fertilizer (F) or soil amendment (SA) is coming back into focus, due to its highly efficient transformation of CO2, nutrients, salts and minerals from its aqueous surroundings into biomass.
Daniela Moloeznik Paniagua +4 more
doaj +1 more source
The advancement of catalytic materials is critical to improving the performance, reducing the cost and enhancing the sustainability of Proton Exchange Membrane (PEM) fuel cells and electrolyzers. Although Platinum Group Metal (PGM)-based electrocatalysts
Eirini Zagoraiou +4 more
doaj +1 more source
Simulation of Water Sources and Precipitation Recycling for the MacKenzie, Mississippi, and Amazon River Basins [PDF]
Michael G. Bosilovich, J. Chern
openalex +1 more source
The Recycling of Waste Per-Fluorinated Sulfonic Acid for Reformulation and Membrane Application in Iron-Chromium Redox Flow Batteries [PDF]
Quan Xu +8 more
openalex +1 more source

