bluuebunny/crossref_metadata_2025_split huggingface dataset:
Better Paracoherent Answer Sets with Less Resources
Authors: AMENDOLA GIOVANNI , DODARO CARMINE , RICCA FRANCESCO 
Published: September 2019

AbstractAnswer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP programs can be considered as a modeling feature, it turns out to be a weakness in many other cases, and especially for query answering. Paracoherent answer set semantics extend the classical semantics of ASP to draw meaningful conclusions also from incoherent programs, with the result of increasing the range of applications of ASP. State of the art implementations of paracoherent ASP adopt the semi-equilibrium semantics, but cannot be lifted straightforwardly to compute efficiently the (better) split semi-equilibrium semantics that discards undesirable semi-equilibrium models. In this paper an efficient evaluation technique for computing a split semi-equilibrium model is presented. An experiment on hard benchmarks shows that better paracoherent answer sets can be computed consuming less computational resources than existing methods.
Anti-unification in Constraint Logic Programming
Authors: YERNAUX GONZAGUE , VANHOOF WIM 
Published: September 2019

AbstractAnti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a generalization that captures a maximal amount of shared structure. In this work we address the problem of anti-unification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NP-complete problem. We subsequently introduce a generalization algorithm that computes a well-defined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way.
A Distributed Approach to LARS Stream Reasoning (System paper)
Authors: EITER THOMAS , OGRIS PAUL , SCHEKOTIHIN KONSTANTIN 
Published: September 2019

AbstractStream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data. Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which incrementally update their internal state and return results as the new portions of data streams are pushed. However, the performance of such approaches degrades quickly as the rates of the input data and the complexity of decision problems are growing. This problem was already recognized in the area of stream processing, where systems became distributed in order to allocate vast computing resources provided by clouds. In this paper we propose a distributed approach to stream reasoning that can efficiently split computations among different solvers communicating their results over data streams. Moreover, in order to increase the throughput of the distributed system, we suggest an interval-based semantics for the LARS language, which enables significant reductions of network traffic. Performed evaluations indicate that the distributed stream reasoning significantly outperforms existing stand-alone LARS solvers when the complexity of decision problems and the rate of incoming data are increasing.
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Authors: DOMÉNECH JESÚS J. , GALLAGHER JOHN P. , GENAIM SAMIR 
Published: September 2019

AbstractControl-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precision. Several techniques have been suggested for different programming models, typically tailored to improving precision for a particular analysis. In this paper we explore the use of partial evaluation of Horn clauses as a general-purpose technique for control-flow refinement for integer transitions systems. These are control-flow graphs where edges are annotated with linear constraints describing transitions between corresponding nodes, and they are used in many program analysis tools. Using partial evaluation for control-flow refinement has the clear advantage over other approaches in that soundness follows from the general properties of partial evaluation; in particular, properties such as termination and complexity are preserved. We use a partial evaluation algorithm incorporating property-based abstraction, and show how the right choice of properties allows us to prove termination and to infer complexity of challenging programs that cannot be handled by state-of-the-art tools. We report on the integration of the technique in a termination analyzer, and its use as a preprocessing step for several cost analyzers.
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Authors: BERTHOLD MATTI , GONÇALVES RICARDO , KNORR MATTHIAS , LEITE JOÃO 
Published: September 2019

AbstractWhereas the operation of forgetting has recently seen a considerable amount of attention in the context of Answer Set Programming (ASP), most of it has focused on theoretical aspects, leaving the practical issues largely untouched. Recent studies include results about what sets of properties operators should satisfy, as well as the abstract characterization of several operators and their theoretical limits. However, no concrete operators have been investigated.In this paper, we address this issue by presenting the first concrete operator that satisfies strong persistence – a property that seems to best capture the essence of forgetting in the context of ASP – whenever this is possible, and many other important properties. The operator is syntactic, limiting the computation of the forgetting result to manipulating the rules in which the atoms to be forgotten occur, naturally yielding a forgetting result that is close to the original program.
Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
Authors: WANG YI , ZHANG SHIQI , LEE JOOHYUNG 
Published: September 2019

