Spatio-temporal modeling for urban applications has received special attention lately. Due to the recent advances in computer and geospatial technologies, the temporal aspect of urban applications which was ignored in conventional systems, is under consideration nowadays. This new interest in spatio-temporal modeling, in spite of all its deficiencies, has brought about great advances in spatio-...

Abstract We study the problem of modeling temporal networks constrained by size a concurrent set, characteristic shown to be important in many application areas, e.g., transportation, social, process, and other networks. propose competition-driven model for generation such Our method carries out turns competitions along timeline where each node network is labeled with probability gain outgoing ...

We present a different approach to developing concept of time for specifying temporality in the conceptual modeling software and database systems. In field, various proposals products address temporal data. The difficulty with most current approaches is that they represent record as just another type data (e.g., values bank balance or amounts money), instead appreciating its are unique, compari...

BACKGROUND Cortical thickness and surface area changes have repeatedly been found in schizophrenia. Whether progressive loss in cortical thickness and surface area are mediated by genetic or disease related factors is unknown. Here we investigate to what extent genetic and/or environmental factors contribute to the association between change in cortical thickness and surface area and liability ...

We present a temporal object model capable of representing object lifespans and also the history of their roles and associations. We adopt an approach of temporal generalisation rather than temporal extension in which a model in its entirety is given a temporal semantics through an orthogonal generalisation of all model concepts { including the lifespan of object roles themselves and constraint...

In this paper we describe a possible semantics for a large part of the Uniied Modelling Notation (UML), using structured theories in a simple temporal logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or reenement transformations on UML models.