Ein Weiterbildungsprojekt als Promotor von Hochschulentwicklung – Realität oder Größenwahn

In diesem Beitrag werden die Besonderheiten des BLK-Projektes OLIM1 in Bezug auf die Implementierung von Nachhaltigkeit und die Entwicklungsimpulse aus der Weiterbildung in die Hochschulen hinein dargestellt. Ausgehend von der besonderen Situation in Hamburg und in der Arbeitsstelle für wissenschaftliche Weiterbildung der Universität Hamburg wird das Projekt in seinen wesentlichen Zügen skizziert. Es schließt sich eine Darstellung wichtiger Faktoren zum angestrebten Ziel Nachhaltigkeit sowie eine Beschreibung ihres konzeptionellen Beitrags an. Am Beispiel erster Projektergebnisse wird aufgezeigt, inwiefern sich die hohen Erwartungen bisher erfüllt haben oder ob es sich um einen Anflug von Größenwahn einer kleinen Einrichtung in einer großen Universität handelt. (DIPF/Orig.)

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.

Dynamics of Epileptic Activity in a Peculiar Case of Childhood Absence Epilepsy and Correlation with Thalamic Levels of GABA

Childhood absence epilepsy (CAE) is a syndrome with well-defined electroclinical features but unknown pathological basis. An increased thalamic tonic GABA inhibition has recently been discovered on animal models (Cope et al., 2009), but its relevance for human CAE is unproven. METHODS: We studied an 11-year-old boy, presenting the typical clinical features of CAE, but spike-wave discharges (SWD) restricted to one hemisphere. RESULTS: High-resolution EEG failed to demonstrate independent contralateral hemisphere epileptic activity. Consistently, simultaneous EEG-fMRI revealed the typical thalamic BOLD activation, associated with caudate and default mode network deactivation, but restricted to the hemisphere with SWD. Cortical BOLD activations were localized on the ipsilateral pars transverse. Magnetic resonance spectroscopy, using MEGA-PRESS, showed that the GABA/creatine ratio was 2.6 times higher in the hemisphere with SWD than in the unaffected one, reflecting a higher GABA concentration. Similar comparisons for the patient's occipital cortex and thalamus of a healthy volunteer yielded asymmetries below 25%. SIGNIFICANCE: In a clinical case of CAE with EEG and fMRI-BOLD manifestations restricted to one hemisphere, we found an associated increase in thalamic GABA concentration consistent with a role for this abnormality in human CAE.

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

Qualitative and quantitative formal model-based safety analysis : push the safety button

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

Data mining with graphical models

Data Mining, Learning from data, graphical models, possibility theory

Konstruktive Exploration räumlicher Daten

Augmented reality, haptic feedback, force feedback, image processing, assistive technologies, GIS

Enhancing text classification to improve information filtering

Text classification, information filtering, semi-supervised learning, quality control

monitoring-based approach to object-oriented real-time computing

Monitoring, object-orientation, real-time, execution-time, scheduling

Steuerung von sechsbeinigen Laufrobotern unter dem Aspekt technischer Anwendungen

Walking robot, legged robot, walking machine, walking vehicle, control system, force control, technical application, kinematics distributed control, embedded system