Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).

Aging and motor programming: differential effects according to the selection of action

There are controversial reports about the effect of aging on movement preparation, and it is unclear to which extent cognitive and/or motor related cerebral processes may be affected. This study examines the age effects on electro-cortical oscillatory patterns during various motor programming tasks, in order to assess potential differences according to the mode of action selection. Twenty elderly (EP, 60-84 years) and 20 young (YP, 20-29 years) participants with normal cognition underwent 3 pre-cued response tasks (S1-S2 paradigm). S1 carried either complete information on response side (Full; stimulus-driven motor preparation), no information (None; general motor alertness), or required free response side selection (Free; internally-driven motor preparation). Electroencephalogram (EEG) was recorded using 64 surface electrodes. Alpha (8-12 Hz) desynchronization (ERD)/synchronization (ERS) and motor-related amplitude asymmetries (MRAA) were analyzed during the S1-S2 interval. Reaction times (RTs) to S2 were slower in EP than YP, and in None than in the other 2 tasks. There was an Age x Task interaction due to increased RTs in Free compared to Full in EP only. Central bilateral and midline activation (alpha ERD) was smaller in EP than YP in None. In Full just before S2, readiness to move was reflected by posterior midline inhibition (alpha ERS) in both groups. In Free, such inhibition was present only in YP. Moreover, MRAA showed motor activity lateralization in both groups in Full, but only in YP in Free. The results indicate reduced recruitment of motor regions for motor alertness in the elderly. They further show less efficient cerebral processes subtending free selection of movement in elders, suggesting reduced capacity for internally-driven action with age.

Laboratori Assistit per Ordinador mitjançant eines ofimàtiques convencionals

El projecte "Laboratori Asssit per Ordinador Mitjançant Eines Ofimàtiques Convencionals" ha estat realitzat en la facultat de Física de la Universitat de Barcelona durant els anys 2007 i 2008 (projecte biennal). El principal objectiu d’aquest projecte és demostrar la possibilitat d’utilitzar les eines informàtiques més habituals en la realització d’experiències de laboratori assistit per ordinador (LAO). En particular, es proposa la utilització del Excel © juntament amb les seves macros (Visual Basic para Aplicacions, VBA) en pràctiques de laboratori d’assignatures en l’àrea de Física Aplicada. Excel és un full de càlcul molt conegut i usat tant per professors com pels estudiants. En aquest treball mostrem exemples concrets que abasten les diferents tècniques de control i adquisició de dades: programació del port sèrie (RS- 232) i paral·lel, i interfase GPIB. La implementació d’aquestes tècniques es realitza mitjançant macros VBA de Excel. La resta de programació de l’aplicació LAO, la representació gràfica i el tractament de les dades, es realitza de forma molt simple a partir del maneig habitual d’un full de càlcul. La realització del projecte ha demostrat la conveniència d’aquesta metodologia. Actualment pràcticament la totalitat de les pràctiques LAO de les quals és responsable el Departament de Física Aplicada utilitzen la programació a través del full de càlcul. La resposta dels estudiants ha estat molt positiva. La combinació de les característiques d’aquesta eina juntament amb la programació VBA té un enorme potencial i representa, probablement, una forma senzilla d’introduir tant a l’alumne com al professor en el món de la programació.

Maintien des capacités des myopathes ou l'art de prescrire l'exercice physique [How to maintain the motor capacities in neuromuscular disorders or the art to prescribe physical exercises].

Optimum management of non-acquired neuromuscular disorders requires a multidisciplinary approach in order to prevent secondary complications related to the progression of the disease and to maintain the patient's independency in daily activities. For treatments, the physiotherapists and occupational therapists must have precise and measurable goals to quantify muscle strength and functions in conjunction with a specialist in neurorehabilitation. Examples of simple motor scores or scales are given in order to transmit precise information to the GP and the multidisciplinary team, and type of orthosis and physiotherapy programmes are given as pieces of advice to assume the follow-up of patients.

Manual therapy followed by specific active exercises versus a placebo followed by specific active exercises on the improvement of functional disability in patients with chronic non specific low back pain: a randomized controlled trial.

