IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Methacholine Dose-Response Slopes from Maximal Bronchial Challenge Tests in Asthmatic Children: Methodological Aspects

To determine whether the slope of a maximal bronchial challenge test (in which FEV1 falls by over 50%) could be extrapolated from a standard bronchial challenge test (in which FEV1 falls up to 20%), 14 asthmatic children performed a single maximal bronchial challenge test with methacholin(dose range: 0.097–30.08 umol) by the dosimeter method. Maximal dose-response curves were included according to the following criteria: (1) at least one more dose beyond a FEV1 ù 20%; and (2) a MFEV1 ù 50%. PD20 FEV1 was calculated, and the slopes of the early part of the dose-response curve (standard dose-response slopes) and of the entire curve (maximal dose-response slopes) were calculated by two methods: the two-point slope (DRR) and the least squares method (LSS) in % FEV1 × umol−1. Maximal dose-response slopes were compared with the corresponding standard dose-response slopes by a paired Student’s t test after logarithmic transformation of the data; the goodness of fit of the LSS was also determined. Maximal dose-response slopes were significantly different (p < 0.0001) from those calculated on the early part of the curve: DRR20% (91.2 ± 2.7 FEV1% z umol−1)was 2.88 times higher than DRR50% (31.6 ± 3.4 DFEV1% z umol−1), and the LSS20% (89.1 ± 2.8% FEV1 z umol−1) was 3.10 times higher than LSS 50% (28.8 ± 1.5%FEV1 z umol−1). The goodness of fit of LSS 50% was significant in all cases, whereas LSS 20% failed to be significant in one. These results suggest that maximal dose-response slopes cannot be predicted from the data of standard bronchial challenge tests.

Locally Advanced and Metastatic Prostate Cancer Treated with Intermittent Androgen Monotherapy or Maximal Androgen Blockade: Results from a Randomised Phase 3 Study by the South European Uroncological Group

BACKGROUND: Few randomised studies have compared antiandrogen intermittent hormonal therapy (IHT) with continuous maximal androgen blockade (MAB) therapy for advanced prostate cancer (PCa). OBJECTIVE: To determine whether overall survival (OS) on IHT (cyproterone acetate; CPA) is noninferior to OS on continuous MAB. DESIGN, SETTING, AND PARTICIPANTS: This phase 3 randomised trial compared IHT and continuous MAB in patients with locally advanced or metastatic PCa. INTERVENTION: During induction, patients received CPA 200 mg/d for 2 wk and then monthly depot injections of a luteinising hormone-releasing hormone (LHRH; triptoreline 11.25 mg) analogue plus CPA 200 mg/d. Patients whose prostate-specific antigen (PSA) was <4 ng/ml after 3 mo of induction treatment were randomised to the IHT arm (stopped treatment and restarted on CPA 300 mg/d monotherapy if PSA rose to ≥20 ng/ml or they were symptomatic) or the continuous arm (CPA 200 mg/d plus monthly LHRH analogue). OUTCOME MEASUREMENTS AND STATISTICAL ANALYSIS: Primary outcome measurement was OS. Secondary outcomes included cause-specific survival, time to subjective or objective progression, and quality of life. Time off therapy in the intermittent arm was recorded. RESULTS AND LIMITATIONS: We recruited 1045 patients, of which 918 responded to induction therapy and were randomised (462 to IHT and 456 to continuous MAB). OS was similar between groups (p=0.25), and noninferiority of IHT was demonstrated (hazard ratio [HR]: 0.90; 95% confidence interval [CI], 0.76-1.07). There was a trend for an interaction between PSA and treatment (p=0.05), favouring IHT over continuous therapy in patients with PSA ≤1 ng/ml (HR: 0.79; 95% CI, 0.61-1.02). Men treated with IHT reported better sexual function. Among the 462 patients on IHT, 50% and 28% of patients were off therapy for ≥2.5 yr or >5 yr, respectively, after randomisation. The main limitation is that the length of time for the trial to mature means that other therapies are now available. A second limitation is that T3 patients may now profit from watchful waiting instead of androgen-deprivation therapy. CONCLUSIONS: Noninferiority of IHT in terms of survival and its association with better sexual activity than continuous therapy suggest that IHT should be considered for use in routine clinical practice.

