Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2025

Paraconsistent Relations as a Variant of Kleene Algebras

Authors
Cunha, J; Madeira, A; Barbosa, LS;

Publication
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

Authors
Teixeira, C; Oliveira, ZM; Barbosa, B;

Publication
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

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

Publication
XP Workshops

Abstract

2025

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

Authors
Silva, HA; Araújo, RE;

Publication
2025 IEEE VEHICLE POWER AND PROPULSION CONFERENCE, VPPC

Abstract
This paper presents a current estimation approach for four-phase Switched Reluctance Machines (SRMs) using only two current sensors. The power converter structure under consideration is an asymmetric half-bridge topology in which the upper switch is shared by two phases, resulting in a reduced number of measurable current paths. Two current estimation methods are developed and compared in a simulation environment. Both techniques aim to reconstruct the instantaneous phase currents to enable advanced torque and flux control strategies without the need for individual current sensors on each phase. The effectiveness of each method is validated through Matlab/Simulink simulations, and their performance is assessed under different operating scenarios.

2025

Higher education accessibility information in practice. A report on the accessibility of European Universities

Authors
Krejtz, K; Marcus-Quinn, A; Duarte, C; Stasiak, I; Pereira, LS; Krejtz, I;

Publication
UNIVERSAL ACCESS IN THE INFORMATION SOCIETY

Abstract
This present study examines the accessibility of European universities for students with disabilities, drawing on two data sources. The first data source, a desk research, examined publicly available information on the websites of 171 universities from 38 European countries. In this desk research, we performed an audit of university websites and analysed the availability of accessibility services. The second data source, an online survey was distributed to accessibility/diversity offices at 124 universities, with full responses received from seven institutions in various European countries. The study reveals a significant disparity in accessibility resources and support services across European regions. Universities in Northern Europe, the UK, and Ireland exhibit a higher level of accessibility, both in terms of website accessibility and the availability of comprehensive support services. In contrast, universities in Eastern and Southern Europe often lag behind, with less visible accessibility information on websites, limited resources for accessibility offices, and fewer assistive technologies available to students. The most common accessibility issues identified on university websites are ambiguous labels, insufficient colour contrast, and poorly structured navigation. These issues can pose significant challenges for students with visual impairments, cognitive disabilities, and other accessibility needs. The study highlights the need for increased investment in accessibility resources and support services across all European universities, particularly in under-resourced institutions and regions. It underscores the importance of ensuring that all students, regardless of disability, have equal access to education and opportunities.

2025

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

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

Publication
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.

  • 259
  • 4496