Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2025

Paraconsistent Relations as a Variant of Kleene Algebras

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

The Role of Social Media in the Internationalization of B2B Companies

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

Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Autores
Marchesi, L; Goldman, A; Lunesu, MI; Przybylek, A; Aguiar, A; Morgan, L; Wang, X; Pinna, A;

Publicação
XP Workshops

Abstract

2025

Current Estimation for Four-Phase Switched Reluctance Machines Using Two Current Sensors

Autores
Henrique Araújo Silva; Rui Esteves Araújo;

Publicação
2025 IEEE Vehicle Power and Propulsion Conference (VPPC)

Abstract

2025

Education Quality and Technological Progress in the Business Sector at Different Stages of Economic Development

Autores
Majewska, M; Mazur-Wierzbicka, E; Duarte, N;

Publicação
Krakow Review of Economics and Management/Zeszyty Naukowe Uniwersytetu Ekonomicznego w Krakowie

Abstract
Objective: To empirically investigate the relationship between education quality and technological progress in the business sector at different stages of economic development. Research Design & Methods: We divided 160 countries into four groups by GDP per capita. The research period was 2007–2021. We use Spearman’s correlation analysis to verify associations between nine indicators for education quality and ten indicators for technological progress. Findings: Our outcomes show that if education quality does not improve, countries do not move up the economic development ladder. Adult literacy, primary education quality, adult skills, and women’s average years in school have the strongest influence on technological progress. Implications?/?Recommendations: Our paper contains many implications for those seeking to improve social well-being. For example, governments should ensure that women have access to education on equal terms with men. Otherwise, they lose an important source of technological progress and impede the development of human capital. Greater emphasis should be placed on learning how to write and describe reality, read with comprehension, perform simple calculations without a calculator, and teach various learning methods. In the absence of these, the skills of primary, secondary and higher education graduates will not improve. Contribution: The outcomes of our research, both theoretical and empirical, create a multi-faceted approach to the issue of the mutual influence of education and technological progress. They allow us to look at this problem from the perspective of subsequent stages of economic development.

2025

Withdrawn: Dynamic Performance of Grid-Forming Interlinking Converters in MVAC-MVDC Hybrid AC/DC Microgrids

Autores
Habib U.R. Habib;

Publicação
Preprints.org

Abstract
This preprint has been withdrawn at the request of the corresponding author due to internal coordination requirements and project data privacy considerations.

  • 193
  • 4387