203 research outputs found

    On multiplying large periodic integers. I

    Get PDF
    AbstractLet z be a positive integer which is obtained as the product of several large integers each with a periodic digit behavior. We investigate the periodic behavior for the leading digits of z and for the least significant digits of z and further study the relations between the two periodic behaviors

    Explicit Substitutions for Contextual Type Theory

    Get PDF
    In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.Comment: In Proceedings LFMTP 2010, arXiv:1009.218

    L’eau à Damas et dans son environnement rural au xviiie siècle

    Get PDF
    Le système hydraulique qui alimente la ville de Damas et son environnement rural est très ancien. Mais il est en constante évolution et l’on peut difficilement accréditer l’idée de son caractère immuable. À partir de diverses sources juridiques, cet article s’interroge sur les règles, les pratiques et les procédures administratives et juridiques qui sont en vigueur dans le domaine de la distribution de l’eau à Damas et dans sa campagne au xviiie siècle. Il montre le rôle des autorités juridiques et politiques dans l’entretien du système hydraulique et examine leurs interventions dans les conflits qui opposent les divers ayants droit.The hydraulic systems that supplied the city of Damascus and its rural hinterland are obviously ancient, they are however constant evolutions. Therefore it seems difficult to assume that water supply system immutability. Based on a variety of juridical sources, the aim of this article is to clarify the rules, practices and the administrative/juridical procedures that structured the water distribution in Damascus and its dependent countryside during the 18th century. The enquiry sheds light on the role of the judicial and political authorities in the maintenance of the hydraulic systems and examines how they intervened in various conflicts that involved different parties.إن النظام المائي الذي يغذّي مدينة دمشق ومحيطها الريفي قديم جًّدا. إلا أنه في تطور مستمر ومن الصعوبة تأكيد فكرة كونه ثابتاً لا يتغيّر. انطلاقاً من مصادر فقهية متنوعة، تطرح هذه المقالة تساؤلاتٍ عن القواعد والممارسات والإجراءات الإدارية والفقهية المَرعية في مجال توزيع المياه في دمشق وريفها في القرن الثامن عشر. تبين هذه المقالة دور السلطات القانونية والسياسية في الاعتناء بالنظام المائي وتدرس بإمعان تدخلاتها في النزاعات الناشئة بين أصحاب الحق في الماء

    Does masting scale with plant size? High reproductive variability and low synchrony in small and unproductive individuals

    Get PDF
    Background and Aims In a range of plant species, the distribution of individual mean fecundity is skewed and dominated by a few highly fecund individuals. Larger plants produce greater seed crops, but the exact nature of the relationship between size and reproductive patterns is poorly understood. This is especially clear in plants that reproduce by exhibiting synchronized quasi-periodic variation in fruit production, a process called masting. Methods We investigated covariation of plant size and fecundity with individual-plant-level masting patterns and seed predation in 12 mast-seeding species: Pinus pinea, Astragalus scaphoides, Sorbus aucuparia, Quercus ilex, Q. humilis, Q. rubra, Q. alba, Q. montana, Chionochloa pallens, C. macra, Celmisia lyallii and Phormium tenax. Key Results Fecundity was non-linearly related to masting patterns. Small and unproductive plants frequently failed to produce any seeds, which elevated their annual variation and decreased synchrony. Above a low fecundity threshold, plants had similar variability and synchrony, regardless of their size and productivity. Conclusions Our study shows that within-species variation in masting patterns is correlated with variation in fecundity, which in turn is related to plant size. Low synchrony of low-fertility plants shows that the failure years were idiosyncratic to each small plant, which in turn implies that the small plants fail to reproduce because of plant-specific factors (e.g. internal resource limits). Thus, the behaviour of these sub-producers is apparently the result of trade-offs in resource allocation and environmental limits with which the small plants cannot cope. Plant size and especially fecundity and propensity for mast failure years play a major role in determining the variability and synchrony of reproduction in plants

    Does masting scale with plant size? High reproductive variability and low synchrony in small and unproductive individuals

    Get PDF
    Centro de Investigación Forestal (CIFOR)In a range of plant species, the distribution of individual mean fecundity is skewed and dominated by a few highly fecund individuals. Larger plants produce greater seed crops, but the exact nature of the relationship between size and reproductive patterns is poorly understood. This is especially clear in plants that reproduce by exhibiting synchronized quasi-periodic variation in fruit production, a process called masting.The study was supported by the Polish National Science Centre (2017/24/C/NZ8/00151), the Polish State Committee for Scientific Research (6 P04G 045 21, 3 P04G 111 25), the Polish Ministry of Science and Higher Education (N304 362938), the US National Science Foundation (DEB 165511, DEB-02-40963, DEB-05-15756, DEB-10-20889, DBI-9978807, DEB-0642594, DEB-1556707), the Wilkes University Fenner Endowment, USDA/NIFA grant 2017-03807, the Hatch Act (225165) through the USDA National Institute of Food and Agriculture, PROPINEA (CC-16-095, AGL-2017-83828-C2), FORASSEMBLY (CGL2015-70558-P), BEEMED (SGR913) and a Marsden Fund grant (UOC1401).Peer reviewed9 Pág

    Sex-Specific Genetic Associations for Barrett's Esophagus and Esophageal Adenocarcinoma

    Get PDF
    Acknowledgments We thank Dr Stuart MacGregor for his input on the study proposal and review of prior versions of this manuscript. We also thank all patients and controls for participating in this study. The MD Anderson controls were drawn from dbGaP (study accession: phs000187.v1.p1). Genotyping of these controls were done through the University of Texas MD Anderson Cancer Center (UTMDACC) and the Johns Hopkins University Center for Inherited Disease Research (CIDR). We acknowledge the principal investigators of this study: Christopher Amos, Qingyi Wei, and Jeffrey E. Lee. Controls from the Genome-Wide Association Study of Parkinson Disease were obtained from dbGaP (study accession: phs000196.v2.p1). This work, in part, used data from the National Institute of Neurological Disorders and Stroke (NINDS) dbGaP database from the CIDR: NeuroGenetics Research Consortium Parkinson’s disease study. We acknowledge the principal investigators and coinvestigators of this study: Haydeh Payami, John Nutt, Cyrus Zabetian, Stewart Factor, Eric Molho, and Donald Higgins. Controls from the Chronic Renal Insufficiency Cohort (CRIC) were drawn from dbGaP (study accession: phs000524.v1.p1). The CRIC study was done by the CRIC investigators and supported by the National Institute of Diabetes and Digestive and Kidney Diseases (NIDDK). Data and samples from CRIC reported here were supplied by NIDDK Central Repositories. This report was not prepared in collaboration with investigators of the CRIC study and does not necessarily reflect the opinions or views of the CRIC study, the NIDDK Central Repositories, or the NIDDK. We acknowledge the principal investigators and the project officer of this study: Harold I Feldman, Raymond R Townsend, Lawrence J. Appel, Mahboob Rahman, Akinlolu Ojo, James P. Lash, Jiang He, Alan S Go, and John W. Kusek. The following UK hospitals participated in sample collection through the Stomach and Oesophageal Cancer Study (SOCS) collaboration network: Addenbrooke’s Hospital, University College London, Bedford Hinchingbrooke Hospital, Peterborough City Hospital, West Suffolk Norfolk and Norwich University Hospital, Churchill Hospital, John Hospital, Velindre Hospital, St Bartholomew’s Hospital, Queen’s Burton, Queen Elisabeth Hospital, Diana Princess of Wales, Scunthorpe General Hospital, Royal Devon & Exeter Hospital, New Cross Hospital, Belfast City Hospital, Good Hope Hospital, Heartlands Hospital, South Tyneside District General Hospital, Cumberland Infirmary, West Cumberland Hospital, Withybush General Hospital, Stoke Mandeville Hospital, Wycombe General Hospital, Wexham Park Hospital, Southend Hospital, Guy’s Hospital, Southampton General Hospital, Bronglais General Hospital, Aberdeen Royal Infirmary, Manor Hospital, Clatterbridge Centre for Oncology, Lincoln County Hospital, Pilgrim Hospital, Grantham & District Hospital, St Mary’s Hospital London, Croydon University Hospital, Whipps Cross University Hospital, Wansbeck General Hospital, Hillingdon Hospital, Milton Keynes General Hospital, Royal Gwent Hospital, Tameside General Hospital, Castle Hill Hospital, St Richard’s Hospital, Ipswich Hospital, St Helens Hospital, Whiston Hospital, Countess of Chester Hospital, St Mary’s Hospital IOW, Queen Alexandra Hospital, Glan Clwyd Hospital, Wrexham Maelor Hospital, Darent Valley Hospital, Royal Derby Hospital, Derbyshire Royal Infirmary, Scarborough General Hospital, Kettering General Hospital, Kidderminster General Hospital, Royal Lancaster Infirmary, Furness General Hospital, Westmorland General Hospital, James Cook University Hospital, Friarage Hospital, Stepping Hill Hospital, St George’s Hospital London, Doncaster Royal Infirmary, Maidstone Hospital, Tunbridge Hospital, Prince Charles Hospital, Hartlepool Hospital, University Hospital of North Tees, Ysbyty Gwynedd, St. Jame’s University Hospital, Leeds General Infirmary, North Hampshire Hospital, Royal Preston Hospital, Chorley and District General, Airedale General Hospital, Huddersfield Royal Infirmary, Calderdale Royal Hospital, Torbay District General Hospital, Leighton Hospital, Royal Albert Edward Infirmary, Royal Surrey County Hospital, Bradford Royal Infirmary, Burnley General Hospital, Royal Blackburn Hospital, Royal Sussex County Hospital, Freeman Hospital, Royal Victoria Infirmary, Victoria Hospital Blackpool, Weston Park Hospital, Royal Hampshire County Hospital, Conquest Hospital, Royal Bournemouth General Hospital, Mount Vernon Hospital, Lister Hospital, William Harvey Hospital, Kent and Canterbury Hospital, Great Western Hospital, Dumfries and Galloway Royal Infirmary, Poole General Hospital, St Hellier Hospital, North Devon District Hospital, Salisbury District Hospital, Weston General Hospital, University Hospital Coventry, Warwick Hospital, George Eliot Hospital, Alexandra Hospital, Nottingham University Hospital, Royal Chesterfield Hospital, Yeovil District Hospital, Darlington Memorial Hospital, University Hospital of North Durham, Bishop Auckland General Hospital, Musgrove Park Hospital, Rochdale Infirmary, North Manchester General, Altnagelvin Area Hospital, Dorset County Hospital, James Paget Hospital, Derriford Hospital, Newham General Hospital, Ealing Hospital, Pinderfields General Hospital, Clayton Hospital, Dewsbury & District Hospital, Pontefract General Infirmary, Worthing Hospital, Macclesfield Hospital, University Hospital of North Staffordshire, Salford Royal Hospital, Royal Shrewsbury Hospital, and Manchester Royal Infirmary. Conflict of interest The authors disclose no conflicts. Funding This work was primarily funded by the National Institutes of Health (NIH) (R01CA136725). The funders of the study had no role in the design, analysis, or interpretation of the data, nor in writing or publication decisions related to this article. Jing Dong was supported by a Research Training Grant from the Cancer Prevention and Research Institute of Texas (CPRIT; RP160097) and the Research and Education Program Fund, a component of the Advancing a Healthier Wisconsin endowment at the Medical College of Wisconsin (AHW). Quinn T. Ostrom was supported by RP160097. Puya Gharahkhani was supported by a grant from National Health and Medical Research Council of Australia (1123248). Geoffrey Liu was supported by the Alan B. Brown Chair in Molecular Genomics and by the CCO Chair in Experimental Therapeutics and Population Studies. The University of Cambridge received salary support for Paul D. Pharoah from the NHS in the East of England through the Clinical Academic Reserve. Brian J. Reid was supported by a grant (P01CA91955) from the NIH/National Cancer Institute (NCI). Nicholas J. Shaheen was supported by a grant (P30 DK034987) from NIH. Thomas L. Vaughan was supported by NIH Established Investigator Award K05CA124911. Michael B. Cook was supported by the Intramural Research Program of the NCI, NIH, Department of Health and Human Services. Douglas A. Corley was supported by the NIH grants R03 KD 58294, R21DK077742, and RO1 DK63616 and NCI grant R01CA136725. Carlo Maj was supported by the BONFOR-program of the Medical Faculty, University of Bonn (O-147.0002). Jesper Lagergren was supported by the United European Gastroenterology (UEG) Research Prize. David C. Whiteman was supported by fellowships from the National Health and Medical Research Council of Australia (1058522, 1155413).Peer reviewedPostprin

    No Association Between Vitamin D Status and Risk of Barrett's Esophagus or Esophageal Adenocarcinoma: A Mendelian Randomization Study.

    Get PDF
    BACKGROUND & AIMS: Epidemiology studies of circulating concentrations of 25 hydroxy vitamin D (25(OH)D) and risk of esophageal adenocarcinoma (EAC) have produced conflicting results. We conducted a Mendelian randomization study to determine the associations between circulating concentrations of 25(OH)D and risks of EAC and its precursor, Barrett's esophagus (BE). METHODS: We conducted a Mendelian randomization study using a 2-sample (summary data) approach. Six single-nucleotide polymorphisms (SNPs; rs3755967, rs10741657, rs12785878, rs10745742, rs8018720, and rs17216707) associated with circulating concentrations of 25(OH)D were used as instrumental variables. We collected data from 6167 patients with BE, 4112 patients with EAC, and 17,159 individuals without BE or EAC (controls) participating in the Barrett's and Esophageal Adenocarcinoma Consortium, as well as studies from Bonn, Germany, and Cambridge and Oxford, United Kingdom. Analyses were performed separately for BE and EAC. RESULTS: Overall, we found no evidence for an association between genetically estimated 25(OH)D concentration and risk of BE or EAC. The odds ratio per 20 nmol/L increase in genetically estimated 25(OH)D concentration for BE risk estimated by combining the individual SNP association using inverse variance weighting was 1.21 (95% CI, 0.77-1.92; P = .41). The odds ratio for EAC risk, estimated by combining the individual SNP association using inverse variance weighting, was 0.68 (95% CI, 0.39-1.19; P = .18). CONCLUSIONS: In a Mendelian randomization study, we found that low genetically estimated 25(OH)D concentrations were not associated with risk of BE or EAC

    Genome-wide association studies in oesophageal adenocarcinoma and Barrett's oesophagus: a large-scale meta-analysis.

    Get PDF
    BACKGROUND: Oesophageal adenocarcinoma represents one of the fastest rising cancers in high-income countries. Barrett's oesophagus is the premalignant precursor of oesophageal adenocarcinoma. However, only a few patients with Barrett's oesophagus develop adenocarcinoma, which complicates clinical management in the absence of valid predictors. Within an international consortium investigating the genetics of Barrett's oesophagus and oesophageal adenocarcinoma, we aimed to identify novel genetic risk variants for the development of Barrett's oesophagus and oesophageal adenocarcinoma. METHODS: We did a meta-analysis of all genome-wide association studies of Barrett's oesophagus and oesophageal adenocarcinoma available in PubMed up to Feb 29, 2016; all patients were of European ancestry and disease was confirmed histopathologically. All participants were from four separate studies within Europe, North America, and Australia and were genotyped on high-density single nucleotide polymorphism (SNP) arrays. Meta-analysis was done with a fixed-effects inverse variance-weighting approach and with a standard genome-wide significance threshold (p<5 × 10-8). We also did an association analysis after reweighting of loci with an approach that investigates annotation enrichment among genome-wide significant loci. Furthermore, the entire dataset was analysed with bioinformatics approaches-including functional annotation databases and gene-based and pathway-based methods-to identify pathophysiologically relevant cellular mechanisms. FINDINGS: Our sample comprised 6167 patients with Barrett's oesophagus and 4112 individuals with oesophageal adenocarcinoma, in addition to 17 159 representative controls from four genome-wide association studies in Europe, North America, and Australia. We identified eight new risk loci associated with either Barrett's oesophagus or oesophageal adenocarcinoma, within or near the genes CFTR (rs17451754; p=4·8 × 10-10), MSRA (rs17749155; p=5·2 × 10-10), LINC00208 and BLK (rs10108511; p=2·1 × 10-9), KHDRBS2 (rs62423175; p=3·0 × 10-9), TPPP and CEP72 (rs9918259; p=3·2 × 10-9), TMOD1 (rs7852462; p=1·5 × 10-8), SATB2 (rs139606545; p=2·0 × 10-8), and HTR3C and ABCC5 (rs9823696; p=1·6 × 10-8). The locus identified near HTR3C and ABCC5 (rs9823696) was associated specifically with oesophageal adenocarcinoma (p=1·6 × 10-8) and was independent of Barrett's oesophagus development (p=0·45). A ninth novel risk locus was identified within the gene LPA (rs12207195; posterior probability 0·925) after reweighting with significantly enriched annotations. The strongest disease pathways identified (p<10-6) belonged to muscle cell differentiation and to mesenchyme development and differentiation. INTERPRETATION: Our meta-analysis of genome-wide association studies doubled the number of known risk loci for Barrett's oesophagus and oesophageal adenocarcinoma and revealed new insights into causes of these diseases. Furthermore, the specific association between oesophageal adenocarcinoma and the locus near HTR3C and ABCC5 might constitute a novel genetic marker for prediction of the transition from Barrett's oesophagus to oesophageal adenocarcinoma. Fine-mapping and functional studies of new risk loci could lead to identification of key molecules in the development of Barrett's oesophagus and oesophageal adenocarcinoma, which might encourage development of advanced prevention and intervention strategies. FUNDING: US National Cancer Institute, US National Institutes of Health, National Health and Medical Research Council of Australia, Swedish Cancer Society, Medical Research Council UK, Cambridge NIHR Biomedical Research Centre, Cambridge Experimental Cancer Medicine Centre, Else Kröner Fresenius Stiftung, Wellcome Trust, Cancer Research UK, AstraZeneca UK, University Hospitals of Leicester, University of Oxford, Australian Research Council

    A Wedding Gone Wrong The Rather Worldly Woes of a Rather Wealthy Qādirī Sufi Shaykh. Two 18th Century Documents from the Ottoman Court Records of Ḥamā and Aleppo

    Get PDF
    A rather intricate legal case took place first in Ḥamā’s and then in Aleppo’s Ottoman Islamic courts around the middle of the 18th century. The setting, the social standing of the individuals involved, and the alleged circumstances of the case all contribute to make clear that this was not just another routine court case. Altogether, the two documents are a good example of the scope and quality of the information preserved in the archives of local courts and they both demonstrate the extent and modes of implementation of Islamic law in a specific Ottoman milieu. The long inventory of personal property in the Aleppo document gives us a good idea of the social status and affluence enjoyed by the plaintiff – a member of the Jīlānī/Qādirī family - and an interesting insight into material culture and what constituted wealth and affluence at the time.

    Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

    Get PDF
    A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements
    corecore