One indicator of the success or failure of a learning process in the classroom is whether
there is an increase in student learning outcomes, which can be seen from an increase in …

Typical self-organising collective systems consist of a large number of interacting objects
that coordinate their activities in a decentralised and often implicit way. Design of such …

This study describes the views of agricultural students in seeing the opportunities and
challenges of the era of digital farming and smart farming. To further grow their interest to be …

A novel, scalable, on-the-fly model-checking procedure is presented to verify bounded PCTL
properties of selected individuals in the context of very large systems of independent …

With the development of the used car market, the demand for a more accurate and scientific
price prediction model of used cars becomes urgent. This paper uses multiple linear …

Character Education remains an educational priority in a variety of situations and conditions,
including during the covid-19 pandemic. The urgency of character education cannot be …

Family is the first environment that affects people's psychological development. In recent
years, with people's attention to education, more and more people began to pay attention to …

We present a novel technique to analyze the bounded reachability probability problem for
large Markov chains. The essential idea is to incrementally search for sets of paths that lead …

We show that, under suitable convergence and scaling conditions, fluid model checking
bounded CSL formulas on selected individuals in a continuous large population model can …

Panatacara text functions as a means for a presenter to coordinate an event so that the
event runs following the order. The text uses Krama Inggil which has the highest level of …