Results 181 to 190 of about 2,084,052 (380)

Computational Modeling of Reticular Materials: The Past, the Present, and the Future

Advanced Materials, EarlyView.
Reticular materials are advanced materials with applications in emerging technologies. A thorough understanding of material properties at operating conditions is critical to accelerate the deployment at an industrial scale. Herein, the status of computational modeling of reticular materials is reviewed, supplemented with topical examples highlighting ...
Wim Temmerman, Ruben Goeminne, Kuber Singh Rawat, Veronique Van Speybroeck   +3 more
wiley   +1 more source

Formal Specification and Verification of CRDTs

Formal Techniques for (Networked and) Distributed Systems, 2014
Peter Zeller, Annette Bieniusa, A. Poetzsch-Heffter   +2 more
semanticscholar   +1 more source

Laser‐Patternable and Stretchable Metal Electrodes Using Metal–Amine Coordination Complexes

Advanced Materials, EarlyView.
A stretchable electrode, called the metal–amine coordination‐complex‐based electrode (MACE), is introduced, which involves the formation of coordination complexes between a metal and an organic layer. MACE exhibits excellent stretchability of up to 70% and stability under both air and wet conditions.
Seongyu Lee, Ngoc Thanh Ho, Jin Hong Kim, Gumin Kang, Hyungduk Ko   +4 more
wiley   +1 more source

Mixed‐Metal Promotion in a Manganese‐Molybdenum Oxynitride as Catalyst to Integrate C─C and C─N Coupling Reactions for the Direct Synthesis of Acetonitrile from Syngas and Ammonia

Advanced Materials, EarlyView.
Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje, Wilson Henao, Tania Rodenas, Patricia Concepción, Virginia Pérez Dieste, Alexander Missyul, Giovanni Agostini, Gonzalo Prieto   +7 more
wiley   +1 more source

Formal Specification of Interconnection Networks [PDF]

, 1995
John T. O’Donnell, Gudula Rünger
openalex   +1 more source

Without Contact Resistance, Proteins in Thin‐Film Solid‐State Junctions Can Be Efficient Electronic Conducting Materials

Advanced Materials, EarlyView.
It is demonstrated that contact resistance is effectively eliminated in two‐probe micropore device metal/protein/metal bioelectronic junctions. These results, using two different protein types in these junctions, show that, as ultrathin (<40 nm) films, proteins are an even more efficient electronic transport medium than previously thought, when the ...
Sudipta Bera, Ayelet Vilan, Sourav Das, Israel Pecht, David Ehre, Mordechai Sheves, David Cahen   +6 more
wiley   +1 more source

Performance Modelling with the Formal Specification Language SDL

, 1996
M. Bütow, Mark Andrew Mestern, C. Schapiro, Pieter S. Kritzinger   +3 more
openalex   +1 more source

Materials Design and Assessment of Redox‐Mediated Flow Cell Systems for Enhanced Energy Storage and Conversion

Advanced Materials, EarlyView.
Redox‐mediated flow cells, which operate on an electrochemical‐chemical cycle, shift desired reactions from electrode compartments to dedicated reactors and enable diversified applications for high‐density flow batteries, fuel cells, CO2 capture, electrosynthesis, waste recycling, etc.
Zhiyu Wang, Yan Jing, Qing Wang
wiley   +1 more source

Verification of an Interactive Software by Analysis of its Formal Specification

, 1995
Philippe Palanque, Rémi Bastide
openalex   +1 more source

Formal specification of CORBA services [PDF]

, 2000
Rémi Bastide, Philippe Palanque, Ousmane Sy, David Navarre   +3 more
openalex   +1 more source