AbstractTo be responsive to dynamically changing real-world environments, an intelligent agent needs to perform complex sequential decision-making tasks that are often guided by commonsense knowledge. The previous work on this line of research led to the framework calledinterleaved commonsense reasoning and probabilistic planning(icorpp), which used P-log for representing commmonsense knowledge and Markov Decision Processes (MDPs) or Partially Observable MDPs (POMDPs) for planning under uncertainty. A main limitation of icorppis that its implementation requires non-trivial engineering efforts to bridge the commonsense reasoning and probabilistic planning formalisms. In this paper, we present a unified framework to integrate icorpp’s reasoning and planning components. In particular, we extend probabilistic action languagepBC+ to express utility, belief states, and observation as in POMDP models. Inheriting the advantages of action languages, the new action language provides an elaboration tolerant representation of POMDP that reflects commonsense knowledge. The idea led to the design of the systempbcplus2pomdp, which compiles apBC+ action description into a POMDP model that can be directly processed by off-the-shelf POMDP solvers to compute an optimal policy of thepBC+ action description. Our experiments show that it retains the advantages of icorppwhile avoiding the manual efforts in bridging the commonsense reasoner and the probabilistic planner.
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
Authors: KANCKOS ANNIKA , LETHEN TIM 
Published: September 2019

AbstractGödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the higher order modal logic, an explicit use of second-order Barcan schemas, as well as seemingly defining a rigidity condition for the system. None of these aspects occurs explicitly in the later 1970 version, and therefore they have long been in focus of the debate on Gödel’s ontological proof.
An enquiry into the ontological and logical foundations of sustainability: Toward a conceptual integration of the interface ‘Nature/Humanity’
Authors: Berque Augustin 
Published: September 2019

Non-technical summaryImplementing the logical and ontological principles (dualism, mechanicism, reductionism, law of excluded middle, etc.) of modernity has brought forth an unsustainable world. An overcoming of these principles is proposed by mesology (Umweltlehre,fûdoron), centring on the concept oftrajectionand the existential operatoras(als,en tant que).
The Association Between Romantic Rejection and Change in Ideal	Standards, Ideal Flexibility, and Self-Perceived Mate Value
Authors: Charlot Nicolyn H. , Balzarini Rhonda N. , Campbell Lorne J. 
Published: September 2019

Abstract. Research has shown that ideal romantic standards predict future partner characteristics and influence existing relationships, but how standards develop and change among single individuals has yet to be explored. Guided by the Ideal Standards Model (ISM), the present study sought to determine whether repeated experiences of romantic rejection and acceptance over time were associated with change in ideal standards, ideal flexibility, and self-perceived mate value ( N = 208). Results suggest repeated experiences of rejection correspond to decreases in ideal standards and self-perceived mate value and increases in ideal flexibility, though no effects emerged for acceptance. Given the predictive nature of ideal standards and the link rejection has with such, findings from this study contribute to a greater understanding of relationship formation processes.
The pharmalogical reactivation of p53 function improves breast tumor cell lysis by granzyme B and NK cells through induction of autophagy
Authors: Chollat-Namy Marie , Ben Safta-Saadoun Thouraya , Haferssas Djazia , Meurice Guillaume , Chouaib Salem , Thiery Jerome 
Published: September 2019

AbstractCytotoxic T lymphocytes (CTL) and natural killer cells (NK)-mediated elimination of tumor cells is mostly dependent on Granzyme B apoptotic pathway, which is regulated by the wild type (wt) p53 protein. Because TP53 inactivating mutations, frequently found in human tumors, could interfere with Granzyme B-mediated cell death, the use of small molecules developed to reactivate wtp53 function in p53-mutated tumor cells could optimize their lysis by CTL or NK cells. Here, we show that the pharmalogical reactivation of a wt-like p53 function in p53-mutated breast cancer cells using the small molecule CP-31398 increases their sensitivity to NK-mediated lysis. This potentiation is dependent on p53-mediated induction of autophagy via the sestrin-AMPK-mTOR pathway and the ULK axis. This CP31398-induced autophagy sequestrates in autophagosomes several anti-apoptotic proteins, including Bcl-XL and XIAP, facilitating Granzyme B-mediated mitochondrial outer membrane permeabilization, caspase-3 activation and Granzyme B- or NK cell-induced apoptosis. Together, our results define a new way to increase cytotoxic lymphocyte-mediated lysis of p53-mutated breast cancer cell, through a p53-dependent autophagy induction, with potential applications in combined immunotherapeutic approaches.
VAMP8-mediated MUC2 mucin exocytosis from colonic goblet cells maintains innate intestinal homeostasis
Authors: Cornick Steve , Kumar Manish , Moreau France , Gaisano Herbert , Chadee Kris 
Published: September 2019

