Results 81 to 90 of about 49,509 (302)

Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3

Advanced Functional Materials, EarlyView.
Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta, Rosemary Wynnychenko, Binayak Mukherjee, Jack Kaman, Hrushikesh Sahasrabuddhe, Jiongzhi Zheng, Anubhav Jain, Geoffroy Hautier, Alexandra Zevalkink, Evan Musterman, Volkmar Dierolf, Himanshu Jain, G. Jeffrey Snyder, Oluwaseyi Balogun   +13 more
wiley   +1 more source

On the calculus of positively constructed formulas for authomated theorem proving

Моделирование и анализ информационных систем, 2010
The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin   +2 more
doaj  

A clausal resolution method for extended computation tree logic ECTL [PDF]

, 2004
A. Bolotov
openalex   +1 more source

Memristive Oscillatory Circuits for Resolution of NP-Complete Logic Puzzles: Sudoku Case [PDF]

, 2020
Theodoros Panagiotis Chatzinikolaou, Iosif-Angelos Fyrigos, Rafailia-Eleni Karamani, Vasileios Ntinas, Giorgos Dimitrakopoulos, Sorin Cotöfană, Georgios Ch. Sirakoulis   +6 more
openalex   +1 more source

Resolution theorem proving in reified modal logics

Journal of Automated Reasoning, 1994
Non-classical logical systems are usually defined axiomatically. Set of axioms together with inference rules and rules of necessitation define a particular logic. An alternative approach is to define the semantics of the modal or temporal logic in first-order logic. This is known as the reified approach.
Aitken, J., Reichgelt, H., Shadbolt, N. R.   +2 more
openaire   +4 more sources

Analysis of the Electrochemical Stability of Sulfide Solid Electrolyte Dry Films for Improved Dry‐Processed Solid‐State Batteries

Advanced Functional Materials, EarlyView.
An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner, Sahin Cangaz, Felix Hippauf, Susanne Dörfler, Burak Aktekin, Thomas Meyer, Anja Henss, Thomas Abendroth, Holger Althues, Jürgen Janek, Stefan Kaskel   +10 more
wiley   +1 more source

A clausal resolution method for branching-time logic ECTL [PDF]

, 2004
A. Bolotov, Artie Basukoski
openalex   +1 more source

Synchronized Electro‐Chromo‐Emissive Devices Using a Mixed Ionic‐Electronic Conductive Layer for XR Applications

Advanced Functional Materials, EarlyView.
A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang, Sienoh Park, Won‐Jae Joo, Jinbo Kim, Nori Kobayashi, Eunkyoung Kim   +5 more
wiley   +1 more source

Novel Bioconjugate Materials: Synthesis, Characterization and Medical Applications

Advanced Healthcare Materials, EarlyView.
This review discusses the bioconjugation of novel materials grouped under “biological”, “hybrid” and “synthetic” categories. Medical applications ranging from cancer therapy and diagnostics to optogenetics and tissue engineering are explored, and conjugation trends are highlighted as a general guide. The review concludes with a comparison of techniques
Ellie Martin, Sean P. Doidge, Eiman Aleem, Suela Kellici, Steven Dunn, Claire Atkinson, Philip D. Howes   +6 more
wiley   +1 more source

Integration of gene normalization stages and co-reference resolution using a Markov logic network [PDF]

, 2011
Hong-Jie Dai, Yen−Ching Chang, Richard Tzong‐Han Tsai, Wen−Lian Hsu   +3 more
openalex   +1 more source