Базовый алгоритм действия системы поддержки принятия решений

We consider two-player parity games played on transition graphs of higher order pushdown automata. They are ``game-equivalent'' to a kind of model-checking game played on graphs of the infinite hierarchy introduced recently by Caucal. Then in this hierarchy we show how to reduce a game to a graph of lower level. This leads to an effective solution and a construction of the winning strategies

Games where you can play optimally without any memory

International audienceReactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, the most popular games in this context are parity games and their cousins (Rabin, Streett and Muller games). Recently however also games with other types of payments, like discounted or mean-payoff , previously used only in economic context, entered into the area of system modelling and verification. The most outstanding property of parity, mean-payoff and discounted games is the existence of optimal positional (memoryless) strategies for both players. This observation raises two questions: (1) can we characterise the family of payoff mappings for which there always exist optimal positional strategies for both players and (2) are there other payoff mappings with practical or theoretical interest and admitting optimal positional strategies. This paper provides a complete answer to the first question by presenting a simple necessary and sufficient condition on payoff mapping guaranteeing the existence of optimal positional strategies. As a corollary to this result we show the following remarkable property of payoff mappings: if both players have optimal positional strategies when playing solitary one-player games then also they have optimal positional strategies for two-player games

Regular Strategies in Pushdown Reachability Games

International audienceWe show that positional winning strategies in pushdown reachability games can be implemented by deterministic finite state au-tomata of exponential size. Such automata read the stack and control state of a given pushdown configuration and output the set of winning moves playable from that position. This result can originally be attributed to Kupferman, Piterman and Vardi using an approach based on two-way tree automata. We present a more direct approach that builds upon the popular saturation technique. Saturation for analysing pushdown systems has been successfully implemented by Moped and WALi. Thus, our approach has the potential for practical applications to controller-synthesis problems

Serum NGAL, BNP, PTH, and albumin do not improve glomerular filtration rate estimating formulas in children.

Glomerular filtration rate (GFR) is difficult to measure, and estimating formulas are notorious for lacking precision. This study aims to assess if the inclusion of additional biomarkers improves the performance of eGFR formulas. A hundred and sixteen children with renal diseases were enrolled. Data for age, weight, height, inulin clearance (iGFR), serum creatinine, cystatin C, neutrophil gelatinase-associated lipocalin (NGAL), parathyroid hormone (PTH), albumin, and brain natriuretic peptide (BNP) were collected. These variables were added to the revised and combined (serum creatinine and cystatin C) Schwartz formulas, and the quadratic and combined quadratic formulas. We calculated the adjusted r-square (r <sup>2</sup> ) in relation to iGFR and tested the improvement in variance explained by means of the likelihood ratio test. The combined Schwartz and the combined quadratic formulas yielded best results with an r <sup>2</sup> of 0.676 and 0.730, respectively. The addition of BNP and PTH to the combined Schwartz and quadratic formulas improved the variance slightly. NGAL and albumin failed to improve the prediction of GFR further. These study results also confirm that the addition of cystatin C improves the performance of estimating GFR formulas, in particular the Schwartz formula.Conclusion: The addition of serum NGAL, BNP, PTH, and albumin to the combined Schwartz and quadratic formulas for estimating GFR did not improve GFR prediction in our population. What is Known: • Estimating glomerular filtration rate (GFR) formulas include serum creatinine and/or cystatin C but lack precision when compared to measured GFR. • The serum concentrations of some biological parameters such as neutrophil gelatinase-associated lipocalin (NGAL), parathyroid hormone (PTH), albumin, and brain natriuretic peptide (BNP) vary with the level of renal function. What is New: • The addition of BNP and PTH to the combined quadratic formula improved its performance only slightly. NGAL and albumin failed to improve the prediction of GFR further

A Spaetzle-like role for Nerve Growth Factor β in vertebrate immunity to Staphylococcus aureus

Many key components of innate immunity to infection are shared between Drosophila and humans. However, the fly Toll ligand Spaetzle is not thought to have a vertebrate equivalent. We have found that the structurally related cystine-knot protein, nerve growth factor β (NGFβ), plays an unexpected Spaetzle-like role in immunity to Staphylococcus aureus infection in chordates. Deleterious mutations of either human NGFβ or its high-affinity receptor tropomyosin-related kinase receptor A (TRKA) were associated with severe S. aureus infections. NGFβ was released by macrophages in response to S. aureus exoproteins through activation of the NOD-like receptors NLRP3 and NLRC4 and enhanced phagocytosis and superoxide-dependent killing, stimulated proinflammatory cytokine production, and promoted calcium-dependent neutrophil recruitment. TrkA knockdown in zebrafish increased susceptibility to S. aureus infection, confirming an evolutionarily conserved role for NGFβ-TRKA signaling in pathogen-specific host immunity

A Spaetzle-like role for nerve growth factor beta in vertebrate immunity to Staphylococcus aureus