A maximal domain of preferences for tops-only rules in the division problem

The division problem consists of allocating an amount M of a perfectly divisible good among a group of n agents. Sprumont (1991) showed that if agents have single-peaked preferences over their shares, the uniform rule is the unique strategy-proof, efficient, and anonymous rule. Ching and Serizawa (1998) extended this result by showing that the set of single-plateaued preferences is the largest domain, for all possible values of M, admitting a rule (the extended uniform rule) satisfying strategy-proofness, efficiency and symmetry. We identify, for each M and n, a maximal domain of preferences under which the extended uniform rule also satisfies the properties of strategy-proofness, efficiency, continuity, and "tops-onlyness". These domains (called weakly single-plateaued) are strictly larger than the set of single-plateaued preferences. However, their intersection, when M varies from zero to infinity, coincides with the set of single-plateaued preferences.

On the number of K3,3-minor-free and maximal K3,3-minor-free graphs

"Vegeu el resum a l'inici del document del fitxer adjunt."

Maximal C*-algebras of quotients and injective envelopes of C*-algebras

"Vegeu el resum a l'inici del document adjunt."

A mathematical model to describe fat oxidation kinetics during graded exercise.

PURPOSE: The purpose of this study was to develop a mathematical model (sine model, SIN) to describe fat oxidation kinetics as a function of the relative exercise intensity [% of maximal oxygen uptake (%VO2max)] during graded exercise and to determine the exercise intensity (Fatmax) that elicits maximal fat oxidation (MFO) and the intensity at which the fat oxidation becomes negligible (Fatmin). This model included three independent variables (dilatation, symmetry, and translation) that incorporated primary expected modulations of the curve because of training level or body composition. METHODS: Thirty-two healthy volunteers (17 women and 15 men) performed a graded exercise test on a cycle ergometer, with 3-min stages and 20-W increments. Substrate oxidation rates were determined using indirect calorimetry. SIN was compared with measured values (MV) and with other methods currently used [i.e., the RER method (MRER) and third polynomial curves (P3)]. RESULTS: There was no significant difference in the fitting accuracy between SIN and P3 (P = 0.157), whereas MRER was less precise than SIN (P < 0.001). Fatmax (44 +/- 10% VO2max) and MFO (0.37 +/- 0.16 g x min(-1)) determined using SIN were significantly correlated with MV, P3, and MRER (P < 0.001). The variable of dilatation was correlated with Fatmax, Fatmin, and MFO (r = 0.79, r = 0.67, and r = 0.60, respectively, P < 0.001). CONCLUSIONS: The SIN model presents the same precision as other methods currently used in the determination of Fatmax and MFO but in addition allows calculation of Fatmin. Moreover, the three independent variables are directly related to the main expected modulations of the fat oxidation curve. SIN, therefore, seems to be an appropriate tool in analyzing fat oxidation kinetics obtained during graded exercise.

New estimates for the maximal singular integral

"Vegeu el resum a l'inici del document del fitxer adjunt."

Maximal Physiological Parameters during Partial Body-Weight Support Treadmill Testing.

