Computing least common subsumers (lcs) and most specific concepts (msc) are inference tasks that can be used to support the „bottom up” construction of knowledge bases for KR systems based on description logic. For the description logic ALN, the msc need not always exist if one restricts the attention to acyclic concept descriptions. In this paper, we extend the notions lcs and msc to cyclic descriptions, and show how they can be computed. Our approach is based on the automata-theoretic characterizations of fixed-point semantics for cyclic terminologies developed in previous papers. / An abridged version of this technical report has been published at KI'98.

Die Dissertation enthält drei Aufsätze, welche sich mit Prinzipal-Agenten Beziehungen in Verbindung mit moralischem Risiko beschäftigen. Dabei ist der Agent für die Ausführung von multiplen Aufgaben (Multitasking) verantwortlich. In dem ersten Aufsatz wird ein Prinzipal-Agenten Modell analysiert, wobei angenommen wird, dass der Agent unterschiedliche Fähigkeiten für die Ausführung der einzelnen Aufgaben aufweist. Dabei werden die durch die Anwendung von inkongruenten Leistungsmaßen in Anreizverträgen resultierenden Ineffizienzen in Abhängigkeit von den aufgabenspezifischen Fähigkeiten des Agenten identifiziert und analysiert. Zusätzlich wird auf die optimale Aggregation von multiplen Leistungsmaßen sowie auf die adverse Selektion von heterogenen Agenten eingegangen. Der zweite Aufsatz betrachtet ein Prinzipal-Agenten Modell mit einem risikoneutralen und haftungsbeschränkten Agenten. Dieser Aufsatz analysiert die Generierung von zusätzlichen Leistungsmaßen mit dem Ziel, die Effizienz der multidimensionalen Arbeitsanstrengung des Agenten zu erhöhen. Es werden dabei zwei Alternativen für den Prinzipal verglichen: (i) zentral in die Leistungsmessung des Agenten zu investieren, oder (ii), diese Aufgabe an einem Vorgesetzten (Supervisor) des Agenten zu delegieren. Der dritte Aufsatz analysiert inkongruente Präferenzen zwischen verschiedenen Unternehmen bezüglich der Eigenschaften der zwischen ihnen ausgetauschten Güter als mögliche Ineffizienz von Markttransaktionen. Der Aufsatz berücksichtigt darüber hinaus die Möglichkeit von kollusivem Verhalten innerhalb von Unternehmen als mögliche Ineffizienz von integrierten Produktionen. Dabei erfolgt eine Untersuchung der Auswirkungen dieser Ineffizienzen hinsichtlich (i) der Entscheidung von Unternehmen, erforderliche Transaktionen intern zu organisieren, oder hierfür den Markt in Anspruch zu nehmen, und (ii), der sich daraus ergebenden Eigenschaften der vertraglichen Vereinbarungen innerhalb und zwischen Unternehmen. / This thesis comprises three self-contained essays that deal with inefficient effort allocations in multi-task agency relations with moral hazard. The first essay analyzes a multi-task agency framework where the agent exhibits task-specific abilities. It investigates the appendant inefficiencies of applying incongruent performance measures in incentive contracts. Additionally, this essay elaborates on the optimal aggregation of multiple performance measures, and on the optimal selection of heterogeneous agents. The second essay considers a multi-task agency model with a risk-neutral and financially constrained agent. It investigates the costly acquisition of information aimed at improving the agent''s performance evaluation, and therefore, the efficiency of her effort allocation. This essay contrasts two alternatives for the principal: (i) to centrally invest in the information acquisition; or (ii), to delegate this task to a supervisor. The third essay analyzes incongruent preferences between firms for the characteristics of exchanged goods as an inefficiency of mutual market transactions, and collusive behavior within firms as an inefficiency of integrated productions. This essay investigates the consequences of both inefficiencies on (i) firms'' decision on whether to integrate transactions or to utilize the market; and (ii), the properties of contractual arrangements within and between firms.

In our experience of teaching Calculus to engineering undergraduates we have had to grapple with many different problems. A major hurdle has been students’ inability to appreciate the importance of the theory. In their view the theoretical part of mathematics is separate from the computing part. In general, students also believe that they can pass their exams even though they do not have a real understanding of the theory behind the problems they are required to solve. In an effort to surmount these difficulties we tried to find ways to make students better understand the theoretical part of Calculus. This paper describes our experience of teaching Calculus. It reports on the continuation of our previous research.

Diss. Univ. Zürich, 2008. / Buchhandelsausg. der Diss. Zürich, 2008. Literaturverz.

