Results 121 to 130 of about 268,099 (291)

Model‐Driven Optimization of Subcutaneous Polymer Prodrugs Achieves Cancer Remission in Mice

Advanced Healthcare Materials, EarlyView.
A pharmacokinetics/pharmacodynamics (PK/PD) model was developed to evaluate multiple dosing regimens for subcutaneously administered water‐soluble polymer prodrug for cancer therapy. The model enabled prediction of in vivo performance and contributed to the optimization of anticancer efficacy.
Anne Rodallec, Randy Lee, Jingming Cao, Sophie Marolleau, Julien Nicolas, Sébastien Benzekry   +5 more
wiley   +1 more source

Loop closure detection of visual SLAM based on variational autoencoder

Frontiers in Neurorobotics
Loop closure detection is an important module for simultaneous localization and mapping (SLAM). Correct detection of loops can reduce the cumulative drift in positioning.
Shibin Song, Fengjie Yu, Xiaojie Jiang, Jie Zhu, Weihao Cheng, Xiao Fang   +5 more
doaj   +1 more source

Artificial Intelligence‐Assisted Workflow for Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling

Advanced Materials, EarlyView.
AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll, Ivan Pinto‐Huguet, Enzo Rotunno, Thomas Galvani, Catalina Coll, Payam Habibzadeh Kavkani, Maria Chiara Spadaro, Yann‐Michel Niquet, Martin Børstad Eriksen, Sara Martí‐Sánchez, Georgios Katsaros, Giordano Scappucci, Peter Krogstrup, Giovanni Isella, Andreu Cabot, Gonzalo Merino, Pablo Ordejón, Stephan Roche, Vincenzo Grillo, Jordi Arbiol   +19 more
wiley   +1 more source

Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy

Advanced Materials, EarlyView.
Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa, Gracia Mendoza, Silvia Irusta, Manuel Arruebo   +3 more
wiley   +1 more source

Beyond Presumptions: Toward Mechanistic Clarity in Metal‐Free Carbon Catalysts for Electrochemical H2O2 Production via Data Science

Advanced Materials, EarlyView.
Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu, Hsi‐wen Wu, Xiao Wang, Jie Zhang   +3 more
wiley   +1 more source

High Light Utilization and Color Rendering in Vacuum‐Deposited Semitransparent Perovskite Solar Cells

Advanced Materials, EarlyView.
In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal, Manuel Romero, Lennart van den Hengel, Nathan Rodkey, Kassio P. S. Zanoni, Gabriel Lozano, Cristina Roldán‐Carmona, Michele Sessolo, Hernán Míguez, Henk J. Bolink   +9 more
wiley   +1 more source

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +1 more source

Integrating Vibrio natriegens for Photon Manipulation in Living Lighting Devices

Advanced Materials, EarlyView.
Rationalization of genetic and material engineering tools has enabled the engineering of fluorescent Vibrio natriegens (V. natriegens) to fabricate straightforward, highly emissive and stable V. natriegens‐silicones color filters for the first red‐emitting bacteria‐hybrid light‐emitting diodes. This pinpoints V. natriegens as a high‐performance protein
Stephanie Willeit, Maurice Hädrich, Philippe‐Quentin Liss, Valeria Rodriguez Espinoza, Nicklas Maximilian Foerster, Bastian Blombach, Rubén D. Costa   +6 more
wiley   +1 more source

Inferring Termination Conditions for Logic Programs using Backwards Analysis

, 2003
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalises traditional termination analysis where an analyser tries to verify termination for a specified mode.
Codish, Michael, Genaim, Samir
core   +2 more sources

Check character systems over quasigroups and loops

, 2003
In this paper we survey the known results concerning check character or digit systems with one check character based on quasigroups loops, groups. These are codes with one control symbol detecting errors of speci_c types. This survey includes the following sections: 1. Introduction. 2. Check character systems over groups. 3.
Belyavskaya, G.B., Izbaş, V.I., Izbash, V., Şcerbacov, V.A., Shcherbacov, V.A.   +4 more
openaire   +1 more source