The classification of irreducible admissible mod p representations of a p-adic GL_n

Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses.Comment: 55 pages, to appear in Inventiones Mathematica

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

Differences in weight status and energy-balance related behaviors among schoolchildren in German-speaking Switzerland compared to seven countries in Europe

BACKGROUND: Overweight in children and adolescents have increased significantly and are a major public health problem. To allow international comparisons, Switzerland joined the European study 'ENERGY' cross sectional survey consortium that investigated the prevalence of overweight and obesity as well as selected dietary, physical and sedentary behaviors of 10--12 years old pupils across seven other countries in Europe. The aims of the present study was to compare body composition and energy-balance related behaviors of Swiss schoolchildren to those of the seven European ENERGY-countries and to analyze overweight and energy-balance related behaviors of Swiss children according to socio-demographic factors. METHODS: A school-based cross-sectional study among 10--12 year old children was conducted in Switzerland and seven other European countries using a standardized protocol. Body height, weight and waist-circumference were measured by trained research assistants. Energy-balance related behaviors - i.e. selected dietary, physical activity and screen-viewing behaviors were assessed by questionnaires. Weight status and behaviors in Switzerland were compared to the seven European ENERGY countries. Within the Swiss sample, analyses stratified by gender, parental education and ethnicity were performed. RESULTS: Data of 546 Swiss children (mean age 11.6+/-0.8y, 48% girls) were obtained and compared to the EN

Разработка информационной системы отчетности учреждения сферы культуры

Предметом исследования является разработка информационной системы, которая будет помогать в формировании отчетности учреждения сферы культуры. Данная система отчетности поможет домам культуры повысить эффективность в формировании статистической и других видов отчетности.The subject of the study is the development of an information system that will help in the formation of reporting institutions of the cultural sphere. This reporting system will help cultural centers improve their effectiveness in generating statistical and other types of reporting

Does Treewidth Help in Modal Satisfiability?

Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance. In particular, the incidence graph of the CSP instance is one such graph. We introduce the notion of an incidence graph for modal logic formulae in a certain normal form. We investigate the parameterized complexity of modal satisfiability with the modal depth of the formula and the treewidth of the incidence graph as parameters. For various combinations of Euclidean, reflexive, symmetric and transitive models, we show either that modal satisfiability is FPT, or that it is W[1]-hard. In particular, modal satisfiability in general models is FPT, while it is W[1]-hard in transitive models. As might be expected, modal satisfiability in transitive and Euclidean models is FPT.Comment: Full version of the paper appearing in MFCS 2010. Change from v1: improved section 5 to avoid exponential blow-up in formula siz

HIF-P4H-2 inhibition enhances intestinal fructose metabolism and induces thermogenesis protecting against NAFLD

Non-alcoholic fatty liver disease (NAFLD) parallels the global obesity epidemic with unmet therapeutic needs. We investigated whether inhibition of hypoxia-inducible factor prolyl 4-hydroxylase-2 (HIF-P4H-2), a key cellular oxygen sensor whose inhibition stabilizes HIF, would protect from NAFLD by subjecting HIF-P4H-2-deficient (Hif-p4h-2(gt/gt)) mice to a high-fat, high-fructose (HFHF) or high-fat, methionine-choline-deficient (HF-MCD) diet. On both diets, the Hif-p4h-2(gt/gt) mice gained less weight and had less white adipose tissue (WAT) and its inflammation, lower serum cholesterol levels, and lighter livers with less steatosis and lower serum ALT levels than the wild type (WT). The intake of fructose in majority of the Hif-p4h-2(gt/gt) tissues, including the liver, was 15-35% less than in the WT. We found upregulation of the key fructose transporter and metabolizing enzyme mRNAs, Slc2a2, Khka, and Khkc, and higher ketohexokinase activity in the Hif-p4h-2(gt/gt) small intestine relative to the WT, suggesting enhanced metabolism of fructose in the former. On the HF-MCD diet, the Hif-p4h-2(gt/gt) mice showed more browning of the WAT and increased thermogenesis. A pharmacological pan-HIF-P4H inhibitor protected WT mice on both diets against obesity, metabolic dysfunction, and liver damage. These data suggest that HIF-P4H-2 inhibition could be studied as a novel, comprehensive treatment strategy for NAFLD. Key messages center dot HIF-P4H-2 inhibition enhances intestinal fructose metabolism protecting the liver. center dot HIF-P4H-2 inhibition downregulates hepatic lipogenesis. center dot Induced browning of WAT and increased thermogenesis can also mediate protection. center dot HIF-P4H-2 inhibition offers a novel, comprehensive treatment strategy for NAFLD.Peer reviewe

Evaluation of chemical strategies for improving the stability and oral toxicity of insecticidal peptides

© 2018 by the authors. Spider venoms are a rich source of insecticidal peptide toxins. Their development as bioinsecticides has, however, been hampered due to concerns about potential lack of stability and oral bioactivity. We therefore systematically evaluated several synthetic strategies to increase the stability and oral potency of the potent insecticidal spider-venom peptide !-HXTX-Hv1a (Hv1a). Selective chemical replacement of disulfide bridges with diselenide bonds and N- to C-terminal cyclization were anticipated to improve Hv1a resistance to proteolytic digestion, and thereby its activity when delivered orally. We found that native Hv1a is orally active in blowflies, but 91-fold less potent than when administered by injection. Introduction of a single diselenide bond had no effect on the susceptibility to scrambling or the oral activity of Hv1a. N- to C-terminal cyclization of the peptide backbone did not significantly improve the potency of Hv1a when injected into blowflies and it led to a significant decrease in oral activity. We show that this is likely due to a dramatically reduced rate of translocation of cyclic Hv1a across the insect midgut, highlighting the importance of testing bioavailability in addition to toxin stability

Structure of nanoparticles embedded in micellar polycrystals

We investigate by scattering techniques the structure of water-based soft composite materials comprising a crystal made of Pluronic block-copolymer micelles arranged in a face-centered cubic lattice and a small amount (at most 2% by volume) of silica nanoparticles, of size comparable to that of the micelles. The copolymer is thermosensitive: it is hydrophilic and fully dissolved in water at low temperature (T ~ 0{\deg}C), and self-assembles into micelles at room temperature, where the block-copolymer is amphiphilic. We use contrast matching small-angle neuron scattering experiments to probe independently the structure of the nanoparticles and that of the polymer. We find that the nanoparticles do not perturb the crystalline order. In addition, a structure peak is measured for the silica nanoparticles dispersed in the polycrystalline samples. This implies that the samples are spatially heterogeneous and comprise, without macroscopic phase separation, silica-poor and silica-rich regions. We show that the nanoparticle concentration in the silica-rich regions is about tenfold the average concentration. These regions are grain boundaries between crystallites, where nanoparticles concentrate, as shown by static light scattering and by light microscopy imaging of the samples. We show that the temperature rate at which the sample is prepared strongly influence the segregation of the nanoparticles in the grain-boundaries.Comment: accepted for publication in Langmui