In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several “partial state spaces”. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to p...

The n-dimensional direct search algorithm DIRECT of Jones, Perttunen, and Stuckman has attracted recent attention from the multidisciplinary design optimization community. Since DIRECT only requires function values (or ranking) and balances global exploration with local refinement better than n-dimensional bisection, it is well suited to the noisy function values typical of realistic simulation...

The purpose of this study is to explore the social perceptions millennial generation in implementing adaptation new habits during Covid-19 pandemic. This research was conducted using descriptive quantitative methods. online survey selected google form application. data were taken from 400 respondents State Higher Education (PTN) students North Sulawesi as representatives generation. application...