bluuebunny/crossref_metadata_2025_split huggingface dataset:
Smartphone Shadow Matching for Better Cross-street GNSS Positioning in Urban Environments
Authors: Wang Lei , Groves Paul D , Ziebart Marek K 
Published: December 2014

Global Navigation Satellite System (GNSS) shadow matching is a new positioning technique that determines position by comparing the measured signal availability and strength with predictions made using a three-dimensional (3D) city model. It complements conventional GNSS positioning and can significantly improve cross-street positioning accuracy in dense urban environments. This paper describes how shadow matching has been adapted to work on an Android smartphone and presents the first comprehensive performance assessment of smartphone GNSS shadow matching. Using GPS and GLONASS data recorded at 20 locations within central London, it is shown that shadow matching significantly outperforms conventional GNSS positioning in the cross-street direction. The success rate for obtaining a cross-street position accuracy within 5 m, enabling the correct side of a street to be determined, was 54·50% using shadow matching, compared to 24·77% for the conventional GNSS position. The likely performance of four-constellation shadow matching is predicted, the feasibility of a large-scale implementation of shadow matching is assessed, and some methods for improving performance are proposed. A further contribution is a signal-to-noise ratio analysis of the direct line-of-sight and non-line-of-sight signals received on a smartphone in a dense urban environment.
Optimising the attractiveness of winter oilseed rape fields as foraging habitat for the West Pannonian Great BustardOtis tardapopulation during winter
Authors: RAAB RAINER , SCHÜTZ CLAUDIA , SPAKOVSZKY PÉTER , JULIUS EIKE , SCHULZE CHRISTIAN H. 
Published: December 2014

SummaryWinter oilseed rape represents an important food source for Great Bustards. Great Bustard surveys during four consecutive winters (2005/2006–2008/2009) were used to identify characteristics of oilseed rape fields, which increase their attractiveness for the species in its West Pannonian wintering area. The study was conducted in study areas in Eastern Austria, around the Austrian–Slovakian–Hungarian border and in the Hungarian Moson Plain. To test for effects of field size and isolation of fields from other rape fields, and the distance to the nearest paved road on occurrence and abundance of Great Bustards (maximum number of birds counted in individual rape fields per winter), we calculated generalized linear mixed models (GLMMs) including all three predictor variables as fixed effects and winter as random effect for each of the three study areas. Field size most strongly affected occurrence and abundance of Great Bustards. The availability of large (>>15 ha) winter rape fields far from paved roads is recommended as a prime conservation measure to improve the quality of rape fields as foraging habitat for Great Bustards during the winter months (November–March).
Modules over relative monads for syntax and semantics
Authors: AHRENS BENEDIKT 
Published: December 2014

We give an algebraic characterization of the syntax and semantics of a class of untyped functional programming languages.To this end, we introduce a notion of 2-signature: such a signature specifies not only the terms of a language, but also reduction rules on those terms. To any 2-signature (S, A) we associate a category of ‘models’. We then prove that this category has an initial object, which integrates the terms freely generated by S, and which is equipped with reductions according to the rules given in A. We call this initial object the programming language generated by (S, A). Models of a 2-signature are built from relative monads and modules over such monads. Through the use of monads, the models – and in particular, the initial model – come equipped with a substitution operation that is compatible with reduction in a suitable sense.The initiality theorem is formalized in the proof assistant Coq, yielding a machinery which, when fed with a 2-signature, provides the associated programming language with reduction relation and certified substitution.
Relating timed and register automata
Authors: FIGUEIRA DIEGO , HOFMAN PIOTR , LASOTA SŁAWOMIR 
Published: December 2014

Timed and register automata are well-known models of computation over timed and data words, respectively. The former has clocks that allow to test the lapse of time between two events, whilst the latter includes registers that can store data values for later comparison. Although these two models behave differently in appearance, several decision problems have the same (un)decidability and complexity results for both models. As a prominent example, emptiness is decidable for alternating automata with one clock or register, both with non-primitive recursive complexity. This is not by chance.This work confirms that there is indeed a tight relationship between the two models. We show that a run of a timed automaton can be simulated by a register automaton over ordered data domain, and conversely that a run of a register automaton can be simulated by a timed automaton. These are exponential time reductions hold both in the finite and infinite words settings. Our results allow to transfer decidability results back and forth between these two kinds of models, as well complexity results modulo an exponential time reduction. We justify the usefulness of these reductions by obtaining new results on register automata.
Role of non-genomic androgen signalling in suppressing proliferation of fibroblasts and fibrosarcoma cells
Authors: Castoria G , Giovannelli P , Di Donato M , Ciociola A , Hayashi R , Bernal F , Appella E , Auricchio F , Migliaccio A 
Published: December 2014

