A temporal graph is a graph in which connections between vertices are active at specific times, and such temporal information leads to completely new patterns and knowledge that are not present in a non-temporal graph. In this paper, we study traversal problems in a temporal graph. Graph traversals, such as DFS and BFS, are basic operations for processing and studying a graph. While both DFS an...

Background Nowadays, health systems are generally acknowledged to be complex social systems. Consequently, scholars, academics, practitioners, and policy-makers are exploring how to adopt a complexity perspective in health policy and system research. While leadership and complexity has been studied extensively outside health, the implications of complexity theories for the study of leader...

It is generally understood that building software systems with components has many advantages but the difficulties of this approach should not be ignored. System evolution, maintenance, migration and compatibilities are some of the challenges met with when developing a component-based software system. Since most systems evolve over time, components must be maintained or replaced. The evolution ...

In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...

We are currently designing and implementing a knowledge-based automatic program generator, called Descartes. We show in this paper how Descartes applies to a specification of arc consistency and manages to “discover” an optimal worst-case algorithm for this problem. Finding and improving algorithms for arc consistency in CSPs has been the topic of active research for twenty years. After several...

This report describes work undertaken and planned, the goal of which is to better understand how people comprehend and use complex ontologies, in particular those employing Description Logics (DLs). Two research questions are posed: 1. In what way can the difficulties experienced in using Description Logics be understood in terms of an underlying theory, e.g. theories of reasoning already devel...

Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...

This study aims to contribute understanding of the state art regarding pedagogical cultures associated with teaching and learning research methods in advanced studies education through identification trends pitfalls. The rationale behind this objective is recognition that most comes from academic programmes, particular master’s doctoral which generally include as components. A systematic litera...