Abstract
The Industry 4.0 technologies and servitization are requiring manufacturers to reinvent themselves to remain competitive. In this sense, companies are putting more emphasis on the customer experience, while associating services to their products with the support of emerging technologies. At the same time, actors in the innovation ecosystem such as universities, research institutes, and service providers are involved in the value co-creation process. Thus, this study aims to systemize and present the main findings of a literature review regarding the role of digitalization, servitization, and innovation ecosystem actors in boosting innovation in business models. The study involved 585 articles in international journals and conference proceedings published till 2021. A detailed selection process led 10 articles for further analysis. As a consequence of digitalization and servitization, there has to be an alignment among ecosystem actors to capture the co-created value generated by BMI. Moreover, the combination of BMI, servitization, and digitalization may also be structured into frameworks according to the different levels of each of those factors, thus allowing for companies to assess and position themselves in such frameworks and identify the path to follow. However, any of these articles addressed the combination of the three topics proposed: digitalization, servitization, and the contribution of the innovation ecosystem actors, even if they showed a clear interdependence between these areas, leading to common findings impacting BMI. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract
Este trabalho analisa o processo de servitização de diferentes fornecedores na cadeia produtiva do café no Brasil. Foi realizada uma revisão da literatura sobre sistemas produto-serviço (SPS) para estabelecer uma estrutura para identificar a tipologia de serviços no setor agrícola. Os resultados destacaram que a prestação de serviços "menos avançados" não é uma condição necessária para que a empresa ofereça serviços "mais avançados". Entretanto, as características das propriedades rurais parecem afetar o número de serviços associados aos fornecedores de máquinas. Os resultados ajudam os gerentes desse setor a identificar as ofertas de serviços e ampliam a discussão sobre servitização, ao abranger um setor pouco explorado.

Abstract
Industrial companies live in a context of dynamic technological innovation, in which new technologies are adopted with a high impact internally and externally, leveraging their competitive advantages. A usual situation is managers deciding to adopt technologies, often without realising the impacts on the company but mainly supported by a strategic vision and the pursuit of differentiation factors. This article aims to present the results of a literature review on the impacts of Industry 4.0 technologies adoption in sustainability dimensions by industrial companies. These impacts were presented according to the three dimensions of sustainability: economic, environmental and social. The results of this study can be used by practitioners and researchers for an overview of the I4.0 technologies adoption by manufacturing companies and their impacts on sustainability dimensions, summarising the knowledge concerning this topic. © 2023 IEEE.

Abstract
Kidney exchange programs (KEPs) represent an additional possibility of transplant for patients suffering from end-stage kidney disease. If a patient has a willing living donor with whom the patient is not compatible, the pair recipient-donor can join a pool of incompatible pairs and, if compatibility between recipient and donor in two or more pairs exists, organs can be exchanged between them. The problem can be modelled as an integer program that in general aims at finding the pairs that should be selected for transplant such that maximum number of transplants is performed. In this paper, we consider that for each recipient there may exist a preference order over the organs that he/she can receive, since a recipient may be compatible with several donors but the level of compatibility with the recipient might vary for different donors. Under this setting, the aim is to find the maximum cardinality stable exchange, a solution where no blocking cycle exists, i.e., there is no cycle such that all recipients prefer the donor in that cycle rather than that in the exchange. For this purpose we propose four novel integer programming models based on the well-known edge and cycle formulations, and also on the position-indexed formulation. These formulations are adjusted for both finding stable and strongly stable exchanges under strict preferences and for the case when ties in preferences may exist. Further-more, we study a situation when the stability requirement can be relaxed by addressing the trade-off between maximum cardinality versus number of blocking cycles allowed in a solution. The effectiveness of the proposed models is assessed through extensive computational experiments on a wide set of in-stances. Results show that the cycle-edge and position-indexed formulations outperform the other two formulations. Another important practical outcome is that targeting strongly stable solutions has a much higher negative impact on the number of transplants (with an average reduction of up to 20% for the bigger instances), when compared to stable solutions.

Abstract
In a housing market of Shapley and Scarf, each agent is endowed with one indivisible object and has preferences over all objects. An allocation of the objects is in the (strong) core if there exists no (weakly) blocking coalition. We show that, for strict preferences, the unique strong core allocation respects improvement-if an agent's object becomes more desirable for some other agents, then the agent's allotment in the unique strong core allocation weakly improves. We extend this result to weak preferences for both the strong core (conditional on nonemptiness) and the set of competitive allocations (using probabilistic allocations and stochastic dominance). There are no counterparts of the latter two results in the two-sided matching literature. We provide examples to show how our results break down when there is a bound on the length of exchange cycles. Respecting improvements is an important property for applications of the housing markets model, such as kidney exchange: it incentivizes each patient to bring the best possible set of donors to the market. We conduct computer simulations using markets that resemble the pools of kidney exchange programs. We compare the game-theoretical solutions with current techniques (maximum size and maximum weight allocations) in terms of violations of the respecting improvement property. We find that game-theoretical solutions fare much better at respecting improvements even when exchange cycles are bounded, and they do so at a low efficiency cost. As a stepping stone for our simulations, we provide novel integer programming formulations for computing core, competitive, and strong core allocations.

Abstract