AbstractThe functions of androgen receptor (AR) in stromal cells are still debated in spite of the demonstrated importance of these cells in organ development and diseases. Here, we show that physiological androgen concentration (10 nM R1881 or DHT) fails to induce DNA synthesis, while it consistently stimulates cell migration in mesenchymal and transformed mesenchymal cells. Ten nanomolar R1881 triggers p27 Ser10 phosphorylation and its stabilization in NIH3T3 fibroblasts. Activation of Rac and its downstream effector DYRK 1B is responsible for p27 Ser10 phosphorylation and cell quiescence. Ten nanomolar androgen also inhibits transformation induced by oncogenic Ras in NIH3T3 fibroblasts. Overexpression of an AR mutant unable to interact with filamin A, use of a small peptide displacing AR/filamin A interaction, and filamin A knockdown indicate that the androgen-triggered AR/filamin A complex regulates the pathway leading to p27 Ser10 phosphorylation and cell cycle arrest. As the AR/filamin A complex is also responsible for migration stimulated by 10 nM androgen, our report shows that the androgen-triggered AR/filamin A complex controls, through Rac 1, the decision of cells to halt cell cycle and migration. This study reveals a new and unexpected role of androgen/AR signalling in coordinating stromal cell functions.
RIPK1 promotes death receptor-independent caspase-8-mediated apoptosis under unresolved ER stress conditions
Authors: Estornes Y , Aguileta M A , Dubuisson C , De Keyser J , Goossens V , Kersse K , Samali A , Vandenabeele P , Bertrand M J M 
Published: December 2014

AbstractAccumulation of unfolded proteins in the endoplasmic reticulum (ER) causes ER stress and results in the activation of the unfolded protein response (UPR), which aims at restoring ER homeostasis. However, when the stress is too severe the UPR switches from being a pro-survival response to a pro-death one, and the molecular mechanisms underlying ER stress-mediated death have remained incompletely understood. In this study, we identified receptor interacting protein kinase 1 (RIPK1)—a kinase at the crossroad between life and death downstream of various receptors—as a new regulator of ER stress-induced death. We found that Ripk1-deficient MEFs are protected from apoptosis induced by ER stressors, which is reflected by reduced caspase activation and PARP processing. Interestingly, the pro-apoptotic role of Ripk1 is independent of its kinase activity, is not regulated by its cIAP1/2-mediated ubiquitylation, and does not rely on the direct regulation of JNK or CHOP, two reportedly main players in ER stress-induced death. Instead, we found that ER stress-induced apoptosis in these cells relies on death receptor-independent activation of caspase-8, and identified Ripk1 upstream of caspase-8. However, in contrast to RIPK1-dependent apoptosis downstream of TNFR1, we did not find Ripk1 associated with caspase-8 in a death-inducing complex upon unresolved ER stress. Our data rather suggest that RIPK1 indirectly regulates caspase-8 activation, in part via interaction with the ER stress sensor inositol-requiring protein 1 (IRE1).
Dynamic SUMO modification regulates mitotic chromosome assembly and cell cycle progression in Caenorhabditis elegans
Authors: Pelisch Federico , Sonneville Remi , Pourkarimi Ehsan , Agostinho Ana , Blow J. Julian , Gartner Anton , Hay Ronald T. 
Published: December 2014

