Results 71 to 80 of about 87,998 (303)

Atom Probe Tomography as an Emerging Tool for Understanding Defect‑Driven Mechanisms in HfO2‑Based Ferroelectrics

Advanced Functional Materials, EarlyView.
This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad, Catherine Dubourdieu, Alexei Gruverman, Dennis Meier   +3 more
wiley   +1 more source

The meant and functions of mind in the Principles of Sunni jurisprudence

مطالعات تطبیقی فقه و اصول مذاهب, 2020
An important and challenging issue from the beginning of the history of Ijtihad is the role of mind in the inference of religious judgments. Some scholars in the Sunni have been able to find a useful role for it, far from excessive and worthless among ...
Navid Naghshbandi
doaj   +1 more source

Functional Differentiation of Type II and Type I Collagen Articular Models in Synovial Fluid Film Formation and Recombinant Equine Lubricin Retention

Advanced Functional Materials, EarlyView.
Collagen II coatings support the formation of synovial fluid nanofilms, while collagen I coatings do not. Both bind recombinant equine lubricin similarly. These findings may help explain articular cartilage surface joint dysfunction, inform biomaterial design for synovial joint repair, and expand on lubricin‐based osteoarthritis therapies.
Diego R. Jaramillo Pinto, Nicolas L. Mendoza, Syeda Tajin Ahmed, Yidan Wen, Lenka Vitkova, Spencer M. Witt, Kaleb A. Cutter, Ummay Honey, Matthew J. Paszek, Heidi L. Reesink, Lawrence J. Bonassar, Kevin De France, Roberto C. Andresen Eguiluz   +12 more
wiley   +1 more source

Labelled Deduction

, 2000
Preface - D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, L. Viganò. Labelled Proof Systems for Intuitionistic Provability - V. Balat, D. Galmiche. Normal Multimodal Logics with Interaction Axioms - M. Baldoni. The SAT Problem of Signed CNF Formulas
Vigano', Luca, D. M., Gabbay, S., Matthew, M., D’Agostino, D., Basin   +4 more
core   +1 more source

Normalization in Supernatural deduction and in Deduction modulo [PDF]

, 2007
Deduction modulo and Supernatural deduction are two extentions of predicate logic with computation rules. Whereas the application of computation rules in deduction modulo is transparent, these rules are used to build non-logical deduction rules in ...
Wack, Benjamin, Dowek, Gilles, Brauner, Paul   +2 more
core   +3 more sources

Bulk‐Like Spin Cycloid and Fast Switching in Freestanding BiFeO3

Advanced Functional Materials, EarlyView.
Freestanding BiFeO3 membranes overcome substrate‐induced constraints by simultaneously restoring the intrinsic bulk‐like spin cycloid and enabling ≈50% faster ferroelectric switching than substrate‐clamped epitaxial thin films. This combination of robust noncollinear antiferromagnetic order and efficient electric‐field switching establishes ...
Pratap Pal, Xiaoxi Deng, Gi‐Yeop Kim, Kyoungjun Lee, Jheng‐Cyuan Lin, Prithwijit Mandal, Jiangfeng Yang, Paul Steadman, Pascal Manuel, Roger D. Johnson, Si‐Young Choi, Paolo G. Radaelli, Chang‐Beom Eom   +12 more
wiley   +1 more source

Photo‐Switchable Molecular Module Programming PET Biodegradation in Aquatic Environments

Advanced Functional Materials, EarlyView.
We address the plastic durability paradox by integrating an itaconic acid–derived pyrrolidone module into polymer backbones. Sunlight in water triggers Norrish Type I ring‐opening and hydrophilization, enabling rapid biodegradation into nontoxic minerals.
Mohammad Asif Ali, Jixin Zheng, Satoshi Wakai, Jie Liu, Hidetaka Nomaki, Misato Tsukatani, Noriyuki Isobe, Jingcheng Sang, Yuriko Aoki, Hideo Okamura, Daisuke Sasaki, Chiaki Ogino, Yuzo Yamazaki, Takashi Nishikaze, Kenji Takada, Maiko K. Okajima, Tatsuo Kaneko   +16 more
wiley   +1 more source

ARGUMENTATION OF PROCEDURAL DOCUMENTS WITHIN THE FRAMEWORK OF THE CRIMINAL PROSECUTION [PDF]

Legea și Viața
This article is dedicated to the analysis of the role and importance of the argument of procedural acts in criminal proceedings. The article highlights the importance of persuasive argumentation and motivation of procedural acts in each phase of the ...
Sofia PILAT, Artiom PILAT
doaj   +1 more source

Deduction chains for common knowledge [PDF]

, 2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula ϕ, the deduction chains of ϕ are built up by systematically decomposing ϕ into its subformulae.
Kretz, Mathis, Studer, Thomas
core   +1 more source

Decoupling the Size and Loading Effects in Silver Nanoparticles for Efficient Paired Carbon Dioxide and Formaldehyde Electrolysis

Advanced Functional Materials, EarlyView.
We investigate size‐dependent CO selectivity on Ag nanoparticles, where optimized Ag loading achieves nearly 100% Faradaic Efficiency for CO at −100 mA·cm−2. In situ SERS and XPS reveal the crucial role of optimized loading in catalytic performance. The Ag/C catalyst further exhibits bifunctional activity, enabling efficient electrolysis of CO2 and ...
Venkata S. R. K. Tandava, Clara Große, Debabrata Bagchi, Zhenye Zhu, Suptish Ghosh, J. Niklas Hausmann, Carsten Walter, Rosario Suarez Anzorena, Catalina Elena Jimenez, Yasmin Lucero Cobos‐Becerra, Jack C. Q. Fletcher, Tobias Sontheimer, Michael Schwarze, Holger Dau, Matthias Driess, Marcus Bär, Prashanth W. Menezes   +16 more
wiley   +1 more source