Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise

APOPCALEAPS is a logic-based music generation program that uses high level probabilistic rules. The music produced by APOPCALEAPS is controlled by parameters that can be customized by a user to create personalized songs. Perlin noise is a type of gradient noise algorithm which generates smooth and controllable variations of random numbers. This paper introduces the idea of using a Perlin noise algorithm on songs produced by APOPCALEAPS to alter their melody. The noise system modifies the song’s melody with noise values that fluctuate as measures change in a song. Songs with more notes and more elaborate differences between the notes are modified by the system more than simpler songs. The output of the system is a different but similar song. This research can be used for generation of music with structure where one would need to generate variants on a theme

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Convergence of an abstract reduction system (ARS) is the property that any derivation from an initial state will end in the same final state, a.k.a. normal form. We generalize this for probabilistic ARS as almost-sure convergence, meaning that the normal form is reached with probability one, even if diverging derivations may exist. We show and exemplify properties that can be used for proving almost-sure convergence of probabilistic ARS, generalizing known results from ARS.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Plasmodium berghei NK65 in Combination with IFN-γ Induces Endothelial Glucocorticoid Resistance via Sustained Activation of p38 and JNK.

Malaria-associated acute respiratory distress syndrome (MA-ARDS) is an often lethal complication of malaria. Currently, no adequate therapy for this syndrome exists. Although glucocorticoids (GCs) have been used to improve clinical outcome of ARDS, their therapeutic benefits remain unclear. We previously developed a mouse model of MA-ARDS, in which dexamethasone treatment revealed GC resistance. In the present study, we investigated GC sensitivity of mouse microvascular lung endothelial cells stimulated with interferon-γ (IFN-γ) and Plasmodium berghei NK65 (PbNK65). Upon challenge with IFN-γ alone, dexamethasone inhibited the expression of CCL5 (RANTES) by 90% and both CCL2 (MCP-1) and CXCL10 (IP-10) by 50%. Accordingly, whole transcriptome analysis revealed that dexamethasone differentially affected several gene clusters and in particular inhibited a large cluster of IFN-γ-induced genes, including chemokines. In contrast, combined stimulation with IFN-γ and PbNK65 extract impaired inhibitory actions of GCs on chemokine release, without affecting the capacity of the GC receptor to accumulate in the nucleus. Subsequently, we investigated the effects of GCs on two signaling pathways activated by IFN-γ. Dexamethasone left phosphorylation and protein levels of signal transducer and activator of transcription 1 (STAT1) unhampered. In contrast, dexamethasone inhibited the IFN-γ-induced activation of two mitogen-activated protein kinases (MAPK), JNK, and p38. However, PbNK65 extract abolished the inhibitory effects of GCs on MAPK signaling, inducing GC resistance. These data provide novel insights into the mechanisms of GC actions in endothelial cells and show how malaria may impair the beneficial effects of GCs

Confluence Modulo Equivalence in Constraint Handling Rules

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while confluence for a terminating program means that all alternative derivations for a query lead to the exact same final state, confluence modulo equivalence only requires the final states to be equivalent with respect to an equivalence relation tailored for the given program. Secondly, we allow non-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss of generality, and it may also be recommended for future studies of CHR. For the purely logical subset of CHR, proofs can be expressed in first-order logic, that we show is not sufficient in the present case. We have introduced a formal meta-language that allows reasoning about abstract states and derivations with meta-level restrictions that reflect the non-logical and incomplete predicates. This language represents subproofs as diagrams, which facilitates a systematic enumeration of proof cases, pointing forward to a mechanical support for such proofs

Recent changes of water discharge and sediment load in the Yellow River basin, China

The Yellow River basin contributes approximately 6% of the sediment load from all river systems globally, and the annual runoff directly supports 12% of the Chinese population. As a result, describing and understanding recent variations of water discharge and sediment load under global change scenarios are of considerable importance. The present study considers the annual hydrologic series of the water discharge and sediment load of the Yellow River basin obtained from 15 gauging stations (10 mainstream, 5 tributaries). The Mann-Kendall test method was adopted to detect both gradual and abrupt change of hydrological series since the 1950s. With the exception of the area draining to the Upper Tangnaihai station, results indicate that both water discharge and sediment load have decreased significantly (p<0.05). The declining trend is greater with distance downstream, and drainage area has a significant positive effect on the rate of decline. It is suggested that the abrupt change of the water discharge from the late 1980s to the early 1990s arose from human extraction, and that the abrupt change in sediment load was linked to disturbance from reservoir construction.Geography, PhysicalGeosciences, MultidisciplinarySCI(E)43ARTICLE4541-5613

Probabilistic (logic) programming concepts

A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions. Each of these languages employs its own probabilistic primitives, and comes with a particular syntax, semantics and inference procedure. This makes it hard to understand the underlying programming concepts and appreciate the differences between the different languages. To obtain a better understanding of probabilistic programming, we identify a number of core programming concepts underlying the primitives used by various probabilistic languages, discuss the execution mechanisms that they require and use these to position and survey state-of-the-art probabilistic languages and their implementation. While doing so, we focus on probabilistic extensions of logic programming languages such as Prolog, which have been considered for over 20 years

Lightweight String Reasoning for OCL

International audienceModels play a key role in assuring software quality in the modeldriven approach. Precise models usually require the definition of OCL expressions to specify model constraints that cannot be expressed graphically. Techniques that check the satisfiability of such models and find corresponding instances of them are important in various activities, such as model-based testing and validation. Several tools to check model satisfiability have been developed but to our knowledge, none of them yet supports the analysis of OCL expressions including operations on Strings in general terms. As, in contrast, many industrial models do contain such operations, there is evidently a gap. There has been much research on formal reasoning on strings in general, but so far the results could not be included into model finding approaches. For model finding, string reasoning only contributes a sub-problem, therefore, a string reasoning approach for model finding should not add up front too much computational complexity to the global model finding problem. We present such a lightweight approach based on constraint satisfaction problems and constraint rewriting. Our approach efficiently solves several common kinds of string constraints and it is integrated into the EMFtoCSP model finder

Reliability of the TekScan MatScan® system for the measurement of plantar forces and pressures during barefoot level walking in healthy adults

<p>Abstract</p> <p>Background</p> <p>Plantar pressure systems are increasingly being used to evaluate foot function in both research settings and in clinical practice. The purpose of this study was to investigate the reliability of the TekScan MatScan^®system in assessing plantar forces and pressures during barefoot level walking.</p> <p>Methods</p> <p>Thirty participants were assessed for the reliability of measurements taken one week apart for the variables maximum force, peak pressure and average pressure. The following seven regions of the foot were investigated; heel, midfoot, 3^rd-5^thmetatarsophalangeal joint, 2^ndmetatarsophalangeal joint, 1^stmetatarsophalangeal joint, hallux and the lesser toes.</p> <p>Results</p> <p>Reliability was assessed using both the mean and the median values of three repeated trials. The system displayed moderate to good reliability of mean and median calculations for the three analysed variables across all seven regions, as indicated by intra-class correlation coefficients ranging from 0.44 to 0.95 for the mean and 0.54 to 0.97 for the median, and coefficients of variation ranging from 5 to 20% for the mean and 3 to 23% for the median. Selecting the median value of three repeated trials yielded slightly more reliable results than the mean.</p> <p>Conclusions</p> <p>These findings indicate that the TekScan MatScan^®system demonstrates generally moderate to good reliability.</p