2025
Autores
Cunha, J; Madeira, A; Barbosa, LS;
Publicação
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Abstract
Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broader understanding of these structures, in order to enable the expression of programs and tests yielding vague or inconsistent outcomes. Within this context, we introduce the concept of a paraconsistent Kleene Algebra with tests (PKAT), capable of capturing vague and contradictory computations. Finally, to establish the semantics of such a structure, we introduce two algebras, SetP(T) and RelP(K,T), parametric on a class of twisted structures K and T. We believe this sort of structures, for their huge flexibility, have an interesting application potential.
2025
Autores
Teixeira, C; Oliveira, ZM; Barbosa, B;
Publicação
Marketing Strategies for the Internationalization of Businesses and Brands
Abstract
The main aim of this chapter is to explore the role of social media in the internationalization of business-to-business (B2B) companies, addressing a remaining gap in the literature. It includes a qualitative study, where data from semi-structured interviews was subject to thematic content analysis. The study found that social media acts as a facilitator of internationalization in the B2B setting. While social media alone does not determine the success of internationalization efforts, it has become an essential tool for firms seeking to engage with global markets and maintain a competitive edge. The study provides relevant insights for managers, recommending that businesses should track social media performance to understand its impact on internationalization efforts and adjust strategies accordingly. © 2025 Elsevier B.V., All rights reserved.
2025
Autores
Marchesi, L; Goldman, A; Lunesu, MI; Przybylek, A; Aguiar, A; Morgan, L; Wang, X; Pinna, A;
Publicação
XP Workshops
Abstract
2025
Autores
Henrique Araújo Silva; Rui Esteves Araújo;
Publicação
2025 IEEE Vehicle Power and Propulsion Conference (VPPC)
Abstract
2025
Autores
Majewska, M; Mazur-Wierzbicka, E; Duarte, N;
Publicação
Krakow Review of Economics and Management/Zeszyty Naukowe Uniwersytetu Ekonomicznego w Krakowie
Abstract
2025
Autores
Habib U.R. Habib;
Publicação
Preprints.org
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.