Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

Online Anonymity and the Kantian Publicity Principle: Can the Internet Solve the Paradox of Tyranny?

Immanuel Kant’s publicity maxim states that other-regarding actions are wrong if their maxim is not compatible with their being made public. This has the effect of forbidding dissent or rebellion against tyranny, since rebels cannot make their intentions and plans public. However, new internet technologies offer public speech from behind the “shield” of anonymity, allowing dissent to be public but preventing reprisals from tyrants. This thesis examines not only this possibility, but the value of internet-based discursive spaces for politics, their viability as a mode for political communication, and their implications for Classical and Enlightenment approaches to politics and intellectual virtue. Anonymous internet communications favour logos-based reasoning and discourse, which, in the liberal-democratic tradition, is preferable to phronesis and its attendant elitism and chauvinism. These technologies can open new vistas for liberal-democratic politics.

The neo-liberal state and the crisis of public service broadcasting in the Anglo-American democracies /

The NeO'liberal State and the Crisis ofPublic Service Broadcasting in the Anglo-American Democracies The purpose ofthis analysis ofthe present condition ofpublic service broadcasting in the Anglo- American democracies was to investigate whether such media can still be regarded as the primarypublic spherefor a dialogue between each nation 's civil society and the State. The motivationfor this thesis was based on a presumption that such fora for public discussion on the central issues of each society have become viewed as less relevant bypoliticians andpolicy-makers and thepublics they were intended to serve in the Anglo-American democracies over thepast two decades. It is speculated that this is the case because ofa beliefthat the post-war consensus between the respective States andpublics that led to the construction of the Keynesian Welfare State and the notion ofpublic service broadcasting has been displaced by an individualistic, neo-liberal, laissez-faire ideology. In other words, broadcasting as a consumer-oriented, commercial commodity has superseded concerns pertaining to the importance ofthe public interest. The methodology employed in this thesis is a comparative analysisfrom a criticalpolitical economy perspective. It was considered appropriate to focus on the United Kingdom, Australia, Canada and the\ United States because they comprise the four largest Anglo-American nations with democratic political systems andprimarily market economies. Justificationfor this particular sample is reinforced by thefact that case study countries also share a common socio-political and economic tradition. The evidence assembledfor this thesis consisted almost exclusively ofexisting literature on the subjects ofpublic service broadcasting, global economic andpolitical integration, and the ascendance ofthe 'free-market ' ethos in Western democracies since the late mid- to late-1970s. In essence, this thesis could be considered as a reinterpretation ofthe existing literature relevant to these issues. Several important common features werefound among the political, economic and broadcasting systems of the four case study nations. It is proposed that the prevalence of the neo-liberal world view throughout the political and policy environments of the four countries has undermined the stability and credibility of each nation 's national public service broadcasting organization, although with varying intensity and effect,. Deregulation ofeach nation 's broadcasting system and the supremacy ofthe notion of 'consumer sovereignty' have marginalized the view of broadcasting on any basis other than strictly economic criteria in thefour case study countries. This thesis concludes that,for a reconstruction ofa trulyparticipatory anddemocraticpublicsphere to be realized in the present as well as thefuture, a reassessment ofthe conventional concept ofthe 'public sphere ' is necessary. Therefore, it is recommended that thefocus ofpolicy-makers in each Anglo-American democracy be redirectedfrom that which conceived ofan all-encompassing, large, state-ownedand operated public broadcasting service toward a view which considers alternativeforms ofpublic communication, such as local community and ethnic broadcasting operations, that are likely to be more responsive to the needs of the increasingly diverse and heterogeneous populations that comprise the modem Anglo-American democracies. The traditional conception of public broadcasters must change in accordance with its contemporary environment if the fundamental principles of the public sphere and public service broadcasting are to be realized.

Phonon spectra and thermodynamic properties of rare gas solids based on empirical and semi-empirical (ab initio) two-body potentials : a comparative study /

We study the phonon dispersion, cohesive and thermal properties of raxe gas solids Ne, Ar, Kr, and Xe, using a variety of potentials obtained from different approaches; such as, fitting to crystal properties, purely ab initio calculations for molecules and dimers or ab initio calculations for solid crystalline phase, a combination of ab initio calculations and fitting to either gas phase data or sohd state properties. We explore whether potentials derived with a certain approaxih have any obvious benefit over the others in reproducing the solid state properties. In particular, we study phonon dispersion, isothermal ajid adiabatic bulk moduli, thermal expansion, and elastic (shear) constants as a function of temperatiue. Anharmonic effects on thermal expansion, specific heat, and bulk moduli have been studied using A^ perturbation theory in the high temperature limit using the neaxest-neighbor central force (nncf) model as developed by Shukla and MacDonald [4]. In our study, we find that potentials based on fitting to the crystal properties have some advantage, particularly for Kr and Xe, in terms of reproducing the thermodynamic properties over an extended range of temperatiures, but agreement with the phonon frequencies with the measured values is not guaranteed. For the lighter element Ne, the LJ potential which is based on fitting to the gas phase data produces best results for the thermodynamic properties; however, the Eggenberger potential for Ne, where the potential is based on combining ab initio quantum chemical calculations and molecular dynamics simulations, produces results that have better agreement with the measured dispersion, and elastic (shear) values. For At, the Morse-type potential, which is based on M0ller-Plesset perturbation theory to fourth order (MP4) ab initio calculations, yields the best results for the thermodynamic properties, elastic (shear) constants, and the phonon dispersion curves.

Polytypism and Silicon carbide : a solid state nuclear magnetic resonance study

A survey of predominantly industrial silicon carbide has been carried out using Magic Angle Spinning nuclear magnetic resonance (MAS nmr); a solid state technique. Three silicon carbide polytypes were studied; 3C, 6H, and 15R. The 13C and 29 Si MAS nmr spectra of the bulk SiC sample was identified on the basis of silicon (carbon) site type in the d iff ere n t pol Y t Y pes • Out to 5.00 A fro mac en t r a lsi 1 i con (0 r carbon) atom four types of sites were characterized using symmetry based calculations. This method of polytype analysis was also considered, in the prelminary stages, for applications with other polytypic material; CdBr 2 , CdI 2 , and PbI 2 " In an attempt to understand the minor components of silicon carbide, such as its surface, some samples were hydrofluoric acid washed and heated to extreme temperatures. Basically, an HF removable species which absorbs at -110 ppm (Si0 2 ) in the 29 Si MAS nmr spectrum is found in silicon carbide after heating. Other unidentified peaks observed at short recycle delays in some 29 Si MAS nmr spectra are considered to be impurities that may be within the lattice. These components comprise less than 5% of the observable silicon. A Tl study was carried out for 29 Si nuclei in a 3C ii polytype sample, using the Driven Equilibrium Single-Pulse Observation of T1 (DESPOT) technique. It appears as though there are a number of nuclei that have the same chemical shift but different T1 relaxation times. The T1 values range from 30 seconds to 11 minutes. Caution has to be kept when interpreting these results because this is the first time that DESPOT has been used for solid samples and it is not likely in full working order. MAS nmr indicates that the 13C and 29 Si ~sotropic chemical shifts of silicon carbide appear to have a reciprocal type of relationship_ Single crystal nmr analysis of a 6H sample is accordance with this finding when only the resultant isotropic shift is considered. However, single crystal nmr also shows that the actual response of the silicon and carbon nuclear environment to the applied magnetic field at various angles is not at all reciprocal. Such results show that much more single crystal nmr work is required to determine the actual behavior of the local magnetic environment of the SiC nuclei.

The electronic spectra and the determination of the excited state geometry of 3A" propynal /|nby Chhiu-Tsu Lin. -- 260 St. Catharines, Ont. : [s. n.],