AbstractThe small ubiquitin-like modifier (SUMO), initially characterized as a suppressor of a mutation in the gene encoding the centromeric protein MIF2, is involved in many aspects of cell cycle regulation. The dynamics of conjugation and deconjugation and the role of SUMO during the cell cycle remain unexplored. Here we used Caenorhabditis elegans to establish the contribution of SUMO to a timely and accurate cell division. Chromatin-associated SUMO conjugates increase during metaphase but decrease rapidly during anaphase. Accumulation of SUMO conjugates on the metaphase plate and proper chromosome alignment depend on the SUMO E2 conjugating enzyme UBC-9 and SUMO E3 ligase PIASGEI-17. Deconjugation is achieved by the SUMO protease ULP-4 and is crucial for correct progression through the cell cycle. Moreover, ULP-4 is necessary for Aurora BAIR-2 extraction from chromatin and relocation to the spindle mid-zone. Our results show that dynamic SUMO conjugation plays a role in cell cycle progression.
Cu2O nanoparticles synthesis by microplasma
Authors: Du ChangMing , Xiao MuDan 
Published: December 2014

AbstractA simple microplasma method was used to synthesize cuprous oxide (Cu2O) nanoparticles in NaCl–NaOH–NaNO3 electrolytic system. Microplasma was successfully used as the cathode and copper plate was used as the anode. The Cu2O products are characterized by X–ray powder diffraction (XRD), field emission scanning electron microscope (FESEM) and transmission electron microscope (TEM). The results show that the morphology of Cu2O nanocrystals obtained by this technology is mainly dependent on the electrolytic media, stirring, current density and reaction temperature. The uniform and monodisperse sphere Cu2O nanoparticles with the size about 400 ~ 600 nm can be easily obtained in H2O–ethylene glycol mix–solvent (volume ratio 1:1) and appropriate current density with stirring at room temperature. In addition, the possible mechanism has been reported in the article. And the average energy consumed in producing 1 g Cu2O nanoparticles is 180 kJ. For the flexibility and effectiveness of this microplasma technology, it will have broad application prospects in the realm of nanoscience, energy and environment.
Ultra‐wideband wireless receiver front‐end for high‐speed indoor applications
Authors: Huang Zhe‐Yang , Chen Chun‐Chieh , Hung Chung‐Chih 
Published: December 2014

Low‐noise, ultra‐wideband (UWB) wireless receiver front‐end circuits were presented in this study. A two‐stage common‐source low‐noise amplifier with wideband input impedance matching network, an active‐balun and a double‐balanced down‐conversion mixer were adopted in the UWB wireless receiver front‐end. The proposed wireless receiver front‐end circuits were implemented in 0.18 μm radio‐frequency‐CMOS process. The maximum down‐conversion power gain of the front‐end is 25.8 dB; minimum single‐sideband noise figure of the front‐end is 4.9 dB over complete UWB band ranging from 3.1 to 10.6 GHz. Power consumption including buffers is 39.2 mW.
Hydrothermal synthesis of TiO2/reduced graphene oxide nanocomposite with enhanced photocatalytic activity
Authors: Cheng Guoe , Zhang Yu , Ke Hanzhong , Hao Tingting , Wang Youzhi 
Published: December 2014

The composite of peanut‐like TiO2 nanoparticles and reduced graphene oxide (rGO) was successfully synthesised via a facile one‐step hydrothermal method in mixed solvents of diethanol amine and distilled water. The crystallite, morphology and structure features of the composite were characterised by X‐ray diffraction, Brunauer‐Emmett‐Teller specific area analysis, transmission electron microscopy and high‐resolution transmission electron microscopy. The results indicated that the as‐synthesised TiO2 was of peanut‐like shape with about 21–32 nm in length and was anchored on the surface of the rGO sheet. In addition, the TiO2/rGO composite presented excellent photocatalytic activity of rhodamine B under visible light irradiation compared with commercial Degussa P25. A proposed mechanism for the photocatalytic process is also discussed.
Neighbourhood influences on mental health in master planned estates: a qualitative study of resident perspectives
Authors: Francis Jacinta , Giles‐Corti Billie , Wood Lisa , Knuiman Matthew 
Published: December 2014