BACKGROUND: Recent clinical recommendations still propose active exercises (AE) for CNSLBP. However, acceptance of exercises by patients may be limited by pain-related manifestations. Current evidences suggest that manual therapy (MT) induces an immediate analgesic effect through neurophysiologic mechanisms at peripheral, spinal and cortical levels. The aim of this pilot study was first, to assess whether MT has an immediate analgesic effect, and second, to compare the lasting effect on functional disability of MT plus AE to sham therapy (ST) plus AE. METHODS: Forty-two CNSLBP patients without co-morbidities, randomly distributed into 2 treatment groups, received either spinal manipulation/mobilization (first intervention) plus AE (MT group; n = 22), or detuned ultrasound (first intervention) plus AE (ST group; n = 20). Eight therapeutic sessions were delivered over 4 to 8 weeks. Immediate analgesic effect was obtained by measuring pain intensity (Visual Analogue Scale) before and immediately after the first intervention of each therapeutic session. Pain intensity, disability (Oswestry Disability Index), fear-avoidance beliefs (Fear-Avoidance Beliefs Questionnaire), erector spinae and abdominal muscles endurance (Sorensen and Shirado tests) were assessed before treatment, after the 8th therapeutic session, and at 3- and 6-month follow-ups. RESULTS: Thirty-seven subjects completed the study. MT intervention induced a better immediate analgesic effect that was independent from the therapeutic session (VAS mean difference between interventions: -0.8; 95% CI: -1.2 to -0.3). Independently from time after treatment, MT + AE induced lower disability (ODI mean group difference: -7.1; 95% CI: -12.8 to -1.5) and a trend to lower pain (VAS mean group difference: -1.2; 95% CI: -2.4 to -0.30). Six months after treatment, Shirado test was better for the ST group (Shirado mean group difference: -61.6; 95% CI: -117.5 to -5.7). Insufficient evidence for group differences was found in remaining outcomes. CONCLUSIONS: This study confirmed the immediate analgesic effect of MT over ST. Followed by specific active exercises, it reduces significantly functional disability and tends to induce a larger decrease in pain intensity, compared to a control group. These results confirm the clinical relevance of MT as an appropriate treatment for CNSLBP. Its neurophysiologic mechanisms at cortical level should be investigated more thoroughly. TRIAL REGISTRATION: Trial registration number: NCT01496144.

Exercises Referral Lincolnshire

Increase Physical Activity levels to prevent and treat disease

Cardiorespiratory responses during running and sport-specific exercises in handball players

To determine whether a 4-a-side handball (HB) game is an appropriate aerobic stimulus to reach and potentially enhance maximal oxygen uptake (V O(2)max), and whether heart rate (HR) is a valid index of V O(2) during a handball game. Nine skilled players (21.0+/-2.9 yr) underwent a graded maximal aerobic test (GT) where V O(2)max and HR-V O(2) relationship were determined. V O(2), HR and blood lactate ([La](b)) were recorded during a 2 x 225 s (interspersed with 30s rest) 4-a-side handball game and were compared to those measured during an 480-s running intermittent exercise (IE). Mean V O(2) tended to be higher in handball compared to IE (93.9+/-8.5 vs. 87.6+/-7.4% O(2)max, p=0.06), whereas HR was similar (92.3+/-4.9 vs. 93.9+/-3.9% of the peak of HR, p=0.10). [La](b) was lower for handball than for IE (8.9+/-3.5 vs. 11.6+/-2.1 mmol l(-1), p=0.04). Time spent over 90% of V O(2)max was higher for handball than for IE (336.1+/-139.6s vs. 216.1+/-124.7s; p=0.03). The HR-V O(2) relationship during GT was high (r(2)=0.96, p<0.001) but estimated V O(2) from HR was lower to that measured (p=0.03) in handball, whereas there was no difference in IE. 4-a-side handball game can be used as a specific alternative to IE for enhancing aerobic fitness in handball players. Nevertheless, the accuracy of HR measures for estimating V O(2) during handball is poor.

A teaching/learning support tool for introductory programming courses

In This work we present a Web-based tool developed with the aim of reinforcing teaching and learning of introductory programming courses. This tool provides support for teaching and learning. From the teacher's perspective the system introduces important gains with respect to the classical teaching methodology. It reinforces lecture and laboratory sessions, makes it possible to give personalized attention to the student, assesses the degree of participation of the students and most importantly, performs a continuous assessment of the student's progress. From the student's perspective it provides a learning framework, consisting in a help environment and a correction environment, which facilitates their personal work. With this tool students are more motivated to do programming

Effectiveness of core stability exercises and recovery myofascial release massage on fatigue in breast cancer survivors: a randomized controlled clinical trial.

