Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Paterson Ross) "

Sökning: WFRF:(Paterson Ross)

  • Resultat 11-20 av 27
  • Föregående 1[2]3Nästa
Sortera/gruppera träfflistan
  • Bernardy, Jean-Philippe, 1978, et al. (författare)
  • Parametricity and Dependent Types
  • 2010
  • Ingår i: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). - 0362-1340. ; 45:9, s. 345-356
  • Tidskriftsartikel (refereegranskat)
  • Bernardy, Jean-Philippe, 1978, et al. (författare)
  • Parametricity and dependent types
  • 2010
  • Ingår i: International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland.
  • Konferensbidrag (refereegranskat)abstract
    • Reynolds' abstraction theorem shows how a typingjudgement in System F can be translated into a relational statement (in second order predicate logic)about inhabitants of the type. We expose a similar result, whereterms, types, and their relations are expressed in a single typed lambda calculus (a pure type system).Working within a single system dispenses the need for aninterpretation layer, allowing for an unusually simplepresentation. While the unification puts some constraints on the type system(which we spell out), the result applies to many interesting cases, includingdependently-typed ones.
  • Bernardy, Jean-Philippe, 1978, et al. (författare)
  • Proofs for Free - Parametricity for dependent types
  • 2012
  • Ingår i: Journal of Functional Programming. - 1469-7653 .- 0956-7968. ; 22:2, s. 107-152
  • Tidskriftsartikel (refereegranskat)abstract
    • Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type.We obtain a similar result for pure type systems: for any PTS used as a programming language, there is a PTS that can be used as a logic for parametricity. Types in the source PTS are translated to relations (expressed as types) in the target. Similarly, values of a given type are translated to proofs that the values satisfy the relational interpretation. We extend the result to inductive families.We also show that the assumption that every term satisfies the parametricity condition generated by its type is consistent with the generated logic. Our proof gives a computationally meaningful way to interpret that assumption.
  • Heslegrave, Amanda, et al. (författare)
  • Increased cerebrospinal fluid soluble TREM2 concentration in Alzheimer's disease.
  • 2016
  • Ingår i: Molecular neurodegeneration. - : BioMed Central (BMC). - 1750-1326. ; 11
  • Tidskriftsartikel (refereegranskat)abstract
    • The discovery that heterozygous missense mutations in the gene encoding triggering receptor expressed on myeloid cells 2 (TREM2) are risk factors for Alzheimer's disease (AD), with only the apolipoprotein E (APOE) ε4 gene allele conferring a higher risk, has led to increased interest in immune biology in the brain. TREM2 is expressed on microglia, the resident immune cells of the brain and has been linked to phagocytotic clearance of amyloid β (Aβ) plaques. Soluble TREM2 (sTREM2) has previously been measured in cerebrospinal fluid (CSF) by ELISA but in our hands commercial kits have proved unreliable, suggesting that other methods may be required. We developed a mass spectrometry method using selected reaction monitoring for the presence of a TREM2 peptide, which can be used to quantify levels of sTREM2 in CSF.
  • Hillier, Ladeana W, et al. (författare)
  • Sequence and comparative analysis of the chicken genome provide unique perspectives on vertebrate evolution
  • 2004
  • Ingår i: Nature. - 0028-0836 .- 1476-4687. ; 432:7018, s. 695-716
  • Tidskriftsartikel (refereegranskat)abstract
    • We present here a draft genome sequence of the red jungle fowl, Gallus gallus. Because the chicken is a modern descendant of the dinosaurs and the first non-mammalian amniote to have its genome sequenced, the draft sequence of its genome--composed of approximately one billion base pairs of sequence and an estimated 20,000-23,000 genes--provides a new perspective on vertebrate genome evolution, while also improving the annotation of mammalian genomes. For example, the evolutionary distance between chicken and human provides high specificity in detecting functional elements, both non-coding and coding. Notably, many conserved non-coding sequences are far from genes and cannot be assigned to defined functional classes. In coding regions the evolutionary dynamics of protein domains and orthologous groups illustrate processes that distinguish the lineages leading to birds and mammals. The distinctive properties of avian microchromosomes, together with the inferred patterns of conserved synteny, provide additional insights into vertebrate chromosome architecture.
  • Khatun, Ayesha, et al. (författare)
  • University College London/University of Gothenburg PhD course "Biomarkers in neurodegenerative diseases" 2019-course organisation.
  • 2020
  • Ingår i: Alzheimer's research & therapy. - 1758-9193. ; 12:1
  • Forskningsöversikt (refereegranskat)abstract
    • Biomarkers are increasingly employed for effective research into neurodegenerative diseases. They have become essential for reaching an accurate clinical diagnosis, monitoring disease, and refining entry criteria for participation in clinical treatment trials, and will be key in measuring target engagement and treatment outcome in disease-modifying therapies. Emerging techniques and research combining different biomarker modalities continue to strengthen our understanding of the underlying pathology and the sequence of pathogenic events. Given recent advances, we are now at a pivotal stage in biomarker research. PhD students working in the field of neurodegenerative disease require a working knowledge of a range of biomarkers available and their limitations, to correctly interpret scientific literature and to design and conduct successful research studies themselves. Here, we outline the University College London/University of Gothenburg "Biomarkers in neurodegenerative diseases course", the first initiative of its kind aimed to bring together both experts and PhD students from all areas within the field of neurodegeneration, to provide comprehensive knowledge of biomarker research for the next generation of scientists.
  • Paterson, Ross W, et al. (författare)
  • Biomarker Modelling of Early Molecular Changes in Alzheimer's Disease.
  • 2014
  • Ingår i: Molecular diagnosis & therapy. - 1179-2000. ; 18:2, s. 213-227
  • Forskningsöversikt (refereegranskat)abstract
    • The preclinical phase of Alzheimer's disease (AD) occurs years, possibly decades, before the onset of clinical symptoms. Being able to detect the very earliest stages of AD is critical to improving understanding of AD biology, and identifying individuals at greatest risk of developing clinical symptoms with a view to treating AD pathophysiology before irreversible neurodegeneration occurs. Studies of dominantly inherited AD families and longitudinal studies of sporadic AD have contributed to knowledge of the earliest AD biomarkers. Here we appraise this evidence before reviewing novel, particularly fluid, biomarkers that may provide insights into AD pathogenesis and relate these to existing hypothetical disease models.
