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 Prova por reconhecimento de pessoas produzida ex novo em sede de audiência de julgamento: fiabilidade e impacto na descoberta da verdade material

Dissertação de mestrado em Direito Judiciário (Direitos Processuais e Organização Judiciária)

DNA barcodes de peixes marinhos da Europa: compilação de uma biblioteca de referência validada e investigação de padrões de divergência genética

Dissertação de mestrado em Ecologia

A aula de orquestra como laboratório para a criatividade

Relatório de estágio de mestrado em Ensino da Música

Azulejaria portuguesa e a valorização do património: interpretação de fontes patrimoniais iconográficas por alunos do 1º e 2º ciclo do ensino básico

Relatório de estágio de mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef

As metas curriculares de português: como as percecionam os professores do 5.º e do 7.º anos de escolaridade

Dissertação de mestrado em Ciências da Educação (área de especialização em Supervisão Pedagógica na Educação em Línguas)

Modos de circulação: travessia do Vale do Cávado

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitetónica)

Sujeto y Política. La constitución de las identidades desde una perspectiva postfundacionalista: hacia la construcción de un marco teórico-metodológico para el análisis histórico-político. Subject and politics. The constitution of political identities from a posfoundational perspective: towards a construction of a theorethico-methodolocal framework for histórico-political analysis.

El proyecto de investigación se dirige a sistematizar un abordaje postfundacionalista de las identidades políticas en vistas a la construcción de un marco teórico-metodológico para el análisis histórico-político. Se parte de la creciente relevancia en las ciencias sociales de la cuestión de la “identidad” para indagar la singularidad del marco teórico adoptado en su estudio. Así, el postfundacionalismo da cuenta de una teoría de las subjetividades políticas que parte de procesos de identificación que suponen una articulación singular entre relativa estructuralidad y agencia. El sujeto emerge en un contexto nunca plenamente suturado ni plenamente abierto, sino a través de un anudamiento de diversas dimensiones reales, simbólicas e imaginarias. Esta visión es altamente productiva para generar conclusiones relevantes en el campo de la ciencia política y del análisis histórico político comparado. This research project seeks to systematise from a postfundationalist view of political identities a theoretico-methodological framework for historico political analysis. The project starts from the increasing relevance of the quistion of 'identity' for contremporary social sciences. Poststructuralism provides an insight of processes of identification that supposes a singular articulation between relative structurality and agency. The subject emerges in a neither fully structured nor fully opened context but through a knotting process of different registers: real, symblic and imaginary. This vision, we believe, is highly productive to generate meaningful conclusions in the field of political science and comparative political analysis.

Small mammal distributional patterns in Northwestern Argentina

ABSTRACT Quantitative evaluations of species distributional congruence allow evaluating previously proposed biogeographic regionalization and even identify undetected areas of endemism. The geographic scenery of Northwestern Argentina offers ideal conditions for the study of distributional patterns of species since the boundaries of a diverse group of biomes converge in a relatively small region, which also includes a diverse fauna of mammals. In this paper we applied a grid-based explicit method in order to recognize Patterns of Distributional Congruence (PDCs) and Areas of Endemism (AEs), and the species (native but non-endemic and endemic, respectively) that determine them. Also, we relate these distributional patterns to traditional biogeographic divisions of the study region and with a very recent phytogeographic study and we reconsider what previously rejected as 'spurious' areas. Finally, we assessed the generality of the patterns found. The analysis resulted in 165 consensus areas, characterized by seven species of marsupials, 28 species of bats, and 63 species of rodents, which represents a large percentage of the total species (10, 41, and 73, respectively). Twenty-five percent of the species that characterize consensus areas are endemic to the study region and define six AEs in strict sense while 12 PDCs are mainly defined by widely distributed species. While detailed quantitative analyses of plant species distribution data made by other authors does not result in units that correspond to Cabrera's phytogeographic divisions at this spatial scale, analyses of animal species distribution data does. We were able to identify previously unknown meaningful faunal patterns and more accurately define those already identified. We identify PDCs and AEs that conform Eastern Andean Slopes Patterns, Western High Andes Patterns, and Merged Eastern and Western Andean Slopes Patterns, some of which are re-interpreted at the light of known patterns of the endemic vascular flora. Endemism do not declines towards the south, but do declines towards the west of the study region. Peaks of endemism are found in the eastern Andean slopes in Jujuy and Tucumán/Catamarca, and in the western Andean biomes in Tucumán/Catamarca. The principal habitat types for endemic small mammal species are the eastern humid Andean slopes. Notwithstanding, arid/semi-arid biomes and humid landscapes are represented by the same number of AEs. Rodent species define 15 of the 18 General Patterns, and only in one they have no participation at all. Clearly, at this spatial scale, non-flying mammals, particularly rodents, are biogeographically more valuable species than flying mammals (bat species).

Una universidad donde confluyen la educación, la investigación y la ciudadanía

