Concurrent Programs Research Articles

The impact of concurrent training in team sports and soccer.

Team sports players are frequently required to integrate multiple physical components, including strength and endurance capacity, to maximize their performance during both training and competitions. The combination of strength and endurance within a periodized program is known as concurrent training. Recently, concurrent training has emerged as an innovative method to enhance both muscular strength and aerobic performance, tailored to the specific requirements and diverse nature of each sport. However, concurrent training may induce excessive fatigue and compromise performance potentiation, depending on training prescription parameters. This distinction between the interference effect and performance enhancement presents a complex challenge for any team sports system. Consequently, the objective of this review was to scrutinize the efficacy, practical application, and methodological aspects of concurrent training. Additionally, it aims to elucidate strategies to mitigate the complexities associated with the interference effect, thereby optimizing the benefits of concurrent training modality for team sports, emphasizing soccer. The major findings indicate that concurrent training can improve strength and endurance qualities in athletes, but under certain conditions, it can also interfere with adaptations. Appropriate programming strategies, such as proper sequencing, scheduling, volume, intensity, and recovery, can help mitigate these negative effects. Additionally, whereas more experienced athletes display greater proficiency in executing concurrent training programs, younger players, particularly those under 14, tend to experience minimal interference effects from this training approach, making it well-suited for their development. Overall, concurrent training has been demonstrated as an effective and efficient method for improving strength and endurance performance in team sports players.

Effect of a Concurrent Training Program with and Without Metformin Treatment on Metabolic Markers and Cardiorespiratory Fitness in Individuals with Insulin Resistance: A Retrospective Analysis.

Type 2 diabetes mellitus is a metabolic disorder characterized by insulin resistance (IR), which is prevalent worldwide and has significant adverse health effects. Metformin is commonly prescribed as a pharmacological treatment. Physical exercise is also recognized as an effective regulator of glycemia, independent of metformin. However, the effects of inter-day concurrent training (CT)-which includes both endurance and resistance exercises-combined with metformin treatment on metabolic markers and cardiorespiratory fitness in individuals with IR remain controversial. This study aimed to analyze the effects of a 12-week inter-day CT program on metabolic markers and cardiorespiratory fitness in overweight/obese individuals with IR, both with and without metformin treatment. Additionally, inter-individual responses to CT were examined. Data from the 2022-2023 Obesity Center database were retrospectively analyzed. According to the eligibility criteria, 20 overweight/obese individuals diagnosed with IR participated in a 12-week CT program (three weekly sessions: two endurance and one resistance exercise session). Participants were divided into three groups: the exercise group (E-G: n = 7, 32.86 ± 8.32 years, 85.2 ± 19.67 kg), the exercise-metformin group (E-MG: n = 6, 34.83 ± 12.91 years, 88.13 ± 12.66 kg), and the metformin-only control group (M-G: n = 7, 34.43 ± 13.96 years, 94.23 ± 13.93 kg). The M-G did not perform physical exercise during the 12 weeks but continued pharmacological treatment. Body composition, metabolic markers, and cardiorespiratory fitness were assessed before and after the 12-week CT program. A group-by-time interaction was observed for fasting insulin (F2,17 = 34.059, p < 0.001, η2p = 0.88), the Homeostatic Model Assessment of Insulin Resistance (HOMA-IR) (F2,17 = 35.597, p < 0.001, η2p = 0.80), and maximal fat oxidation (MFO) (F2,17 = 4.541, p = 0.026, η2p = 0.348) following the CT program. The maximal oxygen uptake (VO2max) showed significant improvements in the E-G (F = 4.888, p = 0.041, ∆+13.3%). Additionally, the percentage of fat mass (%FM) and body mass (BM) were significantly reduced across all groups (F = 125.244, p < 0.001 and F = 91.130, p < 0.001, respectively). The BM decreased by ∆-9.43% in the E-G (five responders, Rs), ∆+9.21% in the EM-G (5 Rs), and ∆+5.15% in the M-G (3 Rs). The %FM was reduced in the E-G by ∆-22.52% (seven Rs). Fasting insulin and the HOMA-IR significantly improved in both the E-G and EM-G, with fasting insulin showing a ∆-82.1% reduction in the E-G (five Rs) and a ∆-85% reduction in the EM-G (six Rs). Similarly, the HOMA-IR improved by ∆+82.6% in the E-G (three Rs) and by ∆+84.6% in the EM-G (six Rs). The 12-week inter-day concurrent training program, whether combined with metformin or not, was similarly effective in improving metabolic markers in patients with insulin resistance as metformin treatment alone. Both exercise groups demonstrated a significant reduction in insulin sensitivity and an increase in maximal fat oxidation. Meanwhile, exclusive pharmacological treatment with metformin markedly decreased cardiorespiratory fitness, and consequently, fat oxidation.

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

