Results 41 to 50 of about 2,429 (237)

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

THE PHILOSOPHY OF INTUITIONIST MATHEMATICS

Advanced Engineering Research, 2006
The article covers the main problems of intuitionist mathematics which appeared in the late 19th century-early 20th century. Among them are the problems of existence in mathematics, the problem of substantiation of mathematics, epistemological methods of
S.I. MASALOVA
doaj  

Sources of Pamfil Yurkevych’s Philosophical and Religious Concept of the Heart [PDF]

Pharos Journal of Theology
The purpose of the study is to identify the features of philosophical and religious understanding of cognition in the concept Pamfil Yurkevych. An analysis of the primary sources containing his key ideas is conducted.
Vitalii Ihnatiev, Volodymyr Grytsyshyn, Mariia Grytsyshyna, Iryna Panchuk, Andrii Bobryk   +4 more
doaj   +1 more source

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

Bulletin of the Section of Logic, 2020
We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics.
Satoru Niki
doaj   +1 more source

Phase Diagrams Enable Solid‐State Battery Design

Advanced Materials Interfaces, EarlyView.
Batteries are non‐equilibrium devices with inherent thermodynamic driving forces to react at interfaces, regardless of kinetics or operating conditions. Chemical potential mismatches across interfaces are dissipated via interfacial reactions. In this work, it is illustrated how phase diagrams and chemical potential maps predict degradation pathways but
Nathaniel L. Skeele, Matthias T. Agne
wiley   +1 more source

THE PHILOSOPHY OF INTUITIONIST MATHEMATICS

Вестник Донского государственного технического университета, 2018
The article covers the main problems of intuitionist mathematics which appeared in the late 19th century-early 20th century. Among them are the problems of existence in mathematics, the problem of substantiation of mathematics, epistemological methods of
S.I. MASALOVA
doaj  

Matemática, física y realidad en la obra de Manuel Atria

Síntesis. Revista de Filosofía
The interests of the Chilean engineer and philosopher Manuel Atria Ramírez cover a variety of subjects and disciplines, but most of his published work focuses on philosophy of mathematics and physics.
Juan Eduardo Carreño Pavez, Isidora Puga Serrano, Alejandro Serani Merlo   +2 more
doaj   +1 more source

 Towards the Philosophy of the Lwów School of Mathematics

Philosophia Scientiæ, 2023
The philosophy of scientific research does not always correlate with the declared philosophical views of researchers. In the light of this, we look at the activities of the interwar Lwów School of Mathematics whose leaders were Stefan Banach and Hugo ...
Mykhailo Zarichnyi (Михайло Зарічний)
doaj   +1 more source

Mapping Correlated Environmental Landscapes in the Fluorescence Response of a Pyrenylated Charge‐Transfer Probe via Data‐Driven Nonlinear Regression

Advanced Materials Interfaces, EarlyView.
A pyrenylated donor–acceptor probe exhibits environment‐dependent fluorescence governed by intramolecular charge transfer, restricted molecular motion, and supramolecular organization. Nonlinear regression accurately reconstructs fluorescence responses to viscosity, temperature, concentration, and pH, while correlated parameter maps reveal hidden ...
Harshal V. Barkale, Anakhi Hazarika, Nilanjan Dey   +2 more
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source