ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

A cooperar é que se aprende?: a aprendizagem cooperativa e educação intercultural: um contributo na construção da autonomia do aluno

Relatório de estágio de mestrado em Ensino de Inglês e Espanhol no 3º Ciclo do Ensino Básico e Ensino Secundário

"Saber escrever, saber falar": a escrita criativa nas aulas de espanhol

Relatório de estágio de mestrado em Ensino de Português no 3º Ciclo do Ensino Básico e no Ensino Secundário e de Espanhol nos Ensinos Básico e Secundário

Critical events in mechanically ventilated patients

Mechanical Ventilation is an artificial way to help a Patient to breathe. This procedure is used to support patients with respiratory diseases however in many cases it can provoke lung damages, Acute Respiratory Diseases or organ failure. With the goal to early detect possible patient breath problems a set of limit values was defined to some variables monitored by the ventilator (Average Ventilation Pressure, Compliance Dynamic, Flow, Peak, Plateau and Support Pressure, Positive end-expiratory pressure, Respiratory Rate) in order to create critical events. A critical event is verified when a patient has a value higher or lower than the normal range defined for a certain period of time. The values were defined after elaborate a literature review and meeting with physicians specialized in the area. This work uses data streaming and intelligent agents to process the values collected in real-time and classify them as critical or not. Real data provided by an Intensive Care Unit were used to design and test the solution. In this study it was possible to understand the importance of introduce critical events for Mechanically Ventilated Patients. In some cases a value is considered critical (can trigger an alarm) however it is a single event (instantaneous) and it has not a clinical significance for the patient. The introduction of critical events which crosses a range of values and a pre-defined duration contributes to improve the decision-making process by decreasing the number of false positives and having a better comprehension of the patient condition.

Design, development and testing of a CAD integrated design for environment software tool.

The research described in this thesis was developed as part o f the Information Management for Green Design (IMA GREE) Project. The 1MAGREE Project was founded by Enterprise Ireland under a Strategic Research Grant Scheme as a partnership project between Galway Mayo Institute o f Technology and C1MRU University College Galway. The project aimed to develop a CAD integrated software tool to support environmental information management for design, particularly for the electronics-manufacturing sector in Ireland.

Behind the Scenes of an Ant Genome Project

Dramatic improvements in DNA sequencing technologies have led to amore than 1,000-fold reduction in sequencing costs over the past five years.Genome-wide research approaches can thus now be applied beyond medicallyrelevant questions to examine the molecular-genetic basis of behavior,development and unique life histories in almost any organism. A first step foran emerging model organism is usually establishing a reference genomesequence. I offer insight gained from the fire ant genome project. First, I detailhow the project came to be and how sequencing, assembly and annotationstrategies were chosen. Subsequently, I describe some of the issues linked toworking with data from recently sequenced genomes. Finally, I discuss anapproach undertaken in a follow-up project based on the fire ant genomesequence.

Decentralization and the Gains from Monitoring

This paper analyzes the delegation of contracting capacity in a moral hazard environment with sequential production in a project which involves a principal and two agents. The agent in charge of the …nal production can obtain soft information about the other agent's effort choice by investing in monitoring. I investigate the circumstances under which it is optimal for the principal to use a centralized organization in which she designs the contracts with both agents or to use a decentralized organization in which she contracts only one agent, and delegates the power to contract the other agent. It is shown that in this setting a decentralized organization can be superior to a centralized organization. This is because the principal is better off under monitoring and the incentives for an agent to invest in monitoring can be higher in a decentralized organization. The circumstances under which this is true are related to the monitoring costs and the importance of each agent for production. The results explain the recent application of the design-build method in public procurement. Journal of Economic Literature Classi…cation Numbers: D23, D82, L14, L22. Keywords: Decentralization of Contracting, Monitoring, Moral Hazard.

Plataforma de adquisición de imágenes en escenarios virtuales para uso en sistemas de visión

En aquest projecte presentem un mètode per generar bases de imatges de vianants, requerides per a l'entrenament o validació de sistemes d'aprenentatge basats en exemples, en un entorn virtual. S'ha desenvolupat una plataforma que permet simular una navegació d'una càmara en una escena virtual i recuperar el fluxe de vídeo amb el seu groundtruth. Amb l'ús d'aquesta plataforma es suprimeix el procés d'anotació, necesari per obtenir el groundtruth en entorns reals, i es redueixen els costos al treballar en un entorn virtual.

Simulación del proceso de investigación durante la realización del ciclo de prácticas

