Abstract
Intrapreneurship is becoming a key factor in the growth of a company in a highly dynamic and progressively more competitive business environment. The idea of intrapreneurship is to encourage greater employee involvement within the organisation in which they work, giving them the freedom to innovate and experiment in a proactive, creative, and innovative way. In the startups, the role of intrapreneurship is of great relevance knowing that startups are designed to scale and grow exponentially in a short time and with few resources. Innovation is at the core of a startup and intrapreneurship initiatives allow leveraging this capacity in startups. Accordingly, this study seeks to explore the phenomenon of intrapreneurship in startups, seeking to understand how formal and informal intrapreneurship initiatives are taken on by startups, and also exploring the role played by existing resources to support these initiatives. The results of the study allow us to conclude that startups value intrapreneurship initiatives despite financial constraints that overlap with time constraints that affect what can be allocated to these activities. Finally, medium-sized startups and those with more qualified human capital tend to value and support intrapreneur initiatives more intensely. In contrast, startups with less academically qualified human capital offer worse conditions and support to intrapreneur activities.

Abstract

Abstract
Effective testing of message-oriented software requires describing the expected behaviour of the system and the causality relations between messages. This is often achieved with formal specifications based on temporal logics that require both first-order and metric temporal constructs - to specify constraints over data and real time. This paper proposes a technique to automatically generate tests for metric first-order temporal specifications that match well-understood specification patterns. Our approach takes in properties in a high-level specification language and identifies test schemas (strategies) that are likely to falsify the property. Schemas correspond to abstract classes of execution traces, that can be refined by introducing assumptions about the system. At the low level, concrete traces are successively produced for each schema using property-based testing principles. We instantiate this approach for a popular robotic middleware, ROS, and evaluate it on two systems, showing that schema-based test generation is effective for message-oriented software.

Abstract

Abstract
Introduction: Evidence shows most patients are not recognised by their attending healthcare professionals as having palliative needs. This feasibility study aimed to aid healthcare professionals identify hospital patients with palliative needs. Material and Methods: Mixed-methods, cross-sectional, observational study. The patient inclusion criteria comprised: age over 18 years old, being mentally capable to give consent judged as such by participating healthcare professionals, and if unable, having a legal substitute to consent, having a diagnosis of an incurable, potentially life-threatening illness. Field notes were taken for reflexive purposes. Outcome measures included: Integrated Palliative Care Outcome scale, surprise question, phase of illness, referral request status, The Eastern Cooperative Oncology Group Performance Status and social needs assessment. An interim data collection period meeting assessed implementation outcomes in each context. A web-based survey was sent to all participating healthcare professionals at the end of data collection period to explore overall experiences of participation and implementation outcomes. Results: Forty-two departments in four hospitals were contacted. The study was presented in nine departments. The field notes were vital to understand the recruitment process and difficulties experienced: time constraints, fear of additional work, department dynamics and organisation, relationships between departments and need of training in palliative care and research. One department agreed to participate. There were six participating healthcare professionals and only 45 patients included. Three participating healthcare professionals responded to the web-based survey. Discussion: The response rate was very low. Legislating palliative care is not enough, and an integrated palliative care plan needs to be implemented at country and institution level. Conclusion: There is an urgent need to provide generalist palliative care training to clinicians.

Abstract
Robotic applications are often designed to be reusable and configurable. Sometimes, due to the different supported software and hardware components, as well as the different implemented robot capabilities, the total number of possible configurations for a single system can be extremely large. In these scenarios, understanding how different configurations coexist and which components and capabilities are compatible with each other is a significant time sink both for developers and end users alike. In this paper, we present a static analysis tool, specifically designed for robotic software developed for the Robot Operating System (ROS), that is capable of presenting a graphical and interactive overview of the system's runtime variability, with the goal of simplifying the deployment of the desired robot configuration. © 2022 IEEE.