Results 71 to 80 of about 98,345 (280)

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads [PDF]

, 2010
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some fixed number of ...
Ahmed Bouajjani, Anna Philippou, Bruno Courcelle, Byron Cook, Daniel Kroening, and Natasha, Byron Cook, Daniel Kroening, and Natasha, Charles Rackoff, G. Geeraerts, J. F. Raskin, and L. Van B, G. Ramalingam, Iain A. Stewart, Mohamed Atig, Shaz Qadeer   +10 more
core   +1 more source

Atomic Size Misfit for Electrocatalytic Small Molecule Activation

Advanced Functional Materials, EarlyView.
This review explores the application and mechanisms of atomic size misfit in catalysis for small molecule activation, focusing on how structural defects and electronic properties can effectively lower the energy barriers of chemical bonds in molecules like H2O, CO2, and N2.
Ping Hong, Changfan Xu, Huaping Zhao, Yong Lei   +3 more
wiley   +1 more source

Revealing Majorana Fermion states in a superfluid of cold atoms subject to a harmonic potential [PDF]

, 2012
We here explore Majorana Fermion states in an s-wave superfluid of cold atoms in the presence of spin-orbital coupling and an additional harmonic potential. The superfluid boundary is induced by a harmonic trap.
Wang, Z. D., Zhou, Tao
core   +2 more sources

Copper‐based Materials for Photo and Electrocatalytic Process: Advancing Renewable Energy and Environmental Applications

Advanced Functional Materials, EarlyView.
Cu‐based catalysts as a cornerstone in advancing sustainable energy technologies are fully reviewed in this manuscript, highlighting their potential in photo‐ and electrocatalysis. It includes metallic copper, copper oxides, copper sulfides, copper halide perovskites, copper‐based metal–organic frameworks (MOFs), and covalent organic frameworks (COFs),
Jéssica C. de Almeida, Yanjie Wang, Thais A. Rodrigues, Paulo H. H. Nunes, Vagner R. de Mendonça, Paulo H. E. Falsetti, Leticia V. Savazi, Tao He, Alexandra V. Bardakova, Aida V. Rudakova, Jie Tian, Alexei V. Emeline, Osmando F. Lopes, Antonio Otavio T. Patrocínio, Jia Hong Pan, Caue Ribeiro, Detlef W. Bahnemann   +16 more
wiley   +1 more source

Enhancing CoFe Catalysts with V2CTX MXene‐Derived Materials for Anion Exchange Membrane Electrolyzers

Advanced Functional Materials, EarlyView.
MXene dervied CoFe composites show increased initial Oxygen Evolution Reaction (OER) activity compared to the pure CoFe and MXene in an Anion Exchange Membrane device. Vanadium vacancies in the MXene plays a role in increased OER activity and hinders Fe leaching in the AEM device over using the pure V2C MXene as a support material for the CoFe ...
Can Kaplan, Karuppasamy Dharmaraj, Thorsten Schultz, Leiqiang Qin, Ningjun Chen, Danielle A. Douglas‐Henry, Bastian Schmiedecke, Merve Buldu‐Akturk, Axel Zuber, Iris Dorbandt, Maximilian Reinhardt, Yael Rodriguez‐Ayllon, Yan Lu, Valeria Nicolosi, Norbert Koch, Johanna Rosen, Michelle P. Browne   +16 more
wiley   +1 more source

Are patients with marfans syndrome undergoing total joint arthroplasty at increased risk for revision surgery?

Journal of Orthopaedic Reports
Introduction: Marfan Syndrome (MFS) presents unique challenges for total joint arthroplasty (TJA), yet its long-term outcomes are not well-documented. This study aimed to assess whether MFS patients are more likely to require revision compared to those ...
Sanjay Kubsad, Victoria Bergstein, Philip M. Parel, Arman Kishan, Shyam Kurian, Andrew B. Harris, Gregory J. Golladay, Savyasachi C. Thakkar   +7 more
doaj   +1 more source

Aortic and Cardiac Structure and Function Using High-Resolution Echocardiography and Optical Coherence Tomography in a Mouse Model of Marfan Syndrome. [PDF]

PLoS ONE, 2016
Marfan syndrome (MFS) is an autosomal-dominant disorder of connective tissue caused by mutations in the fibrillin-1 (FBN1) gene. Mortality is often due to aortic dissection and rupture.
Ling Lee, Jason Z Cui, Michelle Cua, Mitra Esfandiarei, Xiaoye Sheng, Winsey Audrey Chui, Michael Haoying Xu, Marinko V Sarunic, Mirza Faisal Beg, Cornelius van Breemen, George G S Sandor, Glen F Tibbits   +11 more
doaj   +1 more source

Enhancing Direct Solar Water Splitting via ALD of Multifunctional TiO2/Pt Nanoparticle Coatings With Engineered Interfaces to GaAs/GaInP Tandem Cells

Advanced Functional Materials, EarlyView.
Multifunctional atomic layer deposited coatings and interface treatments enhance direct solar water splitting on GaAs/GaInP tandem cells. Optimized TiO2/Pt nanoparticle bilayers ensure durability and catalytic efficiency with minimal optical losses, while H2 plasma pretreatments maximize photovoltage and interfacial charge extraction.
Tim F. Rieth, Verena Streibel, Oliver Bienek, Sergej Levashov, Johannes Dittloff, Kristof Möller, Johanna Eichhorn, Matthias M. May, Ian D. Sharp   +8 more
wiley   +1 more source

Chronic microfiber exposure in adult Japanese medaka (Oryzias latipes).

PLoS ONE, 2020
Microplastic fibers (MFs) pollute aquatic habitats globally via sewage release, stormwater runoff, or atmospheric deposition. Of the synthetic MFs, polyester (PES) and polypropylene (PP) are the most common.
Lingling Hu, Melissa Chernick, Anna M Lewis, P Lee Ferguson, David E Hinton   +4 more
doaj   +1 more source

DNA loci cross-talk through thermodynamics [PDF]

, 2009
The recognition and pairing of specific DNA loci, though crucial for a plenty of important cellular processes, are produced by still mysterious physical mechanisms.
Nicodemi, Mario, Scialdone, Antonio
core   +6 more sources