bluuebunny/crossref_metadata_2025_split huggingface dataset:
Towards next generation coordination infrastructures
Authors: Rodriguez-Aguilar Juan A. , Sierra Carles , Arcos Josep Ll. , Lopez-Sanchez Maite , Rodriguez Inmaculada 
Published: September 2015

AbstractCoordination infrastructures play a central role in the engineering of multiagent systems. Since the advent of agent technology, research on coordination infrastructures has produced a significant number of infrastructures with varying features. In this paper, we review the the state-of-the-art coordination infrastructures with the purpose of identifying open research challenges that next generation coordination infrastructures should address. Our analysis concludes that next generation coordination infrastructures must address a number of challenges: (i) to becomesocially aware, by facilitating human interaction within a MAS; (ii) to assist agents in their decision making by providingdecision supportthat helps them reduce the scope of reasoning and facilitates the achievement of their goals; and (iii) to increaseopennessto support on-line, fully decentralised design and execution. Furthermore, we identify some promising approaches in the literature, together with the research issues worth investigating, to cope with such challenges.
Dual-normal logic programs – the forgotten class
Authors: FICHTE JOHANNES K. , TRUSZCZYŃSKI MIROSŁAW , WOLTRAN STEFAN 
Published: September 2015

AbstractDisjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretical standpoint and can potentially lead to improvements in the design of answer set programming solvers. One of such classes consists of dual-normal programs, where the number of positive body atoms in proper rules is at most one. Unlike other classes of programs, dual-normal programs have received little attention so far. In this paper we study this class. We relate dual-normal programs to propositional theories and to normal programs by presenting several inter-translations. With the translation from dual-normal to normal programs at hand, we introduce the novel class of body-cycle free programs, which are in many respects dual to head-cycle free programs. We establish the expressive power of dual-normal programs in terms of SE- and UE-models, and compare them to normal programs. We also discuss the complexity of deciding whether dual-normal programs are strongly and uniformly equivalent.
Fuzzy answer set computation via satisfiability modulo theories
Authors: ALVIANO MARIO , PEÑALOZA RAFAEL 
Published: September 2015

AbstractFuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine different expressions; in particular the Gödel and Łukasiewicz fuzzy connectives are usually considered, due to their properties. Although the Gödel conjunction can be easily eliminated from rule heads, we show through complexity arguments that such a simplification is infeasible in general for all other connectives. The paper analyzes a translation of FASP programs into satisfiability modulo theories (SMT), which in general produces quantified formulas because of the minimality of the semantics. Structural properties of many FASP programs allow to eliminate the quantification, or to sensibly reduce the number of quantified variables. Indeed, integrality constraints can replace recursive rules commonly used to force Boolean interpretations, and completion subformulas can guarantee minimality for acyclic programs with atomic heads. Moreover, head cycle free rules can be replaced by shifted subprograms, whose structure depends on the eliminated head connective, so that ordered completion may replace the minimality check if also Łukasiewicz disjunction in rule bodies is acyclic. The paper also presents and evaluates a prototype system implementing these translations.
Proving correctness of imperative programs by linearizing constrained Horn clauses
Authors: DE ANGELIS EMANUELE , FIORAVANTI FABIO , PETTOROSSI ALBERTO , PROIETTI MAURIZIO 
Published: September 2015

