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

Neurocognitive Stimulation Game: Serious Game for Neurocognitive Stimulation and Assessment

Autores
Costa, J; Neto, J; Alves, R; Escudeiro, P; Escudeiro, N;

Publicação
SERIOUS GAMES, INTERACTION AND SIMULATION

Abstract
The ageing process is naturally accompanied by changes in people's cognitive processes. The European population ageing is a challenge for the European social policy and for the mental health professionals. New technologies can play an important role in the neurocognitive stimulation area as they possess characteristics that might reduce the anxiety levels of patients participating in neurocognitive stimulation or assessment programs. In particular, serious games provide a setting that can be explored to improve the easy access to neurocognitive stimulation and assessment, regardless of place and time, at a lower cost then traditional approaches. This paper presents a serious game aiming to analyse neurocognitive deficits and stimulate the players' deficitary neurocognitive processes. This game is built on top of sound neurocognitive psychotherapy for adults, mainly addressing the cognitive processes of attention and memory. The game will simulate real world scenarios, allowing a better generalization process due to ecological validity.

2017

Serious Games in Entrepreneurship Education

Autores
Almeida, F; Simões, J;

Publicação
Encyclopedia of Information Science and Technology, Fourth Edition

Abstract

2017

Serious Games, Interaction and Simulation - 6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers

Autores
de Carvalho, CV; Escudeiro, P; Coelho, A;

Publicação
SGAMES

Abstract

2017

New Formulations for the Unit Commitment Problem Optimal Control and Switching-Time Parameterization Approaches

Autores
Roque, LAC; Fontes, FACC; Fontes, DBMM;

Publicação
ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 1

Abstract
The Unit Commitment Problem (UCP) is a well-known combinatorial optimization problem in power systems. The main goal in the UCP is to schedule a subset of a given group of electrical power generating units and also to determine their production output in order to meet energy demands at minimum cost. In addition, a set of technological and operational constraints must be satisfied. A large variety of optimization methods addressing the UCP is available in the literature. This panoply of methods includes exact methods (such as dynamic programming, branch-and-bound) and heuristic methods (tabu search, simulated annealing, particle swarm, genetic algorithms). This paper proposes two non-traditional formulations. First, the UCP is formulated as a mixed-integer optimal control problem with both binary-valued control variables and real-valued control variables. Then, the problem is formulated as a switching time dynamic optimization problem involving only real-valued controls.

2017

Accretion-ejection morphology of the microquasar SS 433 resolved at sub-au scale

Autores
Petrucci, PO; Waisberg, I; Le Bouquin, JB; Dexter, J; Dubus, G; Perraut, K; Kervella, P; Abuter, R; Amorim, A; Anugu, N; Berger, JP; Blind, N; Bonnet, H; Brandner, W; Buron, A; Choquet, E; Clenet, Y; de Wit, W; Deen, C; Eckart, A; Eisenhauer, F; Finger, G; Garcia, P; Lopez, RG; Gendron, E; Genzel, R; Gillessen, S; Gonte, F; Haubois, X; Haug, M; Haussmann, F; Henning, T; Hippler, S; Horrobin, M; Hubert, Z; Jochum, L; Jocou, L; Kok, Y; Kolb, J; Kulas, M; Lacour, S; Lazareff, B; Lena, P; Lippa, M; Merand, A; Mueller, E; Ott, T; Panduro, J; Paumard, T; Perrin, G; Pfuhl, O; Ramos, J; Rau, C; Rohlo, RR; Rousset, G; Sanchez Bermudez, J; Scheithauer, S; Schoeller, M; Straubmeier, C; Sturm, E; Vincent, F; Wank, I; Wieprecht, E; Wiest, M; Wiezorrek, E; Wittkowski, M; Woillez, J; Yazici, S; Zins, G;

Publicação
ASTRONOMY & ASTROPHYSICS

Abstract
We present the first optical observation of the microquasar SS 433 at sub-milliarcsecond (mas) scale obtained with the GRAVITY instrument on the Very Large Telescope interferometer (VLTI). The 3.5-h exposure reveals a rich K-band spectrum dominated by hydrogen Br gamma and He i lines, as well as (red-shifted) emission lines coming from the jets. The K-band-continuum-emitting region is dominated by a marginally resolved point source (<1 mas) embedded inside a diffuse background accounting for 10% of the total flux. The jet line positions agree well with the ones expected from the jet kinematic model, an interpretation also supported by the consistent sign (i.e., negative/positive for the receding/approaching jet component) of the phase shifts observed in the lines. The significant visibility drop across the jet lines, together with the small and nearly identical phases for all baselines, point toward a jet that is off set by less than 0.5 mas from the continuum source and resolved in the direction of propagation, with a typical size of 2 mas. The jet position angle of similar to 80 degrees is consistent with the expected one at the observation date. Jet emission so close to the central binary system would suggest that line locking, if relevant to explain the amplitude and stability of the 0.26c jet velocity, operates on elements heavier than hydrogen. The Br gamma profile is broad and double peaked. It is better resolved than the continuum and the change of the phase signal sign across the line on all baselines suggests an East-West-oriented geometry similar to the jet direction and supporting a (polar) disk wind origin.

2017

Engineering Software for the Cloud: Messaging Systems and Logging

Autores
Sousa, TB; Ferreira, HS; Correia, FF; Aguiar, A;

Publicação
Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017

Abstract
Software business continues to expand globally, highly motivated by the reachability of the Internet and possibilities of Cloud Computing. While widely adopted, development for the cloud has some intrinsic properties to it, making it complex to any newcomer. This research is capturing those intricacies using a pattern catalog, with this paper contributing with three of those patterns: Messaging System, a message bus for abstracting service placement in a cluster and orchestrating messages between multiple services; Preemptive Logging, a design principle where services and servers continuously output relevant information to log files, making them available for later debugging failures; and Log Aggregation, a technique to aggregate logs from multiple services and servers in a centralized location, which indexes and provides them in a queryable, user friendly format. These patterns are useful for anyone designing software for the cloud, either to guide or validate their design decisions. © 2017 Copyright is held by the owner/author(s).

  • 1921
  • 4134