Las sesiones de laboratorio ofrecen la posibilidad de simular a pequeña escala el proceso de investigación. En una actividad formativa basada en la metodología PBL (Problem Based Learning), cada grupo de alumnos recibe el encargo de comprobar de manera experimental el efecto de una sustancia sobre el crecimiento de una población de la planta acuática Lemna minor. Después de completar el diseño experimental y llevar a cabo el ensayo, los alumnos deben redactar un informe final en formato póster de forma que presenten sintéticamente los objetivos del ensayo, el procedimiento experimental seguido, los resultados obtenidos y las conclusiones alcanzadas. La actividad finaliza con la presentación de todos los pósters en una sesión específica. Esta práctica docente ha permitido detectar algunos déficits formativos en nuestros alumnos que han motivado la implementación de estrategias correctoras.

L'aprenentatge basat en problemes (PBL) en la regulació del metabolisme. Desenvolupament del portal per a l'intercanvi d'experiències en PBL en ciències biomèdiques

L’aprenentatge basat en problemes està en fase experimental en tot el món i és objecte d’anàlisi i reflexió en moltes reunions internacionals. Tanmateix, no hi ha massa feina feta en aquesta direcció en el nostre camp més proper. Hem elaborat problemes per l’aprenentatge de la Regulació del Metabolisme i els hem incorporat a un porta virtual (http://www.ub.edu/GID-BBM). La finalitat d’aquesta estratègia és que mitjançant l’aprenentatge basat en problemes reals o simulacions de problemes reals s’aconsegueixi motivar l’alumnat a treballar de forma continuada durant tot el curs. La millora dels resultats acadèmics haurà de ser la conseqüència lògica d’aquest treball. La finalitat última del projecte que hem desenvolupat és preparar l’alumnat per la seva futura activitat professional a on serà molt important i valorat la seva capacitat de resposta davant de diferents problemes

Desenvolupament de problemes virtuals i interactius per a l’aprenentatge de la Microbiologia

La finalitat del projecte ha estat desenvolupar un espai virtual teòric-pràctic per a l’aprenentatge de la Microbiologia. Aquest espai virtual, basat en l'aprenentatge a través de problemes, s’ha anomenat “Microbiologia Interactiva” i proposa a l’alumne les següents àrees temàtiques: Introducció a les tècniques de la Microbiologia; Estructura i funció de la cèl.lula microbiana; Creixement i control microbià; Microbiologia molecular; Fisiologia i metabolisme microbians; Virologia; Ecologia Microbiana; Diversitat microbiana. Per a cada temàtica s’han definit unes competències a assolir a través de la resolució de problemes teòrics o pràctics. En aquest darrer cas, se li proposa a l’alumne que entri en el laboratori virtual per a la resolució dels casos pràctics plantejats. A més, per a la resolució dels problemes, l’alumne disposa d’un seguit de recursos per a cada temàtica. Finalment, també s’inclouen activitats de relació i d’ampliació per tal d’estimular la discussió, l’esperit crìtic, el treball en grup i la recerca bibliogràfica. A més, per tal de facilitar el seu ús, el web disposa també d'un tutorial. El web “Microbiologia Interactiva” es va introduir de forma pilat en l’ensenyament de l'assignatura de Microbiologia de la Llicenciatura de Biologia i de la de Microbiologia I de la llicenciatura de Biotecnologia de la Universitat Autònoma de Barcelona (UAB) durant el curs 2007-08. Al llarg d'aquest curs es va valorar la seva utilitat i acceptació per part dels alumnes mitjançant enquestes. Els bons resultats obtinguts van aconsellar que aquesta eina fora ja utilitzada en totes les assignatures generals de Microbiologia de les llicenciatures de Biologia, Biotecnologia, Bioquímica, Química, Enginyeria Química, Ciències Ambientals i Ciència i Tecnologia dels Aliments de la UAB. Actualment el web s’està també utilitzant amb molt bons resultats a les assignatures de Microbiologia dels nous graus que ofereix la Facultat de Biociències de la UAB. Així doncs, en aquest projecte s’han assolit amb escreix els objectius previstos. Es pot consultar el web desenvolupat a l’adreça http://microbiologia.uab.cat//Microbiologia_Interactiva_Web/.

L'aprenentatge basat en problemes en models híbrids de docència-aprenentatge

La Facultat de Ciències de la Salut i de la Vida ha utilitzat des de 2004 la metodologia d'aprenentatge basat en problemes (en endavant ABP) com a mètode docent en els seus estudis de Biologia. En aquest període hem après algunes de les claus de l'aplicació del mètode en els nostres estudis. En primer lloc, cal disposar d'elements formatius que afavoreixin la formació dels tutors que participin en el projecte. Per assolir aquest objectiu hem dissenyat un portal on els nostres professors poden disposar de materials útils per a la seva activitat, així com de documents que permetin entendre millor el que suposa l'ABP. En segon lloc, el projecte tenia l'objectiu de dissenyar i avaluar activitats que permetessin integrar les pràctiques de laboratori en la lògica de la resolució de problemes pròpia de l'ABP. En aquest sentit vam dissenyar dues activitats en el tercer curs de la llicenciatura que anomenaren aprenentatge basat en el laboratori (ABL). Per aquest motiu es van dissenyar problemes que tinguessin una primera part de resolució a l'aula en grup de tutoria i una segona que obligués els estudiants a realitzar experiments de laboratori dirigits a entendre i resoldre les qüestions plantejades al grup de tutoria. L'ABL-1 fou un projecte de biologia cel·lular i destinat a aprofundir en els mecanismes implicats en els fenòmens de diferenciació dels miòcits. L'ABL-2 era un projecte conjunt dels professors de Fisiologia vegetal, Bioestadística i Microbiologia. En aquest cas es desitjava que els estudiants plantegessin la resolució a un problema que suposava la manipulació genètica de cèl·lules vegetals per fer possible que produïssin una substància específica, l'escopolamina. Finalment els estudiants havien d'escriure un article original com a projecte final de cada ABL. Els resultats dels dos anys d'experimentació han esta altament satisfactoris, d'acord amb les enquestes completades per alumnes i professors.

Evolution of decision-making and learning under fluctuating social environments

The capacity to learn to associate sensory perceptions with appropriate motor actions underlies the success of many animal species, from insects to humans. The evolutionary significance of learning has long been a subject of interest for evolutionary biologists who emphasize the bene¬fit yielded by learning under changing environmental conditions, where it is required to flexibly switch from one behavior to another. However, two unsolved questions are particularly impor¬tant for improving our knowledge of the evolutionary advantages provided by learning, and are addressed in the present work. First, because it is possible to learn the wrong behavior when a task is too complex, the learning rules and their underlying psychological characteristics that generate truly adaptive behavior must be identified with greater precision, and must be linked to the specific ecological problems faced by each species. A framework for predicting behavior from the definition of a learning rule is developed here. Learning rules capture cognitive features such as the tendency to explore, or the ability to infer rewards associated to unchosen actions. It is shown that these features interact in a non-intuitive way to generate adaptive behavior in social interactions where individuals affect each other's fitness. Such behavioral predictions are used in an evolutionary model to demonstrate that, surprisingly, simple trial-and-error learn¬ing is not always outcompeted by more computationally demanding inference-based learning, when population members interact in pairwise social interactions. A second question in the evolution of learning is its link with and relative advantage compared to other simpler forms of phenotypic plasticity. After providing a conceptual clarification on the distinction between genetically determined vs. learned responses to environmental stimuli, a new factor in the evo¬lution of learning is proposed: environmental complexity. A simple mathematical model shows that a measure of environmental complexity, the number of possible stimuli in one's environ¬ment, is critical for the evolution of learning. In conclusion, this work opens roads for modeling interactions between evolving species and their environment in order to predict how natural se¬lection shapes animals' cognitive abilities. - La capacité d'apprendre à associer des sensations perceptives à des actions motrices appropriées est sous-jacente au succès évolutif de nombreuses espèces, depuis les insectes jusqu'aux êtres hu¬mains. L'importance évolutive de l'apprentissage est depuis longtemps un sujet d'intérêt pour les biologistes de l'évolution, et ces derniers mettent l'accent sur le bénéfice de l'apprentissage lorsque les conditions environnementales sont changeantes, car dans ce cas il est nécessaire de passer de manière flexible d'un comportement à l'autre. Cependant, deux questions non résolues sont importantes afin d'améliorer notre savoir quant aux avantages évolutifs procurés par l'apprentissage. Premièrement, puisqu'il est possible d'apprendre un comportement incorrect quand une tâche est trop complexe, les règles d'apprentissage qui permettent d'atteindre un com¬portement réellement adaptatif doivent être identifiées avec une plus grande précision, et doivent être mises en relation avec les problèmes écologiques spécifiques rencontrés par chaque espèce. Un cadre théorique ayant pour but de prédire le comportement à partir de la définition d'une règle d'apprentissage est développé ici. Il est démontré que les caractéristiques cognitives, telles que la tendance à explorer ou la capacité d'inférer les récompenses liées à des actions non ex¬périmentées, interagissent de manière non-intuitive dans les interactions sociales pour produire des comportements adaptatifs. Ces prédictions comportementales sont utilisées dans un modèle évolutif afin de démontrer que, de manière surprenante, l'apprentissage simple par essai-et-erreur n'est pas toujours battu par l'apprentissage basé sur l'inférence qui est pourtant plus exigeant en puissance de calcul, lorsque les membres d'une population interagissent socialement par pair. Une deuxième question quant à l'évolution de l'apprentissage concerne son lien et son avantage relatif vis-à-vis d'autres formes plus simples de plasticité phénotypique. Après avoir clarifié la distinction entre réponses aux stimuli génétiquement déterminées ou apprises, un nouveau fac¬teur favorisant l'évolution de l'apprentissage est proposé : la complexité environnementale. Un modèle mathématique permet de montrer qu'une mesure de la complexité environnementale - le nombre de stimuli rencontrés dans l'environnement - a un rôle fondamental pour l'évolution de l'apprentissage. En conclusion, ce travail ouvre de nombreuses perspectives quant à la mo¬délisation des interactions entre les espèces en évolution et leur environnement, dans le but de comprendre comment la sélection naturelle façonne les capacités cognitives des animaux.

IPH response to the Joint Committee on Health and Children and members of the Northern Ireland Assembly on “Cross-border cooperation on healthcare”

The Institute of Public Health in Ireland were asked to submit a paper on 'Cross-border cooperation on healthcare' for a joint meeting between the Oireachtas Joint Committee on Health and Children and the Northern Ireland Assembly Health Committee which took place in Leinster House on 1 March 2012. Key points from the submission included: o    The Institute of Public Health in Ireland (IPH) is an all-island organisation which promotes cooperation between the Republic of Ireland and Northern Ireland with the aim of improving population health on the island and tackling health inequalities. IPH work is focused on addressing the causes of ill health rather than the design and delivery of treatment services. o    North/South cooperation on health was mandated under the Belfast Agreement in 1998 in five domains, including health promotion. IPH has supported the North South Ministerial Council (NSMC) in respect of the health promotion strand since inception. o    The Department of Health and Department of Health, Social Services and Public Safety North-South Feasibility Study (December 2011) states that mutual benefits are most evident from cooperation in the areas of (i) anticipating trends and illnesses in a collective manner (ii) public health issues (iii) specialised services where the population or activity required to sustain the service cannot be met by either jurisdiction alone and (iv) in relation to those areas adjacent to the border. o    The European Directive on Cross-Border Healthcare will be implemented in the next few years which will have implications in relation to patients travelling for healthcare across the Republic of Ireland/Northern Ireland border. o    IPH is supporting the development of new public health strategies in the Republic of Ireland and Northern Ireland which are both due for publication this year. o    There are tangible benefits from cross-border cooperation in the health sector, both in public health and in health service planning and delivery and there are many examples of successful initiatives. However, developments are not occurring in the context of an agreed plan or overall strategic context and tend to be project-based and concentrated in border counties. o    Successful cross-border cooperation requires high level support and integration into departmental policy cycles. The provision of data on an all-island basis supports cross-border cooperation as does the operation of sustainable all-island organisations which can support research, evaluations and programmes. o    In the future, cross-border cooperation in health will be more effective if developed with a strategic planning process intrinsically linked to Departmental priorities. o    North-South cooperation in the areas of alcohol, obesity, tobacco health surveys and rare diseases will be particularly beneficial.

Evaluation of the direct agglutination test and the rK39 dipstick test for the sero-diagnosis of visceral leishmaniasis

The direct agglutination test (DAT) based on a freeze-dried antigen and the rK39 dipstick test were evaluated for the sero-diagnosis of visceral leishmaniasis (VL). The sensitivity and specificity of both tests were determined using sera from confirmed VL patients (n = 21), healthy controls (n = 19) and from patients with other confirmed infectious diseases (n = 42). The DAT had a sensitivity and a specificity of 100%. The rK39 had a sensitivity of 85.7% and a specificity of 82%. Both tests were also used to screen blood samples of confirmed VL patients (n = 15) and serum samples of VL suspects (n = 61). The DAT found all blood samples of confirmed VL patients positive and tested 98.4% of the serum samples of the VL suspects positive. In contrast, rK39 detected in 9/15 blood samples (60%) antibodies against Leishmania chagasi and found 85.3% of the serum samples of the suspected patients positive. Although the rK39 dipstick is more rapid and user friendlier than the DAT, the latter has a superior sensitivity and specificity. Furthermore, the reagents used for DAT do not require cold storage, whereas the buffer of the rK39 must be stored at 4ºC. Therefore, the DAT is the most suitable test for the sero-diagnosis of VL under field conditions.