ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation

In this work, we describe and evaluate the first model checker for verifying Kotlin programs through the Jimple intermediate representation. The verifier, named ESBMC-Jimple, is built on top of the Efficient SMT-based Context-Bounded Model Checker (ESBMC). It uses the Soot framework to obtain the Jimple IR, representing a simplified version of the Kotlin source code, containing a maximum of three operands per instruction. ESBMC-Jimple processes Kotlin source code together with a model of the standard Kotlin libraries and checks a set of safety properties. Experimental results show that ESBMC-Jimple can correctly verify a set of Kotlin benchmarks from the literature and that it is competitive with state-of-the-art Java bytecode verifiers. A demonstration is available at https://youtu.be/J6WhNfXvJNc.Comment: ACM SIGSOFT International Symposium on Software Testing and Analysis 202

Adherend thickness effect on the tensile fracture toughness of a structural adhesive using an optical data acquisition method

Adhesive bonding is nowadays a serious candidate to replace methods such as fastening or riveting, because of attractive mechanical properties. As a result, adhesives are being increasingly used in industries such as the automotive, aerospace and construction. Thus, it is highly important to predict the strength of bonded joints to assess the feasibility of joining during the fabrication process of components (e.g. due to complex geometries) or for repairing purposes. This work studies the tensile behaviour of adhesive joints between aluminium adherends considering different values of adherend thickness (h) and the double-cantilever beam (DCB) test. The experimental work consists of the definition of the tensile fracture toughness (GIC) for the different joint configurations. A conventional fracture characterization method was used, together with a J-integral approach, that take into account the plasticity effects occurring in the adhesive layer. An optical measurement method is used for the evaluation of crack tip opening and adherends rotation at the crack tip during the test, supported by a Matlab® sub-routine for the automated extraction of these quantities. As output of this work, a comparative evaluation between bonded systems with different values of adherend thickness is carried out and complete fracture data is provided in tension for the subsequent strength prediction of joints with identical conditions

A universal quantum estimator

Almost all computational tasks in the modem computer can be designed from basic building blocks. These building blocks provide a powerful and efficient language for describing algorithms. In quantum computers, the basic building blocks are the quantum gates. In this tutorial, we will look at quantum gates that act on one and two qubits and briefly discuss how these gates can be used in quantum networks

Direct estimations of linear and non-linear functionals of a quantum state

We present a simple quantum network, based on the controlled-SWAP gate, that can extract certain properties of quantum states without recourse to quantum tomography. It can be used used as a basic building block for direct quantum estimations of both linear and non-linear functionals of any density operator. The network has many potential applications ranging from purity tests and eigenvalue estimations to direct characterization of some properties of quantum channels. Experimental realizations of the proposed network are within the reach of quantum technology that is currently being developed.Comment: This paper supersedes the paper quant-ph/0112073, titled "Universal Quantum Estimator". We emphasise the estimation of linear and non-linear functionals of a quantum stat

Effects of a 12-week change-of-direction sprints training program on selected physical and physiological parameters in professional basketball male players

Multidirectional repeated sprints with quick changes-of-direction (CoD) are considered a key performance determinant in basketball. The objective of this study was to investigate the effects of a 12-week CoD sprint training program compared to regular basketball training on selected measures of physical fitness and physiological adaptations in male basketball players. Sixteen professional basketball players were randomly assigned to an intervention group (INT = 8) or an active control group (CON = 8). INT completed a 12-week CoD sprint training program with two sessions per week while CON continued their regular training. Training volume was similar between groups. Before and after the intervention, the two groups were evaluated for the repeated sprint ability test with CoD (IRSA5COD), the squat jump (SJ) and countermovement jump (CMJ) test, the five time-jump test (FJT) and change of direction T-test. Blood samples were taken before the beginning of the experimental protocol, after 4, 8 and 12 weeks to monitor the testosterone/cortisol ratio (T/C). For T-test, post-hoc tests revealed significant pre-to-post improvements for INT (3.4%; p = 0.001, ES = 0.91). For CMJ, post-hoc tests revealed a significant pre-to-post decrease for INT (−11.6%; p = 0.001, ES = 0.94), and a significant improvement for CON (4.96%; p = 0.014, ES = 0.60). For T/C ratio, post-hoc tests revealed a significant decrease after 12 weeks of training for INT (52.3%; p < 0.001; ES = 0.63). In conclusion, twelve weeks of CoD sprint training enhanced CoD performance but negatively affected vertical jump capacity in male basketball players. T/C ratio indicated that the physiological demands associated with INT were well-balanced

Influence of the physical properties on the antibacterial and photocatalytic behavior of Ag-doped indium sulfide film deposited by spray pyrolysis

