solc-verify: A Modular Verifier for Solidity Smart Contracts

We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions using modular program analysis and SMT solvers. Built on top of the Solidity compiler, solc-verify reasons at the level of the contract source code, as opposed to the more common approaches that operate at the level of Ethereum bytecode. This enables solc-verify to effectively reason about high-level contract properties while modeling low-level language semantics precisely. The contract properties, such as contract invariants, loop invariants, and function pre- and post-conditions, can be provided as annotations in the code by the developer. This enables automated, yet user-friendly formal verification for smart contracts. We demonstrate solc-verify by examining real-world examples where our tool can effectively find bugs and prove correctness of non-trivial properties with minimal user effort.Comment: Authors' manuscript. Published in S. Chakraborty and J. A. Navas (Eds.): VSTTE 2019, LNCS 12031, 2020. The final publication is available at Springer via https://doi.org/10.1007/978-3-030-41600-3_1

Segmental and total uniparental isodisomy (UPiD) as a disease mechanism in autosomal recessive lysosomal

Analyses in our diagnostic DNA laboratory include genes involved in autosomal recessive (AR) lysosomal storage disorders such as glycogenosis type II (Pompe disease) and mucopolysaccharidosis type I (MPSI, Hurler disease). We encountered 4 cases with apparent homozygosity for a disease-causing sequence variant that could be traced to one parent only. In addition, in a young child with cardiomyopathy, in the absence of other symptoms, a diagnosis of Pompe disease was considered. Remarkably, he presented with different enzymatic and genotypic features between leukocytes and skin fibroblasts. All cases were examined with microsatellite markers and SNP genotyping arrays. We identified one case of total uniparental disomy (UPD) of chromosome 17 leading to Pompe disease and three cases of segmental uniparental isodisomy (UPiD) causing Hurler-(4p) or Pompe disease (17q). One Pompe patient with unusual combinations of features was shown to have a mosaic segmental UPiD of chromosome 17q. The chromosome 17 UPD cases amount to 11% of our diagnostic cohort of homozygous Pompe patients (plus one case of pseudoheterozygosity) where segregation analysis was possible. We conclude that inclusion of parental DNA is mandatory for reliable DNA diagnostics. Mild or unusual phenotypes of AR diseases should alert physicians to the possibility of mosaic segmental UPiD. SNP genotyping arrays are used in diagnostic workup of patients with developmental delay. Our results show that even small Regions of Homozygosity that include telomeric areas are worth reporting, regardless of the imprinting status of the chromosome, as they might indicate segmental UPiD

Mutation analysis of genes that control the G1/S cell cycle in melanoma: TP53, CDKN1A, CDKN2A, and CDKN2B

BACKGROUND: The role of genes involved in the control of progression from the G1 to the S phase of the cell cycle in melanoma tumors in not fully known. The aim of our study was to analyse mutations in TP53, CDKN1A, CDKN2A, and CDKN2B genes in melanoma tumors and melanoma cell lines METHODS: We analysed 39 primary and metastatic melanomas and 9 melanoma cell lines by single-stranded conformational polymorphism (SSCP). RESULTS: The single-stranded technique showed heterozygous defects in the TP53 gene in 8 of 39 (20.5%) melanoma tumors: three new single point mutations in intronic sequences (introns 1 and 2) and exon 10, and three new single nucleotide polymorphisms located in introns 1 and 2 (C to T transition at position 11701 in intron 1; C insertion at position 11818 in intron 2; and C insertion at position 11875 in intron 2). One melanoma tumor exhibited two heterozygous alterations in the CDKN2A exon 1 one of which was novel (stop codon, and missense mutation). No defects were found in the remaining genes. CONCLUSION: These results suggest that these genes are involved in melanoma tumorigenesis, although they may be not the major targets. Other suppressor genes that may be informative of the mechanism of tumorigenesis in skin melanomas should be studied

A methodology for detecting the orthology signal in a PPI network at a functional complex level

Contains fulltext : 93730.pdf (preprint version ) (Open Access)13 p

Intron variants of the p53 gene are associated with increased risk for ovarian cancer but not in carriers of BRCA1 or BRCA2 germline mutations

Two biallelic polymorphisms in introns 3 and 6 of the p53 gene were analysed for a possible risk-modifying effect for ovarian cancer. Germline DNA was genotyped from 310 German Caucasian ovarian cancer patients and 364 healthy controls. We also typed 124 affected and 276 unaffected female carriers with known deleterious BRCA1 or BRCA2 germline mutation from high-risk breast-ovarian cancer families. Genotyping was based on PCR and high-resolution gel electrophoresis. German ovarian cancer patients who carried the rare allele of the MspI restriction fragment length polymorphism (RELP) in intron 6 were found to have an overall 1.93-fold increased risk (95% confidence internal (CI) 1.27–2.91) which further increased with the age at diagnosis of 41–60 years (odds ratio (OR) 2.71, 95% CI 1.10–6.71 for 41–50 and OR 2.44, 95% CI 1.12–5.28 for 51–60). The 16 bp duplication polymorphism in intron 3 was in a strong linkage to the MspI RFLP. In BRCA1 or BRCA2 mutation carriers, no difference in allele frequency was observed for carriers affected or unaffected with ovarian cancer. Our data suggest that intronic polymorphisms of the p53 gene modify the risk for ovarian cancer patients but not in carriers with BRCA1 or BRCA2 mutations. © 1999 Cancer Research Campaig

The Eurasian Modern Pollen Database (EMPD), version 2

The Eurasian (née European) Modern Pollen Database (EMPD) was established in 2013 to provide a public database of high-quality modern pollen surface samples to help support studies of past climate, land cover, and land use using fossil pollen. The EMPD is part of, and complementary to, the European Pollen Database (EPD) which contains data on fossil pollen found in Late Quaternary sedimentary archives throughout the Eurasian region. The EPD is in turn part of the rapidly growing Neotoma database, which is now the primary home for global palaeoecological data. This paper describes version 2 of the EMPD in which the number of samples held in the database has been increased by 60 % from 4826 to 8134. Much of the improvement in data coverage has come from northern Asia, and the database has consequently been renamed the Eurasian Modern Pollen Database to reflect this geographical enlargement. The EMPD can be viewed online using a dedicated map-based viewer at https://empd2.github.io and downloaded in a variety of file formats at https://doi.pangaea.de/10.1594/PANGAEA.909130 (Chevalier et al., 2019)Swiss National Science Foundation | Ref. 200021_16959

The Eurasian Modern Pollen Database (EMPD), version 2

The Eurasian (nee European) Modern Pollen Database (EMPD) was established in 2013 to provide a public database of high-quality modern pollen surface samples to help support studies of past climate, land cover, and land use using fossil pollen. The EMPD is part of, and complementary to, the European Pollen Database (EPD) which contains data on fossil pollen found in Late Quaternary sedimentary archives throughout the Eurasian region. The EPD is in turn part of the rapidly growing Neotoma database, which is now the primary home for global palaeoecological data. This paper describes version 2 of the EMPD in which the number of samples held in the database has been increased by 60% from 4826 to 8134. Much of the improvement in data coverage has come from northern Asia, and the database has consequently been renamed the Eurasian Modern Pollen Database to reflect this geographical enlargement. The EMPD can be viewed online using a dedicated map-based viewer at https://empd2.github.io and downloaded in a variety of file formats at https://doi.pangaea.de/10.1594/PANGAEA.909130 (Chevalier et al., 2019).Peer reviewe

Elucidation of the structure-function relationships in the bacterial transmembrane disulfide oxidoreductase DsbD

EThOS - Electronic Theses Online ServiceGBUnited Kingdo