Results 281 to 290 of about 1,133,638 (315)

Metal‐Organic Nanosheet Gels: Hierarchically Porous Materials for Selective Loading and Differential Release

Advanced Functional Materials, EarlyView.
A suspension of metal‐organic nanosheets was centrifuged to form self‐healing gels with a hierarchically porous structure. The prepared gels were used to selectively capture small molecules from solutions and differentially release them based on their size and charge. Abstract Metal‐organic nanosheets (MONs) are intrinsically porous 2D materials with a
Jiangtian Tan, Jonathan A. Foster
wiley   +1 more source

Artificial Intelligence‐Driven Development in Rechargeable Battery Materials: Progress, Challenges, and Future Perspectives

Advanced Functional Materials, EarlyView.
AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu, Junyuan Lu, Jian Hui, Ziyuan Rao, Yang Ren, Hong Wang   +5 more
wiley   +1 more source

Aptamer Functionalized Hydrogel Dressings for Post‐Surgery Tumor Recurrence Inhibition and Tissue Reconstruction

Advanced Functional Materials, EarlyView.
Post‐surgical tumor therapy struggles with recurrence and inefficient healing. Anti‐tumor DNA aptamer functionalized gelatin hydrogels, Apt‐GelMA, simultaneously address both issues by suppressing tumor regrowth via targeted tumor cell inhibition and enhancing wound healing through improved cell adhesion and migration. Their biocompatibility, stability,
Tianyue Li, Xin‐Yi Qian, Zi‐Yuan Li, Hao‐Wen Li, Poh‐Ching Tan, Chenghuizi Hu, Jiajun Jin, Shuang‐Bai Zhou, Qing‐Feng Li, He Tian, Junji Zhang, Itamar Willner   +11 more
wiley   +1 more source

Bio‐Responsive Hydrogel for Targeted on‐Demand Release of a Phage Cocktail for Treatment of Pseudomonas aeruginosa Infection

Advanced Functional Materials, EarlyView.
This study presents an injectable hydrogel that responds to Pseudomonas aeruginosa infection by releasing a dual‐phage cocktail on demand. The system degrades selectively in infected wounds, enhances phage localization and stability, and shows potent antibiofilm activity and biocompatibility in an ex vivo human skin model—offering a promising strategy ...
Siyuan Tao, Anna Hu, Elnaz Bavel, Chien‐Hsun Yu, Sixuan Zhang, Vera Maria Kissling, Zhihao Li, Thomas Fintan Moriaty, Katharina Maniura‐Weber, Qun Ren   +9 more
wiley   +1 more source

Toward Robust Ionic Conductivity Determination of Sulfide‐Based Solid Electrolytes for Solid‐State Batteries

Advanced Functional Materials, EarlyView.
The ionic conductivity of a solid electrolyte is just the “tip of the iceberg”. There are many parameters to consider to quantify it reliably in powdered solid electrolyte samples. Abstract All‐solid‐state batteries (ASSBs) are taking the lead as the next‐generation energy storage systems, mainly to the development of new solid electrolytes with high ...
Fariza Kalyk, Lars Pescara, Marcel Drüschler, Nella M. Vargas‐Barbosa   +3 more
wiley   +1 more source

A naturalistic virtual reality task reveals difficulties in time-based prospective memory and strategic time-monitoring in children with ADHD. [PDF]

Sci Rep
Seesjärvi E, Zuber S, Joly-Burra E, Kliegel M, Salmi J.   +4 more
europepmc   +1 more source

References to unbiased sources increase the helpfulness of community fact-checks. [PDF]

Sci Rep
Solovev K, Pröllochs N.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

To model check or not to model check

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273), 2002
In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be viewed as ...
J. Baumgartner, Jacob A. Abraham, N. Saxena, A. Saha   +3 more
openaire   +2 more sources

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +4 more sources