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

the major purpose of the present this study is to reviews the classifications of approaches to religious education, and introducing an alternative classification of religious educator theory. to this end, approaches to islamic education which have been categorized typologically and are associated with the cognitive context of iranian intellectuals have been studied. in line with this goal, the ...

in this paper, we present a fourth order method for computing simple roots of nonlinear equations by using suitable taylor and weight function approximation. the method is based on weerakoon-fernando method [s. weerakoon, g.i. fernando, a variant of newton's method with third-order convergence, appl. math. lett. 17 (2000) 87-93]. the method is optimal, as it needs three evaluations per ite...

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

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