AbstractWe present a method for verifying the correctness of imperative programs which is based on the automated transformation of their specifications. Given a programprog, we consider a partial correctness specification of the form {ϕ},prog{ψ}, where the assertions ϕ and ψ are predicates defined by a setSpecof possibly recursive Horn clauses with linear arithmetic (LA) constraints in their premise (also calledconstrained Horn clauses). The verification method consists in constructing a setPCof constrained Horn clauses whose satisfiability implies that {ϕ},prog, {ψ} is valid. We highlight some limitations of state-of-the-art constrained Horn clause solving methods, here calledLA-solving methods, which prove the satisfiability of the clauses by looking for linear arithmetic interpretations of the predicates. In particular, we prove that there exist some specifications that cannot be proved valid by any of thoseLA-solving methods. These specifications require the proof of satisfiability of a setPCof constrained Horn clauses that containnonlinear clauses(that is, clauses with more than one atom in their premise). Then, we present a transformation, calledlinearization, that convertsPCinto a set oflinearclauses (that is, clauses with at most one atom in their premise). We show that several specifications that could not be proved valid byLA-solving methods, can be proved valid after linearization. We also present a strategy for performing linearization in an automatic way and we report on some experimental results obtained by using a preliminary implementation of our method.
An infinitary encoding of temporal equilibrium logic
Authors: CABALAR PEDRO , DIÉGUEZ MARTÍN , VIDAL CONCEPCIÓN 
Published: September 2015

AbstractThis paper studies the relation between two recent extensions of propositional Equilibrium Logic, a well-known logical characterisation of Answer Set Programming. In particular, we show how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic (LTL), can be encoded into Infinitary Equilibrium Logic, a recent formalisation that allows the use of infinite conjunctions and disjunctions. We prove the correctness of this encoding and, as an application, we further use it to show that the semantics of the temporal logic programming formalism called TEMPLOG is subsumed by Temporal Equilibrium Logic.
Taming primary key violations to query large inconsistent data via ASP
Authors: MANNA MARCO , RICCA FRANCESCO , TERRACINA GIORGIO 
Published: September 2015

AbstractConsistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based solutions is restricted to data sets of moderate size. This paper presents a novel decomposition and pruning strategy that reduces, in polynomial time, the problem of computing the consistent answer to a conjunctive query over a database subject to primary key constraints to a collection of smaller problems of the same sort that can be solved independently. The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets.
Synergistic activation of human pregnane X receptor by binary cocktails of pharmaceutical and environmental compounds
Authors: Delfosse Vanessa , Dendele Béatrice , Huet Tiphaine , Grimaldi Marina , Boulahtouf Abdelhay , Gerbal-Chaloin Sabine , Beucher Bertrand , Roecklin Dominique , Muller Christina , Rahmani Roger , Cavaillès Vincent , Daujat-Chavanieu Martine , Vivat Valérie , Pascussi Jean-Marc , Balaguer Patrick , Bourguet William 
Published: September 2015

AbstractHumans are chronically exposed to multiple exogenous substances, including environmental pollutants, drugs and dietary components. Many of these compounds are suspected to impact human health, and their combination in complex mixtures could exacerbate their harmful effects. Here we demonstrate that a pharmaceutical oestrogen and a persistent organochlorine pesticide, both exhibiting low efficacy when studied separately, cooperatively bind to the pregnane X receptor, leading to synergistic activation. Biophysical analysis shows that each ligand enhances the binding affinity of the other, so the binary mixture induces a substantial biological response at doses at which each chemical individually is inactive. High-resolution crystal structures reveal the structural basis for the observed cooperativity. Our results suggest that the formation of ‘supramolecular ligands’ within the ligand-binding pocket of nuclear receptors contributes to the synergistic toxic effect of chemical mixtures, which may have broad implications for the fields of endocrine disruption, toxicology and chemical risk assessment.
Atomic basis for therapeutic activation of neuronal potassium channels
Authors: Kim Robin Y. , Yau Michael C. , Galpin Jason D. , Seebohm Guiscard , Ahern Christopher A. , Pless Stephan A. , Kurata Harley T. 
Published: September 2015

