Results 131 to 140 of about 1,020,940 (299)

In Memoriam Catherine Hundleby

Informal Logic, 2023
Informal Logic
doaj  

Breaking Bottlenecks in Solid Electrolyte Discovery With Large Artificial Intelligence Models

Advanced Materials, EarlyView.
Large AI models are presented as a route to break key bottlenecks in solid electrolyte discovery by linking materials databases, machine‐learning interatomic potentials, large language models, and autonomous experiments. This perspective highlights how AI can accelerate the identification of solid electrolytes with fast ion transport, stable interfaces,
Eric Jianfeng Cheng, Min Hong, Zhiquan Zeng, Chuanyu Liu, Qian Wang, Melissa Jane Meadowcroft, Vlad Badilita, Carlos Miguel Costa, Senentxu Lanceros‐Méndez, Ying Li, Chenyao Ma, Weibo Gong, Surendra Kumar Martha, Aloysius Soon, Piao Ma, Di Zhang, Teguh Ariyanto, Sudaryanto, Hiroshi Kakinuma, Jie Zhao, Jiayu Peng, Pengfei Ou, Jun Lu, Shin‐ichi Orimo, Hao Li   +24 more
wiley   +1 more source

In Memoriam: JOHN HOAGLUND 1936 – 2012

Informal Logic, 2012
Informal Logic
doaj   +3 more sources

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core  

Advances in Bio‐Integrated Edge Computing Systems for Smart and Connected Health

Advanced Materials, EarlyView.
This review explores advances in bio‐integrated edge computing for healthcare, focusing on co‐designing computing, sensing, and energy strategies to overcome integration and power challenges for optimized, decentralized operation. ABSTRACT Recent advances in bio‐integrated healthcare technologies have enabled continuous, high‐resolution monitoring and ...
Gyuwon Kim, Seungwon Yoo, Tae Woog Kang, Yunuo Huang, Woon‐Hong Yeo   +4 more
wiley   +1 more source

Z logic and its consequences [PDF]

, 2003
This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997 ...
Reeves, Steve, Henson, Martin C., Bowen, Jonathan P.   +2 more
core  

Bacteria‐Trained, MnO2‐Armored Dendritic Cells for Immunotherapy

Advanced Materials, EarlyView.
MnO2‐armored, bacteria‐trained dendritic cells undergo tumor‐responsive mechanical and immunological transformation. The nanocoating masks immune ligands and maintains a mechanically stiff, quiescent state during circulation, while the tumor microenvironment removes the armor and restores cellular deformability and immune accessibility.
Zhao Guo, Min Ge, Zesong Ruan, Tingwang Shi, Mahyar Mahmoudi, Soohwan An, Na Kong, Yunfeng Chen, Han Lin, Wei Tao   +9 more
wiley   +1 more source

The philosophy of logic [PDF]

, 2015
Read, Stephen
core   +2 more sources

Peirce Today: Ethics and Logic

, 2014
Talk on Peirce and his conception of evaluation and ...
Dostie Proulx, Pierre-Luc, Logic in Question   +1 more
core  

Second-order logic : ontological and epistemological problems [PDF]

, 2015
In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core