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

Publicações por CRACS

2016

Gamification-Based E-Learning Strategies for Computer Programming Education

Autores
de Queirós, RAP; Pinto, MT;

Publicação
Gamification-Based E-Learning Strategies for Computer Programming Education

Abstract
Computer technologies are forever evolving and it is vital that computer science educators find new methods of teaching programming in order to maintain the rapid changes occurring in the field. One of the ways to increase student engagement and retention is by integrating games into the curriculum. Gamification-Based E-Learning Strategies for Computer Programming Education evaluates the different approaches and issues faced in integrating games into computer education settings. Featuring emergent trends on the application of gaming to pedagogical strategies and technological tactics, as well as new methodologies and approaches being utilized in computer programming courses, this book is an essential reference source for practitioners, researchers, computer science teachers, and students pursuing computer science.

2016

Android: desenvolvimento de aplicações com Android Studio

Autores
Queirós, Ricardo;

Publicação

Abstract
O tema do livro é o desenvolvimento de aplicações para Android 6 usando o novo Android Studio e abordando tópicos emergentes como o novo paradigma de desenho Material Design e uma introdução à plataforma Android Wear. O livro aborda os seguintes temas: - Introdução ao Android e ao Android Studio - Interface Gráfica e Material Design - Gestão de Dados, Multimédia e Networking - Mapas e Localização - Introdução ao Android Wear

2016

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016

Autores
Dowek, G; Licata, DR; Alves, S;

Publicação
LFMTP

Abstract

2016

Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Autores
Alves, S;

Publicação
ACM SIGLOG News

Abstract

2016

The G-ACM Tool: using the Drools Rule Engine for Access Control Management

Autores
Sá, J; Alves, S; Broda, S;

Publicação
CoRR

Abstract

2016

Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links

Autores
Aygun, B; Boban, M; Vilela, JP; Wyglinski, AM;

Publicação
2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING)

Abstract
Due to the differences in terms of antenna height, scatterer density, and relative speed, V2I links exhibit different propagation characteristics compared to V2V links. We develop a geometry-based path loss and shadow fading model for V2I links. We separately model the following types of V2I links: line-of-sight, non-line-of-sight due to vehicles, non-line-of-sight due to foliage, and non-line-of-sight due to buildings. We validate the proposed model using V2I field measurements. We implement the model in the GEMV2 simulator, and make the source code publicly available.

  • 103
  • 207