AbstractRetigabine is a recently approved anticonvulsant that acts by potentiating neuronal M-current generated by KCNQ2–5 channels, interacting with a conserved Trp residue in the channel pore domain. Using unnatural amino-acid mutagenesis, we subtly altered the properties of this Trp to reveal specific chemical interactions required for retigabine action. Introduction of a non-natural isosteric H-bond-deficient Trp analogue abolishes channel potentiation, indicating that retigabine effects rely strongly on formation of a H-bond with the conserved pore Trp. Supporting this model, substitution with fluorinated Trp analogues, with increased H-bonding propensity, strengthens retigabine potency. In addition, potency of numerous retigabine analogues correlates with the negative electrostatic surface potential of a carbonyl/carbamate oxygen atom present in most KCNQ activators. These findings functionally pinpoint an atomic-scale interaction essential for effects of retigabine and provide stringent constraints that may guide rational improvement of the emerging drug class of KCNQ channel activators.
Unravelling the origin of the giant Zn deficiency in wurtzite type ZnO nanoparticles
Authors: Renaud Adèle , Cario Laurent , Rocquefelte Xavier , Deniard Philippe , Gautron Eric , Faulques Eric , Das Tilak , Cheviré François , Tessier Franck , Jobic Stéphane 
Published: September 2015

AbstractOwing to its high technological importance for optoelectronics, zinc oxide received much attention. In particular, the role of defects on its physical properties has been extensively studied as well as their thermodynamical stability. In particular, a large concentration of Zn vacancies in ZnO bulk materials is so far considered highly unstable. Here we report that the thermal decomposition of zinc peroxide produces wurtzite-type ZnO nanoparticles with an extraordinary large amount of zinc vacancies (>15%). These Zn vacancies segregate at the surface of the nanoparticles, as confirmed by ab initio calculations, to form a pseudo core-shell structure made of a dense ZnO sphere coated by a Zn free oxo-hydroxide mono layer. In others terms, oxygen terminated surfaces are privileged over zinc-terminated surfaces for passivation reasons what accounts for the Zn off-stoichiometry observed in ultra-fine powdered samples. Such Zn-deficient Zn1-xO nanoparticles exhibit an unprecedented photoluminescence signature suggesting that the core-shell-like edifice drastically influences the electronic structure of ZnO. This nanostructuration could be at the origin of the recent stabilisation of p-type charge carriers in nitrogen-doped ZnO nanoparticles.
Quantifying Molecular-Level Cell Adhesion on Electroactive Conducting Polymers using Electrochemical-Single Cell Force Spectroscopy
Authors: Zhang Hongrui , Molino Paul J. , Wallace Gordon G. , Higgins Michael J. 
Published: September 2015

AbstractSingle Cell Force Spectroscopy was combined with Electrochemical-AFM to quantify the adhesion between live single cells and conducting polymers whilst simultaneously applying a voltage to electrically switch the polymer from oxidized to reduced states. The cell-conducting polymer adhesion represents the non-specific interaction between cell surface glycocalyx molecules and polymer groups such as sulfonate and dodecylbenzene groups, which rearrange their orientation during electrical switching. Single cell adhesion significantly increases as the polymer is switched from an oxidized to fully reduced state, indicating stronger cell binding to sulfonate groups as opposed to hydrophobic groups. This increase in single cell adhesion is concomitant with an increase in surface hydrophilicity and uptake of cell media, driven by cation movement, into the polymer film during electrochemical reduction. Binding forces between the glycocalyx and polymer surface are indicative of molecular-level interactions and during electrical stimulation there is a decrease in both the binding force and stiffness of the adhesive bonds. The study provides insight into the effects of electrochemical switching on cell adhesion at the cell-conducting polymer interface and is more broadly applicable to elucidating the binding of cell adhesion molecules in the presence of electrical fields and directly at electrode interfaces.
Competition with wind-pollinated plant species alters floral traits of insect-pollinated plant species
Authors: Flacher Floriane , Raynaud Xavier , Hansart Amandine , Motard Eric , Dajoz Isabelle 
Published: September 2015

