For an arbitrary symmetric monoidal∞-category V, we define the factorization homology of V-enriched∞-categories over (possibly stratified) 1-manifolds and study its basic properties. In the case that V is cartesian symmetric monoidal, by considering the circle and its self-covering maps we obtain a notion of unstable topological cyclic homology, which we endow with an unstable cyclotomic trace ...

Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs

A characterization is given of those bicategories which are biequivalent to bicategories of modules for some suitable base. These bicategories are the correct (non elementary) notion of cosmos, which is shown to be closed under several basic constructions.

Our work is a foundational study of the notion of approximation inQ-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Qand (U,Q)-categories. We fully characterize continuous Q-categories (resp. (U,Q)-categories) among all cocomplete Q-categories (...

We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriche...

The Defence Conceptual Modelling Framework (DCMF) is the Swedish Defence Research Agency’s (FOI) proposal to deal with conceptual modelling in the military domain. The vision of the DCMF is to enable composability, interoperability and reuse of knowledge for modelling and simulation. The final products, the conceptual models, are called Mission Space Models (MSMs), following the original CMMS p...

In our earlier research [9] an area of consistent and systematic application of software metrics was explored. Strong dependency of applicability of software metrics on input programming language was recognized as one of the main weaknesses in this field. Introducing enriched Concrete Syntax Tree (eCST) for internal and intermediate representation of the source code resulted with step forward o...

We present an innovative extension to routing: intention-oriented routing which is a direct result of combining classical routing-services with Semantic Web technologies. Thereby, the intention of a user can be easily incorporated into route planning. We highlight two use cases where this hybridization is of great significance: neighborhood routing where a neighborhood can be explored (e.g. sea...

In this paper we present a logic-based approach for querying business process repositories. The proposed solution is based on a synergic use of an ontological framework (OPAL) aimed at capturing the semantics of a business scenario, and a business process modelling framework (BPAL) to represent the workflow logic. Both frameworks are grounded in logic programming and therefore it is possible to...