When modelling an employee competency, several facets of this theoretical construct could be identified. One of them is grounded in the employee’s attitudes to work and organization, namely in her/his job involvement, organizational commitment, responsibility etc. The paper deals with results of a survey comparing work and organizational attitudes of four groups of subjects. The groups differed...

The main purpose of the present study is to help managers cope with the negative effects of technostress on employee use of ICT. Drawing on transaction theory of stress (Cooper, Dewe, & O’Driscoll, 2001) and information systems (IS) continuance theory (Bhattacherjee, 2001) we investigate the effects of technostress on employee intentions to extend the use of ICT at work. Our results show that f...

In this paper, we discuss the current state of organic and molecular-scale electronics, some experimental methods used to characterize charge transport through molecular junctions and some theoretical models (superexchange and barrier tunnelling models) used to explain experimental results. Junctions incorporating self-assembled monolayers of organic molecules - and, in particular, junctions wi...

Given a coalgebra p for HG, an algebra s for GH and the obvious notion of morphism from coalgebra to algebra, we observe that morphisms from Gp to s correspond to morphisms from p to Hs in the manner of an adjunction even when there is no adjunction between G and H. This appears to be one of the basic phenomena underlying the transport of special algebras. A proof of Freyd’s Iterated Square The...

Citation for published version (APA): Jones, N. (2013). A swiss pocket knife for computability. 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. 1-17). Electronic Proceedings in Theoretical C...

The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian chapter of EATCS. The first ICTCS was held in Pisa in 1972. The 12th ICTCS (ICTCS 2010) took place in Camerino, 15–17 September, 2010. The aim of ICTCS 2010 was to provide a forum for the exchange of ideas among researchers, and to foster an environment, where junior researchers and PhD students coul...

We use tools from Theoretical Computer Science to analyze the computational complexity of determining the h-index, the g-index, and the w-index in various models of computation. Our results confirm the natural intuition that the h-index is an easier concept than the g-index, which in turn is an easier concept than the w-index.

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...

Citation for published version (APA): Moyen, J-Y., Rubiano, T., & Seiller, T. (2017). Loop quasi-invariant chunk motion by peeling with statement composition. In G. Bonfante, & G. Moser (Eds.), Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (pp. 47-59). Open Publishing Association. (Electr...

Citation for published version (APA): Ghosh, S., Heifetz, A., Verbrugge, R., & Weerd, H. D. (2017). What Drives People's Choices in TurnTaking Games, if not Game-Theoretic Rationality? In J. Lang (Ed.), Proceedings 6th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, U.K.: Proceedings (pp. 265284). (Electronic Proceedings in Theoretical Computer Science (EP...