AbstractPlant traits related to attractiveness to pollinators (e.g. flowers and nectar) can be sensitive to abiotic or biotic conditions. Soil nutrient availability, as well as interactions among insect-pollinated plants species, can induce changes in flower and nectar production. However, further investigations are needed to determine the impact of interactions between insect-pollinated species and abiotically pollinated species on such floral traits, especially floral rewards. We carried out a pot experiment in which three insect-pollinated plant species were grown in binary mixtures with four wind-pollinated plant species, differing in their competitive ability. Along the flowering period, we measured floral traits of the insect-pollinated species involved in attractiveness to pollinators (i.e. floral display size, flower size, daily and total 1) flower production, 2) nectar volume, 3) amount of sucrose allocated to nectar). Final plant biomass was measured to quantify competitive interactions. For two out of three insect-pollinated species, we found that the presence of a wind-pollinated species can negatively impact floral traits involved in attractiveness to pollinators. This effect was stronger with wind-pollinated species that induced stronger competitive interactions. These results stress the importance of studying the whole plant community (and not just the insect-pollinated plant community) when working on plant-pollinator interactions.
Traumatic brain injury results in rapid pericyte loss followed by reactive pericytosis in the cerebral cortex
Authors: Zehendner Christoph M. , Sebastiani Anne , Hugonnet André , Bischoff Florian , Luhmann Heiko J. , Thal Serge C. 
Published: September 2015

AbstractAccumulating evidence suggests a pivotal role of PDGFRß positive cells, a specific marker for central nervous system (CNS) pericytes, in tissue scarring. Identification of cells that contribute to tissue reorganization in the CNS upon injury is a crucial step to develop novel treatment strategies in regenerative medicine. It has been shown that pericytes contribute to scar formation in the spinal cord. It is further known that ischemia initially triggers pericyte loss in vivo, whilst brain trauma is capable of inducing pericyte detachment from cerebral vessels. These data point towards a significant role of pericytes in CNS injury. The temporal and spatial dynamics of PDGFRß cells and their responses in traumatic brain injury are poorly understood. Here we show that PDGFRß positive cells initially decline in the acute phase following experimental traumatic brain injury. However, PDGFRß positive cells increase significantly in the trauma zone days after brain injury. Using various pericyte markers we identify these cells to be pericytes that are demarcated by reactive gliosis. Our data indicate that brain trauma causes a biphasic response of pericytes in the early phase of brain trauma that may be of relevance for the understanding of pathological cellular responses in traumatic brain injury.
Architecture of the Synaptophysin/Synaptobrevin Complex: Structural Evidence for an Entropic Clustering Function at the Synapse
Authors: Adams Daniel J. , Arthur Christopher P. , Stowell Michael H. B. 
Published: September 2015

AbstractWe have purified the mammalian synaptophysin/synaptobrevin (SYP/VAMP2) complex to homogeneity in the presence of cholesterol and determined the 3D EM structure by single particle reconstruction. The structure reveals that SYP and VAMP2 assemble into a hexameric ring wherein 6 SYP molecules bind 6 VAMP2 dimers. Using the EM map as a constraint, a three dimensional atomic model was built and refined using known atomic structures and homology modeling. The overall architecture of the model suggests a simple mechanism to ensure cooperativity of synaptic vesicle fusion by organizing multiple VAMP2 molecules such that they are directionally oriented towards the target membrane. This is the first three dimensional architectural data for the SYP/VAMP2 complex and provides a structural foundation for understanding the role of this complex in synaptic transmission.
Evidence for equal size cell divisions during gametogenesis in a marine green alga Monostroma angicava
Authors: Togashi Tatsuya , Horinouchi Yusuke , Sasaki Hironobu , Yoshimura Jin 
Published: September 2015

