Results 111 to 120 of about 568,503 (297)

Des fondements vers l’avant. Sur la rationalité des mathématiques et des sciences formalisées

Philosophia Scientiæ, 2005
Forward foundations. On the rationality of mathematics and of formalized sciences. — The failure of logicism for the question of foundations of mathematics invites us to consider this question under an epistemological point of view, in terms of ...
Michel Paty
doaj   +1 more source

"Boring formal methods" or "Sherlock Holmes deduction methods"?

, 2016
This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody ...
BF Sherman, D Bjørner, FC Richardson, J Botaschanjan, J Harrison, JM Wing, L Hoare, S Russell, S Wang, U Schöning, V Feast, Z Wang   +11 more
core   +1 more source

Unlocking Photodetection Mode Switching from a Simple Lateral Design

Advanced Functional Materials, EarlyView.
A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong, Keng‐Te Lin, Joel van Embden, Taimur Ahmed, Yumeng Du, Dashen Dong, Yiwen Mai, Junlin Lu, Sumeet Walia, Baohua Jia, Tianyi Ma   +10 more
wiley   +1 more source

Formation of Quasi‐Decoupling Interface on Li‐Metal Anodes in High Donor Electrolyte

Advanced Functional Materials, EarlyView.
Li‐metal anode (LMA) is stabilized by introducing Li2Te2 as an electrolyte additive for Li‐metal batteries. Upon contact with Li, Li2Te2 spontaneously converts to Li2Te, which electronically isolates Li from dimethyl sulfoxide due to its large bandgap and minimal Bader charge transfer.
Hyerim Kim, Sunggun Lim, Shivam Kansara, Jimin Park, Hyoju Lee, Hyokyeong Kang, Soohyung Park, Chihyun Hwang, Hansu Kim, Jang‐Yeon Hwang   +9 more
wiley   +1 more source

The Double-Helix Logic of Curriculum: Reframing Universality and Personalization in the Age of Artificial Intelligence

ECNU Review of Education
Purpose This article examines how education systems should redefine what and how students learn in the age of artificial intelligence (AI). It critiques the persistence of universalist frameworks that prescribe a single profile of the “ideal graduate ...
Ruojun Zhong (仲若君), Yong Zhao (赵勇)   +1 more
doaj   +1 more source

The Combination of Paradoxical, Uncertain, and Imprecise Sources of Information based on DSmT and Neutro-Fuzzy Inference [PDF]

, 2004
The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information systems ...
Dezert, Jean, Smarandache, Florentin
core   +1 more source

Dual‐Mode Magnetic Elastomer for On‐Demand Motion and Degradation

Advanced Functional Materials, EarlyView.
A dual‐mode magnetic elastomer is introduced, enabling DC field‐driven programmable actuation and AC field‐driven magnetothermal degradation. GHz‐range magnetic fields generate ultrafast heating of magnetic nanoparticles that activates cleavage of the silicone elastomer matrix.
Jieun Han, Hyun An, Min‐Ha Oh, Yu‐Lim Lee, Woojin Jeon, Kyung‐Sub Kim, Jae‐Hwan Lee, Seungmin Kang, Yoon‐Nam Kim, Ji‐Won Kang, Daewhan Kim, Min Sang Kwon, Sang‐Koog Kim, Seung‐Kyun Kang   +13 more
wiley   +1 more source

Electrode and Microstructure Dependence of Oxygen Diffusion in Ferroelectric Hafnium Zirconium Oxide Thin Films

Advanced Functional Materials, EarlyView.
Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg, Thomas W. Pfeifer, Chuanzhen Zhou, Yong Kyu Choi, Duk‐Hyun Choe, Patrick E. Hopkins, Jon F. Ihlefeld   +6 more
wiley   +1 more source

INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»

Ìнформаційні технології в освіті, 2010
In this article the basic principles of training technique of future teachers of mathematics to foundations of mathematical logic and theory of algorithms in the Kherson State University with the use of information technologies are examined.
Y. I. Sinko
doaj  

A Modular Logic Approach for Expressing Web Services in XML Applying Dynamic Rules in XML [PDF]

RuleML is considered to be a markup language for the semantic web. It allows the enrichment of web ontologies by adding definitions of derived concepts and it enhances interoperability among different systems and tools by publishing rules in an XML ...
Ioannis ALMALIOTIS, Theodoros MITAKOS
core