PURPOSE: This study investigated maximal cardiometabolic response while running in a lower body positive pressure treadmill (antigravity treadmill (AG)), which reduces body weight (BW) and impact. The AG is used in rehabilitation of injuries but could have potential for high-speed running, if workload is maximally elevated. METHODS: Fourteen trained (nine male) runners (age 27 ± 5 yr; 10-km personal best, 38.1 ± 1.1 min) completed a treadmill incremental test (CON) to measure aerobic capacity and heart rate (V˙O2max and HRmax). They completed four identical tests (48 h apart, randomized order) on the AG at BW of 100%, 95%, 90%, and 85% (AG100 to AG85). Stride length and rate were measured at peak velocities (Vpeak). RESULTS: V˙O2max (mL·kg·min) was similar across all conditions (men: CON = 66.6 (3.0), AG100 = 65.6 (3.8), AG95 = 65.0 (5.4), AG90 = 65.6 (4.5), and AG85 = 65.0 (4.8); women: CON = 63.0 (4.6), AG100 = 61.4 (4.3), AG95 = 60.7 (4.8), AG90 = 61.4 (3.3), and AG85 = 62.8 (3.9)). Similar results were found for HRmax, except for AG85 in men and AG100 and AG90 in women, which were lower than CON. Vpeak (km·h) in men was 19.7 (0.9) in CON, which was lower than every other condition: AG100 = 21.0 (1.9) (P < 0.05), AG95 = 21.4 (1.8) (P < 0.01), AG90 = 22.3 (2.1) (P < 0.01), and AG85 = 22.6 (1.6) (P < 0.001). In women, Vpeak (km·h) was similar between CON (17.8 (1.1) ) and AG100 (19.3 (1.0)) but higher at AG95 = 19.5 (0.4) (P < 0.05), AG90 = 19.5 (0.8) (P < 0.05), and AG85 = 21.2 (0.9) (P < 0.01). CONCLUSIONS: The AG can be used at maximal exercise intensities at BW of 85% to 95%, reaching faster running speeds than normally feasible. The AG could be used for overspeed running programs at the highest metabolic response levels.

A characterization of two weight norm inequalities for maximal singular integrals

"Vegeu el resum a l'inici del document del fitxer adjunt."

Maximal operators and differentiation theorems for sparse sets

"Vegeu el resum a l'inici del document del fitxer adjunt."

Two weight inequalities for maximal truncations of dyadic Calderón-Zygmund operators

"Vegeu el resum a l'inici del document del fitxer adjunt."

Respiratory muscle training enhances maximal minute ventilation and forced vital capacity in adolescent athletes.

Introduction. Respiratory difficulties in athletes are common, especially in adolescents, even in the absence of exercise-induced bronchoconstriction. Immaturity of the respiratory muscles coupling at high respiratory rates could be a potential mechanism. Whether respiratory muscle training (RMT) can positively influence it is yet unknown. Goal. We investigate the effects of RMT on ventilation and performance parameters in adolescent athletes and hypothesize that RMT will enhance respiratory capacity. Methods. 12 healthy subjects (8 male, 4 female, 17±0.5 years) from a sports/study high school class, competitively involved in various sports (minimum of 10 hours per week) underwent respiratory function testing, maximal minute ventilation (MMV) measurements and a maximal treadmill incremental test with VO2max and ventilatory thresholds (VT1 and VT2) determination. They then underwent one month of RMT (4 times/week) using a eucapnic hyperventilation device, with an incremental training program. The same tests were repeated after RMT. Results. Subjects completed 14.8 sessions of RMT, with an increase in total ventilation per session of 211±29% during training. Borg scale evaluation of the RMT session was unchanged or reduced in all subjects, despite an increase in total respiratory work. No changes (p>0.05) were observed pre/post RMT in VO2max (53.4±7.5 vs 51.6±7.7 ml/kg/min), VT2 (14.4±1.4 vs 14.0±1.1 km/h) or Speed max at end of test (16.1±1.7 vs 15.8±1.7 km/h). MVV increased by 9.2% (176.7±36.9 vs 192.9±32.6 l/min, p<0.001) and FVC by 3.3% (6.70±0.75 vs 4.85±0.76 litres, p<0.05). Subjective evaluation of respiratory sensations during exercise and daily living were also improved. Conclusions. RMT improves MMV and FVC in adolescent athletes, along with important subjective respiratory benefits, although no changes are seen in treadmill maximal performance tests and VO2max measurements. RMT can be easily performed in adolescent without side effects, with a potential for improvement in training capacity and overall well-being.