Impurity free eluission spectra of HCCCHO and DCCCHO have been rephotographed using the electronic-energy-exchange method with benzene as a carrier gas. The near ultraviolet spectra of ReeCHO and DCCCHO were photographed in a sorption under conditions of high resolution with absorption path lengths up to 100 meters. The emission and absorption spectra of Propynal resulting from 3 n 1 t 1\ - A excitation has been reanalyzed in som.e detail. Botrl of the eH out-of-plane wagging modes were found to have negative anharmonicity. A barrier height of 56.8/0.0 cm- 1 and a nonplanar oft , , equilibrium angle of 17 3 /30 are calculated for the V 10/ lJ 11 modes. The in-plane and out-of-plane v1. brational modes in the 3A." and 1a~. ' elec ronic states of Propynal were subjected to a normal coordinate treatment in the approximat :on of tIle Urey-Bradley force field. From the relative oscillator strengths of the trans1·t1·0ns connect i ng t he v ibrat1•0n1ess lA' , state and t,he V1· bron1·C 3· if levels of the A state, the differences in equilibrium configuration were evaluated from an approximate Franck-Condon analysis based on the ground state normal coordinates. As this treatment gave 512 possible geometrical structures for the upper state, it 4 was necessary to resort to a comparison of the observed and calculated moments of inertia along with chemical intuition to isolate the structure. A test of the correctness of the calculated structure change and the vibrational assignment was raade by evaluating the intensities of the inplane and out-oi-plane fundarnental, sequence, and cross sequellce transitions y the exact Franck-Condon method.

RelMDD-A Library for Manipulating Relations Based on MDDs

Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

The Synthesis and Coordination Chemistry of Two Families of Polydentate Ligands - Exploring Their Potential for the Preparation of Molecule-Based Magnets

The synthesis and studies of two classes of poly dentate ligands are presented as two projects. In project 1, four new carboxamide ligands have been synthesised via the condensation of 2,2',6,6'-tetrachloroformyl-4,4'-bipyridine or 2,6-dichloroformyl pyridine together with heterocyclic amines containing pyridine or pyrazole substituents. The coordination chemistry of these ligands has been investigated and studies have shown that with a Cu(II) salt, two carboxamide ligands LJ and L2 afford large clusters with stoichiometries [Cu8(L1)4Cl16].CHCl3.5H2O.7CH3OH (I) and [Cu9(L2)6Cl6].CH3OH.5H2O.(C2H5)3N (II) respectively. [molecular diagram availabel in pdf]. X-ray diffraction studies of cluster (I) reveal that it has approximate S4 symmetry and is comprised of four ligands and eight copper (II) centers. Here, coordination takes place via amide 0 atoms, and pyrazole nitrogens. This complex is the first reported example of an octanuclear copper cluster with a saddle-shaped structure. The second cluster comprises nine copper ions that are arranged in a cyclic array. Each ligand coordinates three copper centers and each copper ion shares two ligands to connect six ligands with nine copper ions. The amide nitrogens are completely deprotonated and both amide Nand 0 atoms coordinate the metal centres. The cluster has three-fold symmetry. There are six chloride ions, three of which are bridging two neighbouring Cu(II) centres. Magnetic studies of (I) and (II) reveal that both clusters display weak antiferromagnetic interactions between neighbouring Cu(II) centers at low temperature. In the second project, three complexes with stoichiometries [Fe[N302](SCN)2]2 (III), R,R-[Fe[N3O2](SCN)2 (IV) and R,R-]Fe[N3O2](CN)2] (V) were prepared and characterized, where [N302] is a pentadentate macrocycle. Complex (III) was prepared via the metal templated Schiff-base condensation of 2,2',6,6'-tetraacetyl-4,4'-bipyridine together with 3,6-dioxaoctane-I,8-diamine and comprises of a dimeric macro cycle where the two Fe(II) centres are in a pentagonal-bipyramidal environment with the [N302] ligands occupying the equatorial plane and two axial NCS ligands. Complexes (IV) and (V) were prepared via the condensation of 2,6-diacetylpyridine together with a chiral diamine in the presence of FeCh. The synthetic strategy for the preparation of the chiral diamine (4R,5R)-4,5-diphenyl-3,6-dioxa-I,8-octane-diamine was elucidated. The chirality of both macrocycles (IV) and (V) was probed by circular dichroism spectroscopy. The crystal structure of (IV) at 200 K contains two independent molecules in the unit cell, both of which contain a hepta-coordinated Fe(II) and axial NCS ligands. Variable temperature magnetic susceptibility and structural studies are consistent with a high spin Fe(II) complex and show no evidence of any spin crossover behaviour. In contrast, the bis cyanide derivative (V) crystallizes with two independent molecules in the unit cell, both of which have different coordination geometries consistent with different spin states for the two Fe(II) centres. At 250 K, the molecular structure of (V) shows the presence of both 7- and a 6-coordinate Fe(II) complexes in the crystal lattice. As the temperature is lowered, the molecules undergo a structural change and at 100 K the structural data is consistent with a 6- and 5-coordinate Fe(II) complex in the unit cell. Magnetic studies confirm that this complex undergoes a gradual, thermal, spin crossover transition in the solid state. Photomagnetic measurements indicate this is the first chiral Fe (II) sea complex to exhibit a LIESST.