Spray pyrolysis was used to deposit indium sulfide (In2S3) films, with or without silver doping. The films are polycrystalline, and the inclusion of Ag in the In2S3 structure leads to the formation of a solid solution, with the crystallite size of the order of tens of nanometers. In2S3 films exhibit a semiconductive behavior, and the incorporation of Ag leads to an increase of the charge carrier concentration, enhancing the electrical conductivity of the films. The small polaron hopping mechanism, deduced by the fittings according to the double Jonscher variation, explains the evolution of the direct current (dc) conductivity at high temperature of the Ag-doped indium sulfide. From impedance spectroscopy, it was found that the doped film presents dielectric relaxation, and Nyquist diagrams indicate the importance of the grain and the grain boundaries’ contributions to the transport phenomena. The physical characteristics of the films have an influence on the photocatalytic performance, achieving photodegradation efficiency above 80% (85.5% in the case of Ag doping), and on the antibacterial activity. The obtained results indicate that indium sulfide films are good candidates for environmental and biological applications, confirming a multifunctional nature.Part of this work was supported by the Portuguese Foundation for Science and Technology (FCT) in the framework of the Strategic Funding UIDB/04650/2020”. D.C. and I.G. acknowledge the structural funds project PRO-DD (POS-CCE, O.2.2.1., ID123, SMIS 2637, ctr. no 11/2009) for providing some of the infrastructure used in this work. Part of this work was supported by a grant of the Romanian Ministry of Education and Research, CNCS - UEFISCDI, project number PN-III-P1-1.1-TE-2019-1209, within PNCDI III

Effects of a 12-Week Change-of-Direction Sprints Training Program on Selected Physical and Physiological Parameters in Professional Basketball Male Players

[EN] Multidirectional repeated sprints with quick changes-of-direction (CoD) are considered a key performance determinant in basketball. The objective of this study was to investigate the effects of a 12-week CoD sprint training program compared to regular basketball training on selected measures of physical fitness and physiological adaptations in male basketball players. Sixteen professional basketball players were randomly assigned to an intervention group (INT = 8) or an active control group (CON = 8). INT completed a 12-week CoD sprint training program with two sessions per week while CON continued their regular training. Training volume was similar between groups. Before and after the intervention, the two groups were evaluated for the repeated sprint ability test with CoD (IRSA5COD), the squat jump (SJ) and countermovement jump (CMJ) test, the five time-jump test (FJT) and change of direction t-test. Blood samples were taken before the beginning of the experimental protocol, after 4, 8 and 12 weeks to monitor the testosterone/cortisol ratio (T/C). For t-test, post-hoc tests revealed significant pre-to-post improvements for INT (3.4%; p = 0.001, ES = 0.91). For CMJ, post-hoc tests revealed a significant pre-to-post decrease for INT (−11.6%; p = 0.001, ES = 0.94), and a significant improvement for CON (4.96%; p = 0.014, ES = 0.60). For T/C ratio, post-hoc tests revealed a significant decrease after 12 weeks of training for INT (52.3%; p < 0.001; ES = 0.63). In conclusion, twelve weeks of CoD sprint training enhanced CoD performance but negatively affected vertical jump capacity in male basketball players. T/C ratio indicated that the physiological demands associated with INT were well-balanced.The authors would like to acknowledge with considerable gratitude all those who volunteered to take part in this study

Steel slag and recycled concrete aggregates: replacing quarries to supply sustainable materials for the asphalt paving industry

Various researchers are developing efforts to integrate waste and by-products as alternative materials in road construction and maintenance, reducing environmental impacts and promoting a circular economy. Among the alternative materials that several authors have studied regarding their use as partial or total substitutes for natural aggregates in the asphalt paving industry, the steel slag aggregate (SSA) and recycled concrete aggregate (RCA) from construction demolition waste (CDW) stand out. This paper reviews and discusses the characteristics and performance of these materials when used as aggregates in asphalt mixtures. Based on the various studies analyzed, it was possible to conclude that incorporating SSA or RCA in asphalt mixtures for road pavements has functional, mechanical, and environmental advantages. However, it is essential to consider some possible drawbacks of these aggregates that are discussed in this paper, to define the acceptable uses of SSA and RCA as sustainable feedstocks for road paving works.This research was funded by the "Environment, Climate Change and Low Carbon Economy Programme-Environment Programme" (EEA financial mechanism 2014-2021) through the Funding Mechanism Commission established by Iceland, Liechtenstein, Norway, and Portugal, under the scope of project CirMat-CIRcular aggregates for sustainable road and building MATerials. This study was also supported by Fundacao para a Ciencia e a Tecnologia through the Ph.D. grants number 2021.06428.BD and 2021.08004.BD