AbstractIn cell divisions, relative size of daughter cells should play fundamental roles in gametogenesis and embryogenesis. Differences in gamete size between the two mating types underlie sexual selection. Size of daughter cells is a key factor to regulate cell divisions during cleavage. In cleavage, the form of cell divisions (equal/unequal in size) determines the developmental fate of each blastomere. However, strict validation of the form of cell divisions is rarely demonstrated. We cannot distinguish between equal and unequal cell divisions by analysing only the mean size of daughter cells, because their means can be the same. In contrast, the dispersion of daughter cell size depends on the forms of cell divisions. Based on this, we show that gametogenesis in the marine green alga, Monostroma angicava, exhibits equal size cell divisions. The variance and the mean of gamete size (volume) of each mating type measured agree closely with the prediction from synchronized equal size cell divisions. Gamete size actually takes only discrete values here. This is a key theoretical assumption made to explain the diversified evolution of isogamy and anisogamy in marine green algae. Our results suggest that germ cells adopt equal size cell divisions during gametogenesis.
Laser optomechanics
Authors: Yang Weijian , Gerke Stephen Adair , Ng Kar Wei , Rao Yi , Chase Christopher , Chang-Hasnain Connie J. 
Published: September 2015

AbstractCavity optomechanics explores the interaction between optical field and mechanical motion. So far, this interaction has relied on the detuning between a passive optical resonator and an external pump laser. Here, we report a new scheme with mutual coupling between a mechanical oscillator supporting the mirror of a laser and the optical field generated by the laser itself. The optically active cavity greatly enhances the light-matter energy transfer. In this work, we use an electrically-pumped vertical-cavity surface-emitting laser (VCSEL) with an ultra-light-weight (130 pg) high-contrast-grating (HCG) mirror, whose reflectivity spectrum is designed to facilitate strong optomechanical coupling, to demonstrate optomechanically-induced regenerative oscillation of the laser optomechanical cavity. We observe >550 nm self-oscillation amplitude of the micromechanical oscillator, two to three orders of magnitude larger than typical and correspondingly a 23 nm laser wavelength sweep. In addition to its immediate applications as a high-speed wavelength-swept source, this scheme also offers a new approach for integrated on-chip sensors.
Virus based Full Colour Pixels using a Microheater
Authors: Kim Won-Geun , Kim Kyujung , Ha Sung-Hun , Song Hyerin , Yu Hyun-Woo , Kim Chuntae , Kim Jong-Man , Oh Jin-Woo 
Published: September 2015

AbstractMimicking natural structures has been received considerable attentions and there have been a few practical advances. Tremendous efforts based on a self-assembly technique have been contributed to the development of the novel photonic structures which are mimicking nature’s inventions. We emulate the photonic structures from an origin of colour generation of mammalian skins and avian skin/feathers using M13 phage. The structures can be generated a full range of RGB colours that can be sensitively switched by temperature and substrate materials. Consequently, we developed an M13 phage-based temperature-dependent actively controllable colour pixels platform on a microheater chip. Given the simplicity of the fabrication process, the low voltage requirements and cycling stability, the virus colour pixels enable us to substitute for conventional colour pixels for the development of various implantable, wearable and flexible devices in future.
Droplet Digital Enzyme-Linked Oligonucleotide Hybridization Assay for Absolute RNA Quantification
Authors: Guan Weihua , Chen Liben , Rane Tushar D. , Wang Tza-Huei 
Published: September 2015

AbstractWe present a continuous-flow droplet-based digital Enzyme-Linked Oligonucleotide Hybridization Assay (droplet digital ELOHA) for sensitive detection and absolute quantification of RNA molecules. Droplet digital ELOHA incorporates direct hybridization and single enzyme reaction via the formation of single probe-RNA-probe (enzyme) complex on magnetic beads. It enables RNA detection without reverse transcription and PCR amplification processes. The magnetic beads are subsequently encapsulated into a large number of picoliter-sized droplets with enzyme substrates in a continuous-flow device. This device is capable of generating droplets at high-throughput. It also integrates in-line enzymatic incubation and detection of fluorescent products. Our droplet digital ELOHA is able to accurately quantify (differentiate 40% difference) as few as ~600 RNA molecules in a 1 mL sample (equivalent to 1 aM or lower) without molecular replication. The absolute quantification ability of droplet digital ELOHA is demonstrated with the analysis of clinical Neisseria gonorrhoeae 16S rRNA to show its potential value in real complex samples.