Results 91 to 100 of about 11,095,469 (278)
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
Advanced Materials, EarlyView.This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao +3 more
wiley +1 more source
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
Advanced Materials, EarlyView.Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin +7 more
wiley +1 more source
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +1 more source
Advanced Materials, EarlyView.Cancer‐associated NPC remodeling creates a high‐flux, low‐stringency nuclear state that supports malignant adaptation but increases mechanical fragility. Targeting the FG‐barrier or NPC scaffold may drive mechanostat failure, envelope rupture, DNA damage, and loss of nuclear integrity.
Sílvio Terra Stefanello +5 more
wiley +1 more source
Advanced Materials, EarlyView.Aqueous ammonium‐ion batteries (AAIBs) face a hydrogen‐bond paradox: the HB network enables fast NH4+ transport but triggers water decomposition. This review dissects this dilemma, evaluates multiple electrolyte engineering strategies, and outlines four future directions for next‐generation AAIB design ABSTRACT Aqueous ammonium‐ion batteries (AAIBs ...
Zi‐Hang Huang +6 more
wiley +1 more source
Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
Advanced Materials, EarlyView.Water harvesting, radiative cooling, and interfacial solar evaporation are fundamentally governed by coupled heat, mass, and light transport processes. These processes are mediated by pore architecture, including pore size, connectivity, and hierarchical organization.
Dejan J. Trajkovski +5 more
wiley +1 more source
Connection-based Theorem Proving in Classical and Non-classical Logics
, 1999 : We present a uniform procedure for proof search in classical logic, intuitionistic logic, various modal logics, and fragments of linear logic. It is based on matrix characterizations of validity in these logics and extends Bibel's connection ...
Otten, Jens +6 more
core +1 more source