AbstractThe mucus layer is the first line of innate host defense in the gut that protects the epithelium by spatially separating commensal bacteria. MUC2 mucin is produced and stored by goblet cells that is constitutively exocytosed or hyper secreted upon sensing a threat. How coordinated mucus exocytosis maintains homeostasis in the intestinal epithelium and modulates the immunological landscape remains elusive. Here we describe how the vesicle SNARE protein VAMP8 coordinates mucin exocytosis from goblet cells. Vamp8−/− exhibit a mild pro-inflammatory state basally due to an altered mucus layer and increased encounters with microbial antigens. Microbial diversity shifts to a detrimental microbiota with an increase abundance of pathogenic and mucolytic bacteria. To alleviate the heavy microbial burden and inflammatory state basally, Vamp8−/− skews towards tolerance. Despite this, Vamp8−/− is highly susceptible to both chemical and infectious colitis demonstrating the fragility of the intestinal mucosa without proper mucus exocytosis mechanisms.
Deciphering key processes controlling rainfall isotopic variability during extreme tropical cyclones
Authors: Sánchez-Murillo Ricardo , Durán-Quesada Ana M. , Esquivel-Hernández Germain , Rojas-Cantillano Daniela , Birkel Christian , Welsh Kristen , Sánchez-Llull Minerva , Alonso-Hernández Carlos M. , Tetzlaff Doerthe , Soulsby Chris , Boll Jan , Kurita Naoyuki , Cobb Kim M. 
Published: September 2019

AbstractThe Mesoamerican and Caribbean (MAC) region is characterized by tropical cyclones (TCs), strong El Niño-Southern Oscillation events, and climate variability that bring unique hazards to socio-ecological systems. Here we report the first characterization of the isotopic evolution of a TC (Hurricane Otto, 2016) in the MAC region. We use long-term daily rainfall isotopes from Costa Rica and event-based sampling of Hurricanes Irma and Maria (2017), to underpin the dynamical drivers of TC isotope ratios. During Hurricane Otto, rainfall exhibited a large isotopic range, comparable to the annual isotopic cycle. As Hurricane Otto organized into a Category 3, rapid isotopic depletion coupled with a decrease in d-excess indicates efficient isotopic fractionation within ~200 km SW of the warm core. Our results shed light on key processes governing rainfall isotope ratios in the MAC region during continental and maritime TC tracks, with applications to the interpretation of paleo-hydroclimate across the tropics.
Polarization nano-tomography of tightly focused light landscapes by self-assembled monolayers
Authors: Otte Eileen , Tekce Kemal , Lamping Sebastian , Ravoo Bart Jan , Denz Cornelia 
Published: September 2019

AbstractRecently, four-dimensional (4D) functional nano-materials have attracted considerable attention due to their impact in cutting-edge fields such as nano-(opto)electronics, -biotechnology or -biomedicine. Prominent optical functionalizations, representing the fourth dimension, require precisely tailored light fields for its optimal implementation. These fields need to be like-wise 4D, i.e., nano-structured in three-dimensional (3D) space while polarization embeds additional longitudinal components. Though a couple of approaches to realize 4D fields have been suggested, their breakthrough is impeded by a lack of appropriate analysis techniques. Combining molecular self-assembly, i.e., nano-chemistry, and nano-optics, we propose a polarization nano-tomography of respective fields using the functional material itself as a sensor. Our method allows a single-shot identification of non-paraxial light fields at nano-scale resolution without any data post-processing. We prove its functionality numerically and experimentally, elucidating its amplitude, phase and 3D polarization sensitivity. We analyze non-paraxial field properties, demonstrating our method’s capability and potential for next generation 4D materials.
Bacterial predator-prey coevolution accelerates genome evolution and selects on virulence-associated prey defences
Authors: Nair Ramith R. , Vasse Marie , Wielgoss Sébastien , Sun Lei , Yu Yuen-Tsu N. , Velicer Gregory J. 
Published: September 2019

AbstractGeneralist bacterial predators are likely to strongly shape many important ecological and evolutionary features of microbial communities, for example by altering the character and pace of molecular evolution, but investigations of such effects are scarce. Here we report how predator-prey interactions alter the evolution of fitness, genomes and phenotypic diversity in coevolving bacterial communities composed of Myxococcus xanthus as predator and Escherichia coli as prey, relative to single-species controls. We show evidence of reciprocal adaptation and demonstrate accelerated genomic evolution specific to coevolving communities, including the rapid appearance of mutator genotypes. Strong parallel evolution unique to the predator-prey communities occurs in both parties, with predators driving adaptation at two prey traits associated with virulence in bacterial pathogens—mucoidy and the outer-membrane protease OmpT. Our results suggest that generalist predatory bacteria are important determinants of how complex microbial communities and their interaction networks evolve in natural habitats.
Spontaneous shrinking of soft nanoparticles boosts their diffusion in confined media
Authors: Latreille Pierre-Luc , Adibnia Vahid , Nour Antone , Rabanel Jean-Michel , Lalloz Augustine , Arlt Jochen , Poon Wilson C. K. , Hildgen Patrice , Martinez Vincent A. , Banquy Xavier 
Published: September 2019

