Results 111 to 120 of about 1,004,933 (340)

Doing and Showing [PDF]

, 2011
The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques.
Rodin, Andrei
core   +2 more sources

Beauty and Wellness in the Semantic Memory of the Beholder. [PDF]

Front Psychol, 2021
Kenett YN, Ungar L, Chatterjee A.
europepmc   +1 more source

High‐Entropy Perovskite Nanofibers for Bifunctional Air Electrodes in Reversible Protonic Ceramic Electrochemical Cells

Advanced Functional Materials, EarlyView.
High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim, Incheol Jeong, Seeun Oh, Dongyeon Kim, Kang Taek Lee   +4 more
wiley   +1 more source

A non reductionist logicism with explicit definitions [PDF]

, 2013
This paper introduces and examines the logicist construction of Peano Arithmetic that can be performed into Leśniewski’s logical calculus of names called Ontology.
Joray, Pierre
core   +1 more source

Empirical logic of finite automata: Microstatements versus macrostatements [PDF]

, 1996
K. Svozil, R. R. Zapatrin
openalex   +1 more source

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

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

Gottlob Frege on Truth During the Period of the Two Volume Edition of 'Grundgesetze Der Arithmethik' (1893–1903)

Studia Semiotyczne, 2020
DOI: http://doi.org/10.26333/stsen.xxx.04 In 1893 and 1903, two volumes of Frege’s most important work Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism.
doaj  

Electroactive Liquid Crystal Elastomers as Soft Actuators

Advanced Functional Materials, EarlyView.
Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley   +1 more source

Neutrosophic Logic-Based Document Summarization [PDF]

, 2021
O. G. El Barbary, Radwan Abu-Gdairi
openalex   +1 more source