Results 31 to 40 of about 7,776,605 (218)
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
On Fuzzy Deductive Systems of Hilbert Algebras
, 2020 In this paper, we study fuzzy deductive systems of Hilbert algebras whose truth values are in a complete lattice satisfying the infinite meet distributive law.
Derso Abeje Engidaw +1 more
core +1 more source
Deductive Machine Learning Challenges and Opportunities in Chemical Applications [PDF]
, 2023 Contemporary machine learning algorithms have largely succeeded in automating the development of mathematical models from data. Although this is a striking accomplishment, it leaves unaddressed the multitude of scenarios, especially across the chemical ...
Tianfan , Jin, Brett M, Savoie
core +1 more source
Role of the Recombination Zone in Organic Light‐Emitting Devices
Advanced Materials, EarlyView.This review summarizes the critical role of the recombination zone in organic light‐emitting diodes (OLEDs). We highlight that broadening the recombination zone in OLEDs based on emissive layers with balanced charge transport and high photoluminescence quantum yields provides a promising route toward achieving both long operational lifetime and high ...
Yungui Li, Karl Leo
wiley +1 more source
A black-box dynamic equivalent model for microgrids using measurement data [PDF]
, 2014 A dynamic equivalent black-box model, based on Prony analysis is presented. The proposed model is suitable for dynamic studies of microgrids, considering changes in the active and reactive powers, bus voltages, currents and frequency. The developed model
Roscoe, Andrew +5 more
core +3 more sources
Deductive systems of BCK-algebras [PDF]
, 2004 summary:In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra.
Celani, Sergio A., Celani, Sergio Arturo
core
Advanced Materials, EarlyView.Associating a red‐NIR phosphorescent octahedral hexanuclear molybdenum cluster compound with hexaethyleneoxide chains bearing mesogenic units on both ends leads to an emissive hybrid liquid crystal showing mesomorphism on a very unusual temperature range down to −25°C.
Killiann Heinz +11 more
wiley +1 more source
Verification of the TESLA protocol in MCMAS-X [PDF]
, 2006 We present MCMAS-X, an extension of the OBDD-based model checker MCMAS for multi-agent systems, to explicit and deductive knowledge.
Raimondi, F., Lomuscio, A., Wozna, B.
core
Compatible Deductive Systems of Pulexes
, 2014 The notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible ...
Shokoofeh Ghorbani
core +1 more source
On Anti-Q-Fuzzy Deductive Systems of Hilbert Algebras [PDF]
, 2023 In this paper, the concept of anti-Q-fuzzy deductive systems concepts of Hilbert algebras are introduced and proved some results. Further, we discuss the relation between anti-Q-fuzzy deductive system and level subsets of a Q-fuzzy set.
P. Senthil Kumar, N. Rajesh, M. Vasuki
core +1 more source