Abstract
Knowledge sharing and team dynamics are essential elements of entrepreneurial success, especially in teams that operate in innovative environments. This chapter explores how participation in an incubation program influences the formation and development of entrepreneurial team identity. It aims to understand the dynamics involved in creating entrepreneurial teams, the practices of knowledge sharing, and the role digital technologies play in supporting and sustaining these processes. The study focuses on teams that completed the CEU iLab Incubation Program, with data gathered through in-depth semi-structured interviews from twenty-five entrepreneurs across various startups. Five cases, involving entire entrepreneurial teams, were central to this research. The findings offer valuable insights for enhancing incubation programs, promoting entrepreneurial identity formation, and improving the success of new ventures. These insights are beneficial for both scholars and practitioners in the entrepreneurship field.

Abstract
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we use a (weak and closed) lambda-calculus integrating a pattern matching mechanism on algebraic data types (ADTs). Remarkably, we also show that this language not only encodes Plotkin's CBV and CBN lambda-calculus as well as other subsuming frameworks, such as the bang-calculus, but can also be used to interpret the semantics of effectful languages with exceptions. After a thorough study of the untyped language, we introduce a type system based on intersection types, and we show through purely logical methods that the set of terminating terms of the language corresponds exactly to that of well-typed terms. Moreover, by considering non-idempotent intersection types, this characterization turns out to be quantitative, i.e. the size of the type derivation of a term t gives an upper bound for the number of evaluation steps from t to its normal form.

Abstract

Abstract
[No abstract available]

Abstract
Social media platforms, increasingly used as news sources for varied data analytics, have transformed how information is generated and disseminated. However, the unverified nature of this content raises concerns about trustworthiness and accuracy, potentially negatively impacting readers’ critical judgment due to disinformation. This work aims to contribute to the automatic data quality validation field, addressing the rapid growth of online content on wiki pages. Our scalable solution includes stream-based data processing with feature engineering, feature analysis and selection, stream-based classification, and real-time explanation of prediction outcomes. The explainability dashboard is designed for the general public, who may need more specialized knowledge to interpret the model’s prediction. Experimental results on two datasets attain approximately 90% values across all evaluation metrics, demonstrating robust and competitive performance compared to works in the literature. In summary, the system assists editors by reducing their effort and time in detecting disinformation.

Abstract
The paper presents a new control concept based on the process moment instead of the process states or the process output signal. The control scheme is based on separate control of reference tracking and disturbance rejection. The tracking control is achieved by additionally feeding the input of the process model by the scaled output signal of the process model. The advantage of such feedback is that the final state of the process output can be analytically calculated and used for control instead of the actual process output value. The disturbance rejection, including model imperfections, is controlled by feeding back the filtered difference between the process output and the model output to the process input. The performance of tracking and disturbance rejection is simply controlled by two user-defined gains. Several examples have shown that the new control method provides very good and stable tracking and disturbance rejection performance.