Search
Now showing items 1-3 of 3
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
Designing High Performance Factory Automation Applications on Top of DDS
(INTECH Open Access Publisher, 2013-04-22)
DDS is a recent specification aimed at providing high-performance publisher/subscriber middleware solutions. Despite being a very powerful flexible technology, it may prove complex to use, especially for the inexperienced. ...
Student-generated online videos to develop cross-curricular and curricular competencies in Nursing Studies.
(Elsevier, 2013-07-06)
In response to the necessity of implementing innovative strategies and new teaching methodologies for the design of University degrees curricula according to the new educational model put forward by the European Space of ...