Results 41 to 50 of about 6,419 (111)

An Enzyme‐Like Catalyzed Nanosheets for Redox Stress Oscillation Therapy Against Bacterial Infections

Advanced Science, EarlyView.
Bacterial biofilms form a physicochemical barrier. Their dense network structure and redox homeostasis confer high resistance to antimicrobial treatments and immune‐mediated killing and clearance. In this study, SnSe nanosheets with enzyme‐like properties and piezoelectric catalysis can oscillate to regulate bacterial redox homeostasis and improve the ...
Min Ge, Zhao Guo, Zhiming Zhang, Lanlu Lu, Zesong Ruan, Tingwang Shi, Yunfeng Chen, Ju Huang, Chaoliang Tan, Han Lin   +9 more
wiley   +1 more source

High-level Counterexamples for Probabilistic Automata [PDF]

, 2015
Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the ...
Jansen, Nils, Katoen, Joost-Pieter, Wimmer, Ralf, Ábrahám, Erika   +3 more
core   +1 more source

Copper Contact for Perovskite Solar Cells: Properties, Interfaces, and Scalable Integration

Advanced Energy and Sustainability Research, EarlyView.
Copper electrodes, as low‐cost, scalable contacts for perovskite solar cells, offer several advantages over precious metals such as Au and Ag, including performance, cost, deposition methods, and interfacial engineering. Copper (Cu) electrodes are increasingly considered practical, sustainable alternatives to noble‐metal contacts in perovskite solar ...
Shuwei Cao, Jianyong Han, Xiaohu Zhao, Yaming Yu, Peng Gao   +4 more
wiley   +1 more source

Internet of Things‐Based Framework Application at a University Campus Scale: Linking Smart Monitoring Systems and Stormwater Management

Advanced Intelligent Discovery, EarlyView.
This study presents an Internet of Things‐based stormwater monitoring framework piloted at the University of Maryland campus to support Municipal Separate Stormwater Sewer System compliance and adaptive planning. Developed with key campus stakeholders, the framework integrates real‐time sensor deployment, data‐informed insights on runoff and water ...
Qianyao Si, Priscila B. R. Alves, Mitchell A. Pavao‐Zuckerman, Allen P. Davis, Tara Burke, Bryan S. Quinn, Elizabeth M. Bonsignore, Jennifer A. Cotting, Jason Baer, Kaitlyn Peterson, Pierre Gaunaurd, Tamara L. Clegg, David Loshin, Andrew M. Fellows, Taylor Keen, Gerrit J. Knaap, Marccus D. Hendricks   +16 more
wiley   +1 more source

How to Work with Honest but Curious Judges? (Preliminary Report) [PDF]

, 2009
The three-judges protocol, recently advocated by Mclver and Morgan as an example of stepwise refinement of security protocols, studies how to securely compute the majority function to reach a final verdict without revealing each individual judge's ...
Pang, Jun, Zhang, Chenyi
core   +3 more sources

The Versatility of Imidazole and Imidazolium Scaffolds in Sustainable Chemistry and Energy Conversion

Helvetica Chimica Acta, EarlyView.
This review highlights the expanding applications of imidazole‐based compounds in sustainable chemistry and energy technologies. It emphasizes their roles in catalysis, solar cells, and future interdisciplinary strategies for developing advanced functional materials.
Lianghui Li, Shun Tian, Enze Xu, Zhaofu Fei, Paul J. Dyson   +4 more
wiley   +1 more source

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes [PDF]

, 2013
We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterminism.We provide two different interpretations for PML by considering ...
Bernardo, Marco, De Nicola, Rocco, Loreti, Michele   +2 more
core   +2 more sources

Computational design of two‐dimensional MA2Z4 family field‐effect transistor for future Ångström‐scale CMOS technology nodes

InfoMat, EarlyView.
Two‐dimensional MA2Z4 such as MoSi2N4 offer a new path to extend transistor scaling beyond the limits of silicon. Due to their exceptional properties, these 2D semiconductors are promising candidates for future Ångström‐scale CMOS technology. This review outlines the computational design and roadmap bridging materials discovery, device design and ...
Che Chen Tho, Zongmeng Yang, Shibo Fang, Shiying Guo, Liemao Cao, Chit Siong Lau, Fei Liu, Shengli Zhang, Jing Lu, L. K. Ang, Lain‐Jong Li, Yee Sin Ang   +11 more
wiley   +1 more source

Branching-time model checking of one-counter processes [PDF]

, 2009
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CTL) over OCPs. A PSPACE upper bound is inherited from the modal mu-calculus
Göller, Stefan, Lohrey, Markus
core   +4 more sources

Advances and Prospects of Stereotactic Radiosurgery and Stereotactic Ablative Body Radiotherapy: Evolving Paradigms in Precision Oncology

Med Research, EarlyView.
The graphical abstract outlines the progressive development and impact of stereotactic radiosurgery (SRS) and stereotactic body radiotherapy (SBRT). Technological Evolution illustrates the transition from brachytherapy with single‐dose, LDR/HDR schedules to fractionated radiotherapy, three‐dimensional conformal radiotherapy (3DCRT) and Gamma Knife ...
Jing Zhang, Wenhao Xu, Weiqing Lu, Yingxuan Lin, Luoxi He, Zonglin Lv, Yiliyaer Nuerrula, Zouting, Zhen Zhang, Hailiang Zhang, Xuejun Ma   +10 more
wiley   +1 more source