Results 31 to 40 of about 58,074 (157)

Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders

Advanced Functional Materials, EarlyView.
This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao, Zhengyang Cao, Guangjun Zhong, Limin Shi, Junxia Xie, Jianhua Hao   +5 more
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

Does Treewidth Help in Modal Satisfiability?

, 2010
Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance.
A. Herzig, B. Cate ten, B. Courcelle, E. Fischer, G. Pan, G. Pan, H. Chen, H.L. Bodlaender, H.L. Bodlaender, I. Adler, J. Flum, J.H. Reif, J.Y. Halpern, J.Y. Halpern, M. Fellows, M. Grohe, M. Samer, M.Y. Vardi, P. Blackburn, P. Enjalbert, R. Fagin, R.E. Ladner, V. Dalmau, V.R. Pratt, Y. Kazakov   +24 more
core   +1 more source

Strong Stabilization of Co Nanoparticles by CeO2‐x Clusters in Inverse CeOx/Co Catalysts for Enhanced CO2 Methanation

Advanced Materials, EarlyView.
Inverse CeOx/Co catalysts are promising new materials for CO2 methanation. Operando spectroscopy reveals that small, reducible CeO2‐x clusters effectively stabilize Co nanoparticles from sintering during H2 reduction and promote CO2 activation at the Co‐CeO2 interface.
Yu Gao, Valery Muravev, Yonghui Fan, Hao Zhang, Jorden Wagemakers, Alexander Parastaev, Nikolay Kosinov, Emiel J. M. Hensen   +7 more
wiley   +1 more source

Ultrasonic Spray Pyrolysis of Functional Zn─Sn─O Matrix Semiconductors: Stoichiometric Design for Enhanced Acetone Selectivity in VOC Sensing

Advanced Materials Interfaces, EarlyView.
Zn–Sn–O thin films synthesized via ultrasonic spray pyrolysis reveal tunable phase evolution and enhanced acetone selectivity. Integrating DFT insights with machine learning predictions uncovers the role of stoichiometric control and oxygen vacancies in VOC sensing.
Kevin Rueda‐Castellanos, María de la Luz Olvera‐Amador, José A. Henao‐Martínez, Marisol Bermúdez‐Montaña, Rajesh Roshan‐Biswal, Brenda García‐Farrera, Venkata K. K. Tangirala   +6 more
wiley   +1 more source

Quantified Propositional Gödel Logics [PDF]

, 2000
It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S.
Baaz, Matthias, Ciabattoni, Agata, Zach, Richard   +2 more
core   +2 more sources

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

, 2018
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable.
Rybakov, Mikhail, Shkatov, Dmitry
core   +1 more source

La macro-proposition : unité compositionnelle variable

Semen, 2013
Dans cet article nous présentons une réflexion sur la composition et la segmentation textuelle au delà du niveau de la phrase. Après un examen de plusieurs approches, nous concentrons notre étude sur la place et les fonctions de la macro-proposition, unité centrale et intermédiaire entre proposition et séquence.
openaire   +2 more sources

An Introduction to Critical Thinking and Symbolic Logic Volume 1: Formal Logic [PDF]

, 2017
This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have benefited from such great students and colleagues over the years.
Ferreira, Rebeka, Ferrucci, Anthony
core  

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

, 2018
Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems.
Creignou, Nadia, Pichler, Reinhard, Woltran, Stefan   +2 more
core   +3 more sources