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.

Modelo de língua natural e transformação em modelo de LGP

A comunicação entre ouvintes e não ouvintes é uma barreira existente en-tre indivíduos das duas comunidades. Este facto cria grande dificuldade nas relações entre ambas, mesmo quando existem grandes laços afectivos, como por exemplo o caso da relação entre pais e filhos. Neste trabalho porpõe-se uma solução que pretende contribuir para apro-ximar estas duas comunidades através de um elemento que permita a tradução da Língua Portuguesa para a Língua Gestual Portuguesa. Trata-se de um modelo humanoide – um avatar – capaz de representar em Língua Gestual Portuguesa os gestos correspondentes a um texto em Língua Portuguesa, depois de um processo de tradução da primeira na segunda. O tra-balho realizado foi validado com o desenvolvimento de um protótipo, seguido de teste do mesmo. Com este trabalho pretende-se dar uma contribuição para a aproximação das duas comunidades – de ouvintes e não ouvintes.

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

Fuzzy-Clusteranalyse : Methoden zur Exploration von Daten mit fehlenden Werten sowie klassifizierten Daten

Fuzzy-Clusteranalyse, Fuzzy-Datenanlayse

Dynamic potential fields for guided exploration in virtual environments

Dynamic potential fields, guided exploration, virtual environments, navigation

Aspektorientierung und Programmfamilien im Betriebssystembau

Operating system, program families, aspect-oriented programming, aspectC++, embedded systems, PURE operating system family