Results 71 to 80 of about 17,271 (293)

X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites

Advanced Functional Materials, EarlyView.
We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim, Gayoung Seo, Seong Yeon Park, Juwon Jang, Yunho Ahn, Samiksha Mukesh Jain, Samrat Das Adhikari, Harumi Correa‐Leiva, Ignacio Utreras‐Asenjo, Oscar A. Douglas‐Gallardo, Carina Pareja‐Rivera, Kayoung Cho, Byeongsung Kim, Jhonatan Rodriguez‐Pereira, Eunseo Choi, JaeHong Park, Jin Ho Bang, Danilo H. Jara‐Quinteros, Sixto Giménez, Seog Joon Yoon, Andrés F. Gualdrón‐Reyes, Iván Mora‐Seró   +21 more
wiley   +1 more source

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Bulletin of the Section of Logic, 2020
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles
David Makinson
doaj   +1 more source

Logic program specialisation through partial deduction: Control Issues

, 2002
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core   +1 more source

Shellac‐Mediated Assembly of Nanoparticles for mRNA Delivery

Advanced Healthcare Materials, EarlyView.
A shellac‐mediated nanoparticle assembly strategy is presented, involving the complexation of mRNA and low‐molecular‐weight cationic molecules (e.g., polyethyleneimine, chitosan, lipids, and poly‐l‐lysine), followed by capping with shellac. This nanoparticle platform enables mRNA transfection following intravenous injection and facilitates gene editing
Meizhang Lu, Jingqu Chen, Zhixing Lin, Wanjun Xu, Tianzheng Wang, Shiyao Li, Die Yang, Frank Caruso   +7 more
wiley   +1 more source

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]

, 2009
We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core  

Microengineered Gradient Hydrogels for Mechanobiology

Advanced Healthcare Materials, EarlyView.
Gradient hydrogels are used to mimic the mechanical heterogeneity in native tissues, offering powerful in vitro platforms to study cell‐material interactions in diverse pathophysiological contexts. Here, we present a comprehensive review of the design and experimental considerations for stiffness gradient hydrogels, discussing exemplary achievements ...
Shin Wei Chong, Deepu Ashok, Anna Waterhouse, Marcela M. M. Bilek, Daniele Vigolo   +4 more
wiley   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory [PDF]

, 1996
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its ...
Cordes, M. A. Moritz, Reinmuth, Friedrich, Cordes, Moritz, Reinmuth, M. A. Friedrich, Vossenkuhl, Wilhelm   +4 more
core  

Role of Liquid Composition in the Transient Liquid Assisted Growth of Superconducting YBa2Cu3O7‐δ Films

Advanced Materials, EarlyView.
The Y supersaturation in the [Ba‐Cu(I/II)‐O] transient liquid composition is the driving force toward YBCO nucleation and growth in TLAG. Tuning the initial (Ba:Cu) molar ratio in the ink composition determines the YBCO epitaxial nucleation through supersaturation control.
Lavinia Saltarelli, Diana García, Laia Soler, Elzbieta Pach, Kapil Gupta, Daniel Sanchez‐Rodriguez, Jordi Aguilar, Víctor Fuentes, Eduardo Solano, Cristian Mocuta, Jordi Farjas, Xavier Obradors, Teresa Puig   +12 more
wiley   +1 more source

Large‐Area 2D Metasurface‐Based Triboelectric E‐Skin Arrays: Contact & Proximity Tactile Mapping with Broadband Acoustic Readouts

Advanced Materials, EarlyView.
Metasurface‐engineered NC‐TENG arrays integrate tactile pressure mapping, non‐contact gesture sensing, and acoustic signal readouts in one ultrathin module, and outperforms pristine PDMS in terms of electrical output and real‐time spatial mapping for next‐gen wearables.
Injamamul Arief, Swagato Sarkar, Anik Kumar Ghosh, Osvalds Verners, Kamal Kumar Meena, Su‐Hyeong Lee, Soosang Chae, Tobias A. F. König, Beate Krause, Andreas Fery, Mehmet Sait Özer, Anindya Nag, Amit Das   +12 more
wiley   +1 more source