989 research outputs found

    The Effects of a Short-Term Endurance Training Program with Blood Flow Restriction Cuffs Versus ACSM Recommended Endurance Training on Arterial Compliance and Muscular Adaptations in Recreationally Active Males

    Get PDF
    RESULTS: Significant time and group interaction found in cardiac ejection time (p\u3c.05). Significant condition difference between blood flow restriction (BFR) and control for heart rate (HR) max (p=.05) and maximum oxygen consumption (VO2) (p\u3c.05). Significant time difference found in pulse wave velocity femoral to distal (p\u3c.05). Significant repetition main effect (p\u3c.01) for root mean square (RMS) and median frequency (MDF) of Thorstensson. Significant time and group interaction in vastus lateralis of MDF (p\u3c.01). Significant repetition main effect for RMS and MDF ratio (p\u3c.01) Significant time and repetition interaction in vastus lateralis of RMS ratio (p\u3c.03) CONCLUSION: The BFR session showed improvement in both post HR max and post VO2 in comparison to the control group. This may have been caused by increased tolerance to pain/metabolic by-products for HR and increased efficiency at extracting oxygen for VO

    Analysis of Probabilistic Basic Parallel Processes

    Full text link
    Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In the probabilistic version of BPPs, every process generates other processes according to a probability distribution. We study the decidability and complexity of fundamental qualitative problems over probabilistic BPPs -- in particular reachability with probability 1 of different classes of target sets (e.g. upward-closed sets). Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.Comment: This is the technical report for a FoSSaCS'14 pape

    Acute Effects of Aerobic Exercise with Blood Flow Restriction on Pulse Wave Velocity in Females

    Get PDF
    PURPOSE: To investigate the acute effects of a 20-minute walk/run at 40% VO2 with and without blood flow restriction on pulse wave velocity (PWV). METHODS: Seventeen female subjects, between the ages of 18 and 40, signed informed consent and were familiarized with the study protocol, on the same day measurements were assessed: height, weight, body composition, and thigh circumference. Followed by each subject performing the Bruce Protocol on a treadmill. Subjects were asked to come back to the lab hydrated and 8 hours fasted on two different days (separated by at least 48 hours). After reaching hydration, participants were asked to lie down in the supine position for a minimum of 10 minutes and baseline hemodynamics and measurement of PWV using SphygmoCor® CPV Pulse Wave Analyzer. The sites tested were carotid to radial (C-R), carotid to femoral (C-F), and femoral to posterior tibial (F-PT). The randomized testing sessions consisted of two 20-minute walk/run sessions at 40% VO2 intensity with BFR cuffs inflated (BFR), and the BFR cuffs un-inflated (CON). Tightness of the cuffs was set at 55-60 mmHg for BFR, and the cuffs were placed snug enough that they don’t move during exercise for the CON session. The final cuff pressures were achieved by starting at 120 mmHg and increasing progressively by 20 mmHg with 10 s rest in between increments. Upon completion of exercise, post exercise PWV was assessed at immediately, 15, 25, and 45 minutes. RESULTS: No condition*time interaction or condition and time main effects were observed for C-R and C-F sites (p\u3e0.05). There were no significant condition*time interaction or time main effect for the F-PT site (p\u3e0.05), but a significant condition main effect was detected at the 15 minute mark post exercise following the BFR session (p\u3c.01). CONCLUSION: The results suggest that the BFR session resulted in an improved arterial compliance at the F-PT site. This may have been caused by the increased shear stress from blood pooling during the BFR session resulting in a greater release of nitric oxide therefore vasodilation in the lower body. There may be a practical application of using this combination of exercise and settings to help improve cardiovascular health. Since this was an acute study, future training studies should look at the chronic effects on pulse wave velocity using these settings

    Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

    Full text link
    We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing sub- or superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of 2O(n)2^{\mathcal{O}(n)} on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size nn. (2) We present a family of CFGs for which the minimal deterministic finite automata representing their subword closure matches the upper-bound of 22O(n)2^{2^{\mathcal{O}(n)}} following from (1). Furthermore, we prove that the inequivalence problem for NFAs representing sub- or superword-closed languages is only NP-complete as opposed to PSPACE-complete for general NFAs. Finally, we extend our results into an approximation method to attack inequivalence problems for CFGs

    Effects of Dynamic and Isometric Vibration Exercises on Hemodynamics, Flexibility, and Stress Hormone Levels

    Get PDF
    PURPOSE: To investigate the acute effects of lower body dynamic (DYN) vs isometric (ISO) exercises on systolic blood pressure (SBP) and diastolic blood pressure (DBP), heart rate (HR), flexibility using the sit and reach, and cortisol (COR) and amylase (AMY) levels measured pre and post exercise with different variations of frequency and amplitude on a power plate in pre-hypertensive females. METHODS: Nine females (age: 23.8 ± 5.1 yrs) performed the ISO and DYN control sessions with the power plate off and ISO and DYN exercises with a combination of low frequency/high amplitude (LF/HA) and high frequency/low amplitude (HF/LA). A 5-min warm-up at 3.0 mph on the treadmill occurred before testing. DYN exercises were performed from standing position to 120° for squat, 90° for lunge, and 90° for squat for a total of four sets for one-min with metronome set at 40 bpm. ISO exercises were performed at the knee angles mentioned previously. Subjects had a 30 sec rest in-between sets. Blood pressure (BP) and HR were recorded using an automated BP cuff pre, post, post 15-min, and post 30-min. Flexibility was recorded after the warm-up and post testing. The passive drool collection method was used to collect saliva to observe the changes in COR and AMY for a total of 1mL for each session before the warm up and post-exercise. Vials were then placed in the freezer to await analysis. RESULTS: There was a significant condition*time interaction (

    Differences in Neuromuscular Adaptations After Two Weeks of Conventional vs Blood Flow Restriction Resistance Training

    Get PDF
    PURPOSE: The purpose of the study was to determine the neuromuscular changes in the rectus femoris (RF) muscle as measured by electromyography (EMG) following short-term resistance training with and without blood flow restriction (BFR). METHODS: 12 males (age = 27.4 ± 6.3 years; height = 171 ± 7 cm; weight = 79.8 ± 13.2 kg) performed six sessions of lower body unilateral resistance training using a leg extension machine. The leg on which BFR was applied was determined through randomization leg dominance Each training session consisted of unilateral knee extensions with and without blood flow restriction. Electromyography data was recorded for each participant during two isometric maximum voluntary contractions (MVC) and two isokinetic knee extension tests (180°/s and 60°/s) using a Biodex System 4 Pro™. EMG was recorded from the RF during these tests. Resistance training consisted of six non-consecutive sessions of knee extension exercises performed in a time frame of two weeks. For the BFR group, subjects trained for a total of four sets (30, 15, 15, 15) at an intensity of 20% 1RM. The contralateral limb was trained with two sets of 11 repetitions at an intensity of 70% 1RM without BFR. The volume of exercises was similar for both conditions. RESULTS: No condition*time interactions or condition and time main effects were observed for root mean square (RMS), mean RMS, yMax, and median frequency (MDF) in both MVC and isokinetic 180°/s and 60°/s (p\u3e0.05). CONCLUSIONS: Both training conditions resulted in insignificant changes and there was no significant difference found between time points. It could be concluded that this was not enough time or stimulus to note major differences across modalities in relation to neuromuscular adaptations of the RF as measured by EMG. Further studies should investigate the effects of higher volume load on neuromuscular adaptations

    Grape stem extracts with potential anticancer and antioxidant properties

    Get PDF
    The application of plant extracts for therapeutic purposes has been used in traditional medicine because plants contain bioactive compounds with beneficial properties for health. Currently, the use of these compounds that are rich in polyphenols for the treatment and prevention of diseases such as cancer, diabetes, and cardiovascular diseases, many of them related to oxidative stress, is gaining certain relevance. Polyphenols have been shown to have antimutagenic, antioxidant, and anti-inflammatory properties. Therefore, the objective of the present work was to study the potential effect of grape stem extracts (GSE), rich in phenolic compounds, in the treatment of cancer, as well as their role in the prevention of this disease associated with its antioxidant power. For that purpose, three cancer lines (Caco-2, MCF-7, and MDA-MB-231) were used, and the results showed that grape stem extracts were capable of showing an antiproliferative effect in these cells through apoptosis cell death associated with a modification of the mitochondrial potential and reactive oxygen species (ROS) levels. Additionally, grape stem extracts showed an antioxidant effect on differentiated intestinal cells that could protect the intestine from diseases related to oxidative stress. Therefore, grape extracts contain bioactive principles with important biological properties and could be used as bio-functional food ingredients to prevent diseases or even to improve certain aspects of human health

    Optimal Strategies in Infinite-state Stochastic Reachability Games

    Full text link
    We consider perfect-information reachability stochastic games for 2 players on infinite graphs. We identify a subclass of such games, and prove two interesting properties of it: first, Player Max always has optimal strategies in games from this subclass, and second, these games are strongly determined. The subclass is defined by the property that the set of all values can only have one accumulation point -- 0. Our results nicely mirror recent results for finitely-branching games, where, on the contrary, Player Min always has optimal strategies. However, our proof methods are substantially different, because the roles of the players are not symmetric. We also do not restrict the branching of the games. Finally, we apply our results in the context of recently studied One-Counter stochastic games

    Characterization of Reachable Attractors Using Petri Net Unfoldings

    Get PDF
    International audienceAttractors of network dynamics represent the long-term behaviours of the modelled system. Their characterization is therefore crucial for understanding the response and differentiation capabilities of a dynamical system. In the scope of qualitative models of interaction networks, the computation of attractors reachable from a given state of the network faces combinatorial issues due to the state space explosion. In this paper, we present a new algorithm that exploits the concurrency between transitions of parallel acting components in order to reduce the search space. The algorithm relies on Petri net unfoldings that can be used to compute a compact representation of the dynamics. We illustrate the applicability of the algorithm with Petri net models of cell signalling and regulation networks, Boolean and multi-valued. The proposed approach aims at being complementary to existing methods for deriving the attractors of Boolean models, while being %so far more generic since it applies to any safe Petri net
    • …
    corecore