Applying recommendations to aligncompetences, methodology and assessment in Telematics, Computing and Electronic Engineering courses

The alignment between competences, teaching-learning methodologies and assessment is a key element of the European Higher Education Area. This paper presents the efforts carried out by six Telematics, Computer Science and Electronic Engineering Education teachers towards achieving this alignment in their subjects. In a joint work with pedagogues, a set of recommended actions were identified. A selection of these actions were applied and evaluated in the six subjects. The cross-analysis of the results indicate that the actions allow students to better understand the methodologies and assessment planned for the subjects, facilitate (self-) regulation and increase students’ involvement in the subjects.

@neurIST infrastructure for advanced disease management through integration of heterogeneous data, computing, and complex processing services

The increasing volume of data describing humandisease processes and the growing complexity of understanding, managing, and sharing such data presents a huge challenge for clinicians and medical researchers. This paper presents the@neurIST system, which provides an infrastructure for biomedical research while aiding clinical care, by bringing together heterogeneous data and complex processing and computing services. Although @neurIST targets the investigation and treatment of cerebral aneurysms, the system’s architecture is generic enough that it could be adapted to the treatment of other diseases.Innovations in @neurIST include confining the patient data pertaining to aneurysms inside a single environment that offers cliniciansthe tools to analyze and interpret patient data and make use of knowledge-based guidance in planning their treatment. Medicalresearchers gain access to a critical mass of aneurysm related data due to the system’s ability to federate distributed informationsources. A semantically mediated grid infrastructure ensures that both clinicians and researchers are able to seamlessly access andwork on data that is distributed across multiple sites in a secure way in addition to providing computing resources on demand forperforming computationally intensive simulations for treatment planning and research.

Adipose tissue integrity as a prerequisite for systemic energy balance: a critical role for peroxisome proliferator-activated receptor gamma.

Peroxisome proliferator-activated receptor gamma (PPARgamma) is an essential regulator of adipocyte differentiation, maintenance, and survival. Deregulations of its functions are associated with metabolic diseases. We show here that deletion of one PPARgamma allele not only affected lipid storage but, more surprisingly, also the expression of genes involved in glucose uptake and utilization, the pentose phosphate pathway, fatty acid synthesis, lipolysis, and glycerol export as well as in IR/IGF-1 signaling. These deregulations led to reduced circulating adiponectin levels and an energy crisis in the WAT, reflected in a decrease to nearly half of its intracellular ATP content. In addition, there was a decrease in the metabolic rate and physical activity of the PPARgamma(+/-) mice, which was abolished by thiazolidinedione treatment, thereby linking regulation of the metabolic rate and physical activity to PPARgamma. It is likely that the PPARgamma(+/-) phenotype was due to the observed WAT dysfunction, since the gene expression profiles associated with metabolic pathways were not affected either in the liver or the skeletal muscle. These findings highlight novel roles of PPARgamma in the adipose tissue and underscore the multifaceted action of this receptor in the functional fine tuning of a tissue that is crucial for maintaining the organism in good health.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

A Musically aware system for browsing and interacting with audio music collections

In the context of the CompMusic project we are developing methods to automatically describe/annotate audio music recordings pertaining to various music cultures. As away to demonstrate the usefulness of the methods we are also developing a system to browse and interact with specific audio collections. The system is an online web application that interfaces with all the data gathered (audio, scores plus contextual information) and all the descriptions that are automatically generated with the developed methods. In this paper we present the basic architecture of the proposed system, the types of data sources that it includes,and we mention some of the culture specific issues that we are working on for its development. The system is in a preliminary stage but it shows the potential that MIR technologies can have in browsing and interacting with musiccollections of various cultures.