The manuscript presents a model for the personalization of e-Learning systems in secondary schools. Approaches are discussed about the implementation of this model by the application of the SCORM-standard, ITL (ITL-Interval and temporal logic), policies, etc. Comments on the possibilities for increasing the relevance of e-Learning systems in the real classroom environment schools are also inclu...

Software designers widely use UML Class Models to specify the static structure of object-oriented systems. Temporal properties of class models can be expressed using the TOCL, an extension of OCL with elements of a linear temporal logic. Specification and verification of temporal properties expressed in TOCL is non-trivial and no automated tools exist that aid such verification. Existing approa...

We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold: first, we formalize the semantics of state machines in MTLA, an extension of Lamport’s Temporal Logic of Actions with spatial modalities. Second, we study refinement concep...

We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold: first, we formalize the semantics of state machines in MTLA, an extension of Lamport’s Temporal Logic of Actions with spatial modalities. Second, we study refinement concep...

With the growth in the amount of data generated and collected, the need for automatically analyzing the data has received more and more attention from the business community in recent times. It requires some theoretical considerations, which are well understood and popularized throughout the community. The traditional dominant KDD process model offers valuable guidance on the projectedmanagemen...

We developed the language of Modifiable Temporal Belief Networks (MTBNs) as a structural and temporal extension of Bayesian Belief Networks (BNs) to facilitate normative temporal and causal modeling under uncertainty. In this paper we present definitions of the model, its components, and its fundamental properties. We also discuss how to represent various types of temporal knowledge, with an em...

The current study aims at modelling the dispersion of two pollutants, namely CO (carbon monoxide) and SO2 (sulfur dioxide) released from District 7 of Tehran Municiaplity, from 20 main line sources, by means of CALPUFF modeling system. CALPUFF is a non-steady state puff modeling software which employs meteorological, terrain, and land-use data to effectively simulate air pollutants' dispersion ...

The current study aims at modelling the dispersion of two pollutants, namely CO (carbon monoxide) and SO2 (sulfur dioxide) released from District 7 of Tehran Municiaplity, from 20 main line sources, by means of CALPUFF modeling system. CALPUFF is a non-steady state puff modeling software which employs meteorological, terrain, and land-use data to effectively simulate air pollutants' dispersion ...