Many key components of innate immunity to infection are shared between Drosophila and humans. However, the fly Toll ligand Spaetzle is not thought to have a vertebrate equivalent. We have found that the structurally related cystine-knot protein, nerve growth factor β (NGFβ), plays an unexpected Spaetzle-like role in immunity to Staphylococcus aureus infection in chordates. Deleterious mutations of either human NGFβ or its high-affinity receptor tropomyosin-related kinase receptor A (TRKA) were associated with severe S. aureus infections. NGFβ was released by macrophages in response to S. aureus exoproteins through activation of the NOD-like receptors NLRP3 and NLRC4 and enhanced phagocytosis and superoxide-dependent killing, stimulated proinflammatory cytokine production, and promoted calcium-dependent neutrophil recruitment. TrkA knockdown in zebrafish increased susceptibility to S. aureus infection, confirming an evolutionarily conserved role for NGFβ-TRKA signaling in pathogen-specific host immunity

Nonapeptide influences on social behaviour: effects of vasotocin and isotocin on shoaling and interaction in zebrafish

Nonapeptides are important regulators of social behaviour across vertebrate taxa. While their role in simple grouping behaviour has been explored in estrildid finches, other taxa are understudied, prompting us to investigate nonapeptide influences on shoaling behaviour in zebrafish. Subjects received injections of isotocin, an isotocin antagonist, vasotocin, a vasotocin antagonist, or saline, followed by a test of grouping behaviour. Vasotocin decreased social interaction with the shoal. Unexpectedly, the vasotocin antagonist also reduced social interaction with the shoal, as well as general shoaling behaviour. Isotocin and its antagonist had minimal effects on grouping behaviours. These results suggest social interaction and shoaling are discrete aspects of sociality differentially influenced by vasotocin, although we cannot discount possible anxiogenic effects of vasotocin. Contrasting these results with studies in other systems demonstrates that each nonapeptide’s role in social behaviour varies across taxa, and cautions against a simplistic characterisation of nonapeptides as prosocial regulators of behaviour

Long-Term Effects of the Periconception Period on Embryo Epigenetic Profile and Phenotype: The Role of Stress and How This Effect Is Mediated

Stress represents an unavoidable aspect of human life, and pathologies associated with dysregulation of stress mechanisms - particularly psychiatric disorders - represent a significant global health problem. While it has long been observed that levels of stress experienced in the periconception period may greatly affect the offspring's risk of psychiatric disorders, the mechanisms underlying these associations are not yet comprehensively understood. In order to address this question, this chapter will take a 'top-down' approach, by first defining stress and associated concepts, before exploring the mechanistic basis of the stress response in the form of the hypothalamic-pituitary-adrenal (HPA) axis, and how dysregulation of the HPA axis can impede our mental and physical health, primarily via imbalances in glucocorticoids (GCs) and their corresponding receptors (GRs) in the brain. The current extent of knowledge pertaining to the impact of stress on developmental programming and epigenetic inheritance is then extensively discussed, including the role of chromatin remodelling associated with specific HPA axis-related genes and the possible role of regulatory RNAs as messengers of environmental stress both in the intrauterine environment and across the germ line. Furthering our understanding of the role of stress on embryonic development is crucial if we are to increase our predictive power of disease risk and devise-effective treatments and intervention strategies

Molecular psychiatry of zebrafish

Due to their well-characterized neural development and high genetic homology to mammals, zebrafish (Danio rerio) have emerged as a powerful model organism in the field of biological psychiatry. Here, we discuss the molecular psychiatry of zebrafish, and its implications for translational neuroscience research and modeling central nervous system (CNS) disorders. In particular, we outline recent genetic and technological developments allowing for in vivo examinations, high-throughput screening and whole-brain analyses in larval and adult zebrafish. We also summarize the application of these molecular techniques to the understanding of neuropsychiatric disease, outlining the potential of zebrafish for modeling complex brain disorders, including attention-deficit/hyperactivity disorder (ADHD), aggression, post-traumatic stress and substance abuse. Critically evaluating the advantages and limitations of larval and adult fish tests, we suggest that zebrafish models become a rapidly emerging new field in modern molecular psychiatry research

Modular Strategies for Infinite Games on Recursive Graphs

In this paper, we focus on solving games in recursive game graphs that can model the control flow of sequential programs with recursive procedure calls. The winning condition is given as an ω-regular specification over the observable, and, unlike traditional pushdown games, the strategy is required to be modular: resolution of choices within a component should not depend on the context in which the component is invoked, but only on the history within the current invocation of the component. We first consider the case when the specification is given as a deterministic Büchi automaton. We show the problem to be decidable, and present a solution based on two-way alternating tree automata with time complexity that is polynomial in the number of internal nodes, exponential in the specification and exponential in the number of exits of the components. We show that the problem is EXPTIME-complete in general, and NP-complete for fixed-size specifications. Then, we show that the same complexity bounds apply if the specification is given as a universal co-Büchi automaton. Finally, for specifications given as formulas of linear temporal logic LTL, we obtain a synthesis algorithm that is doubly-exponential in the formula and singly exponential in the number of exits of components