Results 51 to 60 of about 69,786 (317)

Nucleophilic Gallyl Anions Enable Ga─Au Bimetallic Ammonia Activation

Angewandte Chemie, EarlyView.
Unlocking gallyl nucleophiles: Counterion control enables formation of an unsupported gallyl─gold complex. Gold coordination induces a polarity switch at gallium, enabling cooperative activation of NH3 and related N─H/O─H substrates under mild conditions.
Hellen Videa, Keelan M. Byrne, Tobias Krämer, Antonio J. Martínez‐Martínez   +3 more
wiley   +2 more sources

Degradation of Perfluorinated Sulfonic Acid Polymers Under X‐Ray Photoelectron Spectroscopy Exposure

Macromolecular Materials and Engineering
The degradation of perfluorinated sulfonic acid polymers during use is an important topic for the development of polymer electrolyte membrane electrolyzers and fuel cells.
Annik Bernhardt, Tobias Albrecht, Kerstin Witte‐Bodnar   +2 more
doaj   +1 more source

Solar Performance Optimization Code for the Optical Response of Multilayer Stacks in Python: SolPOC

Journal of Open Research Software
SolPOC, Solar Performance Optimization Code, is a Python package designed to solve Maxwell’s equations in multilayered thin film structures used in solar energy management systems.
Antoine Grosjean, Pauline Bennet, Thalita Drumond, Amine Mahammou, Denis Langevin, Antoine Moreau, Audrey Soum-Glaude   +6 more
doaj   +1 more source

Retracing CSP

Electronic Notes in Theoretical Computer Science, 2006
AbstractThe original CSP was a language for parallel imperative programs communicating by synchronized message-passing. Most of the early foundational work concerned a more abstract process algebra, now known as Theoretical CSP (or TCSP). The early semantic models involved communication traces, refusals, failures, and divergence traces.
openaire   +1 more source

Automatic Translation from Combined B and CSP specification to Java Programs [PDF]

, 2007
A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifically in the ProB model checking tool.
Poppleton, Michael, Yang, Letu
core  

How Proton Incorporation Reshapes Lattice Dynamics In BaSnO3‐Type Proton Conductors

Advanced Science, EarlyView.
Yttrium‐doped BaSnO3 exhibits isotope‐dependent changes in its low‐energy vibrational density of states upon hydration. Comparison of dry, H2O‐, and D2O‐treated samples re‐veals mass‐dependent phonon renormalization linked to proton dynamics near oxygen va‐cancies, providing experimental insight into hydrogen‐coupled lattice excitations in proton ...
Artur Braun, Alexey Rulev, Nobumoto Nagasawa, Hongxin Wang, Tatyana Bendikov, Vladimir Pomjakushin, Martin Kunz, Yoshitaka Yoda, Qianli Chen, Stephen P. Cramer   +9 more
wiley   +1 more source

Physical and Sensing Properties of Aluminum-Doped Iron (III) Oxide Thin Films Deposited via Chemical Spray Pyrolysis

Proceedings of the International Conference on Applied Innovations in IT
Fe₂O₃:Al (1–3 at%) thin films were successfully grown on glass substrates at 400°C using the chemical spray pyrolysis (CSP) technique. The X-ray diffraction (XRD) patterns confirmed the formation of α-Fe₂O₃ with a prominent (104) peak, indicating high ...
Ameera Jwad Kadhm, Tahseen H. Mubarak, Reem Sami Ali, Shaymaa A. Hussein, Sami Salman Chiad, Nadir Fadhil Habubi, Yassin Hasan Kadhim   +6 more
doaj   +1 more source

An Introduction to the Kent C++CSP Library [PDF]

, 2003
This paper reports on a CSP library for C++, developed over the past year at the University of Kent. It is based on the OO-design and API of JCSP and the lightweight algorithms of KRoC occam, with extensions to exploit specific C++ capabilities (such as ...
Brown, Neil C.C., Welch, Peter H.
core  

Conformance relations for distributed testing based on CSP [PDF]

, 2011
Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems.
Gaudel, Marie-Claude, Ana Cavalcanti, Robert M. Hierons, Cavalcanti, Ana, Cavalcanti, A, Hierons, RM, Hierons, Robert,, Gaudel, MC, Hierons, Robert, M., Marie-Claude Gaudel   +9 more
core   +1 more source

Machine Learning Interatomic Potentials for Energy Materials: Architectures, Training Strategies, and Applications

Advanced Energy Materials, EarlyView.
Machine learning interatomic potentials bridge quantum accuracy and computational efficiency for materials discovery. Architectures from Gaussian process regression to equivariant graph neural networks, training strategies including active learning and foundation models, and applications in solid‐state electrolytes, batteries, electrocatalysts ...
In Kee Park, Saeed Pourasad, Jinhong Mun, Arunkumar Chitteth Rajan, Tae Hyeon Park, Anand Rohit, Mohammad Zafari, Tan‐Lien Pham, Eunjae Jung, Bonseung Koo, Miran Ha, Gi Beom Sim, Hyun Gyu Park, Won Woong Choi, Kwanghyeon Jo, Soohaeng Yoo Willow, David ChangMo Yang, Chang Woo Myung, Geunsik Lee, Kwang S. Kim   +19 more
wiley   +1 more source