Model execution allows us to prototype and analyse software engineering models by stepping through their possible behaviours, using techniques like animation and simulation. On the other hand, deductive verification allows us to construct formal proofs demonstrating satisfaction of certain critical properties in support of high-assurance software engineering. To ensure coherent results between execution and proof, we need unifying semantics and automation. In this paper, we mechanise Interaction Trees (ITrees) in Isabelle/HOL to produce an execution and verification framework. ITrees are coinductive structures that allow us to encode infinite labelled transition systems, yet they are inherently executable. We use ITrees to create verification tools for stateful imperative programs, concurrent programs with message passing in the form of the CSP and Circus languages, and abstract system models in the style of the Z and B methods. We demonstrate how ITrees can account for diverse semantic presentations, such as structural operational semantics, a relational program model, and CSP's failures-divergences trace model. Finally, we demonstrate how ITrees can be executed using the Isabelle code generator to support the animation of models.

View-based axiomatic reasoning for the weak memory models PSO and SRA

Weak memory models describe the semantics of concurrent programs in modern multicore architectures. As these semantics deviate from the commonly assumed model of sequential consistency, reasoning techniques like Owicki-Gries-style proof calculi need to be adapted to specific memory models. To avoid having to design a new proof calculus for every new memory model, a uniform approach for axiomatic reasoning has recently been proposed. This approach bases reasoning on memory-model independent axioms about thread views and how they are changed by program actions like reads and writes. It allows to prove program correctness based on axioms only. Such proofs are valid for all memory models instantiating the axioms.In this paper, we study instantiations of the axioms for two memory models, the Partial Store Order (PSO) and the Strong Release Acquire (SRA) model. We see that both models fulfil all but one axiom, a different one though. For PSO, the missing axiom refers to message-passing abilities of memory models; for SRA, the missing axiom refers to the independence of actions on executing threads. We discuss the consequences of these missing axioms and illustrate the reasoning technique on a specific litmus test.

A Comparative Analysis of Memory Models: SC, TSO, and ARM in Concurrent Programming

Concurrent programming has long been a challenge due to the complex interactions between processors and shared memory. The intuition of programmers often diverges from the actual behavior of concurrent programs due to factors such as modern processor technologies, compiler optimizations, and performance-driven data store implementations. To address this discrepancy, memory models were introduced to formally define the permissible and prohibited behaviors in concurrent program execution. Memory models can be broadly categorized into strong and weak models. Sequential Consistency (SC) is a strong model that preserves the order of events in each thread or process, aligning with programmers' expectations. In contrast, weak models, such as Total Store Order (TSO) and ARM, allow for relaxed ordering, potentially leading to unexpected behaviors. This paper presents a practical comparison of SC, TSO, and ARM memory models. A suite of six litmus tests were executed on architectures implementing each model to highlight their differences. The results were analyzed using the axiomatic models of each architecture to understand why certain behaviors were accepted or rejected. The herd tool was employed to simulate memory model behavior. The findings revealed a significant disparity in the acceptance of behaviors across the three models. SC emerged as the most restrictive, followed by TSO, while ARM demonstrated the least stringent acceptance criteria. These results underscore the importance of understanding memory model nuances when developing concurrent programs to ensure correct and predictable behavior.

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures

Remote direct memory access (RDMA) is a modern technology enabling networked machines to exchange information without involving the operating system of either side, and thus significantly speeding up data transfer in computer clusters. While RDMA is extensively used in practice and studied in various research papers, a formal underlying model specifying the allowed behaviours of concurrent RDMA programs running in modern multicore architectures is still missing. This paper aims to close this gap and provide semantic foundations of RDMA on x86-TSO machines. We propose three equivalent formal models, two operational models in different levels of abstraction and one declarative model, and prove that the three characterisations are equivalent. To gain confidence in the proposed semantics, the more concrete operational model has been reviewed by NVIDIA experts, a major vendor of RDMA systems, and we have empirically validated the declarative formalisation on various subtle litmus tests by extensive testing. We believe that this work is a necessary initial step for formally addressing RDMA-based systems by proposing language-level models, verifying their mapping to hardware, and developing reasoning techniques for concurrent RDMA programs.

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations

