Browsing by Issue Date, starting with "2022-06"
Now showing 1 - 10 of 31
Results Per Page
Sort Options
- International Conference on Mathematical Analysis and Applications in Science and Engineering – Book of Extended AbstractsPublication . Pinto, C.M.A.; Mendonça, Jorge; Babo, Lurdes; Baleanu, DumitruThe present volume on Mathematical Analysis and Applications in Science and Engineering - Book of Extended Abstracts of the ICMASC’2022 collects the extended abstracts of the talks presented at the International Conference on Mathematical Analysis and Applications in Science and Engineering – ICMA2SC'22 that took place at the beautiful city of Porto, Portugal, in June 27th-June 29th 2022 (3 days). Its aim was to bring together researchers in every discipline of applied mathematics, science, engineering, industry, and technology, to discuss the development of new mathematical models, theories, and applications that contribute to the advancement of scientific knowledge and practice. Authors proposed research in topics including partial and ordinary differential equations, integer and fractional order equations, linear algebra, numerical analysis, operations research, discrete mathematics, optimization, control, probability, computational mathematics, amongst others. The conference was designed to maximize the involvement of all participants and will present the state-of- the-art research and the latest achievements.
- Refining the link between psychopathy, antisocial behavior, and empathy: a meta-analytical approach across different conceptual frameworksPublication . Campos, Carlos; Pasion, Rita; Azeredo, Andreia; Eduarda, Ramião; Mazer, Prune; Machado, Inês; Barbosa, FernandoThe current meta-analysis included 431 records (N= 123,414) to comprehensively explore the complex interaction between psychopathy, antisocial behavior, and empathy. First, empathy domains (cognitive and affective) were used to provide critical insights for distinguishing antisocial behavior from psychopathy. Cognitive empathy was more impaired in antisocial groups (gcognitive= -.40; gaffective= -.11), while high psychopathy samples displayed larger deficits in affective empathy (gaffective= -.44; gcognitive= -.23), although this dissociation was not clear in correlational analyses. Secondly, the specific associations between empathy domains and psychopathy dimensions were evaluated. Psychopathy traits closely related to antisocial behavior were mildly associated with both empathy domains (r= -.07 to -.14). Callous-affective traits were largely associated with affective empathy (r= -.32 to -.35) and moderately correlated to cognitive empathy (r= -.26). Diverging results were found for the interpersonal dimension, as boldness-adaptive manifestations were unrelated to cognitive empathy (r= .05), while non-adaptive interpersonal traits were negatively associated with both empathy domains (rcognitive= -.14; raffective= -.25). Overall, these findings suggest that: (1) psychopathy and antisocial behavior display distinct empathic profiles; (2) psychopathy dimensions are differentially associated with cognitive and affective empathy; (3) the interaction between interpersonal traits and empathic processes is different across the conceptual models of psychopathy.
- Population structure of the brazilian carapeba eugerres brasilianus in a complex of lagoon systems from southwest atlantic ocean Inferred from otolith elemental and shape signatures †Publication . Almeida, Paulo; Costa, Marcus; Oliveira, Raiane; Pinto, Edgar; Almeida, Agostinho; Azevedo, Rui; Monteiro-Neto, Cassiano; Correia, Alberto TeodoricoThe Brazilian mojarra, Eugerres brasilianus, is an economically important species for the artisanal fisheries that exist in the estuarine environments along the Southwest Atlantic Ocean. Despite this, knowledge about its population structure is scarce, and no management strategies have been applied to ensure the sustainability of E. brasilianus fisheries in Brazil. Thus, the present study intended to understand the population structure of E. brasilianus in a complex system of lagoons in the Southwest Atlantic Ocean. A total of 90 individuals were collected in the lagoons of Piratininga-Itaipu (IP), Saquarema (SQ) and Araruama (AR) between December 2019 and March 2020. For the analyses, 30 individuals per location from the same age group (2 years old), following age estimation by counting the annual growth increments, were used. The contour of the shape of each otolith was evaluated using elliptical Fourier descriptors (EFD). Multi-elemental signatures (MES) of the whole otoliths were obtained using solution-based inductively coupled plasma mass spectrometry. Data were analyzed using univariate and multivariate statistics to assess the degree of separation between individuals from different lagoons. EFD data showed differences between regions. MES exhibited distinct regional patterns, mainly driven by differences in Sr/Ca, Mg/Ca, Mn/Ca, Li/Ca and Cu/Ca ratios. Reclassification accuracy rates obtained from linear discriminant function analyses using both EFD and MES of otoliths were 100% (IP), 90% (SQ) and 97% (AR). Therefore, a clear distinction between the population groups was observed, probably related to the inherent characteristics of each lagoon system, their semi-restricted connectivity with the adjacent coastal zone, as well as the estuarine-opportunistic behavior of the species. Thus, the results suggest that these fisheries should be managed as different population-units.
- Problematic internet use during COVID-19 pandemicPublication . Burkauskas, Julius; Dores, Artemisa R.; Carvalho, Irene P.; Corazza, OrnellaExperts in the field raised concerns about the rise of the Problematic Usage of the Internet (PUI) during the Coronavirus pandemic (COVID-19), however, specific online behaviours and how they are presented cross-culturally were explored to a lesser extent. In this study, we aimed to explore the cross-cultural manifestation of specific online behaviours and their associations with self-compassion, appearance anxiety, image and performance enhancing drugs (IPEDs) use, and specific online behaviours.
- The psychometric properties of the Gaming Addiction Scale in a sample of Portuguese college studentsPublication . Dores, Artemisa R.; Martins, Helena; Geraldo, Andreia,; Barbosa, FernandoThe recent inclusion of the gaming disorder in the ICD-11 brought a huge interest in this disorder. However, the assessment of behavioural disorders is still largely dependent on the instruments used. This study aims to describe the application of the Gaming Addiction Scale (GAS) to a sample of Portuguese college students and analyse its psychometric characteristics.
- A Novel Multi-View Ensemble Learning Architecture to Improve the Structured Text ClassificationPublication . Gonçalves, Carlos Adriano; Vieira, Adrián Seara; Talma Gonçalves, Célia; Camacho, Rui; Iglesias, Eva Lorenzo; Diz, Lourdes BorrajoMulti-view ensemble learning exploits the information of data views. To test its efficiency for full text classification, a technique has been implemented where the views correspond to the document sections. For classification and prediction, we use a stacking generalization based on the idea that different learning algorithms provide complementary explanations of the data. The present study implements the stacking approach using support vector machine algorithms as the baseline and a C4.5 implementation as the meta-learner. Views are created with OHSUMED biomedical full text documents. Experimental results lead to the sustained conclusion that the application of multi-view techniques to full texts significantly improves the task of text classification, providing a significant contribution for the biomedical text mining research. We also have evidence to conclude that enriched datasets with text from certain sections are better than using only titles and abstracts
- Effectiveness of therapeutic exercise in musculoskeletal risk factors related to swimmer’s shoulderPublication . Tavares, Nuno; Dias, Gonçalo; Carvalho, Paulo; Vilas-Boas, João Paulo; Castro, Maria AntónioTherapeutic exercise seems to minimize musculoskeletal risk factors related to swimmer’s shoulder. However, there is an absence of a qualitative evaluation of these programs and a great variability regarding the characteristics of exercises. The objective of this review was to identify, evaluate, and compare exercise programs used to minimize musculoskeletal risk factors related to swimmer’s shoulder. PubMed, CochraneLibrary, ScienceDirect, and Medscape were searched during January 2022. The research was limited to meta-analyses, systematic reviews, and RCTs written in English, Spanish, and Portuguese without publication time. The researched papers had swimmers as the population, compared an exercise program with another program or without intervention, and had as outcomes musculoskeletal risk factor variables. Eleven articles were considered for analysis. There were three positive effects of strength programs on shoulder rotators’ strength and endurance, two positive effects of strength and stretching programs on shoulder posture, and one positive effect of a stretching program on shoulder ROM and a plyometric program on proprioception. There is high heterogeneity and little methodological quality evidence about the theme. However, strength programs with five or fewer OKC exercises performed out of the water seems to lead to better results in the swimmer’s shoulder prevention.
- Verification of multiple models of a safetycritical motor controller in railway systemsPublication . Proenca, José; Borrami, Sina; Nova, Jorge Sanchez de; Pereira, David; Spilere Nandi, GiannMotor controllers, such as the ones used in signalling systems, include critical embedded software. Alstom is a company that produces such embedded systems, which must follow complex certification processes that require formal modelling and analysis. The formal analysis of these real-time systems have to balance between including enough details to be useful and abstracting away enough details to be verifiable. This paper describes our work in the context of the European VALU3S project to integrate the analysis of such systems with the Uppaal model checker during the development cycle, involving both developers from Alstom and academic partners. We use special Excel tables to configure the underlying Uppaal models and requirements, bridging these two stakeholders. We follow Software Product Line Engineering principles, e.g., allowing features to be turned on and off and periodicities to be changed, and verify different properties for each of such configuration. We automate the instantiation and verification in Uppaal of a set of selected configurations via an open-source prototype tool named Uppex.
- ICEER 2021: Developing the World in 2021 with clean and safe energyPublication . Caetano, Nídia; Salvini, Coriolano; Giovannelli, Ambra; Felgueiras, CarlosThe World pandemic situation that started in 2020 brought important limitations to live events. In spite of the fast response provided by the scientific community, with researchers from all over the World committed to the development of vaccines to prevent the dissemination and effects of the corona virus, in 2021 it was not yet possible to organize the 8th International Conference on Energy and Environment Research (ICEER) under live mode. Therefore, the ICEER 2021 occurred online for the second consecutive year, from 13–16 September 2021. The Authors, Participants and the Conference organization understood how important it is to discuss matters related to Energy and the Environment Research, as it was demonstrated by the huge changes introduced by travel and work limitations. Not only the energy consumption was affected during the pandemic, but also the environment was positively impacted by the reduction of human individual travel, both for working and for amusement purposes. These facts highlighted even more the importance of the development and use of energy sources and systems that are reliable, affordable and, above all, environment friendly, towards Sustainable Development, which motivated the theme adopted for the current edition of ICEER 2021: “Developing the World in 2021 with clean and safe energy”. The ICEER 2021 recovered some participants who preferred the live version but were committed not to give up on their research in these important topics, and the full three working days demonstrated the resilience of this community. This editorial paper summarizes the ICEER 2021, briefly reporting the main conclusions and the most impacting sessions, presentations and interventions that allowed to strengthen the interaction among experts and young researchers in the energy and environment field.
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3Publication . Cledou, Guillermina; Edixhoven, Luc; Jongmans, Sung Shik; Proenca, JoséConstruction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. In this paper (pearl), we revisit and revise this approach. Regarding our "revisitation", using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our "revision", also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool.