Two-Player Boundedness Counter Games

We consider two-player zero-sum games with winning objectives beyond regular languages, expressed as a parity condition in conjunction with a Boolean combination of boundedness conditions on a finite set of counters which can be incremented, reset to 0, but not tested. A boundedness condition requires that a given counter is bounded along the play. Such games are decidable, though with non-optimal complexity, by an encoding into the logic WMSO with the unbounded and path quantifiers, which is known to be decidable over infinite trees. Our objective is to give tight or tighter complexity results for particular classes of counter games with boundedness conditions, and study their strategy complexity. In particular, counter games with conjunction of boundedness conditions are easily seen to be equivalent to Streett games, so, they are CoNP-c. Moreover, finite-memory strategies suffice for Eve and memoryless strategies suffice for Adam. For counter games with a disjunction of boundedness conditions, we prove that they are in solvable in NP?CoNP, and in PTime if the parity condition is fixed. In that case memoryless strategies suffice for Eve while infinite memory strategies might be necessary for Adam. Finally, we consider an extension of those games with a max operation. In that case, the complexity increases: for conjunctions of boundedness conditions, counter games are EXPTIME-c

Assessing the effect of a catchment-scale restoration project in Wallonia (Belgium)

peer reviewedIn the context of fulfilling the Water Framework Directive requirements, the LIFE+ project Walphy allowed experimental restoration projects to be undertaken on two medium-size catchments of the Meuse basin in Wallonia (Belgium) between 2009 and 2014. Before undertaking sustainable rehabilitation measures, a multi-scale assessment of hydromorphological conditions (catchment, stream and site) was conducted. It was based on a variety of variables characterizing the river system and its geomorphic processes (e.g. sediment transport), along with human-induced disturbances (e.g. barriers to river continuity). The Bocq catchment has been subject to a large-scale restoration project through the removal or modification of 20 barriers (mainly old weirs), reconnecting the Bocq with the Meuse. In addition, 2.6 km of straightened courses were improved by restoring meanders or diversifying habitats through a wide range of rehabilitation techniques. The success of the restoration projects was evaluated on the basis of a multi-disciplinary monitoring. We compared hydromorphological parameters and biological diversity of benthic invertebrates, fish and macrophytes. 2-3 years post-rehabilitation, hydromorphology was significantly improved. Depending on the rehabilitation measures, the restoration effects observed for invertebrates and fish differ. Weir removal and restored meanders have resulted in the most positive effects, while habitat diversification has led to more contrasted results, depending on the level of ambition. The geomorphological monitoring has focused on the effectiveness of spawning gravel rehabilitation and the effect of barriers on sediment transport. Topographic surveys and the use of pebble tracers have highlighted a natural bedload transport following a weir removal.Walph

Planning drinking water for airplanes

The management of the Dutch national airline company KLM intends to bring a sufficient amount of water on board of all flights to fulfill customer’s demand. On the other hand, the surplus of water after a flight should be kept to a minimum to reduce fuel costs. The service to passengers is measured with a service level. The objective of this research is to develop models, which can be used to minimize the amount of water on board of flights such that a predefined service level is met. The difficulty that has to be overcome is the fact that most of the available data of water consumption on flights are rounded off to the nearest eighth of the water tank. For wide-body aircrafts this rounding may correspond to about two hundred litres of water. Part of the problem was also to define a good service level. The use of a service level as a model parameter would give KLM a better control of the water surplus. The available data have been analyzed to examine which aspects we had to take into consideration. Next, a general framework has been developed in which the service level has been defined as a Quality of Service for each flight: The probability that a sufficient amount of water is available on a given flight leg. Three approaches will be proposed to find a probability distribution function for the total water consumption on a flight. The first approach tries to fit a distribution for the water consumption based on the available data, without any assumptions on the underlying shape of the distribution. The second approach assumes normality for the total water consumption on a flight and the third approach uses a binomial distribution. All methods are validated and numerically illustrated. We recommend KLM to use the second approach, where the first approach can be used to determine an upper bound on the water level

Plasma biochemistry RIs and age effect in European Strigiformes

Blood biochemistry and hematology are essential in the laboratorydiagnosis of disease. In Strigiformes, little information regarding reference valuesand influence of different preanalytic factors is available, while age is known to havean effect on some biochemistry analytes, especially in early life characterized by arapid growth rate and increase in body mass

Quark-hadron duality in electron scattering

The duality between partonic and hadronic descriptions of physical phenomena is one of the most remarkable features of strong interaction physics. A classic example of this is in electron-nucleon scattering, in which low-energy cross sections, when averaged over appropriate energy intervals, are found to exhibit the scaling behavior expected from perturbative QCD. We present a comprehensive review of data on structure functions in the resonance region, from which the global and local aspects of duality are quantified, including its flavor, spin and nuclear medium dependence. To interpret the experimental findings, we discuss various theoretical approaches which have been developed to understand the microscopic origins of quark-hadron duality in QCD. Examples from other reactions are used to place duality in a broader context, and future experimental and theoretical challenges are identified.Comment: 198 pages, 80 figures, to appear in Physics Report

Large enhancement of deuteron polarization with frequency modulated microwaves

We report a large enhancement of 1.7 in deuteron polarization up to values of 0.6 due to frequency modulation of the polarizing microwaves in a two liters polarized target using the method of dynamic nuclear polarization. This target was used during a deep inelastic polarized muon-deuteron scattering experiment at CERN. Measurements of the electron paramagnetic resonance absorption spectra show that frequency modulation gives rise to additional microwave absorption in the spectral wings. Although these results are not understood theoretically, they may provide a useful testing ground for the deeper understanding of dynamic nuclear polarization.Comment: 10 pages, including the figures coming in uuencoded compressed tar files in poltar.uu, which also brings cernart.sty and crna12.sty files neede

The sacral chordoma margin

[Objective]: Aim of the manuscript is to discuss how to improve margins in sacral chordoma. [Background]: Chordoma is a rare neoplasm, arising in half cases from the sacrum, with reported local failure in >50% after surgery. [Methods]: A multidisciplinary meeting of the “Chordoma Global Consensus Group” was held in Milan in 2017, focusing on challenges in defining and achieving optimal margins in chordoma with respect to surgery, definitive particle radiation therapy (RT) and medical therapies. This review aims to report on the outcome of the consensus meeting and to provide a summary of the most recent evidence in this field. Possible new ways forward, including on-going international clinical studies, are discussed. [Results]: En-bloc tumor-sacrum resection is the cornerstone of treatment of primary sacral chordoma, aiming to achieve negative microscopic margins. Radical definitive particle therapy seems to offer a similar outcome compared to surgery, although confirmation in comparative trials is lacking; besides there is still a certain degree of technical variability across institutions, corresponding to different fields of treatment and different tumor coverage. To address some of these questions, a prospective, randomized international study comparing surgery versus definitive high-dose RT is ongoing. Available data do not support the routine use of any medical therapy as (neo)adjuvant/cytoreductive treatment. [Conclusion]: Given the significant influence of margins status on local control in patients with primary localized sacral chordoma, the clear definition of adequate margins and a standard local approach across institutions for both surgery and particle RT is vital for improving the management of these patients

Proteome profile of peripheral myelin in healthy mice and in a neuropathy model

Proteome and transcriptome analyses aim at comprehending the molecular profiles of the brain, its cell-types and subcellular compartments including myelin. Despite the relevance of the peripheral nervous system for normal sensory and motor capabilities, analogous approaches to peripheral nerves and peripheral myelin have fallen behind evolving technical standards. Here we assess the peripheral myelin proteome by gel-free, label-free mass-spectrometry for deep quantitative coverage. Integration with RNA-Sequencing-based developmental mRNA-abundance profiles and neuropathy disease genes illustrates the utility of this resource. Notably, the periaxin- deficient mouse model of the neuropathy Charcot-Marie-Tooth 4F displays a highly pathological myelin proteome profile, exemplified by the discovery of reduced levels of the monocarboxylate transporter MCT1/SLC16A1 as a novel facet of the neuropathology. This work provides the most comprehensive proteome resource thus far to approach development, function and pathology of peripheral myelin, and a straightforward, accurate and sensitive workflow to address myelin diversity in health and disease