Results 31 to 40 of about 587,398 (223)
Rocznik Andragogiczny, 2017 The paper is an attempt to problematize the concept of the validation of learning outcomes, which is a component of the process of recognition of qualifications.
Grażyna Szyling
doaj +1 more source
Realms: A Structure for Consolidating Knowledge about Mathematical Theories [PDF]
, 2014 Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure
G. Peano +8 more
core +1 more source
The MMT API: A Generic MKM System [PDF]
, 2013 The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM ...
F. Horozal +7 more
core +1 more source
MODELING PROPERTIES OF INTERVAL VALUED ANTI-NEUTROSOPHIC FUZZY IDEALS IN NEAR-RINGS
Mağallaẗ Al-kūfaẗ Al-handasiyyaẗThis paper characterizes interval-valued anti-neutrosophic fuzzy ideals (IVANFIs) within near-rings, addressing the gap in algebraic theory related to their behavior in such structures.
K. Lenin Muthu Kumaran, A. Rajalakshmi
doaj +1 more source
Sensors, 2019 As artificial intelligence (AI)- or deep-learning-based technologies become more popular, the main research interest in the field is not only on their accuracy, but also their efficiency, e.g., the ability to give immediate results on the users’ ...
Jungchan Cho, Minsik Lee
doaj +1 more source
Remote Laboratory Based on FPGA Devices Using the E-Learning Approach
Applied System InnovationLaboratories across educational levels have traditionally required in-person attendance, limiting practical activities to specific times and physical spaces.
Victor H. García Ortega +2 more
doaj +1 more source
Wreath Products of Forest Algebras, with Applications to Tree Logics [PDF]
, 2012 We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics.
Howard Straubing +3 more
core +3 more sources
Applicability of Legal Rules Combating “Abuse of Dominance” in Blockchain Ecosystems: A Comparative Study of Iranian and EU Law [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i KhuṣūṣīBlockchain technology, with its decentralized, transparent, and tamper-resistant structure, has emerged as a transformative force in the digital economy.
Sahar Karimi, Parisa Sinambari
doaj +1 more source
Current Musicology, 2018 In Categorizing Sound, David Brackett presents a broad and richly detailed “history of the practice of categorizing” popular music in the twentieth century (331), asking when, how, and why stylistic labels and classification schemes become legible across
Thomas Johnson
doaj +1 more source
Fuzzy Logic and Its Uses in Finance: A Systematic Review Exploring Its Potential to Deal with Banking Crises [PDF]
, 2019 The major success of fuzzy logic in the field of remote control opened the door to its application in many other fields, including finance. However, there has not been an updated and comprehensive literature review on the uses of fuzzy logic in the ...
Oliver Alfonso, María Dolores +2 more
core +1 more source