Results 91 to 100 of about 568,503 (297)

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

Critical study of type-2 fuzzy logic control from theory to applications: A state-of-the-art comprehensive survey

e-Prime: Advances in Electrical Engineering, Electronics and Energy
The review systematically explores the theoretical foundations of type-2 fuzzy sets and the associated mathematical frameworks of the advancements in type-2 fuzzy logic systems (T2-FLS), as well as a comprehensive overview of the state-of-the-art ...
F. Paul Nishanth, Saroj Kumar Dash, Soumya Ranjan Mahapatro   +2 more
doaj   +1 more source

Fuzzy Logic and Molana: Exploring the Possibility of Explaining Rumi’s Epistemological Foundations through Fuzzy Logic in the Masnavi-ye Ma‘navi [PDF]

ادبیات عرفانی
This study examines the epistemological structure of Rumi in the Masnavi-ye Ma‘navi and clarifies its relationship with fuzzy logic-a system of reasoning that, in contrast to the rigid dualism of Aristotelian logic, is founded upon the domains of ...
Ebrahim Hasanaklou, Ahmad Razi
doaj   +1 more source

Statistically Resolving Thickness‐Dependent Electrical Characteristics in Multilayer‐MoS2 Transistors

Advanced Functional Materials, EarlyView.
A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee, Sumin Hong, Minho Park, Seongju Kim, Sanghoon Baek, Seonguk Yang, Chang‐Soo Lee, Sang‐Hoon Bae, Joonki Suh, Yongwoo Lee, Haksoon Jung, Jimin Kwon   +11 more
wiley   +1 more source

Finding the Relationship between Nature and Education: Analyzing the Experiences of Nature Schools in Iran from the Perspective of Foundations of Education and Curriculum [PDF]

علوم تربیتی از دیدگاه اسلام
The present study aims to describe the foundations of education and curriculum of the first nature schools in Iran. This study was conducted with a qualitative approach and a case study method; data were collected through interviews and observations of ...
Somayyeh Ram
doaj   +1 more source

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

LOGIC AND CRITICAL THINKING: A CONCEPTUAL RELATIONSHIP

Епістемологічні дослідження у філософії, соціальних і політичних науках
This article researches the conceptual relationship between logic and critical thinking, focusing on the conditions under which critical reasoning can be exercised effectively.
Олександр КУЛИК
doaj   +1 more source

A Relational Logic for Higher-Order Programs

, 2017
Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs.
Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-Yves   +4 more
core   +1 more source

Toward Stable Multivalent Metal Batteries: Understanding the Interfacial Chemistry for Magnesium and Calcium Metal Anodes

Advanced Functional Materials, EarlyView.
Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin, Qi Meng, Juncai Long, Chuheng Cao, Zheng‐Long Xu   +4 more
wiley   +1 more source

Securing Databases from Probabilistic Inference

, 2017
Databases can leak confidential information when users combine query results with probabilistic data dependencies and prior knowledge. Current research offers mechanisms that either handle a limited class of dependencies or lack tractable enforcement ...
Basin, David, Guarnieri, Marco, Marinovic, Srdjan   +2 more
core   +1 more source