Issues addressedNeighbourhood characteristics have been linked to a range of health outcomes, including mental health. Despite the growth of master planned estates (MPEs) within Australia, few studies have investigated the physical and social correlates of mental health in residents of new housing developments.MethodsThis study aimed to identify the facilitators of, and barriers to, mentally healthy neighbourhoods using focus groups with residents of MPEs in metropolitan Perth, Western Australia. Focus group interviews were analysed using qualitative research software package QSR NVivo. Results an.ConclusionsResults suggest that mental health is strongly influenced by a sense of community and security, as well as an aesthetically pleasing environment. Residents of MPEs may experience a strong sense of community due to similarities in life‐stage and the community building efforts of property developers. Expanding population size, social exclusion, and insufficient services may negatively affect the mental health of residents in MPEs.So what?Identifying correlates of mentally healthy neighbourhoods may help urban planners design residential areas that promote healthy living.
Bush, Obama
Authors: Reyes Antonio 
Published: December 2014

This paper, framed under the scope of Critical Discourse Analysis (CDA), explains social processes by analyzing discourse practices. It proposes (para)linguistic variables employed in the creation of (in)formality in discourse in relation to two Aristotelian persuasive modes: Ethos and Pathos (Kennedy 1991). These modes of persuasion reveal different ways to convey a political message in the current U.S. political scene.This paper compares the stylistic differences in speeches given by George W. Bush and Barack Obama to justify escalating troops in the conflicts of Iraq (2007) and Afghanistan (2009), respectively. I propose (para)linguistic indicators of formality associated with Aristotelian modes at the level of linguistic choices (“lexical variables” [Schilling-Estes 2004] and “marked register usages” [Myers-Scotton 2001]), textual organization (structure and predictability), non-verbal communication (i.e. laughter;Jefferson, Sacks & Schegloff 1987), and intertextuality (Blackledge 2005;Fairclough 1992, 2003) by means of new voices (Bakhtin 1981) into the here-and-now moment of discourse.
The 2013 Josephine Waters Bennett Lecture: Machiavelli and History*
Authors: Najemy John M. 
Published: December 2014

AbstractHistory is the foundation of Machiavelli’s political thought. Dismissing the celebratory traditions of humanist historiography and never fully sharing humanism’s idealization of antiquity, Machiavelli sought in history the causes of political failure. He acknowledged the fragmentary and fleeting character of historical knowledge and exposed fashionable philosophies of history (cyclical recurrence, unchanging human passions, celestial influences, laws of nature, fortune) as seductive fictions purveying false consolations for history’s adversities and afflictions. Machiavelli proposed instead a critical history focused on how social conflicts shape power and its abuses. His analysis of ancient Roman and more recent Florentine conflicts turns on a crucial distinction between conflicts contained within institutional frameworks and public law and those fought with instruments of private power (political patronage, wealth, and factions) that undermine public authority. Useful history, Machiavelli insists, must show how the constant pursuit, particularly by elites, of privatized power caused both the collapse of the Roman Republic and the failures of modern Italy’s ruling classes.
Diseased Bodies, Defiled Souls: Corporality and Religious Difference in the Reformation*
Authors: Parker Charles H. 
Published: December 2014

AbstractThis study examines Catholic and Reformed Protestant readings of the body among pastoral and polemical writers from the mid-sixteenth to the late seventeenth century. Both Catholics and Calvinists utilized bodily corruption as a motif to promote piety and unmask religious difference in a period of intense confessional conflict. This corporal hermeneutic coincided with a pivotal moment in the history of medicine, in which a widespread enthusiasm for anatomy mixed uneasily with time-honored notions of Galenic physiology until the ascendancy of a mechanical Cartesian outlook in the late 1600s. In this intellectual milieu, Catholic and Calvinist pastoral treatises generally relied on similar corporal features to signify a sinful state, but polemical texts made important distinctions about the effects of religious difference. Catholic writers identified the heretical body as the site of humoral contamination, whereas Calvinist theorists regarded the idolatrous body as the locus of inordinate sensuality.
Mixed effects: a unifying framework for statistical modelling in fisheries biology
Authors: Thorson James T. , Minto Cóilín 
Published: December 2014

