312 research outputs found
Compilation of extended recursion in call-by-value functional languages
This paper formalizes and proves correct a compilation scheme for
mutually-recursive definitions in call-by-value functional languages. This
scheme supports a wider range of recursive definitions than previous methods.
We formalize our technique as a translation scheme to a lambda-calculus
featuring in-place update of memory blocks, and prove the translation to be
correct.Comment: 62 pages, uses pi
Pseudoconvex domains spread over complex homogeneous manifolds
Using the concept of inner integral curves defined by Hirschowitz we
generalize a recent result by Kim, Levenberg and Yamaguchi concerning the
obstruction of a pseudoconvex domain spread over a complex homogeneous manifold
to be Stein. This is then applied to study the holomorphic reduction of
pseudoconvex complex homogeneous manifolds X=G/H. Under the assumption that G
is solvable or reductive we prove that X is the total space of a G-equivariant
holomorphic fiber bundle over a Stein manifold such that all holomorphic
functions on the fiber are constant.Comment: 21 page
Variable binding, symmetric monoidal closed theories, and bigraphs
This paper investigates the use of symmetric monoidal closed (SMC) structure
for representing syntax with variable binding, in particular for languages with
linear aspects. In our setting, one first specifies an SMC theory T, which may
express binding operations, in a way reminiscent from higher-order abstract
syntax. This theory generates an SMC category S(T) whose morphisms are, in a
sense, terms in the desired syntax. We apply our approach to Jensen and
Milner's (abstract binding) bigraphs, which are linear w.r.t. processes. This
leads to an alternative category of bigraphs, which we compare to the original.Comment: An introduction to two more technical previous preprints. Accepted at
Concur '0
Recommended from our members
Supporting Resource Discovery Among Public Internet Archives Using a Spectrum of Information Quality ; CU-CS-487-90
Silicones in experimental peptic ulceration
In the search for a silicone as uniformly successful as the one used earlier, in preventing and treating experimental peptic ulceration in animals, 30 different silicones were used in pylorus-ligated rats, Mann-Williamson dogs and histamine ulcerated dogs. None were found to be uniformly effective and the initial encouraging results reported by us could not be reproduced with subsequent silicone preparations.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44435/1/10620_2005_Article_BF02232022.pd
Phenotype of dendritic cells generated in the presence of non-small cell lung cancer antigens - preliminary report.
A formalized general theory of syntax with bindings
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a rich collection of properties of the standard operators on terms, such as substitution and freshness. It also includes induction and recursion principles and support for semantic interpretation, all tailored for smooth interaction with the bindings and the standard operators
Clinical research of genetically modified dendritic cells in combination with cytokine-induced killer cell treatment in advanced renal cancer
RNASeq analysis of differentiated keratinocytes reveals a massive response to late events during human papillomavirus type 16 infection, including loss of epithelial barrier function.
The human papillomavirus (HPV) replication cycle is tightly linked to epithelial cell differentiation. To examine HPV-associated changes in the keratinocyte transcriptome, RNAs isolated from undifferentiated and differentiated cell populations of normal, spontaneously immortalised, keratinocytes (NIKS), and NIKS stably transfected with HPV16 episomal genomes (NIKS16), were compared using RNASeq. HPV16 infection altered expression of 2862 cellular genes. Next, to elucidate the role of keratinocyte gene expression in late events during the viral life cycle, RNASeq was carried out on triplicate differentiated populations of NIKS (uninfected) and NIKS16 (infected). Of the top 966 genes altered (>log2 = 1.8, 3.5-fold change) 670 genes were downregulated and 296 genes were up-regulated. HPV down-regulated many genes involved in epithelial barrier function that involves structural resistance to the environment and immunity to infectious agents. For example, HPV infection repressed expression of the differentiated keratinocyte-specific pattern recognition receptor TLR7, the Langerhans cell chemoattractant, CCL20, and proinflammatory cytokines, IL1A and IL1B. However, IRF1, IFNκ and viral restriction factors (IFIT1, 2, 3, 5, OASL, CD74, RTP4) were up-regulated. HPV infection abrogated gene expression associated with the physical epithelial barrier, including keratinocyte cytoskeleton, intercellular junctions and cell adhesion. qPCR and western blotting confirmed changes in expression of seven of the most significantly altered mRNAs. Expression of three genes showed statistically significant changes during cervical disease progression in clinical samples. Taken together, the data indicate that HPV infection manipulates the differentiating keratinocyte transcriptome to create an environment conducive to productive viral replication and egress.IMPORTANCE Human papillomavirus (HPV) genome amplification and capsid formation takes place in differentiated keratinocytes. The viral life cycle is intimately associated with host cell differentiation. Deep sequencing (RNASeq) of RNA from undifferentiated and differentiated uninfected and HPV16-positive keratinocytes showed that almost 3000 genes were differentially expressed in keratinocyte due to HPV16 infection. Strikingly, the epithelial barrier function of differentiated keratinocytes, comprising keratinocyte immune function and cellular structure, was found to be disrupted. These data provide new insights into virus-host interaction crucial for production of infectious virus and reveal that HPV infection remodels keratinocytes for completion of the virus replication cycle
- …