Abstract
Although electric vehicle (EV) sales have been increasing over the years, worldwide EV adoption is still low. In Brazil, the key factors influencing this are the EV high acquisition cost and the reduced charging infrastructure. Therefore, traditional business models may not be adequate for Brazil and stagnate EV diffusion. Thus, designing innovative business models can be crucial to accelerate the transition to electric mobility in the region. In this way, this article aims to critically review business models for EV adoption and charging stations worldwide and discuss its application in Brazil. Then, the challenges and opportunities for some business model options are highlighted through the SWOT matrix. One can conclude that EV sharing is a promising business model for Brazil, given the series of advantages such as access to cutting-edge technology at an affordable price, reduction of vehicles on the streets, and given convenience for users (no concern with charging, EV degradation, and parking). However, public policies, subsidies, and coordination between different agents are crucial for the proliferation of this model. On the other hand, for the proposed CS models, the more traditional option is the less risky for investors in Brazil until the number of EVs increase.

Abstract
Many service jobs are carried out in modern offices, with individual offices being increasingly replaced by open-plan settings. The high number of adult people working in office buildings, in most situations sharing the work-place with many others during a considerable part of their daily time, highlights the importance of providing adequate guidance to ensure the quality of office environments. This paper aims to summarize existing data on modern offices' indoor environmental quality (IEQ) conditions in terms of air pollution (volatile organic compounds (VOC), particulate matter and inorganic pollutants), thermal comfort, lighting and acoustics and the respective associations with health and productivity-related outcomes in workers. Evidence shows that al-though many offices present acceptable IEQ, some office settings can have levels of air pollutants, hygrothermal conditions/thermal comfort and illuminance that do not comply with the existing international standards and recommendations. In addition, findings suggest the existence of significant associations between the assessed IEQ indicators and the risk of detrimental effects on health and productivity of office workers. In particular, airborne particles, CO2, O 3 and thermal comfort were linked with the prevalence of sick building syndrome symptoms. Poor lighting and acoustical quality have also been associated with malaise and physiological stress among office workers. Similarly, better productivity levels have been registered for good indoor air quality conditions, in terms of VOC, airborne particles and CO2. Overall, the evidence revised in this work suggests that for promoting health and productivity recommendations for office building managers include actions to ensure that: i) all relevant IEQ indicators are periodically controlled to ensure that levels comply with recommended limit values; ii) declared in-door pollution sources are avoided; iii) adequate ventilation and acclimatization strategies are implemented; and iv) there is the possibility of conduct personalized adjustments to environmental conditions (following workers' preferences).

Abstract
Data crowdsourcing is a data acquisition process where groups of voluntary contributors feed platforms with highly relevant data ranging from news, comments, and media to knowledge and classifications. It typically processes user-generated data streams to provide and refine popular services such as wikis, collaborative maps, e-commerce sites, and social networks. Nevertheless, this modus operandi raises severe concerns regarding ill-intentioned data manipulation in adver-sarial environments. This paper presents a simulation, modelling, and classification approach to automatically identify human and non-human (bots) as well as benign and malign contributors by using data fabrication to balance classes within experimental data sets, data stream modelling to build and update contributor profiles and, finally, autonomic data stream classification. By employing WikiVoyage - a free worldwide wiki travel guide open to contribution from the general public - as a testbed, our approach proves to significantly boost the confidence and quality of the classifier by using a class-balanced data stream, comprising both real and synthetic data. Our empirical results show that the proposed method distinguishes between benign and malign bots as well as human contributors with a classification accuracy of up to 92%.

Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract
A typical example of a Brain-Computer Interface (BCI) is a system that allows a person to move a ball displayed on a computer screen to the left or to the right, simply by imagining the movement of the left or right hand, respectively. Since the term Brain-Computer Interface was coined in 1973, the interest and efforts in this field have grown tremendously and there are now thought to be several hundred laboratories worldwide developing research in this topic. This paper aims at summarizing its resulting knowledge in a way that allows for a quick and clear consultation, highlighting the research lines, technologies and the most relevant cases of applications, so that policy makers, professionals and consumers can make effective use of the findings. With this in mind, a Brain-Computer Interface toolkit is proposed with a focus on different target audiences (e.g., children, seniors, people with intellectual disabilities) that can take advantage of this resource and promote an independent life routine. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract