Evaluierung und Entwicklung einer Image-Broschüre hinsichtlich industrieller Kooperationspartner für den Fachbereich Informatik und Kommunikationssysteme der Hochschule Merseburg

[s.c.]

Leseratte oder Technikfreak? – Studienfachwahl von Studierenden der Anglistik, Elektrotechnik und Informatik

Zentrale Forschungsförderung der Universität Kassel (ZFF)

Bemerkungen zu kunsthistorischen Informationssystemen; vornehmlich aus der Sicht der Informatik

Der Einsatz von Informationssystemen hat in der Kunstgeschichte sowie auch in anderen Bereichen der Geisteswissenschaften eine lange Tradition. Gesteuert wurde dieser Einsatz in vielen Fällen davon, was zuständige Wissenschaftler als Erfordernisse der Informatik ansahen. Betrachtet man die Informatik etwas genauer, so lässt sich feststellen, dass Prinzipien, die zunächst abstrakt und grundlegend erscheinen, häufig eine ganz bestimmte technische Situation widerspiegeln und außerhalb eines recht eng definierten Rahmens nicht angewandt werden können. Dies ist vor allem der Fall in Bezug auf Informationssysteme und die Logik der Informationsbeschaffung. Innerhalb dieses Bereiches hat sich der technische Aspekt in den letzten Jahren extrem gewandelt. Es wird deshalb dafür plädiert, dass technische Erfordernisse (welche leicht missverstanden werden können und sich schnell wandeln) nicht als primäre Richtlinien für die Herstellung von kunstgeschichtlichen Informationssystemen dienen sollten, sondern die Erfordernisse für den Einsatz solcher Informationssysteme selbst, die in ihrer Anwendung deutlich werden. Wenn die Informatik als Referenzpunkt für die Herstellung solcher Systeme gelten soll, sollte sie anhand präziser technischer Literatur definiert werden und nicht anhand von Reflexionen über die Bedeutung einiger weniger technischer Begriffe, die leicht missverstanden werden können.

Einfluss von außerschulischen Lernorten auf die Gestaltung von technisch geprägten Karrierewegen : eine empirische Analyse der Effekte des Engagements im Schüler-Institut für Technik und angewandte Informatik (SITI) e. V. auf die Berufswahl

Frank Bünning, Juliane Lehmann

Interaktives Präsentieren und kooperatives Modellieren. Szenarien akademischen Lehrens und Lernens in Informatik und Naturwissenschaften

Ausgehend von einem handlungsorientierten Medienbegriff werden in diesem Artikel neue Einsatzformen digitaler Medien in der Lehre thematisiert. Dabei spielen Hardware-Voraussetzungen wie berührungsempfindliche Bildschirme oder Funknetzwerke ebenso eine Rolle wie eine Reihe innovativer Softwarewerkzeuge, die insbesondere interaktiv-kooperative Szenarien unterstützen. Praktische Erfahrungen mit diesen Werkzeugen wurden in der akademischen Lehre an der Universität Duisburg-Essen sowie im schulischen Einsatz im Umfeld eines EU-Projektes gesammelt.(DIPF/Orig.)

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Seqins: a sequencing tool for educational resources

The teaching-learning process is increasingly focused on the combination of the paradigms “learning by viewing” and “learning by doing.” In this context, educational resources, either expository or evaluative, play a pivotal role. Both types of resources are interdependent and their sequencing would create a richer educational experience to the end user. However, there is a lack of tools that support sequencing essentially due to the fact that existing specifications are complex. The Seqins is a sequencing tool of digital resources that has a fairly simple sequencing model. The tool communicates through the IMS LTI specification with a plethora of e-learning systems such as learning management systems, repositories, authoring and evaluation systems. In order to validate Seqins we integrate it in an e-learning Ensemble framework instance for the computer programming learning.

JSON on Mobile: is there an efficient parser?

The two largest causes for battery consumption on mobile devices are related with the display and network operations. Since most application need to share data and communicate with remote servers, communications should be as lightweight and efficient as possible. In network communication, serialization plays a central role as the process of converting an object into a stream of bytes. One of the most popular data-interchange format is JSON (JavaScript Object Notation). This paper presents a survey on JSON parsers in mobile scenarios. The aim of the survey is to find the most efficient JSON parser in mobile communications characterised by high transfer rate of small amounts of data. In the performance benchmark we compare the time required to read and write data with several popular JSON parser implementations such as Gson, Jackson, org.json and others. The results of this survey are important for others that need to select an efficient parser for mobile communication.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Cellular DBMS : customizable and autonomous data management using a RISC-style architecture

Magdeburg, Univ., Fak. für Informatik, Diss., 2011