Skapa referenser, mejla, bekava och länka
  • Resultat 11-20 av 27
  • Föregående 1[2]3Nästa
Typ av publikation
tidskriftsartikel (21)
forskningsöversikt (5)
konferensbidrag (1)
Typ av innehåll
refereegranskat (24)
övrigt vetenskapligt (3)
Paterson, Ross W (20)
Schott, Jonathan M (16)
Zetterberg, Henrik, ... (14)
Fox, Nick C (10)
Blennow, Kaj, 1958 (7)
Toombs, Jamie (7)
visa fler...
Paterson, Ross (6)
Lunn, Michael P (5)
Magdalinou, Nadia K (5)
Bernardy, Jean-Phili ... (4)
Jansson, Patrik, 197 ... (4)
Carter, Stephen F. (4)
Betts, Matthew J. (4)
Heslegrave, Amanda (3)
Schöll, Michael (3)
Keshavan, Ashvini (3)
Foiani, Martha S (3)
Brown, J. (2)
Klein, R (2)
Zetterberg, H (2)
Paterson, R (2)
Hardy, John (2)
Hansson, O. (2)
Hansson, Oskar (2)
Teunissen, Charlotte ... (2)
Schott, J. M. (2)
Kumar, D. (2)
Andreasson, Ulf, 196 ... (2)
Carter, SF (2)
Scholl, M (2)
Palmer, Colin N. A. (2)
Zetterberg, Henrik (2)
Verbeek, Marcel M (2)
Mattsson, Niklas (2)
Ashton, Nicholas J. (2)
Schöll, M (2)
Pereira, JB (2)
Palmer, CNA (2)
Wild, Edward J (2)
Rojas, Julio C. (2)
Hanrieder, Jörg (2)
van Wieringen, Wesse ... (2)
Tijms, Betty M (2)
Alvarez-Cermeño, Jos ... (2)
Fialová, Lenká (2)
Frederiksen, Jette L (2)
Meeter, Lieke H (2)
Mehta, Sanjay R (2)
Pérez-Santiago, Josu ... (2)
Pijnenburg, Yolande ... (2)
visa färre...
Göteborgs universitet (20)
Lunds universitet (6)
Chalmers tekniska högskola (4)
Karolinska Institutet (4)
Uppsala universitet (2)
Umeå universitet (1)
visa fler...
Örebro universitet (1)
visa färre...
Engelska (27)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (19)
Naturvetenskap (6)


pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy