Replication and formalization of (Co)Church encoded shortcut fusion: Master's Thesis

When writing functional code that composes multiple recursive functions that operate on a datastrcuture, we often incur a lot of computational overhead allocating memory, only to later read, use, and discard this information.<br/>This can be alleviated using fusion, a technique that combines these multiple recursive datastructure traversals into...

L^p-estimates for the square root of elliptic systems with mixed boundary conditions II

We show L^p-estimates for square roots of second order complex elliptic systems L in divergence form on open sets in R^d subject to mixed boundary conditions. The underlying set is supposed to be locally uniform near the Neumann boundary part, and the Dirichlet boundary part is Ahlfors–David regular. The lower endpoint for...

Isomorphism is equality: A Coq formalisation of the proofs Isomorphism is equality by Coquand and Danielsson

This paper will give a formalisation of proofs, given in the paper "isomorphism is equality", in the proof assistant language Coq. The formalisations will be added to UniMath library. A library containing machine readable proofs in the mathematical field of Homotopy Type theory, a relatively new field which combines Homotopy Theory and Martin...

First-principles investigations of arsenate doping into the ettringite lattice

Hazardous wastes are commonly immobilized using cementitious materials. Ettringite (Ca₆Al₂(OH)₁₂(SO₄)₃∙26H₂O) is one of the main components of hydrated cement and is known to stabilize anionic species. Thus, it is a promising material for the stabilization of arsenate (As(V))...

Impact of Institutional Pressures on External Program Manager Involvement: Evidence from Large Projects in China

External program manager involvement can provide professional and systematic management services to owners. It can help to manage and coordinate different subprojects and ensure the achievement of the overall strategic goals of large projects. The promotion of external program manager involvement is not only efficiency-driven, but the...

On systems with quasi-discrete spectrum

We re-examine the theory of systems with quasi-discrete spectrum initiated in the 1960's by Abramov, Hahn, and Parry. In the first part, we give a simpler proof of the Hahn-Parry theorem stating that each minimal topological system with quasidiscrete spectrum is isomorphic to a certain affine automorphism system on some compact Abelian group....

Representation and Similarity: Suárez on Necessary and Sufficient Conditions of Scientific Representation

The notion of scientific representation plays a central role in current debates on modeling in the sciences. One or maybe the major epistemic virtue of successful models is their capacity to adequately represent specific phenomena or target systems. According to similarity views of scientific representation, models should be similar to their...

Direct Oxidation of Benzene to Phenol: investigation of the active iron species in [Fe,Al]MFI catalysts by 57Fe Mössbauer spectroscopy

Steam-treated isomorphously substituted [Fe,Al]MFI zeolite is known to exhibit superior catalytic performance in the direct oxidation of benzene to phenol, using N2O as oxidant (BTOP). However, despite extensive efforts, the nature of the active sites in the [Fe,Al]MFI catalyst for the BTOP reaction is still largely unknown. However, recent...

On the action of Lipschitz functions on vector-valued random sums

Finitary codes and isomorphisms