AbstractFisheries biology encompasses a tremendous diversity of research questions, methods, and models. Many sub-fields use observational or experimental data to make inference about biological characteristics that are not directly observed (called “latent states”), such as heritability of phenotypic traits, habitat suitability, and population densities to name a few. Latent states will generally cause model residuals to be correlated, violating the assumption of statistical independence made in many statistical modelling approaches. In this exposition, we argue that mixed-effect modelling (i) is an important and generic solution to non-independence caused by latent states; (ii) provides a unifying framework for disparate statistical methods such as time-series, spatial, and individual-based models; and (iii) is increasingly practical to implement and customize for problem-specific models. We proceed by summarizing the distinctions between fixed and random effects, reviewing a generic approach for parameter estimation, and distinguishing general categories of non-linear mixed-effect models. We then provide four worked examples, including state-space, spatial, individual-level variability, and quantitative genetics applications (with working code for each), while providing comparison with conventional fixed-effect implementations. We conclude by summarizing directions for future research in this important framework for modelling and statistical analysis in fisheries biology.
Integrative analysis of public ChIP-seq experiments reveals a complex multi-cell regulatory landscape
Authors: Griffon Aurélien , Barbier Quentin , Dalino Jordi , van Helden Jacques , Spicuglia Salvatore , Ballester Benoit 
Published: December 2014

AbstractThe large collections of ChIP-seq data rapidly accumulating in public data warehouses provide genome-wide binding site maps for hundreds of transcription factors (TFs). However, the extent of the regulatory occupancy space in the human genome has not yet been fully apprehended by integrating public ChIP-seq data sets and combining it with ENCODE TFs map. To enable genome-wide identification of regulatory elements we have collected, analysed and retained 395 available ChIP-seq data sets merged with ENCODE peaks covering a total of 237 TFs. This enhanced repertoire complements and refines current genome-wide occupancy maps by increasing the human genome regulatory search space by 14% compared to ENCODE alone, and also increases the complexity of the regulatory dictionary. As a direct application we used this unified binding repertoire to annotate variant enhancer loci (VELs) from H3K4me1 mark in two cancer cell lines (MCF-7, CRC) and observed enrichments of specific TFs involved in biological key functions to cancer development and proliferation. Those enrichments of TFs within VELs provide a direct annotation of non-coding regions detected in cancer genomes. Finally, full access to this catalogue is available online together with the TFs enrichment analysis tool (http://tagc.univ-mrs.fr/remap/).
Revealing missing isoforms encoded in the human genome by integrating genomics, transcriptomics and proteomics data
Authors: Hu Zhiqiang , Scott Hamish S. , Qin Guangrong , Zheng Guangyong , Chu Xixia , Xie Lu , Adelson David L. , Oftedal Bergithe E , Venugopal Parvathy , Babic Milena , Hahn Christopher N , Zhang Bing , Wang Xiaojing , Li Nan , Wei Chaochun 
Published: December 2014

AbstractBiological and biomedical research relies on comprehensive understanding of protein-coding transcripts. However, the total number of human proteins is still unknown due to the prevalence of alternative splicing and is much larger than the number of human genes.In this paper, we detected 31,566 novel transcripts with coding potential by filtering ourab initiopredictions with 50 RNA-seq datasets from diverse tissues/cell lines. PCR followed by MiSeq sequencing showed that at least 84.1% of these predicted novel splice sites could be validated. In contrast to known transcripts, the expression of these novel transcripts were highly tissue-specific. Based on these novel transcripts, at least 36 novel proteins were detected from shotgun proteomics data of 41 breast samples. We also showed L1 retrotransposons have a more significant impact on the origin of new transcripts/genes than previously thought. Furthermore, we found that alternative splicing is extraordinarily widespread for genes involved in specific biological functions like protein binding, nucleoside binding, neuron projection, membrane organization and cell adhesion. In the end, the total number of human transcripts with protein-coding potential was estimated to be at least 204,950.Author summaryThe identification of all human proteins is an important and open problem. In this report we first develop anab initiopredictor to collect candidate gene models as many as possible. Next, comprehensive sets of RNA-seq data from diverse tissues and cell lines are used to select confident transcripts. Experimental validation of a subset of predictions confirms a high accuracy for the predicted coding transcript set and has added about 30,000 new protein-coding transcripts to the existing corpus of knowledge in this area. This is significant progress given that the existing protein-coding transcript number in public databases is about 60,000. Our newly found transcripts are more tissue specific. Based on our results, we show that L1's high impact on gene origin and genes with high number of transcripts are enriched in specific functions. At last, we estimate that the total number of human protein-coding transcripts is in excess of 200,000.