Ligand design for molecule-based magnetic and/or conducting materials

Work in the area of molecule-based magnetic and/or conducting materials is presented in two projects. The first project describes the use of 4,4’-bipyridine as a scaffold for the preparation of a new family of tetracarboxamide ligands. Four new ligands I-III have been prepared and characterized and the coordination chemistry of these ligands is presented. This project was then extended to exploit 4,4’-bipyridine as a covalent linker between two N3O2 macrocyles. In this respect, three dimeric macrocycles have been prepared IV-VI. Substitution of the labile axial ligands of the Co(II) complex IV by [Fe(CN)6]4- afforded the self-assembly of the 1-D polymeric chain {[Co(N3O2)H2O]2Fe(CN)6}n•3H2O that has been structurally and magnetically characterized. Magnetic studies on the Fe(II) complexes V and VI indicate that they undergo incomplete spin crossover transitions in the solid state. Strategies for the preparation of chiral spin crossover N3O2 macrocycles are discussed and the synthesis of the novel chiral Fe(II) macrocyclic complex VII is reported. Magnetic susceptibility and Mössbauer studies reveal that this complex undergoes a gradual spin crossover in the solid state with no thermal hysteresis. Variable temperature X-ray diffraction studies on single crystals of VII reveal interesting structural changes in the coordination geometry of the macrocycle accompanying its SCO transition. The second project reports the synthesis and characterization of a new family of tetrathiafulvalene derivatives VIII – XII, where a heterocyclic chelating ligand is appended to a TTF donor via an imine linker. The coordination chemistries of these ligands with M(hfac)2.H2O (M( = Co, Ni, Mn, Cu) have been explored and the structural and magnetic properties of these complexes are described.

Single-Molecule Magnets and Multifunctional Molecular Magnetic Materials Based on Polynuclear Metal Complexes

Our work on single molecule magnets and multifunctional magnetic materials is presented in four projects. In the first project we show for first time that heteroatomic-type pseudohalides, such as OCN-, can be employed as structure-directing ligands and ferromagnetic couplers in higher oxidation state metal cluster chemistry. The initial use of cyanato groups in Mn cluster chemistry has afforded structurally interesting MnII/III14 (1) and MnII/III/IV16 (2) clusters in which the end-on bridging cyanates show a preference in binding through their O-atom. The Mn14 compound shows entirely visible out-of-phase alternating currect signals below 5 K and large hysteresis loops below 2 K. Furthermore, the amalgamation of azido groups with the triethanolamine tripodal ligand in manganese carboxylate cluster chemistry has led to the isolation of a new ferromagnetic, high-nuclearity and mixed-valence MnII/III15Na2 (3) cluster with a large ground-state spin value of S = 14. In the second project we demonstrate a new synthetic route to purely inorganic-bridged, transition metal-azido clusters [CoII7 (4) and NiII7 (5)] and coordination polymers [{FeII/III2}n (6)] which exhibit strong ferromagnetic, SMM and long-range magnetic ordering behaviors. We also show that access to such a unique ferromagnetic class of inorganic, N-rich and O-free materials is feasible through the use of Me3SiN3 as the azido-ligand precursor without requiring the addition of any organic chelating/bridging ligand. In the last projects we have tried to bring together molecular magnetism and optics via the synthesis of multifunctional magnetic materials based on 3d- or 4f-metal ions. We decided to approach such challenge from two different directions: firstly, in our third project, by the deliberate replacement of non-emissive carboxylato ligands in known 3d-SMMs with their fluorescent analogues, without perturbing the metal-core structure and SMM properties (complexes 7, 8, and 9). The second route (last project) involves the use of naphthalene or pyridine-based polyalcohol bridging ligands for the synthesis of new polynuclear LnIII metal clusters (Ln = lanthanide) with novel topologies, SMM behaviors and luminescent properties arising from the increased efficiency of the “antenna” organic group. This approach has led us to the isolation of two new families of LnIII8 (complexes 10-13) and LnIII4 (complexes 14-20) clusters.