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

2020

Bridging the hydrodynamic Drude model and local transformation optics theory

Autores
Alves, RA; Guerreiro, A; Navarro Cia, M;

Publicação
PHYSICAL REVIEW B

Abstract
The recent ability of plasmonic nanostructures to probe subnanometer and even atomic scales demands theories that can account for the nonlocal dynamics of the electron gas. The hydrodynamic Drude model (HDM) captures much of the microscopic dynamics of the quantum mechanical effects when additional boundary conditions are considered. Here, we revisit the HDM under the Madelung formalism to reexpress its coupled system of equations as a single nonlinear Schrodinger equation in order to have a natural quantum mechanical description of plasmonics. Specifically, we study the response of two overlapping nanowires with this formalism. We ensure that an proposed frame concurs with classical electrodynamics when the local response approximation holds in the plasmonic system by finding the correction needed.

2020

Complementary Monopolies with asymmetric information

Autores
Laussel, D; Resende, J;

Publicação
ECONOMIC THEORY

Abstract
We investigate how asymmetric information on final demand affects strategic interaction between a downstream monopolist and a set of upstream monopolists, who independently produce complementary inputs. We study an intrinsic private common agency game in which each supplieriindependently proposes a pricing schedule contract to the assembler, specifying the supplier's payment as a function of the assembler's purchase of inputi. We provide a necessary and sufficient equilibrium condition. A lot of equilibria satisfy this condition but there is a unique Pareto-undominated Nash equilibrium from the suppliers' point of view. In this equilibrium, there are unavoidable efficiency losses due to excessively low sales of the good. However, suppliers may be able to limit these distortions by implicitly coordinating on an equilibrium with a rigid (positive) output in bad demand circumstances.

2020

Multimedia systems and applications in biomedicine

Autores
Domingues, I; Sequeira, AF; Pinto, C; Rocha,;

Publicação
COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION

Abstract

2020

Design of a Multipoint Cost-Effective Optical Instrument for Continuous In-Situ Monitoring of Turbidity and Sediment

Autores
Matos, T; Faria, CL; Martins, MS; Henriques, R; Gomes, PA; Goncalves, LM;

Publicação
SENSORS

Abstract
A cost-effective optical instrument for continuous in-situ monitoring applications is presented. With a production cost in raw materials of 38 Euro, a power consumption of 300 mu A in sleep mode and 100 mA in active mode (5 ms reading), and a capacity to monitor turbidity and sedimentary displacement at eight different depths in the water column, the sensor was developed for sediment monitoring in coastal areas. Due to the extent and dynamics of the processes involved in these areas, observations require a wide spatial and temporal resolution. Each of the eight monitoring nodes uses one infrared backscatter channel, to estimate turbidity and sediment concentration, and one ultraviolet with one infrared transmitted light channels to distinguish organic/inorganic composition of the suspended material load. An in-lab calibration was conducted, using formazine to correlate turbidity with the electronic outputs of the instrument. An analysis of the influence of external light sources and correction techniques were performed. Moreover, an in-lab experiment was conducted to study the behaviour of the sensor-to-sediment transport, wash load and sediment accumulation. The device was deployed, with a water level sensor, in an estuarine area with high sediment dynamics. The monitoring data were analysed, showing the potential of the device to continuously monitor turbidity, sediment processes, and distinguish between organic and inorganic matter, at the different depths in the water column.

2020

Web cookies: Is there a trade-off between website efficiency and user privacy?

Autores
Pinto, P; Lages, R; Au Yong Oliveira, M;

Publicação
Advances in Intelligent Systems and Computing

Abstract
Current European Union legislation demands that websites that use web cookies to extract information about the personal preferences of Internet users request their permission to obtain such data. Widespread misinformation about web cookies threatens users’ feelings of security while leading also to a lack of privacy problems due to the need to accept cookies. However, not accepting cookies raises functionality issues on websites, and the value created by companies is not optimized. This article reviewed the existing literature and conducted a survey (with 102 valid responses) to understand Internet users’ behaviour in terms of fear of accepting cookies and the benefit generated by cookies to users. We conclude that the trade-off between security and performance of websites portrayed in the literature is illusory and is mainly due to the lack of information about cookies by users. We also conclude that there is a paradox: although most users feel insecure, they eventually accept cookies to simplify their online browsing. © The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2020.

2020

Experiences on Teaching Alloy with an Automated Assessment Platform

Autores
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC;

Publicação
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Abstract
This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables students to learn the language at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how they evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by Alloy users. Alloy4Fun has been used in formal methods graduate courses for two years and for the latest edition we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum). © Springer Nature Switzerland AG 2020.

  • 1124
  • 4202