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

2015

Multi-sensory storytelling to support learning for people with intellectual disability: an exploratory didactic study

Autores
Matos, A; Rocha, T; Cabral, L; Bessa, M;

Publicação
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION

Abstract
In this paper we present a study about multi-sensory content within the context of learning activities aimed at people with intellectual disability. A story was prepared together with traditional stimulus (audio and visual) and multisensory (audio, video, tactile and smell). Knowing that people with intellectual disability, due to their cognitive limitation, have multiple learning difficulties, namely in areas such as: communication, reading/writing and attention [1], it is really important to create innovative and pedagogically effective solutions that may motivate them and assist their learning process. Therefore, this study presents Preliminary results showing an overall improvement regarding the participant's memory when using the very multi-sensory contents. (C) 2015 The Authors. Published by Elsevier B.V.

2015

The phycotoxins' impact on the revenue of the Portuguese artisanal dredge fleet

Autores
Oliveira, MM; Camanho, AS; Gaspar, MB;

Publicação
MARINE POLICY

Abstract
The bivalve dredge fleet, considered as one of the most important artisanal fleets due to the high value of the catches, is by far the most extensively studied among the Portuguese artisanal segment. Acknowledging the growing presence of marine phycotoxins in the waters, the present study explores their impact on the revenue of the fleet that operates along the coast of mainland Portugal. The results obtained using stochastic frontier analysis models enlighten the harmful impact of algae blooms on the activity of the artisanal dredge fleets. In particular, it was observed that in the Algarve region, where the frequency and the intensity of these episodes is higher, the sustainability of the dredge fishing activity is seriously compromised by the phycotoxins.

2015

Developments to Improve Teaching with 3D Images

Autores
Perez Cota, MP; Ramon Gonzalez Castro, MR; Manuel Pires, JM; Goncalves, R;

Publicação
PROCEEDINGS OF THE 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2015)

Abstract
The use of graphics in Industry is something completely normal as used to be in education, something different is the way we can apply the concepts. The idea of this document is to show the ways we think industrial graphical systems can be applied in education to increase the way students can learn some kind of skills. In the industry graphic systems show the ways in which the systems are working and operating displays of DCS (Distributed Control System) displays operational information in 2D, 2.5 or 3D environments. Educational graphics are being used to show tales, math, physical or other objects in 2D, this limits the full awareness situation of the things that can be showed to students. To enhance the characteristics of educational graphics we propose the use of some industrial tricks to increase the students' attention and understanding of situations. We think that this increases the amount and quality of information that may be given to students and prevents unnecessary time consuming in explanations.

2015

Behavioural validation of the ADACOR2 self-organized holonic multi-agent manufacturing system

Autores
Barbosa, J; Leitão, P; Adam, E; Trentesaux, D;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Global economy is driving manufacturing companies into a paradigm revolution. Highly customizable products at lower prices and with higher quality are among the most imposed influence factors. To respond properly to these external and internal constraints, such as work absence and machine failures, companies must be in a constant adaptation phase. Several manufacturing control architectures have been proposed throughout the years displaying more or less success to adapt into different manufacturing situations. These architectures follow different design paradigms but recently the decentralization and distribution of the processing power into a set of cooperating and collaborative entities is becoming the trend. Despite of the effort spent, there is still the need to empower those architectures with evolutionary capabilities and self-organization mechanisms to enable the constant adaption to disturbances. This paper presents a behavioural mechanism embed in the ADACOR2 holons. A validation procedure for this mechanism is also presented and results extracted. This validation is achieved through the use of a benchmark and results are compared with classical hierarchical and heterarchical architectures as also with the ADACOR. © Springer International Publishing Switzerland 2015.

2015

On the verification of architectural reconfigurations

Autores
Sanchez, A; Madeira, A; Barbosa, LS;

Publicação
COMPUTER LANGUAGES SYSTEMS & STRUCTURES

Abstract
In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system's architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in ARCHERY, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from ARCHERY specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

2015

Prediction of Journey Destination in Urban Public Transport

Autores
Costa, V; Fontes, T; Costa, PM; Dias, TG;

Publicação
PROGRESS IN ARTIFICIAL INTELLIGENCE

Abstract
In the last decade, public transportation providers have focused on improving infrastructure efficiency as well as providing travellers with relevant information. Ubiquitous environments have enabled traveller information systems to collect detailed transport data and provide information. In this context, journey prediction becomes a pivotal component to anticipate and deliver relevant information to travellers. Thus, in this work, to achieve this goal, three steps were defined: (i) firstly, data from smart cards were collected from the public transport network in Porto, Portugal; (ii) secondly, four different traveller groups were defined, considering their travel patterns; (iii) finally, decision trees (J48), Naive Bayes (NB), and the Top-K algorithm (Top-K) were applied. The results show that the methods perform similarly overall, but are better suited for certain scenarios. Journey prediction varies according to several factors, including the level of past data, day of the week and mobility spatiotemporal patterns.

  • 2910
  • 4537