Axiomatizations are given for some prominent variants of the semantics of the statecharts formalism. The axiomatizations highlight the similarities and di erences amongst the semantics. In particular, all the semantics rely on the same notion of \microstep", but di erent notions of \step sequence". A process-algebraic approach is taken, and an executable variety of higher order logic is used, a...

We introduce a new method for computing the foot point of a given point on an implicitly defined curve and compare it with existing local and global methods. As demonstrated in this paper, the implicit representation of curves and surfaces is useful not only for solving intersection problems, but also for foot point computation. §

Link directions are essential to the functionality of networks and their prediction is helpful towards a better knowledge of directed networks from incomplete real-world data. We study the problem of predicting the directions of some links by using the existence and directions of the rest of links. We propose a solution by first ranking nodes in a specific order and then predicting each link as...

This paper explores the concept of sustainable e-learning. It outlines a scoping review of the sustainability of elearning practice in higher education. Prior to reporting the outcomes of the review, this paper outlines the rationale for conducting the study. The origins and the meaning of the term “sustainability” are explored, and prevalent approaches to ensure sustainable e-learning are disc...

Neuromodulation: Technology at the Neural InterfaceVolume 24, Issue 2 p. ii-ii Information – Aims and ScopeFree Access Scope First published: 18 February 2021 https://doi.org/10.1111/ner.13184AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text full-text accessPlease review our Terms Conditions of Use check box below share version a...