Results 61 to 70 of about 133,077 (308)

Engineering Porous Hollow Metal‐Poly(Heptazine Imide) Spheres: An Optimized Synthetic Strategy for Controlling Surface, Morphology, and Properties

Advanced Functional Materials, EarlyView.
Hollow poly(heptazine imide) spheres are prepared through a novel approach that integrates hard templating with ionothermal synthesis. This method enables precise control over surface area, pore volume, hydrophilicity, light absorption, band position, and metal composition. These tunable properties facilitate the customized design of semiconductors for
Lingli Ni, Erik Troschke, Henrik Vorwerk, Shiva Shahbazi Avarvand, Andreas Stihl, Nadzeya Brezhneva, Marius Hermesdorf, Desirée Leistenschneider, Felix H. Schacher, Jacob Schneidewind, Martin Oschatz   +10 more
wiley   +1 more source

Non Thermal‐Driven Photocatalytic Ammonia Decomposition at Near‐Room Temperature on a Plasmonic Nanocone Array

Advanced Functional Materials, EarlyView.
Plasmonic photocatalytic ammonia decomposition occurs at near‐room temperature on a plasmonic Au nanocone array under visible light illumination. The nanostructure efficiently harnesses plasmonic modes, leading to increased reaction rates upon plasmon decay.
Thanh‐Lam Bui, S. M. Hossein Hejazi, Jan Navrátil, Hana Kmentová, Petr Bábor, Olivier Henrotte, Luca Mascaretti, Matteo Bisetto, Stephen K. Sanders, Andrea Schirato, Michal Otyepka, Piotr Błoński, Tiziano Montini, Radek Zboril, Paolo Fornasiero, Alessandro Alabastri, Alberto Naldoni, Stepan Kment   +17 more
wiley   +1 more source

Next‐Generation Bio‐Reducible Lipids Enable Enhanced Vaccine Efficacy in Malaria and Primate Models

Advanced Functional Materials, EarlyView.
Structure–activity relationship (SAR) optimization of bio‐reducible ionizable lipids enables the development of highly effective lipid nanoparticle (LNP) mRNA vaccines. Lead LNPs show superior tolerability and antibody responses in rodents and primates, outperforming approved COVID‐19 vaccine lipids.
Ruben De Coen, Sabah Kasmi, Shrinivas Dumbre, Lies Baekens, Elise Seynaeve, Louise Van den Hauwe, Niccolò Cantini, Aello Garantoudi, Filipe Branco Madeira, Alain Marrot, Emma Tuypens, Sofie Seghers, Anna Kuchmiy, Elisabeth Brabants, Bart Vanderborght, Ine Maes, Sarah Vandenberghe, Jessica Filtjens, Alícia Gordún Peiró, Daliya Kancheva, Ayla Debraekeleer, Florence Lambolez, Emily De Lombaerde, Yong Chen, Rafael Miyazawa Martins, Pauline Formaglio, Damya Laoui, Sofie Deschoemaeker, Bruno G. De Geest, Rogerio Amino, Stefaan De Koker   +30 more
wiley   +1 more source

Theorem proving support in programming language semantics [PDF]

, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources

Reasoning about modular datatypes with Mendler induction

, 2015
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Schrijvers, Tom, Torrini, Paolo
core   +2 more sources

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models

BMC Bioinformatics, 2011
Background Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequence alignments (MSA), including all positions.
Carbone Alessandra, Bernardes Juliana S, Zaverucha Gerson   +2 more
doaj   +1 more source

Preuniversity Students' Perceptions and Attitudes About an Anatomy and Physiology Outreach Program: Survey Study and Inductive Thematic Analysis (Preprint) [PDF]

, 2023
Ranganath Vallabhajosyula, Vivek Perumal, Ramya Chandrasekaran, Sreenivasulu Reddy Mogali   +3 more
openalex   +1 more source

Assessing the contribution of shallow and deep knowledge sources for word sense disambiguation

, 2010
Corpus-based techniques have proved to be very beneficial in the development of efficient and accurate approaches to word sense disambiguation (WSD) despite the fact that they generally represent relatively shallow knowledge.
C. Fellbaum, D. Yarowsky, Lucia Specia, M. Stevenson, Maria das Graças Volpe Nunes, Mark Stevenson, S. Muggleton, S. Muggleton, S. Muggleton, S. Muggleton, Y. Wilks   +10 more
core   +1 more source

Highly Selective Toward HER or CO2RR by Regulating Cu Single and Dual Atoms on g‐C3N4

Advanced Functional Materials, EarlyView.
This systematic study provides insights into the design of electrocatalysts for hydrogen evolution reaction (HER) and carbon dioxide reduction (CO2RR). It serves as a useful guide for tuning catalyst architecture toward efficient multifunctional performance by varying synthetic parameters, demonstrating the impact of copper (Cu) species ranging from ...
Wan‐Ting Chen, Hung Wei Shiu, Yu‐Xun Chen, Erdembayalag Batsaikhan, Yu‐Ling Lai, Su Ling Cheng, Tohru Araki, Jyh‐Fu Lee, Michitoshi Hayashi, Yao‐Jane Hsu   +9 more
wiley   +1 more source