Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Implementação de metodologias BIM na Direção de Engenharia de Barragens da EDP: casos de estudo de projeto de estruturas em obras hidroelétricas

Dissertação de mestrado integrado em Engenharia Civil

Formulierung von Nutzerpräferenzen in Multimedia-Retrieval-Systemen

Multimedia, retrieval, multimedia-retrieval-system, multimedia query languages, weighting, preferences

Multimedia-Datenbanken : Retrieval, Suchalgorithmen und Anfragebearbeitung

Multimedia, Datenbanken, inhaltsbasiertes Retrieval, Multimedia-Retrieval

Defining the criteria for the evaluation of self-study multimedia language learning materials: do they facilitate or inhibit learner autonomy?

Durant els darrers anys, s’han publicat un gran nombre de materials multimèdia destinats a l’aprenentatge de llengües, la major part dels quals son CD-ROM dissenyats com a cursos per l’autoaprenentatge. Amb aquests materials, els alumnes poden treballar independentment sense l’assessorament d’un professor, i per aquest motiu s’ha afirmat que promouen i faciliten l’aprenentatge autònom. Aquesta relació, però, no es certa, com Phil Benson i Peter Voller 1997:10) han manifestat encertadament:(…) Such claims are often dubious, however, because of the limited range of options and roles offered to the learner. Nevertheless, technologies of education in the broadest sense can be considered to be either more or less supportive of autonomy. The question is what kind of criteria do we apply in evaluating them? En aquest article presentem una investigació conjunta on es defineixen els criteris que poden ser utilitzats per avaluar materials multimèdia en relació a la seva facilitat per permetre l’aprenentatge autònom. Aquests criteris son la base d’un qüestionari que s’ha emprat per avaluar una selecció de CD-ROM destinats a l’autoaprenentatge de llengües. La estructura d’aquest article és la següent: - Una introducció de l’estudi - Els criteris que s’han utilitzar per la creació del qüestionari - Els resultats generals de l’avaluació - Les conclusions que s’han extret i la seva importància pel disseny instructiu multimèdia

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).

Aging and motor programming: differential effects according to the selection of action

There are controversial reports about the effect of aging on movement preparation, and it is unclear to which extent cognitive and/or motor related cerebral processes may be affected. This study examines the age effects on electro-cortical oscillatory patterns during various motor programming tasks, in order to assess potential differences according to the mode of action selection. Twenty elderly (EP, 60-84 years) and 20 young (YP, 20-29 years) participants with normal cognition underwent 3 pre-cued response tasks (S1-S2 paradigm). S1 carried either complete information on response side (Full; stimulus-driven motor preparation), no information (None; general motor alertness), or required free response side selection (Free; internally-driven motor preparation). Electroencephalogram (EEG) was recorded using 64 surface electrodes. Alpha (8-12 Hz) desynchronization (ERD)/synchronization (ERS) and motor-related amplitude asymmetries (MRAA) were analyzed during the S1-S2 interval. Reaction times (RTs) to S2 were slower in EP than YP, and in None than in the other 2 tasks. There was an Age x Task interaction due to increased RTs in Free compared to Full in EP only. Central bilateral and midline activation (alpha ERD) was smaller in EP than YP in None. In Full just before S2, readiness to move was reflected by posterior midline inhibition (alpha ERS) in both groups. In Free, such inhibition was present only in YP. Moreover, MRAA showed motor activity lateralization in both groups in Full, but only in YP in Free. The results indicate reduced recruitment of motor regions for motor alertness in the elderly. They further show less efficient cerebral processes subtending free selection of movement in elders, suggesting reduced capacity for internally-driven action with age.

Bases de dades multimedia

Aquest treball vol fer conèixer d'una manera més o menys acurada el concepte de base de dades multimèdia i tot el que hi està relacionat. Amb aquesta finalitat, el treball s'ha estructurat de manera que el lector conegui els conceptes fonamentals de les bases de dades en general i de les multimèdia en concret, com també les tecnologies disponibles per a gestionar-les, saber com funcionen, què ofereixen, etc.

Informatización de una biblioteca mediante una BD multimedia

El projecte té com objectiu desenvolupar una aplicació informàtica per a una biblioteca. El principal handicap que tindrà aquesta aplicació és que algunes de les dades que s'hi volen desar són de diversos formats: imatges, sons, dibuixos, pel·lícules de DVD, arxius doc, arxius application/pdf, etc.

Bases de datos Multimedia

Aquest treball mira d'aproximar-se a la situació actual de les bases de dades multimèdia. Per a fer-ho, s'ha optat per un enfocament múltiple que té en compte diferents aspectes del producte multimèdia: els aspectes econòmics, és a dir, la situació del mercat (nombre de bases de dades, volum de negoci, creixement, etc.), els aspectes tècnics, és a dir, l'eina emprada, la seva evolució, les seves limitacions i problemes, i les seves aplicacions i serveis en diferents àrees (amb un interès especial en el camp de la documentació i la formació i la recerca).

BD:XML natives per a documents MPEG-7

Aquest projecte avalua diferents BD:XML natives per a desar i recuperar documents XML basats en l'estàndard MPEG-7. Es tracta d'un estàndard que proposa un llenguatge per descriure el contingut (metadades) de documents multimèdia, és a dir, àudio i vídeo. El seu format de representació és XML i es basa en un esquema ja predefinit (XMLSchema d'MPEG-7).

Bases de dades multimedia

La part del treball de recerca inclou un estudi que recull l'evolució de les bases de dades des del seu començament fins a l'actualitat, incloent-hi una previsió del futur de les bases de dades; finalment, com a aprofundiment, s'hi estudien les bases de dades multimèdia. D'altra banda, la part pràctica mira d'aplicar tots el coneixements adquirits durant l'estudi de recerca i durant les diferents assignatures de la carrera, i intenta obtenir una aplicació que es pugui fer servir en el món real.

Estenografía en contenido multimedia

En aquest projecte es desitja desenvolupar una aplicació esteganogràfica, la qual permeti ocultar un text en una imatge passant aquest desapercebut davant dels ulls de qui no ho espera, o que li sigui impossible recuperar-la a aquella persona que desitgi llegir el missatge sense la clau necessària.

Multimedia materials for education, training, and advocacy in international health: experiences with the Schistosomiasis Control Initiative CD-ROM

We describe an innovative use of multimedia materials to support training and advocacy within a schistosomiasis control programme. The Schistosomiasis Control Initiative (SCI) at Imperial College London works with selected sub-Saharan African countries to develop schistosomiasis control programmes. Two elements of the SCI programme were supported by multimedia materials developed at the Wellcome Trust in collaboration with the SCI: (1) training of programme managers, district health officers, and those delivering practical elements of the programme; and (2) advocacy targeted at decision-makers and donors. Evaluation of the materials revealed high reported ratings for both user satisfaction and impact from use of the product. From this experience we draw out several general messages about development of multimedia materials and how these will play a growing future role in promoting training within international health.