The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preserve the semantics of a single source file: they must ensure that generated binaries can be composed with other binaries to form a final executable. The compatibility of composition is ensured using an Application Binary Interface (ABI), which specifies details of calling conventions, exception handling, and so on. Unfortunately, there are no official ABIs for concurrent programs, so different atomics mappings, although correct in isolation, may induce bugs when composed. Indeed, today, mixing binaries generated by different compilers can lead to an erroneous resulting binary. We present mix testing : a new technique designed to find compiler bugs when the instructions of a C/C++ test are separately compiled for multiple compatible architectures and then mixed together. We define a class of compiler bugs, coined mixing bugs , that arise when parts of a program are compiled separately using different mappings from C/C++ atomic operations to assembly sequences. To demonstrate the generality of mix testing, we have designed and implemented a tool, atomic-mixer, which we have used: (a) to reproduce one existing non-mixing bug that state-of-the-art concurrency testing tools are limited to being able to find (showing that atomic-mixer at least meets the capabilities of these tools), and (b) to find four previously-unknown mixing bugs in LLVM and GCC, and one prospective mixing bug in mappings proposed for the Java Virtual Machine. Lastly, we have worked with engineers at Arm to specify, for the first time, an atomics ABI for Armv8, and have used atomic-mixer to validate the LLVM and GCC compilers against it.

Program Dependence Net and on-demand slicing for property verification of concurrent system and software

When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose use can effectively reduce verification time. It is orthogonal to other model-checking reduction techniques. However, when slicing concurrent programs for model checking, there are conversions between multiple irreplaceable models, and dependencies need to be found for variables irrelevant to the verified property, which results in redundant computation. To resolve this issue, we propose a Program Dependence Net (PDNet) based on Petri net theory. It is a unified model that combines a control-flow structure with dependencies to avoid conversions. For reduction, we present a PDNet slicing method to capture the relevant variables’ dependencies when needed. PDNet and its on-demand slicing in verifying linear temporal logic are used to significantly reduce computation cost. We implement a model-checking tool based on PDNet and its on-demand slicing and validate the advantages of our proposed methods.

Exploring the dynamics of concurrent enrollment in rural spaces through the narrative of a small community college

AbstractThis article describes the narrative of one small rural community college's concurrent enrollment program, seeking to highlight and make sense of the particular dynamics of operating this type of programing in rural spaces. Dual or concurrent enrollment options can offer students increased access to postsecondary options in rural education deserts, as well as contribute to the economic health of the region through workforce development. However, the same challenges and benefits of rural life also comprise the dynamics within which this programing must operate. The manuscript concludes with recommendations for practice, research, and policy, relevant to both concurrent enrollment program operation and the broader college mission of rural community development.

Quantum temporal logic and reachability problems of matrix semigroups

We study the reachability problems of a quantum finite automaton. More precisely, we introduce quantum temporal logic (QTL) that specifies the time-dependent behavior of quantum finite automaton by presenting the time dependence of events temporal operators ◊ (eventually) and □ (always) and employing the projections on subspaces as atomic propositions. The satisfiability of QTL formulae corresponds to various reachability problems of matrix semigroups. We prove that the satisfiability problems for □∨impi, ◊□∨impi and □◊∨impi with atomic propositions pi are decidable. This result solves the open problem of Li and Ying 2014. Notably, the decidability of □◊p can be interpreted as a generalization of Skolem-Mahler-Lech's celebrated theorem based on additive number theory. This paper's last part shows how the quantum finite automaton can model the general concurrent quantum programs, which may involve an arbitrary classical control flow.

Changes in the Expression of Inflammatory Genes Induced by Chronic Exercise in the Adipose Tissue: Differences by Sex.

