Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:math.CT/0804.0326] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadic...

Our friend and colleague Zoltán Ésik passed away in Reykjavik, Iceland, on Wednesday, 25 May 2016. He was visiting us as he did with some regularity, compatibly with his many engagements throughout the world. The day before his untimely death, Zoltán had delivered an ICE-TCS seminar entitled Equational Logic of Fixed Point Operations at Reykjavik University. At the start of his talk, he looked ...

This special issue is devoted to various areas in Theoretical Computer Science. The issue took inspiration from the 13th Italian Conference on Theoretical Computer Science (ICTCS 2012), held at University of Insubria in Varese, Italy, on September 19-21 2012. The special issue contains seven papers, that have been originated from the work in progress presented at the conference, and that have b...

Citation for published version (APA): Mogensen, T. Æ. (2013). A comparison of well-quasi orders on trees. In A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (Eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 (pp. 30-40). (Electronic Proceedings in T...

Heterogeneous firms are at the heart of both the New New International Trade Theory and the Micro-econometrics of International Firm Activities. One important aim of microeconometric studies is to uncover stylized facts that hold over space and time, and that can both inspire theoretical models that are based on “realistic” assumptions, and inform policy debates in an evidence-based way. Which ...

In this paper, we suggest methods for the adaptive assessment and training of students. The main idea is to apply the theoretical concept of the neighbourhood of a knowledge state to adaptive training. We also describe improvements of existing assessment algorithms. These ideas are implemented in a multi–platform tutoring system shell. This shell has been applied to two different fields of know...

In the last years the integration of operation calls in the context of dynamic, personalized interfaces has become a ’must’ for Web Applications. However, existing conceptual modeling proposals have just tangentially tackled the conceptual definition of its corresponding operation interfaces, which many times involve concepts far more complex than those related to text field input. This paper p...

Two-state cooperativity is an important characteristic in protein folding. It is defined by a depletion of states that lie energetically between folded and unfolded conformations. There are different ways to test for two-state cooperativity; however, most of these approaches probe indirect proxies of this depletion. Generalized-ensemble computer simulations allow us to unambiguously identify th...

In the previous chapters a variety of formal models of the teaching-learning process have been presented. With one major exception, however, all of the models have a largely stochastic foundation. The structural learning theory (SCANDURA, 1973a, forthcoming, also this volume) is based (partly) on the assumption that deterministic theorizing about teaching and learning might actually provide a m...

The determination of the phylogenetic relationships among microorganisms has long relied primarily on gene sequence information. Given that prokaryotic organisms often lack morphological characteristics amenable to phylogenetic analysis, prokaryotic phylogenies, in particular, are often based on sequence data. In this work, we explore a new source of phylogenetic information, the distribution o...