Results 251 to 260 of about 526,453 (338)

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source

Metal Sulfides as Potential Materials for Next Generation Lithium Ion Batteries: A Review

Advanced Energy and Sustainability Research, EarlyView.
The flame spray pyrolysis (FSP) method demonstrates its superiority in fabricating metal sulfide‐based electrodes without inactive materials like organic binders or solvents. The particles are directly deposited and compressed onto the electrode surface, integrating into continuous production.
Muhammad Ali Martuza, Lutz Mädler, Suman Pokhrel   +2 more
wiley   +1 more source

MAGELLAN: Automated Generation of Interpretable Computational Models for Biological Reasoning

Clarke MA, Barker CG, Sun Y, Roumeliotis TI, Choudhary JS, Fisher J.   +5 more
europepmc   +1 more source

Performance Evaluation of Stone Mastic Asphalt Involving Coarse Steel Slag and Fine RAP. [PDF]

Materials (Basel)
Wu Y, Cao W, Xu C, Meng F, Wang G, Liu S.   +5 more
europepmc   +1 more source

Formally validated specification of a micro-payment protocol

, 2001
Pierre Dargenton, Daniel Hirschkoff, Pierre Lescanne, E. Pommateau   +3 more
openalex   +1 more source

Development Status and Future Prospects of Hydrogen Energy Technology: Production, Storage, and Cost Analysis

Advanced Energy and Sustainability Research, EarlyView.
Hydrogen is an energy carrier, produced from renewable and nonrenewable resources. It can be stored in a variety of materials and transported to distant locations. This article reviews progress in hydrogen technology by looking at environmental and economic impact, cost analysis, and policy support at government level as way forward for bringing it to ...
Xuexue Pan, Houhua Zhou, Dinmukhambet Baimbetov, Samal Syrlybekkyzy, Berik Bakhytzhanovich Akhmetov, Qamar Abbas   +5 more
wiley   +1 more source

HGVS Nomenclature 2024: improvements to community engagement, usability, and computability. [PDF]

Genome Med
Hart RK, Fokkema IFAC, DiStefano M, Hastings R, Laros JFJ, Taylor R, Wagner AH, den Dunnen JT.   +7 more
europepmc   +1 more source

Catalytic Activity of Solution Additive Anions for Magnesite and Calcite Precipitation in Microwave‐Assisted Mineral Carbonation Experiments

Advanced Energy and Sustainability Research, EarlyView.
Demonstrating anion‐catalyzed CO2 mineralization and microwave‐boosted carbonation, this study advances sustainable carbon capture and utilization technologies, mitigating climate change by promoting efficient magnesite and calcite precipitation from eco‐friendly processes.
Marcello Campione, Daniela D’Alessio, Mattia Corti, Giancarlo Capitani, Andrea Lucotti, Matteo Tommasini, Rossella Yivlialin, Lamberto Duò, Gianlorenzo Bussetti, Nadia Malaspina   +9 more
wiley   +1 more source

Evolving Lessons on Metazoan Primordial Germ Cells in Diversity and Development. [PDF]

Mol Reprod Dev
Bhattacharya I, Nalinan LK, Anusree KV, Saleel A, Khamamkar A, Dey S.   +5 more
europepmc   +1 more source

A Detailed Comprehensive Role of Digital Technologies in Green Finance Initiative for Net‐Zero Energy Transition

Advanced Energy and Sustainability Research, EarlyView.
This study aims to provide actionable recommendations for leveraging digital innovation for the achievement of scalable, equitable, and transparent Net Zero Energy Transition by offering actionable recommendations. As a result of this comprehensive analysis, the review highlights the critical interplay between digital technologies and GF as vital ...
Furkan Ahmad, Ameni Boumaiza, Antonio Sanfilippo, Luluwah Al‐Fagih   +3 more
wiley   +1 more source