The impact of obesity on adipose tissue function is well acknowledged, but the role of physical exercise in regulating inflammatory markers and gene expression in obese individuals remains uncertain. This study aims to investigate the effects of chronic exercise on inflammatory gene expression in adipose tissue and to explore sex differences in response to exercise. The study involved 29 obese participants (13 men, 16 women) aged 38 to 54 years with a mean BMI of 36.05 ± 4.99 kg/m2. Participants underwent an 8-week concurrent training program comprising three weekly sessions of ~60 min each. The sessions included joint mobility exercises, cardiovascular activation, and cardiorespiratory resistance exercises at medium to low intensity. A fine-needle aspiration biopsy of abdominal subcutaneous adipose tissue was performed for gene expression analysis using quantitative polymerase chain reaction (qPCR). The study demonstrated that chronic exercise modulates the expression of pro-inflammatory genes in subcutaneous adipose tissue, particularly ADIPOR2 (p = 0.028), leptin (p = 0.041), and IFNg (p = 0.040) (downregulated). Interestingly, regardless of sex, the exercise programs had an independent effect on pro-inflammatory genes. Overall, this study provides insight into the role of chronic exercise in modulating adipose tissue gene expression in obese individuals. Further research involving both sexes is recommended to tailor exercise interventions for better outcomes.

Assessing the success of a research leadership programme for senior nurses and midwives: A mixed methods programme evaluation.

In 2018 the National Institute of Health and Care Research, United Kingdom, launched a 3-year Senior Nurse and Midwife Research Leader Programme to support nurse and midwifery research leaders to develop research capacity and capability within NHS organisations. We report the results of a service evaluation of the programme strengths, areas for improvement and achievement of programme aims. Partially mixed, concurrent mixed methods programme evaluation, including: (a) meeting evaluation (survey), (b) annual evaluation (survey) and (c) qualitative stakeholder interviews. Survey results were quantitatively analysed using descriptive statistics. Interviews were audio-recorded, transcribed, deductively coded using elements within the logic model and analysed using the seven-stage framework analysis method. Satisfaction with the programme was high (75%). The main perceived benefit of the programme was being part of a network. Challenges included accessing learning resources, lack of opportunity to network and lack of clarity about the programme aims. Meetings were evaluated as relevant and helpful (mean 93%), thought-provoking (92%), inspiring (91%), at the appropriate level (91%) and aligned with the programme aims (90%). All meetings were ranked as highly beneficial by attendees (92%). Stakeholder feedback on the programme success reflected the importance of leadership, the programme design and content, 'connection and community' and communication with and about the cohort. Overall, the anticipated programme aims were met, evaluating well from both the perspective of those on the programme and the wider stakeholder group. There has been a lack of investment in schemes to support research leadership development for nurses/midwives. A novel programme to support nursing/midwifery research leadership was positively evaluated. The programme is a useful model to support future capacity and capability building for nurses/midwives. The work is reported with reference to the SQUIRE 2 and SRQR checklists. No patient or public contribution.

A three-arm randomized controlled trial of aerobic and resistance training in women with spinal cord injuries: Effects on physical fitness and pulmonary function

BackgroundThis study aimed to investigate the effects of different volumes of aerobic training (AT) and resistance training (RT) during a concurrent exercise training program on selected indicators of physical fitness and pulmonary function in women with spinal cord injury (SCI). MethodsTwenty-three inactive females with complete or incomplete SCI from T6 to L5 were divided into three groups: concurrent training with a focus on AT (CTAT; two weekly sessions of AT and one of RT), concurrent training with a focus on RT (CTRT; two weekly sessions of RT and one of AT), and control (CON). Tests were performed before and after an 8-week experimental period for indicators of pulmonary function, aerobic power, endurance performance, muscular strength and endurance, speed, and change of direction. ResultsMarkers of both aerobic and muscular fitness increased in the CTAT and CTRT groups, but not in CON. There were significant differences in aerobic power and endurance performance between the CTAT and CTRT groups, with greater changes in CTAT. Both CTAT and CTRT improved respiratory functions, with no differences between them (p > 0.05). ConclusionsCTAT and CTRT improved most of the indicators of physical fitness. However, CTAT should be used to achieve higher aerobic power and endurance without compromising muscle strength.

Order effect of an 8-week concurrent training program on the maximal fat oxidation

