A Theory of Service Dependency [PDF]
Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic.
Mats Neovius, Luigia Petre, Kaisa Sere
doaj +4 more sources
Task complexity and AI dependency among college students: the mediating roles of cognitive load, future anxiety, and task motivation [PDF]
Purpose This study aims to clarify the associations between task complexity and Artificial Intelligence (AI) dependency among university students and to examine the roles of cognitive load, future anxiety, and task motivation in these associations ...
Hanhui Li, Fan Yang, Jinpeng Liu
doaj +2 more sources
This Companion takes stock of the trajectory, achievements, shortcomings and prospects of Marxist political economy. It reflects the contributors’ shared commitment to bringing the methods, theories and concepts of Marx himself to bear across a wide range of topics and perspectives, and it provides a testimony to the continuing purpose and vitality of ...
James Mahoney, Mahoney James
exaly +8 more sources
An Analysis of “Islamic Revolution” based on Imam Khomeini’s Anti-Colonial Theory [PDF]
This paper, produced to study Islamic Revolution with a descriptive-analytical methodology and based on Imam Khomeini’s anti-colonial theory, intends to analyze Islamic Revolution in world order.
Hamid Reza Sohrabi +1 more
doaj +1 more source
Effect of GenAI Dependency on University Students’ Academic Achievement: The Mediating Role of Self-Efficacy and Moderating Role of Perceived Teacher Caring [PDF]
Generative artificial intelligence (GenAI) holds significant potential to enhance university students’ learning. However, over-reliance on it to complete academic tasks poses a risk to academic achievement by potentially encouraging cognitive outsourcing.
Wenxiu Jia, Li Pan, Siobhan Neary
doaj +2 more sources
BOOLEAN TYPES IN DEPENDENT THEORIES [PDF]
AbstractThe notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra $\mathcal {B}$ to each formula. We show some basic results regarding the effect of the properties of $\mathcal {B}$ on the behavior of such types, and show they are particularity well behaved in the case of NIP ...
Itay Kaplan, Ori Segel, Saharon Shelah
openaire +3 more sources
An Exploratory Study of the Social Contract of Research and Innovation in Africa
This exploratory study adds to the under-developed literature on a Research Topic that laden with epistemological, philosophical, and ideological overtones, and that begs many questions. The literature on political economy generally, and that for Africa,
Michael Jeffrey Kahn
doaj +1 more source
Multimodal Dependent Type Theory [PDF]
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode theory allow us to use the same type theory to compute and reason in many modal situations, including guarded ...
Daniel Gratzer +3 more
openaire +13 more sources
EXAMPLES IN DEPENDENT THEORIES [PDF]
AbstractIn the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an example where the pair is not dependent.
Itay Kaplan, Saharon Shelah
openaire +2 more sources
اعتماد الشباب الجامعي المصري والسعودي على وسائل الإعلام أثناء الأزمات العملية العسکرية على اليمن "عاصفة الحزم" نموذجا" [PDF]
يتعاظم الدور الإعلامي وخاصة الدور الإخباري لوسائل الإعلام في اوقات الأزمات الدولية والصراعات الإقليمية والحروب، وذلک من خلال تشکيل الجدل حولها، وتقديم انطباعات وتصورات بشأن الاطراف المشترکة فيها، وإضفاء الشرعية على بعض الاطراف، وفي الوقت ذاته تجريد أطراف
مصطفى صابر محمد عطية النمر
doaj +1 more source