El projecte de recerca s'ha basat en el projecte Miquel Martí i Pol, que ha consistit en la creació i manteniment d'un jardí dedicat a la memòria del poeta, amb persones en situació d'exclusió social (per motius de malaltia mental, immigració, pobresa) i estudiants de teràpia ocupacional de la Universitat de Vic, des d'una sinergia única entre la Universitat de Vic i institucions públiques, socials i empresarials. La recerca ve a cobrir la falta de coneixement sobre l'impacte terapèutic de la jardineria, com afirmava Sempik al 2003. Així mateix, genera coneixements sobre l'ocupació humana, la ciutadania, les comunitats inclusives, les aliances estratègiques i sobre noves praxis educatives en el marc del nou Espai Europeu d'Educació Superior (EEES). El marc teòric s'ha basat en una visió transdisciplinària, des de l'educació, la filosofia, la psicologia, la sociologia, la teràpia ocupacional, la política, l'ecologia i l'antropologia. S'ha desenvolupat una recerca inspirada per la investigació acció participativa que ha aprofundit en el significat que ha tingut aquesta experiència per a les persones implicades en el procés de creació del jardí: les persones procedents de col•lectius en situació d'exclusió, els estudiants, així com els representants de les institucions públiques, socials, empresarials i la pròpia Universitat de Vic. Així es van desenvolupar una sèrie d'entrevistes a fons i formularis amb 5 jardiners; 2 estudiants; la Consellera d'Acció Social de l'Ajuntament de Vic; el Conseller d'Acció Social del Consell Comarcal d'Osona; el President de Caritas; la terapeuta ocupacional de la Fundació Centre Mèdic Psicopedagògic d'Osona; la Rectora de la Universitat de Vic; la Directora de l'EUCS i el President del Rotary Club. Els temes que han sorgit en la recerca són: La construcció de l'ocupació significativa; la jardineria com a font de benestar; un espai de bellesa; la dignitat de la ciutadania; la creació de comunitats inclusives; una Universitat al servei de la Humanitat: noves praxis educatives; l'art de les aliances estratègiques i de les sinergies. Els coneixements generats tenen relació amb els estudis de teràpia ocupacional, així com per a educació social, infermeria, psicologia i ciències ambientals. A més a més són una aposta per al desenvolupament de noves praxis educatives en el nou EEES. El treball ha estat qualificat com a excel•lent per unanimitat del tribunal.

Quantifying consistency of Event Related Potentials across subjects based on single-trial topographic analysis

Introduction: Non-invasive brain imaging techniques often contrast experimental conditions across a cohort of participants, obfuscating distinctions in individual performance and brain mechanisms that are better characterised by the inter-trial variability. To overcome such limitations, we developed topographic analysis methods for single-trial EEG data [1]. So far this was typically based on time-frequency analysis of single-electrode data or single independent components. The method's efficacy is demonstrated for event-related responses to environmental sounds, hitherto studied at an average event-related potential (ERP) level. Methods: Nine healthy subjects participated to the experiment. Auditory meaningful sounds of common objects were used for a target detection task [2]. On each block, subjects were asked to discriminate target sounds, which were living or man-made auditory objects. Continuous 64-channel EEG was acquired during the task. Two datasets were considered for each subject including single-trial of the two conditions, living and man-made. The analysis comprised two steps. In the first part, a mixture of Gaussians analysis [3] provided representative topographies for each subject. In the second step, conditional probabilities for each Gaussian provided statistical inference on the structure of these topographies across trials, time, and experimental conditions. Similar analysis was conducted at group-level. Results: Results show that the occurrence of each map is structured in time and consistent across trials both at the single-subject and at group level. Conducting separate analyses of ERPs at single-subject and group levels, we could quantify the consistency of identified topographies and their time course of activation within and across participants as well as experimental conditions. A general agreement was found with previous analysis at average ERP level. Conclusions: This novel approach to single-trial analysis promises to have impact on several domains. In clinical research, it gives the possibility to statistically evaluate single-subject data, an essential tool for analysing patients with specific deficits and impairments and their deviation from normative standards. In cognitive neuroscience, it provides a novel tool for understanding behaviour and brain activity interdependencies at both single-subject and at group levels. In basic neurophysiology, it provides a new representation of ERPs and promises to cast light on the mechanisms of its generation and inter-individual variability.

I have faith in my thing, you know what I mean? Mixed method elements on individual investments on religious markets.

In contemporary society, religious signification and secular systems mix and influence each other. Holistic conceptions of a world in which man is integrated harmoniously with nature meet representations of a world run by an immanent God. On the market of the various systems, the individual goes from one system to another, following his immediate needs and expectations without necessarily leaving any marks in a meaningful long term system. This article presents the first results of an ongoing research in Switzerland on contemporary religion focusing on (new) paths of socialization of modern that individuals and the various (non-) belief systems that they simultaneously develop

Fum i miralls: trobant l'ordre en un món caòtic

El calidoscopi és una joguina que converteix fragments de vidre acolorit en patrons infinitament variats mitjançant l'ús de miralls. Hi ha quelcom satisfactori en els patrons –els necessitem per crear significat, i trobem bellesa en la seva simetria. No obstant, els sistemes complexos desobeeixen les fórmules simples. Per exemple, és impossible descriure una cosa tan prosaica com el comportament del fum mentre ascendeix fent servir les matemàtiques clàssiques. Agafant en préstec idees de diferents disciplines, podem considerar l'alfabetització informacional com una invitació per als nostres estudiants per jugar amb la imprevisible varietat de l'experiència humana i descobrir patrons que els resultin plens de significat.

The Changing Inter-Industry Wage Structure of the Organised Manufacturing Sector in India, 1973-74 to 2003-04

This study examines the inter-industry wage structure of the organised manufacturing sector in India for the period 1973-74 to 2003-04 by estimating the growth of average real wages for production workers by industry. In order to estimate the growth rates, the study adopts a methodological framework that differs from other studies in that the time series properties of the concerned variables are closely considered in order to obtain meaningful estimates of growth that are unbiased and (asymptotically) efficient. Using wage data on 51 manufacturing industries at three digit level of the National Industrial Classification 1998 (India), our estimation procedure obtains estimates of growth of real wages per worker that are deterministic in nature by accounting for any potential structural break(s). Our findings show that the inter-industry wage structure in India has changed a lot in the period 1973-74 to 2003-04 and that it provides some evidence that the inter-industry wage differences have become more pronounced in the post-reforms period. Thus this paper provides new evidence from India on the need to consider the hypothesis that industry affiliation is potentially an important determinant of wages when studying any relationship between reforms and wages.