BackgroundConcurrent training (CT) is a common method used in health-oriented training programs. However, its design needs to be explored in order to inform practitioners about the most effective methods to improve different health-related markers (e.g., maximal fat oxidation [MFO]). Thus, this study aims to determine the order effect of an 8 week CT on the MFO of recreationally trained young adults.MethodsTwenty participants were allocated in two different groups to perform the CT differing only in the exercise sequence. The endurance training (ET) consisted of 4 to 6 repetitions of 30 s all-out running sprints with 4 min of active recovery. The resistance training (RT) consisted of 4 to 6 sets at 60 to 80% of the one-repetition maximum with 5 to 1 repetition in reserve of back squat and bench press exercises. 15 min of rest were established between exercise modes. Previous and after the CT program, participants performed a graded exercise test where MFO was determined.ResultsThere was a significant time effect on MFO (p = 0.044). A moderate increase was observed in both ET + RT (Mean change: 0.11 [− 0.02 to 0.25] g/min; Effect size: 0.61 [− 0.12 to 1.35]) and RT + ET (Mean change: 0.07 [− 0.01 to 0.16] g/min; Effect size: 0.62 [− 0.12 to 1.36]) groups. No significant interaction was observed (p = 0.658).ConclusionsThe 8 week CT program improved the muscle oxidative capacity of recreationally trained young adults regardless of the exercise sequence.

Evaluation of LLM Tools for Feedback Generation in a Course on Concurrent Programming

AbstractThe emergence of Large Language Models (LLMs) has marked a significant change in education. The appearance of these LLMs and their associated chatbots has yielded several advantages for both students and educators, including their use as teaching assistants for content creation or summarisation. This paper aims to evaluate the capacity of LLMs chatbots to provide feedback on student exercises in a university programming course. The complexity of the programming topic in this study (concurrency) makes the need for feedback to students even more important. The authors conducted an assessment of exercises submitted by students. Then, ChatGPT (from OpenAI) and Bard (from Google) were employed to evaluate each exercise, looking for typical concurrency errors, such as starvation, deadlocks, or race conditions. Compared to the ground-truth evaluations performed by expert teachers, it is possible to conclude that none of these two tools can accurately assess the exercises despite the generally positive reception of LLMs within the educational sector. All attempts result in an accuracy rate of 50%, meaning that both tools have limitations in their ability to evaluate these particular exercises effectively, specifically finding typical concurrency errors.

Concurrent Vocational Education Through Microlearning Approaches at Higher Education, Assessing the Capacity, Awareness and the Will of Universities in Garowe, Somalia

Purpose: The study investigated the possibility of establishing concurrent vocational education and training through microlearning platforms by assessing whether universities in Garowe had the minimum basic facilities to establish such programmes, whether academic staff were aware of the state of vocational education, its importance, the rate of unemployment in Garowe and Puntland in general, and whether university professionals were willing to establish these training programmes as concurrent options. Method: It was a survey study of a qualitative approach and data was collected using an inventory checklist of institutions capacity, a close ended questionnaire to academic staff on their general perception of vocational education and training, and detailed interviews of both academic and administrative staff purposively selected at higher education institutions in Garowe to find out their willingness as stakeholders to adopt vocational training at higher education using microlearning approaches. Findings: Universities in Garowe Puntland have the basic minimum facilities to establish microlearning oriented platforms although respondents emphasise that it should be supplemented with some physical practical sessions and modules. It is evident that introducing vocational education at higher education is one of the solutions to the unending graduate unemployment. However just like some respondents recommend, micro-learning for vocational education should be supplemented with some physical practical sessions and modules, hence a kind of blended approach. The study also found that there is hardly any career guidance done at the secondary school level and this affects choice of professional careers as students transition from secondary to tertiary education. Conclusions: It is evident from findings that the attitude towards vocational education in Puntland has not been good, although with awareness and given the increased rate of graduate unemployment, the attitude can also be changed gradually. The study recommends a needs assessment before establishing certain training programmes to avoid the recurring challenges of mismatch between training programmes and the labour needs plus a need to intensify their international and regional collaborations with more experienced organisations and institutions. There is need for a curriculum review process of the existing university curriculum to accommodate the vocational concurrent programmes.

Identifying Patient-Centered Outcomes for a Concurrent Hospice-Dialysis Program Using Human-Centered Design

Identifying Patient-Centered Outcomes for a Concurrent Hospice-Dialysis Program Using Human-Centered Design

Degrees of Separation: A Flexible Type System for Safe Concurrency

