Results 111 to 120 of about 1,155,019 (339)

Tableau recycling [PDF]

open access: yes, 1993
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 at High Temperatures on Commercial MgO‐C Refractory Bricks with and Without Recyclate Considering Different Carbon Contents

open access: yesAdvanced Engineering Materials, EarlyView.
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

Investigation of Current Density Effect on Water Vapor Concentration Profile along PEMFC Channels by TDLAS

open access: yesJournal of Thermal Science and Technology, 2008
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 Situ Constructed Magnetic Core‐Shell Hydrogen‐Bonded Organic Framework‐on‐Metal–Organic Framework Structure: an Efficient Catalyst for Peroxymonosulfate Activation

open access: yesAdvanced Functional Materials, EarlyView.
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

Towards a high-quality fertilizer based on algae residues treated via hydrothermal carbonization. Trends on how process parameters influence inorganics

open access: yesBiochar
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

Direct Reuse of Recycled/Impure Pt Precursor for the Production of New Electrocatalysts: Implementing a Sustainable and Industrially Viable Circular Hydrogen Economy Model

open access: yesCompounds
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

Mechanically recyclable melt-spun fibers from lignin esters and iron oxide nanoparticles: towards circular lignin materials

open access: hybrid, 2023
Unnimaya Thalakkale Veettil   +6 more
openalex   +2 more sources

The Recycling of Waste Per-Fluorinated Sulfonic Acid for Reformulation and Membrane Application in Iron-Chromium Redox Flow Batteries [PDF]

open access: gold, 2022
Quan Xu   +8 more
openalex   +1 more source

Home - About - Disclaimer - Privacy