A topological classification scheme consists of two ingredients: (1) an abstract class X of topological spaces; and (2) a "taxonomy", i.e. a list of first order sentences, together with a way of assigning an abstract class of spaces to each sentence of the list so that logically equivalent sentences are assigned the same class. X, is then endowed with an equivalence relation, two spaces belongi...

Purpose – The purpose of this paper is to present a theoretically based analysis and evaluation of the Norwegian quality assurance scheme (QA1 and QA2) for major public projects (MPPs), drawing on a number of different perspectives from organization theory and decision-making theory, but also from insight from two major public reform waves – new public management (NPM) and post-NPM. The purpose...

This paper introduces a general methodology for the development and study of conversational systems. Closer coupling of linguistic and psycholinguistic theories about dialogue with the development of dialogue systems allows each to inform the other more fully. Three activities support our goals. We develop theories through the empirical investigation of dialogue in conversational settings. We u...

Foreign language enjoyment and speaking anxiety in the classroom are two potential emotion-inducing factors for foreign language learning. This sequential mixed methods study investigated whether and to what extent Iranian EFL students experienced foreign language enjoyment and public speaking anxiety in their English classrooms, and how they characterize the sources of the enjoyment and speaki...

In a (t,n) secret sharing scheme, a mutually trusted dealer divides a secret into n shares in such a way that any t or more than t shares can reconstruct the secret, but fewer than t shares cannot reconstruct the secret. When there is no mutually trusted dealer, a (n,t,n) secret sharing scheme can be used to set up a (t,n) secret sharing because each shareholder also acts as a dealer to decide ...

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type theory, where it is known only for special cases how one can define a type of type-valued diagrams over a given index category. We offer several constructions. ...