中文
相关论文

相关论文: Modeling MOOC learnflow with Petri net extensions

200 篇论文

MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a…

计算机科学中的逻辑 · 计算机科学 2020-03-23 Silvano Dal Zilio

Current machine learning models have shown high efficiency in solving a wide variety of real-world problems. However, their black box character poses a major challenge for the understanding and traceability of the underlying decision-making…

机器学习 · 计算机科学 2021-08-30 Srishti Gautam , Marina M. -C. Höhne , Stine Hansen , Robert Jenssen , Michael Kampffmeyer

Teaching programming using Massive Open Online Courses (MOOCs) is gaining popularity due to their scalability and efficiency of knowledge distribution. However, participating in these courses usually means fully committing to the supplied…

软件工程 · 计算机科学 2018-09-05 Christoph Matthies , Arian Treffer , Matthias Uflacker

We investigate an extension of continuous online learning in recurrent neural network language models. The model keeps a separate vector representation of the current unit of text being processed and adaptively adjusts it after each…

计算与语言 · 计算机科学 2017-03-07 Marek Rei

Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski

Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms.…

软件工程 · 计算机科学 2018-10-24 Sabah Al-Fedaghi , Dana Shbeeb

It is well known that the complex system operation requires the use of new scientific tools and computer simulation. This paper presents a modular approach for modeling and analysis of the complex systems (in communication or transport…

系统与控制 · 计算机科学 2017-03-22 Janetta Culita , Simona Caramihai , Calin Munteanu

Massive Open Online Courses (MOOCs) have transformed the educational landscape, offering scalable and flexible learning opportunities, particularly in data-centric fields like data science and artificial intelligence. Incorporating AI and…

计算机与社会 · 计算机科学 2023-11-14 Babak Moghadas , Brian S. Caffo

Massive Open Online Courses (MOOCs) have become increasingly popular worldwide. However, learners primarily rely on watching videos, easily losing knowledge context and reducing learning effectiveness. We propose HyperMOOC, a novel approach…

人机交互 · 计算机科学 2026-02-02 Li Ye , Lei Wang , Lihong Cai , Ruiqi Yu , Yong Wang , Yigang Wang , Wei Chen , Zhiguang Zhou

The Web has enabled one of the most visible recent developments in education---the deployment of massive open online courses. With their global reach and often staggering enrollments, MOOCs have the potential to become a major new mechanism…

社会与信息网络 · 计算机科学 2014-03-17 Ashton Anderson , Daniel Huttenlocher , Jon Kleinberg , Jure Leskovec

A zoo of deep nets is available these days for almost any given task, and it is increasingly unclear which net to start with when addressing a new task, or which net to use as an initialization for fine-tuning a new model. To address this…

机器学习 · 计算机科学 2019-04-12 Iou-Jen Liu , Jian Peng , Alexander G. Schwing

Memory models such as Recurrent Neural Networks (RNNs) and Transformers address Partially Observable Markov Decision Processes (POMDPs) by mapping trajectories to latent Markov states. Neither model scales particularly well to long…

机器学习 · 计算机科学 2024-10-29 Steven Morad , Chris Lu , Ryan Kortvelesy , Stephan Liwicki , Jakob Foerster , Amanda Prorok

In many complex systems that can be modeled using Petri nets time can be a very important factor which should be taken into account during creation and analysis of the model. Time data can describe starting moments of some actions or their…

形式语言与自动机理论 · 计算机科学 2024-05-16 Marcin Radom , Piotr Formanowicz

The analysis of biological networks has benefited from the richness of Boolean networks (BNs) and the associated theory. These results have been further fortified in recent years by the emergence of Most Permissive (MP) semantics, combining…

离散数学 · 计算机科学 2025-05-26 Stefan Haar , Juri Kolčák

Massive Open Online Courses (MOOCs) have greatly contributed to making education more accessible. However, many MOOCs maintain a rigid, one-size-fits-all structure that fails to address the diverse needs and backgrounds of individual…

Humans and animals can learn complex predictive models that allow them to accurately and reliably reason about real-world phenomena, and they can adapt such models extremely quickly in the face of unexpected changes. Deep neural network…

机器学习 · 计算机科学 2019-01-30 Anusha Nagabandi , Chelsea Finn , Sergey Levine

In order to enhance students' initiative and participation in MOOC learning, this study constructed a multi-level network model based on Social Network Analysis (SNA). The model makes use of data pertaining to nearly 40,000 users and tens…

社会与信息网络 · 计算机科学 2024-10-15 Zijin Luo , Xu Wang , Yiquan Wang , Haotian Zhang , Zhuangzhuang Li

Adaptive learning aims to stimulate and meet the needs of individual learners, which requires sophisticated system-level coordination of diverse tasks, including modeling learning resources, estimating student states, and making…

计算机与社会 · 计算机科学 2022-08-10 Qingyang Zhong , Jifan Yu , Zheyuan Zhang , Yiming Mao , Yuquan Wang , Yankai Lin , Lei Hou , Juanzi Li , Jie Tang

The recent pandemic has changed the way we see education. It is not surprising that children and college students are not the only ones using online education. Millions of adults have signed up for online classes and courses during last…

This paper deals with the parallel raytracing part of virtual-reality system PROLAND, developed at the home institution of authors. It describes an actual implementation of the raytracing part and introduces a Coloured Petri Nets model of…

分布式、并行与集群计算 · 计算机科学 2010-03-13 Stefan Korecko , Branislav Sobota