MBSE-Model-Based Systems Engineering wird als vielversprechender Ansatz gesehen, die steigende Komplexität heutiger Produktentwicklungsprozesse beherrschbar zu machen. Bei der Einführung und Umsetzung von MBSE existieren jedoch hohe Einstiegshürden, insbesondere, wenn formale Modellierungssprachen wie SysML für Modellierungsaktivitäten verwendet werden. Gleichzeitig bieten formale Modellierungssprachen jedoch Vorteile bei der Ermöglichung einer domänenübergreifenden Kommunikation und dem Informationsaustausch. Dieser Beitrag beschreibt einen Ansatz zur nutzer- und aufgabengerechten Unterstützung von Modellierungsaktivitäten mittels formaler Modellierungssprachen im Kontext des MBSE. Ziel des Ansatzes ist es, die Modellierung auf die Bedarfe und Aufgaben einzelner Anwender bzw. deren Rolle im Produktentwicklungsprozess zu fokussieren und somit einen gezielteren Zugang zur Modellierung zu ermöglichen. Hierzu werden Ansätze aus dem Bereich Architekturframeworks zur Strukturierung von Modellen mittels Bedarfs-getriebener Sichten mit einer Aktivitäts-getriebenen Formalisierung von Methoden des MBSE kombiniert. Methoden des MBSE werden in einzelne Modellierungsaktivitäten unterteilt und diese mit Sichten aus einem Architekturframework, die die Modellierungsaktivität unterstützen, verknüpft. Somit wird einerseits eine klare Strukturierung des Modells nach Sichten und andererseits eine gezielte und eindeutige Durchführung bedarfsgerechter Methoden des MBSE ermöglicht.

It is well known that mathematics students have to be able to understand and prove theorems. From our experience we know that engineering students should also be able to do the same, since a good theoretical knowledge of mathematics is essential for solving practical problems and constructing models. Proving theorems gives students a much better understanding of the subject, and helps them to develop mathematical thinking. The proof of a theorem consists of a logical chain of steps. Students should understand the need and the legitimacy of every step. Moreover, they have to comprehend the reasoning behind the order of the chain’s steps. For our research students were provided with proofs whose steps were either written in a random order or had missing parts. Students were asked to solve the \"puzzle\" – find the correct logical chain or complete the proof. These \"puzzles\" were meant to discourage students from simply memorizing the proof of a theorem. By using our examples students were encouraged to think independently and came to improve their understanding of the subject.

Kindertagesbetreuung befindet sich in einem Prozess steigender fachlicher Anforderungen, die dem neuen Bildungsverständnis, der veränderten Kindheit und der damit einhergehenden veränderten Sichtweise auf das Kind auf Grundlage aktuellster wissenschaftlicher Erkenntnisse aus der Neurobiologie entsprechen müssen.

Impairment of cognitive performance is often observed in time-on tasks. Theoretical considerations suggest that especially prefrontal cortex cognitive control functions is affected by time-on-task effects, but the role of effort/task engagement is not understood. We examine time-on-task effects in cognitive control on a neurophysiological level using a working-memory modulated response inhibition task and inter-relate prefrontal neuroanatomical region-specific theta-band activity with pupil diameter data using EEG-beamforming approaches. We show that task performance declines with time-on tasks, which was paralleled by a concomitant decreases of task-evoked superior frontal gyrus theta-band activity and a reduction in phasic pupil diameter modulations. A strong relation between cognitive control-related superior frontal theta-band activity and effort/task engagement indexed by phasic pupil diameter modulations was observed in the beginning of the experiment, especially for tasks requiring inhibitory controls and demanding high working memory. This strong relation vanished at the end of the experiment, suggesting a decoupling of cognitive control resources useable for a task and effort invested that characterizes time-on-task effects in prefrontal cortical structures.

The aims of this paper are to present some of the findings about the creation and utilization of online assignments and choice of support software for several calculus classes at Simon Fraser University (SFU) by considering the needs and perspectives of the instructors, students, and administrators. The term online assignment is used for a set of problems that are posted, submitted, graded, and recorded electronically through a course learning management system (LMS) of choice. The purpose of this note is to contribute to the discussion about a common question detected among research papers on the theme of online assignments; how can technology be used in teaching so that students benefit the most? Questions are provided to guide an instructor in choosing online assignment problems, and a list of necessary skills is supplied for an instructor to be able to deal effectively with this pedagogical tool.

The aims of this paper are to present some of the findings about the creation and utilization of online assignments and choice of support software for several calculus classes at Simon Fraser University (SFU) by considering the needs and perspectives of the instructors, students, and administrators. The term online assignment is used for a set of problems that are posted, submitted, graded, and recorded electronically through a course learning management system (LMS) of choice. The purpose of this note is to contribute to the discussion about a common question detected among research papers on the theme of online assignments; how can technology be used in teaching so that students benefit the most? Questions are provided to guide an instructor in choosing online assignment problems, and a list of necessary skills is supplied for an instructor to be able to deal effectively with this pedagogical tool.