Data races have long been a notorious problem in concurrent programming. They are hard to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress has been made in this area, and these type systems are increasingly usable and practical. However, their adoption in mainstream programming languages is still limited, which is largely attributed to their strict alias prevention principles that obstruct the usage of existing programming patterns. This is a deterrent to the migration of existing code bases. To tackle this problem, we propose Capture Separation Calculus (System CSC), a calculus that models fork-join parallelism and statically prevents data races while being compatible with established programming patterns. It follows a control-as-you-need philosophy: by default, aliases are allowed, but they are tracked in the type system. When data races are a concern, the tracked aliases are controlled to prevent data-race-prone patterns. We study the formal properties of System CSC. Type soundness is proven via the standard progress and preservation theorems. Additionally, we formally verify the data race freedom property of System CSC by proving that the reduction of a well-typed program is confluent.

“Hear” and “Play” Students Misconceptions on Concurrent Programming using Sonic Pi

Concurrency is a complex to learn topic that is becoming more and more relevant, such that many undergraduate Computer Science curricula are introducing it in introductory programming courses. This paper investigates the combined use of Sonic Pi and Team-Based Learning to mitigate the difficulties in early exposure to concurrency. Sonic Pi, a domain-specific music language, provides great support for “playing” with concurrency and “hearing” common problems such as data races and lack of synchronization among different concurrent threads. More specifically, the paper focuses on students’ misconceptions regarding concurrency in Sonic Pi, and compares them to those arising in traditional concurrent programming languages. In addition, it preliminarily explores knowledge transfer from Sonic Pi to C/C++. The approach has been applied in two teaching experiments with undergraduate students in our University involving 184 participants. Our investigations bring out the need to address misconceptions through targeted interventions for a clear understanding of concurrent programming concepts. Sonic Pi’s simplified abstraction and domain-specific flavor has demonstrated to be effective, especially for first-year students.

The Effect of Time-Equated Concurrent Training Programs in Resistance-Trained Men.

The purpose of this investigation was to compare the effects of three different concurrent training (CT) programs and a resistance training (RT) program. Twenty-three resistance trained men (age: 24 ± 3 years) were randomized into four groups: concurrent RT and high intensity interval cycling (CTH, n = 6), concurrent RT and moderate intensity continuous cycling (CTM, n = 5), RT and barbell circuit training (RTC, n = 6), or RT only (RT, n = 6). Back squat and bench press strength, quadriceps, and pectoralis muscle thickness, VO2peak, and maximum workload (Wmax, Watts) were assessed. Squat strength gains were meaningful in all groups and comparable among CTH (16.88 kg [95% CrI: 11.15, 22.63]), CTM (25.54 kg [95% CrI: 19.24, 31.96]), RTC (17.5 kg [95% CrI: 11.66, 23.39]), and RT (20.36 kg [95% CrI: 15.29, 25.33]) groups. Bench press strength gains were meaningful in all groups and comparable among CTH (11.86 kg [95% CrI: 8.28, 15.47]), CTM (10.3 kg [95% CrI: 6.49, 14.13]), RTC (4.84 kg [95% CrI: 1.31, 8.47]), and RT (10.16 kg [95% CrI: 7.02, 13.22]) groups. Quadriceps hypertrophy was meaningful in all groups and comparable among CTH (2.29 mm [95% CrI: 0.84, 3.76]), CTM (3.41 mm [95% CrI: 1.88, 4.91]), RTC (2.6 mm [95% CrI: 1.17, 4.05]), and RT (2.83 mm [95% CrI: 1.55, 4.12]) groups. Pectoralis hypertrophy was meaningful in CTH (2.29 mm [95% CrI: -0.52, 5.1]), CTM (5.14 mm [95% CrI: 2.1, 8.15]), and RTC (7.19 mm [95% CrI: 4.26, 10.02]) groups, but not in the RT group (1 mm [95% CrI: -1.59, 3.59]); further, between-group contrasts indicated less pectoralis growth in the RT compared to the RTC group. Regarding cardiovascular outcomes, only the RTH and RTM groups experienced meaningful improvements in either measure (VO2peak or Wmax). These data suggest that the interference effect on maximal strength and hypertrophy can be avoided when the aerobic training is moderate intensity cycling, high intensity cycling, or a novel barbell circuit for ~one hour per week and on non-RT days. However, the barbell circuit failed to elicit meaningful cardiovascular adaptations.