Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2017

Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data

Autores
Barbosa, M; Catalano, D; Fiore, D;

Publicação
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

Abstract
In privacy-preserving processing of outsourced data a Cloud server stores data provided by one or multiple data providers and then is asked to compute several functions over it. We propose an efficient methodology that solves this problem with the guarantee that a honest-but-curious Cloud learns no information about the data and the receiver learns nothing more than the results. Our main contribution is the proposal and efficient instantiation of a new cryptographic primitive called Labeled Homomorphic Encryption (labHE). The fundamental insight underlying this new primitive is that homomorphic computation can be significantly accelerated whenever the program that is being computed over the encrypted data is known to the decrypter and is not secret—previous approaches to homomorphic encryption do not allow for such a trade-off. Our realization and implementation of labHE targets computations that can be described by degree-two multivariate polynomials. As an application, we consider privacy preserving Genetic Association Studies (GAS), which require computing risk estimates from features in the human genome. Our approach allows performing GAS efficiently, non interactively and without compromising neither the privacy of patients nor potential intellectual property of test laboratories. © 2017, Springer International Publishing AG.

2017

PSF reconstruction via full turbulence characterization and end-to-end simulations

Autores
Béchet C.; Ayancán B.; Guesalaga A.; Correia C.; Neichel B.; Masciadri E.; Conan R.;

Publicação
Adaptive Optics for Extremely Large Telescopes, 2017 AO4ELT5

Abstract
Enhancement and wise archiving of astronomical images require an accurate estimate of the observational Point Spread Function (PSF). Although modelling of the telescope and its optics is a well-understood problem, PSF reconstruction becomes challenging when the observations include adaptive optics (AO) correction. The approach presented in this paper consists in feeding an end-to-end (E2E) simulation of the telescope, the instrument and its environment with the characterized disturbances from the telemetry and AO loop data, in order to produce the estimated PSFs. This method benefits from the developments made in the last years with respect to the estimation of external disturbances during AO correction, such as turbulence profile and its dynamics as well as sensor noise and vibrations characteristics. In particular, characterization of the turbulence profile in terms of strength, C2n (h), and outer scale, L0(h), is considered with an example on on-sky recorded AO telemetry from the GALACSI AO system. Once identified, the internal and external parameters of the observing conditions are used as inputs to carry out E2E simulations of the optical propagation and estimate the PSF. The method can be regarded as a "brute force" approach, as it is highly intensive in computer power; particularly for the ELTs. However, its ability to integrate complex combination of effects from all disturbances and not relying on analytical approximations for the aliasing or fitting errors makes the approach worth of a deeper study. E2E simulations have been used before in PSF reconstruction, but limited to a theoretical modelling of the system. Here, the development of the E2E simulation part is an ongoing work. A simplified AO system similar to the GALACSI WFM is currently simulated to obtain the PSF estimates and illustrate how such approach allows to account for the anisoplanatic effects and for the inuence of the outer scale values.

2017

Forty years of the European Journal of Operational Research: A bibliometric overview

Autores
Laengle, S; Merigo, JM; Miranda, J; Slowinski, R; Bomze, I; Borgonovo, E; Dyson, RG; Oliveira, JF; Teunter, R;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
The European Journal of Operational Research (EJOR) published its first issue in 1977. This paper presents a general overview of the journal over its lifetime by using bibliometric indicators. We discuss its performance compared to other journals in the field and identify key contributing countries/institutions/authors as well as trends in research topics based on the Web of Science Core Collection database. The results indicate that EJOR is one of the leading journals in the area of operational research (OR) and management science (MS), with a wide range of authors from institutions and countries from all over the world publishing in it. Graphical visualization of similarities (VOS) provides further insights into how EJOR links to other journals and how it links researchers across the globe.

2017

An experimental analysis of the Trombe wall temperature fluctuations for high range climate conditions: Influence of ventilation openings and shading devices

Autores
Sa, AB; Boaventura Cunha, J; Lanzinha, JC; Paiva, A;

Publicação
ENERGY AND BUILDINGS

Abstract
Despite the studies already developed about Trombe walls, more research work is needed to contribute to the knowledge about their behaviour and optimize it according to the specific characteristics of each climatic region. The ventilation openings and the shading device operation decisively influence the temperatures fluctuation along the system and that impact should be discussed. In this context, a test cell with a classical Trombe wall was submitted to real climatic conditions in a Portuguese city. The effect of ventilation openings and shading devices in the temperatures fluctuation was analysed. The temperatures in the air layer and along the massive wall presented a similar oscillation pattern and exceeded 60 degrees C without ventilation and shading devices. For this configuration, temperature values at the top of the air layer were always higher than those obtained at the base and a differential of 19 degrees C was achieved. The temperature fluctuation across the massive wall was not proportional to its thickness due to its heat storage capacity. When the ventilation system was closed and the shading device was not activated, the temperature inside the test cell exceeded the outside temperature value in 9 degrees C, showing the system ability to store and release heat.

2017

High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Autores
Dutra, I; Camacho, R; Barbosa, JG; Marques, O;

Publicação
VECPAR

Abstract

2017

Estimation of Currents with Acoustic Navigation Beacons

Autores
Melo, J; Cruz, N; Almeida, R;

Publicação
OCEANS 2017 - ABERDEEN

Abstract
In this article we introduce a method to estimate the water current in AUV operation scenarios. The method is based on reciprocal sound transmission between pairs of acoustic navigation beacons, with a minimum of three beacons being required to obtain an estimate of both current velocity and direction. We analyse the sensitivity of the current estimation with respect to the geometry of the beacon location. We demonstrate the applicability of the method with a case study.

  • 1844
  • 4141