Evidence Normalization in System FC (Invited Talk)

System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later stages of compilation, and makes it hard to debug the results of type inference and subsequent program transformations. In this paper we present an equality proof simplification algorithm, implemented in GHC, which greatly reduces the size of the target System FC programs

Spartan Daily, September 13, 2017

Volume 149, Issue 9https://scholarworks.sjsu.edu/spartan_daily_2017/1050/thumbnail.jp

Ovine HSP90AA1 Expression Rate Is Affected by Several SNPs at the Promoter under Both Basal and Heat Stress Conditions

The aim of this work was to investigate the association between polymorphisms located at the HSP90AA1 ovine gene promoter and gene expression rate under different environmental conditions, using a mixed model approach. Blood samples from 120 unrelated rams of the Manchega sheep breed were collected at three time points differing in environmental conditions. Rams were selected on the basis of their genotype for the transversion G/C located 660 base pairs upstream the gene transcription initiation site. Animals were also genotyped for another set of 6 SNPs located at the gene promoter. Two SNPs, G/C−660 and A/G−444, were associated with gene overexpression resulting from heat stress. The composed genotype CC−660-AG−444 was the genotype having the highest expression rates with fold changes ranging from 2.2 to 3.0. The genotype AG−522 showed the highest expression levels under control conditions with a fold change of 1.4. Under these conditions, the composed genotype CC−601-TT−524-AG−522-TT−468 is expected to be correlated with higher basal expression of the gene according to genotype frequencies and linkage disequilibrium values. Some putative transcription factors were predicted for binding sites where the SNPs considered are located. Since the expression rate of the gene under alternative environmental conditions seems to depend on the composed genotype of several SNPs located at its promoter, a cooperative regulation of the transcription of the HSP90AA1 gene could be hypothesized. Nevertheless epigenetic regulation mechanisms cannot be discarded.Publishe

Practical Statistics for the LHC

This document is a pedagogical introduction to statistics for particle physics. Emphasis is placed on the terminology, concepts, and methods being used at the Large Hadron Collider. The document addresses both the statistical tests applied to a model of the data and the modeling itself.Comment: presented at the 2011 European School of High-Energy Physics, Cheile Gradistei, Romania, 7-20 September 2011 I expect to release updated versions of this document in the futur

An Analytical Approach to Programs as Data Objects

This essay accompanies a selection of 32 articles (referred to in bold face in the text and marginally marked in the bibliographic references) submitted to Aarhus University towards a Doctor Scientiarum degree in Computer Science.The author's previous academic degree, beyond a doctoral degree in June 1986, is an "Habilitation à diriger les recherches" from the Université Pierre et Marie Curie (Paris VI) in France; the corresponding material was submitted in September 1992 and the degree was obtained in January 1993.The present 32 articles have all been written since 1993 and while at DAIMI.Except for one other PhD student, all co-authors are or have been the author's students here in Aarhus

Ovine HSP90AA1 Expression Rate Is Affected by Several SNPs at the Promoter under Both Basal and Heat Stress Conditions

The aim of this work was to investigate the association between polymorphisms located at the HSP90AA1 ovine gene promoter and gene expression rate under different environmental conditions, using a mixed model approach. Blood samples from 120 unrelated rams of the Manchega sheep breed were collected at three time points differing in environmental conditions. Rams were selected on the basis of their genotype for the transversion G/C located 660 base pairs upstream the gene transcription initiation site. Animals were also genotyped for another set of 6 SNPs located at the gene promoter. Two SNPs, G/C-660 and A/G-444, were associated with gene overexpression resulting from heat stress. The composed genotype CC-660-AG-444 was the genotype having the highest expression rates with fold changes ranging from 2.2 to 3.0. The genotype AG-522 showed the highest expression levels under control conditions with a fold change of 1.4. Under these conditions, the composed genotype CC-601-TT-524-AG-522-TT-468 is expected to be correlated with higher basal expression of the gene according to genotype frequencies and linkage disequilibrium values. Some putative transcription factors were predicted for binding sites where the SNPs considered are located. Since the expression rate of the gene under alternative environmental conditions seems to depend on the composed genotype of several SNPs located at its promoter, a cooperative regulation of the transcription of the HSP90AA1 gene could be hypothesized. Nevertheless epigenetic regulation mechanisms cannot be discarded. © 2013 Salces-Ortiz et al