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

2021

A dobot manipulator simulation environment for teaching aim with forward and inverse kinematics

Autores
Brito, T; Lima, J; Braun, J; Piardi, L; Costa, P;

Publicação
Lecture Notes in Electrical Engineering

Abstract
Industrial Manipulators were becoming used more and more at industries since the third industrial revolution. Actually, with the fourth one, the paradigm is changing and the collaborative robots are being accepted for the community. It means that smaller manipulators with more functionalities have been used and installed. New approaches have appeared to teach students according to the new robot’s capabilities. The DOBOT robot is an example of that since it captivates the student’s attention with an uncomplicated programming front-end, tools, grippers and extremely useful for teaching STEM. This paper proposes a dynamic based simulation environment that can be used to teach, test and validate solutions to the DOBOT robot. By this way, the student can try and validate, at their homework without the real robot, the developed solutions and further test them at the laboratory with the real robot. Currently, remote testing and validation without the use of a real robot is an advantage. The comparison of the provided simulation environment and the real robot is presented in the approach. © The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021.

2021

Brand Affiliation: Portrait of Hotel Establishments in Portugal

Autores
Alves, JMA; Vaz, CB; Martins, CA;

Publicação
PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)

Abstract
Hospitality is one of the most important sectors in the tourist activity in Portugal. Knowing the characteristics and features of the hotel units operating in Portugal is important for all those who make decisions about investment in this sector. Knowing the reality of brand affiliation of Portuguese hotel establishments is also a matter of great interest for hoteliers in supporting strategic decision-making. Performing the analysis of the universe of hotel establishments in Portugal, their characterization is made concerning their features, facilities and equipment. In addition, the reality of brand affiliation of Portuguese hotel establishments is analyzed and discussed through a logistic regression model. The results allow us to conclude that just over a third of hotel establishments in Portugal are brand affiliated and they are mostly located in the more touristic regions. The results also show that brand affiliated hotel establishments have, on average, a greater number of stars, greater capacity and a greater number of facilities than non-brand affiliated hotel establishments.

2021

An end-to-end cryptography based real-time chat

Autores
Melo, T; Barros, A; Antunes, M; Frazao, L;

Publicação
PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)

Abstract
Confidentiality protects users' data from digital eavesdroppers when traveling through the Internet. Confidentiality is complex and costly, especially on applications that involve communication and data exchange between multiple users. Cryptography has been the most used medium to achieve confidentiality, being the greatest challenge the sharing of a secret key to a group of people in a safe and effective way. This paper presents a chat application that implements an innovative way of sending messages with end-to-end encryption, in real-time, with a dynamic key store, and without the existence of data persistence. The application stands out from the others by the fact that it innovates the way the keys are shared with multiple users.

2021

InventiveTr@ining – Inven!RA architecture Activity Provider modules for online tracking of microelectronics student

Autores
Cota, Duarte; Cruzeiro, Tiago; Beck, Dennis; Coelho, António; Morgado, Leonel;

Publicação
Revista de Ciências da Computação

Abstract
The Inven!RA architecture is an approach for online tracking of progression towards learning objectives, from analytics of distributed learning activities, provided by multiple third parties. However, there are few examples on how to implement such third-party learning activities, known as Activity Provider modules. We followed the Inven!RA architecture interfacing specification to create and implement two sample learning activities: a technical documentation analysis activity and an Arduino microelectronics programming activity. Integration tests with an Inven!RA architecture prototype confirmed the adequacy of this implementation. Thus, these samples provide clarification on how to design and develop Inven!RA Activity Provider modules.;A arquitetura Inven!RA é uma abordagem para o acompanhamento online da evolução face a objetivos de aprendizagem, através de dados analíticos de atividades de aprendizagem distribuídas, proporcionadas por um leque variado de entidades externas. Como são escassos os exemplos de implementação destas atividades de aprendizagem externas, designadas por módulos de Prestadores de Atividades,seguimos a especificação de interfaces da arquitetura para criar e implementar dois exemplos de atividades de aprendizagem: uma atividade de análise de documentação técnica e uma de programação de microeletrónica com Arduino. Testes de integração com um protótipo da Inven!RA confirmaram a adequação destas implementações. Consequentemente, proporcionam clarificação quanto à forma de conceber e desenvolver módulos de Prestadores de Atividades para a arquitetura Inven!RA.

2021

How can I choose an explainer?: An Application-grounded Evaluation of Post-hoc Explanations

Autores
Jesus, SM; Belém, CG; Balayan, V; Bento, J; Saleiro, P; Bizarro, P; Gama, J;

Publicação
FAccT

Abstract
There have been several research works proposing new Explainable AI (XAI) methods designed to generate model explanations having specific properties, or desiderata, such as fidelity, robustness, or human-interpretability. However, explanations are seldom evaluated based on their true practical impact on decision-making tasks. Without that assessment, explanations might be chosen that, in fact, hurt the overall performance of the combined system of ML model + end-users. This study aims to bridge this gap by proposing XAI Test, an application-grounded evaluation methodology tailored to isolate the impact of providing the end-user with different levels of information. We conducted an experiment following XAI Test to evaluate three popular XAI methods - LIME, SHAP, and TreeInterpreter - on a real-world fraud detection task, with real data, a deployed ML model, and fraud analysts. During the experiment, we gradually increased the information provided to the fraud analysts in three stages: Data Only, i.e., just transaction data without access to model score nor explanations, Data + ML Model Score, and Data + ML Model Score + Explanations. Using strong statistical analysis, we show that, in general, these popular explainers have a worse impact than desired. Some of the conclusion highlights include: i) showing Data Only results in the highest decision accuracy and the slowest decision time among all variants tested, ii) all the explainers improve accuracy over the Data + ML Model Score variant but still result in lower accuracy when compared with Data Only; iii) LIME was the least preferred by users, probably due to its substantially lower variability of explanations from case to case.

2021

Mapping Enabling Technologies for Supply Chains with Future Scenarios

Autores
Senna, PP; Stute, M; Balech, S; Zangiacomi, A;

Publicação
Lecture Notes in Management and Industrial Engineering - Next Generation Supply Chains

Abstract
AbstractDriven by the current digital transformation, European companies rely on accurate forecasting of future trends and prediction of most useful technologies in order to maintain their competitive edge. For this purpose, the mapping of enabling technologies to future scenarios becomes a valuable tool for practitioners and researchers alike, especially when considering the disruptive events that surround SCs design, implementation and management. This research sets forth to fill this gap by presenting a technology mapping of enabling technologies based on technology portfolio approach, expert elicitation and literature. The final outcome is the mapping of the enabling technologies to the characteristics of the future European SC scenarios.

  • 1026
  • 4387