The purpose of the present paper was to evaluate the effects of an 8-week multimodal program focused on core stability exercises and recovery massage with DVD support for a 6-month period in physical and psychological outcomes in breast cancer survivors. A randomized controlled clinical trial was performed. Seventy-eight (n = 78) breast cancer survivors were assigned to experimental (core stability exercises plus massage-myofascial release) and control (usual health care) groups. The intervention period was 8 weeks. Mood state, fatigue, trunk curl endurance, and leg strength were determined at baseline, after the last treatment session, and at 6 months of followup. Immediately after treatment and at 6 months, fatigue, mood state, trunk curl endurance, and leg strength exhibited greater improvement within the experimental group compared to placebo group. This paper showed that a multimodal program focused on core stability exercises and massage reduced fatigue, tension, depression, and improved vigor and muscle strength after intervention and 6 months after discharge.

Let's talk: public evaluation of large projects: variational inequialities, bilevel programming and complementarity. a survey

Large projects evaluation rises well known difficulties because -by definition- they modify the current price system; their public evaluation presents additional difficulties because they modify too existing shadow prices without the project. This paper analyzes -first- the basic methodologies applied until late 80s., based on the integration of projects in optimization models or, alternatively, based on iterative procedures with information exchange between two organizational levels. New methodologies applied afterwards are based on variational inequalities, bilevel programming and linear or nonlinear complementarity. Their foundations and different applications related with project evaluation are explored. As a matter of fact, these new tools are closely related among them and can treat more complex cases involving -for example- the reaction of agents to policies or the existence of multiple agents in an environment characterized by common functions representing demands or constraints on polluting emissions.

Comparison of Work Scheduling Using Constraint Programming or Auctions

Business processes designers take into account the resources that the processes would need, but, due to the variable cost of certain parameters (like energy) or other circumstances, this scheduling must be done when business process enactment. In this report we formalize the energy aware resource cost, including time and usage dependent rates. We also present a constraint programming approach and an auction-based approach to solve the mentioned problem including a comparison of them and a comparison of the proposed algorithms for solving them

Assembling genes from predicted exons in linear time with dynamic programming

In a number of programs for gene structure prediction in higher eukaryotic genomic sequences, exon prediction is decoupled from gene assembly: a large pool of candidate exons is predicted and scored from features located in the query DNA sequence, and candidate genes are assembled from such a pool as sequences of nonoverlapping frame-compatible exons. Genes are scored as a function of the scores of the assembled exons, and the highest scoring candidate gene is assumed to be the most likely gene encoded by the query DNA sequence. Considering additive gene scoring functions, currently available algorithms to determine such a highest scoring candidate gene run in time proportional to the square of the number of predicted exons. Here, we present an algorithm whose running time grows only linearly with the size of the set of predicted exons. Polynomial algorithms rely on the fact that, while scanning the set of predicted exons, the highest scoring gene ending in a given exon can be obtained by appending the exon to the highest scoring among the highest scoring genes ending at each compatible preceding exon. The algorithm here relies on the simple fact that such highest scoring gene can be stored and updated. This requires scanning the set of predicted exons simultaneously by increasing acceptor and donor position. On the other hand, the algorithm described here does not assume an underlying gene structure model. Indeed, the definition of valid gene structures is externally defined in the so-called Gene Model. The Gene Model specifies simply which gene features are allowed immediately upstream which other gene features in valid gene structures. This allows for great flexibility in formulating the gene identification problem. In particular it allows for multiple-gene two-strand predictions and for considering gene features other than coding exons (such as promoter elements) in valid gene structures.

A randomized concave programming method for choice network revenue management

Models incorporating more realistic models of customer behavior, as customers choosing froman offer set, have recently become popular in assortment optimization and revenue management.The dynamic program for these models is intractable and approximated by a deterministiclinear program called the CDLP which has an exponential number of columns. However, whenthe segment consideration sets overlap, the CDLP is difficult to solve. Column generationhas been proposed but finding an entering column has been shown to be NP-hard. In thispaper we propose a new approach called SDCP to solving CDLP based on segments and theirconsideration sets. SDCP is a relaxation of CDLP and hence forms a looser upper bound onthe dynamic program but coincides with CDLP for the case of non-overlapping segments. Ifthe number of elements in a consideration set for a segment is not very large (SDCP) can beapplied to any discrete-choice model of consumer behavior. We tighten the SDCP bound by(i) simulations, called the randomized concave programming (RCP) method, and (ii) by addingcuts to a recent compact formulation of the problem for a latent multinomial-choice model ofdemand (SBLP+). This latter approach turns out to be very effective, essentially obtainingCDLP value, and excellent revenue performance in simulations, even for overlapping segments.By formulating the problem as a separation problem, we give insight into why CDLP is easyfor the MNL with non-overlapping considerations sets and why generalizations of MNL posedifficulties. We perform numerical simulations to determine the revenue performance of all themethods on reference data sets in the literature.