AbstractImproving nanoparticles (NPs) transport across biological barriers is a significant challenge that could be addressed through understanding NPs diffusion in dense and confined media. Here, we report the ability of soft NPs to shrink in confined environments, therefore boosting their diffusion compared to hard, non-deformable particles. We demonstrate this behavior by embedding microgel NPs in agarose gels. The origin of the shrinking appears to be related to the overlap of the electrostatic double layers (EDL) surrounding the NPs and the agarose fibres. Indeed, it is shown that screening the EDL interactions, by increasing the ionic strength of the medium, prevents the soft particle shrinkage. The shrunken NPs diffuse up to 2 orders of magnitude faster in agarose gel than their hard NP counterparts. These findings provide valuable insights on the role of long range interactions on soft NPs dynamics in crowded environments, and help rationalize the design of more efficient NP-based transport systems.
Homomeric GluA2(R) AMPA receptors can conduct when desensitized
Authors: Coombs Ian D. , Soto David , McGee Thomas P. , Gold Matthew G. , Farrant Mark , Cull-Candy Stuart G. 
Published: September 2019

AbstractDesensitization is a canonical property of ligand-gated ion channels, causing progressive current decline in the continued presence of agonist. AMPA-type glutamate receptors (AMPARs), which mediate fast excitatory signaling throughout the brain, exhibit profound desensitization. Recent cryo-EM studies of AMPAR assemblies show their ion channels to be closed in the desensitized state. Here we present evidence that homomeric Q/R-edited AMPARs still allow ions to flow when the receptors are desensitized. GluA2(R) expressed alone, or with auxiliary subunits (γ-2, γ-8 or GSG1L), generates large fractional steady-state currents and anomalous current-variance relationships. Our results from fluctuation analysis, single-channel recording, and kinetic modeling, suggest that the steady-state current is mediated predominantly by conducting desensitized receptors. When combined with crystallography this unique functional readout of a hitherto silent state enabled us to examine cross-linked cysteine mutants to probe the conformation of the desensitized ligand binding domain of functioning AMPAR complexes.
Tet inactivation disrupts YY1 binding and long-range chromatin interactions during embryonic heart development
Authors: Fang Shaohai , Li Jia , Xiao Yang , Lee Minjung , Guo Lei , Han Wei , Li Tingting , Hill Matthew C. , Hong Tingting , Mo William , Xu Rang , Zhang Ping , Wang Fen , Chang Jiang , Zhou Yubin , Sun Deqiang , Martin James F. , Huang Yun 
Published: September 2019

AbstractTet-mediated DNA demethylation plays an important role in shaping the epigenetic landscape and chromatin accessibility to control gene expression. While several studies demonstrated pivotal roles of Tet in regulating embryonic development, little is known about their functions in heart development. Here we analyze DNA methylation and hydroxymethylation dynamics during early cardiac development in both human and mice. We find that cardiac-specific deletion of Tet2 and Tet3 in mice (Tet2/3-DKO) leads to ventricular non-compaction cardiomyopathy (NCC) with embryonic lethality. Single-cell RNA-seq analyses reveal a reduction in cardiomyocyte numbers and transcriptional reprogramming in cardiac tissues upon Tet2/3 depletion. Impaired DNA demethylation and reduced chromatin accessibility in Tet2/3-DKO mice further compromised Ying-yang1 (YY1) binding to its genomic targets, and perturbed high-order chromatin organization at key genes involved in heart development. Our studies provide evidence of the physiological role of Tet in regulating DNA methylation dynamics and chromatin organization during early heart development.
Externalizing Behaviors Buffer the Effects of Early Life Adversity on Physiologic Dysregulation
Authors: Doan Stacey N. , Dich Nadya , Fuller-Rowell Thomas E. , Evans Gary W. 
Published: September 2019

AbstractThe present study examined the counterintuitive hypothesis that externalizing behaviors such as aggression, although in many respects detrimental, may be functional and protect against the detrimental health consequences of early life adversity. In particular, in line with evolutionary models of development, we argue that externalizing problems moderate the association between chronic stress exposure and allostatic load, a biological marker of chronic physiological dysregulation. Prospective interactive effects of externalizing behaviors and cumulative risk (a confluence of multiple risk factors) on children’s allostatic load were assessed in 260 children (46% female, baseline age = 9). Exposure to early life adversity was assessed at baseline using a cumulative risk index. Externalizing behaviors were reported by parents at baseline. Allostatic load was measured at baseline and at ages 13 and 17, using endocrine, cardiovascular and metabolic parameters. Results of linear-mixed effects models indicated that the association between cumulative risk and allostatic load was attenuated for adolescents who scored high on externalizing behaviors. Further examination of sex differences indicated that the findings were more pronounced among males than females.