Abstract
We aim to investigate a new class of games, where each player's set of strategies is a union of polyhedra. These are called integer programming games. To motivate our work, we describe some practical examples suitable to be modeled under this paradigm. We analyze the problem of determining whether or not a Nash equilibria exists for an integer programming game, and demonstrate that it is complete for the second level of the polynomial hierarchy.

Abstract
This paper presents an overview of the development of SetSun, an outdoor intelligent shader, by a team of five Erasmus students within the framework of the European Project Semester at Instituto Superior de Engenharia do Porto, in the spring of 2018. The major goal of this project-based learning experience was to design a new type of parasol, granting a novel wellness and luxury experience, by combining the functionalities of smart electronics with that of a traditional parasol, while providing the participants with a meaningful learning experience for their future professional life. The Team conducted multiple studies, including scientific, technical, sustainability, marketing, ethics and deontological analyses, and discussions to derive the requirements, design the structure, specify the list of materials and components and develop a functional system. Following these studies, the Team assembled, debugged and tested the SetSun prototype successfully.

Abstract

Abstract
The story of societal progress has long been acknowledged to involve two brothers - management research and management practice (Beyer, 1982). Although, reared by the same knowledge core (Poole and Van de Ven, 1989; Wallin and von Krogh, 2010), the brothers in a display of their contrasting lives behave independently, often disparately. Their distinct behaviour has prompted scholars to report that ’most of what management researchers do utterly fails to resonate with management practice’ (Bansal et al., 2012, p. 73). Those observing the relationship unfold have been concerned of this disconnect for decades (Banks et al., 2016; Hambrick, 1994; Shapiro, Kirkman and Courtney, 2007). Gordon and Howell (1959) posited that universities and business schools need to be ’better informed and more scholarly faculties that are capable of carrying on more significant research, and with greater appreciation of the contributions to be made to the development of business competence’ (p.425). (...)

Abstract
This chapter focuses on the analysis of the timing behavior of software applications that expose real-time (RT) requirements. The state-of-the-art methodologies to timing analysis of software programs are generally split into four categories, referred to as static, measurement-based, hybrid, and probabilistic analysis techniques. First, we present an overview of each of these methodologies and discuss their advantages and disadvantages. Next, we explain the choices made by our proposed methodology in Section 5.2 and present the details of the solution in Section 5.3. Finally, we conclude the chapter in Section 5.4 with a summary.

Abstract
With the objective of developing a diagnostic tool, we have used the immersion optical clearing method and studied normal and pathological tissues (cancer, diabetes) under treatment by optical clearing agents (OCAs). In order to quantify pathology status OCA diffusion properties in different tissues were measured. We have demonstrated that free water content in cancerous tissues is higher than in normal.