Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Crystallisation and crystal forms of carbohydrate derivatives

This thesis is focused on the synthesis and solid state analysis of carbohydrate derivatives, including many novel compounds. Although the synthetic chemistry surrounding carbohydrates is well established in the literature, the crystal chemistry of carbohydrates is less well studied. Therefore this research aims to improve understanding of the solid state properties of carbohydrate derivatives through gaining more information on their supramolecular bonding. Chapter One focuses on an introduction to the solid state of organic compounds, with a background to crystallisation, including issues that can arise during crystal growth. Chapter Two is based on glucopyranuronate derivatives which are understudied in terms of their solid state forms. This chapter reports on the formation of novel glucuronamides and utilising the functionality of the amide bond for crystallisation. TEMPO oxidation was completed to form glucopyranuronates by oxidation of the primary alcohol groups of glucosides to the carboxylic acid derivatives, to increase functionality for enhanced crystal growth. Chapter Three reports on the synthesis of glucopyranoside derivatives by O-glycosylation reactions and displays crystal structures, including a number of previously unsolved acetate protected and deprotected crystal structures. More complex glycoside derivatives were also researched in an aim to study the resultant supramolecular motifs. Chapter Four contains the synthesis of aryl cellobioside derivatives including the novel crystal structures that were solved for the acetate protected and deprotected compounds. Research was carried out to determine if 1-deoxycellodextrins could act as putative isostructures for cellulose. Our research displays the presence of isostructural references with 1-deoxycellotriose shown to be similar to cellulose III11, 1-deoxycellotetraose correlates with cellulose IV11 and 1-deoxycellopentose shows isostructurality similar to that of cellulose II. Chapter Five contains the full experimental details and spectral characterisation of all novel compounds synthesised in this project and relevant crystallographic information.

Disciplined Seeing: Forms of Christianity and Forms of Life

VARIATION FORMS: A SURVEY THROUGH FOUR CENTURIES OF VIOLIN REPERTOIRE

Variation, or the re-working of existing musical material, has consistently attracted the attention of composers and performers throughout the history of Western music. In three recorded recitals at the University of Maryland School of Music, this dissertation project explores a diverse range of expressive possibilities for violin in seven types of variation form in Austro-German works for violin from the 17th through the 20th centuries. The first program, consisting of Baroque Period works, performed on period instrument, includes the divisions on “John come kiss me now” from The Division Violin by Thomas Baltzar (1631 – 1663), constant bass variations in Sonate Unarum Fidium by Johann Heinrich von Schmelzer (1623 – 1680), arbitrary variation in Sonata for Violin and Continuo in E Major, Op. 1, No. 12 “Roger” by George Friedrich Händel (1685 – 1759), and French Double style, melodic-outline variation in Partita for Unaccompanied Violin in B Minor by Johan Sebastian Bach (1685 – 1750). Theme and Variations, a popular Classical Period format, is represented by the Sonata for Piano and Violin in G Major K. 379 by Wolfgang Amadeus Mozart (1756 – 1791) and Sonata for Violin and Piano in A Major, Op. 47 No. 9 the “Kreutzer” by Ludwig van Beethoven (1770 – 1827). Fantasy for Piano and Violin in C Major D. 934 by Franz Schubert (1797 – 1828) represents the 19th century fantasia variation. In these pieces, the piano and violin parts are densely interwoven, having equal importance. Many 20th century composers incorporated diverse types of variations in their works and are represented in the third recital program comprising: serial variation in the Phantasy for Violin and Piano Op.47 of Arnold Schoenberg (1874 – 1951); a strict form of melodic-outline variation in Sonate für Violine allein, Op. 31, No. 2 of Paul Hindemith (1895 – 1963); ostinato variation in Johan Halvorsen’s (1864 – 1935) Passacaglia for Violin and Viola, after G. F. Handel’s Passacaglia from the Harpsichord Suite No. 7 in G Minor. Pianist Audrey Andrist, harpsichordist Sooyoung Jung, and violist Dong-Wook Kim assisted in these performances.

Effects of different molecular forms of FHA on IL-10 and IL-12 secretions by human dendritic cells.

info:eu-repo/semantics/nonPublished

Hopf hypersurfaces in pseudo-Riemannian complex and para-complex space forms

The study of real hypersurfaces in pseudo-Riemannian complex space forms and para-complex space forms, which are the pseudo-Riemannian generalizations of the complex space forms, is addressed. It is proved that there are no umbilic hypersurfaces, nor real hypersurfaces with parallel shape operator in such spaces. Denoting by J be the complex or para-complex structure of a pseudo-complex or para-complex space form respectively, a non-degenerate hypersurface of such space with unit normal vector field N is said to be Hopf if the tangent vector field JN is a principal direction. It is proved that if a hypersurface is Hopf, then the corresponding principal curvature (the Hopf curvature) is constant. It is also observed that in some cases a Hopf hypersurface must be, locally, a tube over a complex (or para-complex) submanifold, thus generalizing previous results of Cecil, Ryan and Montiel.

Low temperature X-ray structures of two crystalline forms (I) and (II) of the pyrimidine derivative and sodium channel blocker BW1003C87: 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine

The X-ray crystal structures of two crystalline forms of 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine, C10H7Cl3N4 (code name BW1003C87) (I) and (II), have been carried out at liquid nitrogen temperature. A detailed comparison of the two structures is given. Both are centrosymmetric, with structure (I) in the triclinic space group P (1) over bar unit cell a = 6.4870(10), b = 9.216(2), c = 12.016(2) angstrom, alpha = 75.78(3)degrees, beta = 89.95(3)degrees, gamma = 83.45(3)degrees, V = 691.5(2) angstrom(3), Z = 2 and density (calculated) = 1.544 Mg/m(3); and (II) in the monoclinic space group P2(1)/c, unit cell a = 12.000(2), b = 7.518(2), c = 13.450(3) angstrom, beta = 97.87(3)degrees, V = 1202.0(5) angstrom(3), Z = 4, Density (calculated) = 1.600 Mg/m(3). Structure (I) includes a solvated CH3OH in the lattice. Final R indices [I > 2sigma(I)] are R1 = 0.0427, wR2 = 0.1075 for (I) and R1 = 0.0487, wR2 = 0.1222 for (II). R indices (all data) are R1 = 0.0470, wR2 = 0.1118 for (I) and R1 = 0.0623, wR2 = 0.1299 for (II). 5-Phenyl-2,4 diaminopyrimidine and 6-phenyl-1,2,4 triazine derivatives, which include lamotrigine (3,5-diamino-6-(2,3-dichlorophenyl)-1,2,4-triazine), have been investigated for some time for their effects on the central nervous system. Both lamotrigine and 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine (code name BW1003C87), the subject of the present study, are anticonvulsant as well as neuroprotective in models of brain ischaemia and in a model of white matter ischaemia. BW1003C87 is a sodium channel blocker which also reduces the release of the neurotransmitter glutamate. The three dimensional structures reported here form part of a newly developed data base for the detailed investigation of members of this drug family and their biological activities.

Investigation into a modular rule-based testing method for testing business rules in scheduling applications

Rule testing in transport scheduling is a complex and potentially costly business problem. This paper proposes an automated method for the rule-based testing of business rules using the extensible Markup Language for rule representation and transportation. A compiled approach to rule execution is also proposed for performance-critical scheduling systems.

Safety issues with the South African Pebble Bed Modular Reactor: when were the issues apparent? A briefing paper

This is a briefing report on when the safety issues identified in a July 2008 report by Jülich should have become apparent In July 2008, the German Jülich nuclear research centre published a report entitled ‘A safety re-evaluation of the AVR pebble bed reactor operation and its consequences for future HTR concepts.’ It concluded: ‘pebble bed HTRs require additional safety related R&D effort and updating of safety analyses before construction.’