In this study, we explore the relationship between the components of a hybrid process consisting of a spatial point process arid a lattice process using two-dimensional spectral techniques. Simulated spatial point-lattice patterns are used to demonstrate how the different cross-spectral statistics can reveal correlation between the two components. A method to adjust for jumps that normally occur in the cross-spectral phase statistic is then proposed. Such adjustment is needed to enable us to calculate the slope of the phase spectrum which measures the shift between the two components. Several methods to calculate the slope are investigated. Asymptotic properties of the cross-spectral statistics are derived and their confidence intervals estimated. .A test that the components are independent is described. In a study region, lattice processes are observed at regular grids whereas point, processes can be observed anywhere. In order to account for discrepancies that. might arise due to this, methods to discretise the point pattern are suggested. Cross-spectral techniques are then applied to analyse the joint process of the discretised point pattern and the lattice pattern. Finally, we apply the techniques suggested above to study the joint properties of two data sets. The first consists of altitude data of a region in a rain forest in French Guyana together with the locations of a number of tree species in that region. The second set consists of altitude data of the Sahel region of Africa together with location of storms and some of their characteristics. In order to incorporate the storm characteristics in the analysis, cross-spectral tools used to analyse two components are extended to three components.

Title: Models of Marked Point Processes Author: Ivan Héda Department: Department of Probability and Mathematical Statistics Supervisor: doc. RNDr. Zbyněk Pawlas, Ph.D. Abstract: In the first part of the thesis, we present necessary theoretical basics as well as the definition of functional characteristics used for examination of marked point patterns. Second part is dedicated to review some known marking strategies. The core of the thesis lays in the study of intensity-marked point processes. General formula for the characteristics is proven for this marking strategy and general class of the models with analytically computable characteristics is introduced. This class generalizes some known models. Theoretical results are used for real data analysis in the last part of the thesis. Keywords: marked point process, marked log-Gaussian Cox process, intensity-marked point process 1

An important prerequisite for running a successful insurance business is to predict risk. By forecasting the future in as much detail as possible, competitive advantages are created in terms of price differentiation. This work aims at using spatial point processes to provide a proposal for how the geographical position of the customer can be used in developing risk differentiation tools. For spatial variation in claim frequency an approach is presented which is common in spatial epidemiology by considering a group of policyholders, with and without claims, as a realisation of a multivariate Poisson point process in two dimensions. Claim costs are then included by considering the claims as a realisation of a point process with continuous marks. To describe the spatial variation in relative risk, demographic and socio-economic information from Swedish agencies have been used. The insurance data that have been used come from the insurance company If Skadeförsäkring AB, where also the work has been carried out. The result demonstrates problems with parametric modelling of the intensity of policyholders, which makes it difficult to validate the spatial varying intensity of claim frequency. Therefore different proposals of non-parametric estimation are discussed. Further, there are no tendencies that the selected information is able to explain the variation in claim costs. / En viktig förutsättning för att kunna bedriva en framgångsrik försäkringsverksamhet är att prediktera risk. Genom att på en så detaljerad nivå som möjligt kunna förutse framtiden skapas konkurrensfördelar i form av prisdifferentiering. Målet med detta arbete är att med hjälp av spatiala punktprocesser ge ett förslag på hur kunders geografiska position kan utvecklas som riskdifferentieringsverktyg. För spatial variation i skadefrekvens presenteras ett tillvägagångssätt som är vanligt inom spatial epidemiologi genom att betrakta en grupp försäkringstagare, med och utan skador, som en realisering av en multivariat Poissonprocess i två dimensioner. Skadekostnaderna inkluderas sedan genom att betrakta skadorna som en punktprocess med kontinuerliga märken. För att beskriva spatial variation i relativ risk används demografisk och socioekonomisk information från svenska myndigheter. De försäkringsdata som använts kommer från If Skadeförsäkring AB, där också arbetet har utförts. Resultatet påvisar problem med att parametriskt modellera intensiteten för försäkringstagare, vilket medför svårigheter att validera den skattade spatiala variationen i skadefrekvens, varför olika ickeparametriska förslag diskuteras. Vidare upptäcktes inga tendenser till att variationen i skadekostnad kan förklaras med den utvalda informationen.

The aim of this study is to semantically analyze the use of marked and unmarked adjunct clauses in Middle Egyptian documentary texts in order to investigate the limits of choosing an unmarked form in more informal language use. Both quantitative and qualitative approaches were used in the analysis. The results show that marked adjunct clauses are more frequent than unmarked, and the choice between these two is to a great extent based on the semantic role of the clause. Additionally, unmarked forms can often be regarded as marked, e.g. by tense or mood, and the overall co(n)text, which indicates that markedness should be seen as a continuum, instead of two polar opposites marked and unmarked. Consequently, the results indicate that markedness – although in different forms – is the norm in non-literary Middle Egyptian texts, thus differing from the official language that is used in literary, royal, and religious texts. Furthermore, the present study has a diachronic dimension. The comparison between texts from the earlier and later Middle Kingdom clearly show the development in the use of adjunct clauses that took place between Old and Late Egyptian, when marked forms eventually became the norm in all language use. / Syftet med denna uppsats är att semantiskt analysera markerade och icke-markerade bisatser i mellanegyptiska dokumentära texter för att klargöra gränserna för användningen av icke-markerade former i ledigare språkbruk. För denna studie tillämpades både en kvalitativ och en kvantitativ metod. Resultaten visar att markerade bisatser är mer frekventa än icke-markerade, och att valet mellan dessa två former i stort sett beror på bisatsens semantiska roll. I många fall kan icke-markerade bisatser dessutom vara mer eller mindre markerade, bl.a. med hjälp av tempus och modus. Därför bör fenomenet markerad och icke-markerad betraktas som ett kontinuum istället för två motpoler. Resultaten tyder med andra ord på att markering – om än på olika sätt – är norm i det mindre formella mellanegyptiska språkbruket. Denna norm skiljer sig i detta avseende från det officiella språkbruket, som är typiskt i bl.a. litterära och religiösa texter. Denna studie innefattar dessutom en diakronisk del. Jämförelsen mellan tidigare och senare texter från Mellersta riket visar tydligt den utveckling i användningen av bisatser som skedde mellan gammalegyptiska och senegyptiska, då markerade bisatser till slut blev norm i allt språkbruk.

The use of computer aided design (CAD) tools has catalyzed the growth of IC design techniques. The rapid growth in transistor count for synchronous digital circuits has increased circuit complexity. This growing complexity of synchronous circuits has exposed design issues such as clock skew, increased power consumption, increased electromagnetic interference and worst case performance. The increasing number of challenges posed by synchronous designs has encouraged researchers to explore asynchronous design techniques as an alternative methodology. Asynchronous circuits do not use a global clock signal that is the primary cause of many design challenges faced by synchronous designers. It has also been shown in some designs that asynchronous circuits consumes less power, and exhibits better average case performance than synchronous circuits. Asynchronous design techniques, even with their various advantages over synchronous systems, are not widely accepted by logic designers. This is due to the shortcomings of asynchronous design methodologies, primarily, the limited availability of CAD tool support and the use of proprietary specification languages. To overcome the shortcomings of current asynchronous design techniques, this research uses a methodology for designing asynchronous circuits starting from clocked RTL design. This research extends the concepts of Phased Logic (PL) and marked graphs to quasi-delay insensitive gates (QDI) gates to create an asynchronous PL-QDI methodology. The PL methodology is easy to use as it maps conventional RTL designs into delay insensitive PL circuits using commercial CAD tools. Caltech?s QDI gates exhibit fast forward latency, but the use of Caltech?s methodology requires a user skilled in the pecurialities of the Caltech design methodology. This research uses best of Caltech?s QDI circuit methodology and the PL methodology to come up with a new asynchronous PL-QDI methodology. It also presents a synthesis algorithm that uses commercially available synchronous CAD tools to map clocked designs to PL-QDI systems. Results of this research show that third-party clocked RTL codes including intellectual property (IP) cores can be converted to asynchronous PL-QDI systems using the PL-QDI CAD tools presented in this research. This work shows how mature synchronous CAD tools can be used to design clockless circuits.

Part I presents a model for fingerprint matching using Bayesian alignment on unlabelled point sets. An efficient Monte Carlo algorithm is developed to calculate the marginal likelihood ratio between the hypothesis that an observed fingerprint and fingermark pair originate from the same finger and the hypothesis that they originate from different fingers. The model achieves good performance on the NIST-FBI fingerprint database of 258 matched fingerprint pairs, though the computed likelihood ratios are implausibly extreme due to oversimplification in our model. Part II moves to a more theoretical study of proper scoring rules. The chapters in this section are designed to be independent of each other. Chapter 9 uses proper scoring rules to calibrate the implausible likelihood ratios computed in Part I. Chapter 10 defines the class of compatible weighted proper scoring rules. Chapter 11 derives new results for the score matching estimator, which can quickly generate point estimates for a parametric model even when the normalization constant of the distribution is intractable. It is used to find an initial value for the iterative maximization procedure in §3.3. Appendix A describes a novel algorithm to efficiently sample from the posterior of a von Mises distribution. It is used within the fingerprint model sampling procedure described in §5.6. Appendix B includes various technical results which would otherwise disrupt the flow of the main dissertation.

Cette thèse présente de nouveaux résultats liant la théorie des systèmes dits insensibles à la latence, à une sous-classe des réseaux de Pétri dénommée Marked Event Graph et son extension dite Synchronous Data Flow. Ces travaux sont intimement associés avec le problème d'ordonnancement général dénommé problème central répétitif. Nous introduisons les modèles synchrones, Marked Event Graphs, Synchronous Data Flow (SDF) et Latency Insensitive. Après, nous discutons des liens existants entre les modèles synchrones, Marked Event Graphs et Latency Insensitive ; nous montrons que le modèle Latency Insensitive est un cas particulier du modèle Marked Event Graph. Nous présentons ensuite une implémentation vérifiée formellement de Latency Insensitive. Après, nous rappelons un résultat connu : tout Marked Event Graph ayant au moins une partie fortement connexe (et s'évaluant avec une règle d'exécution As Soon As Possible (ASAP)) a un comportement ultimement répétitif : c'est à dire qu'il existe un ordonnancement statique. À partir de ce résultat, nous construisons une technique d'ordonnancement particulière dénommée Égalisation qui altère virtuellement la topologie des communications du système afin de ralentir des chemins trop rapides en rajoutant des "registres", tout en conservant les performances en terme de débit du système originel. Enfin, nous introduisons une notion de contrôle limité au modèle Latency Insensitive, avec des noeuds appelés select et merge dont les conditions sont connueset indépendantes des flots de données, plus exactement les conditions d'aiguillage des données sont dirigées par des mots binaires ultimement périodiques (comme dans le cadre de l'ordonnancement statique). Nous effectuons ensuite une abstraction sur le modèle SDF afin de déterminer si le modèle accepte un ordonnancement où la taille de toute place est bornée. Nous pouvons vérifier ensuite la vivacité du système grâce à une simulation, si le modèle originel disposait d'au moins d'une partie fortement connexe. Finalement, nous concluons et discutons des possibilités de travaux futurs.

The topic of this thesis is the moduli theory of (parabolic) sheaves on stable curves. Using geometric invariant theory (GIT), universal moduli spaces of semistable parabolic sheaves on stable marked curves are constructed: `universal' indicates that these are moduli spaces of pairs where the underlying marked curve may vary as well as the parabolic sheaf (as in the Pandharipande moduli space for pairs of stable curves and torsion-free sheaves without augmentations). As an intermediate step in this construction, we construct moduli spaces of semistable parabolic sheaves on flat families of arbitrary projective schemes (of any dimension or singularity type): this is the technical core of this thesis. These moduli spaces are projective, since they are constructed as GIT quotients of projective parameter spaces. The stability condition for parabolic sheaves depends on a choice of polarisation and is derived from the Hilbert-Mumford criterion. It is not quite the same as traditional stability with respect to parabolic Hilbert polynomials, but it is closely related to it, and the resulting moduli spaces are always compactifications of moduli of slope-stable parabolic sheaves. The construction works over algebraically closed fields of arbitrary characteristic.

The aim of the present study is to investigate how men and women in three Iranian Balochi dialects, Coastal Balochi, Koroshi Balochi and Sistani Balochi, refer to 3rd person participants in oral narratives of two genres: folktales and biographical tales. The stories that are analysed were recorded during several field trips to Iran and the approach used is that of Levinsohn (1994, 2015). The first part of the dissertation begins with an overview of the Balochi language and its dialects, including a brief presentation of its phonology, and then reviews previous studies of Balochi, before introducing the case system and types of alignment in the three dialects. Chapter 2 introduces the reader to the status of orality in the three dialects, before giving details about the corpus of texts that were analysed. Of particular note is the fact that each story in the corpus was told by both a man and a woman. Chapter 3 examines different approaches to the analysis of participant reference, before comparing those of Gundel et al. and Levinsohn in greater detail. The second part of the dissertation applies Levinsohn’s approach to texts in each of the three dialects in turn. Chapters 4–6 identify and analyse the different ways in which the participants in the stories are referred to when the subject remains the same and in three specific situations when the subject changes. This enables default encoding values to be established for each of the four situations. Motivations for over-encoding and, in some situations, under-encoding, are then identified. Chapters 7–9 investigate whether the gender of the storyteller (male versus female) and/or the genre of the story (folktale versus biographical tale) influence the way that the participants are referred to. This leads in chapter 10 to a gender- and genre-based comparison of participant reference across the present dialects. Conclusions are presented in chapter 11. In general, the participant reference strategy used was the same in all three dialects, regardless of the gender or the genre. The main exception involved reported conversations in Koroshi Balochi, where the additive enclitic ham was attached to the reference to a subject who responded in line with the contents of the speech reported in the previous sentence. Other variations appeared to depend on the degree to which the storyteller was proficient in his or her art. The dissertation concludes with four Appendices. Appendix A presents six texts that were interlinearised using the FLEx programme, while Appendix B consists of participant reference charts of the same texts following Levinsohn’s approach. Appendix C presents details of the case system and alignment for each of the three dialects. Finally, the chart in Appendix D compares the approaches of Levinsohn and of Gundel et al. to participant reference in a specific text. A CD with audio files of the six texts and some photos taken during fieldwork is also available.

In order to enhance teaching it is important to understand how students learn. The aim of this study was to discover the interventions needed to enhance the support offered by teachers and tutors in a Business Accounting programme to develop in students an intrinsic motivation and deep learning strategy which could be used later in life in other areas of study. The data came from a number of sources, including the Biggs’ revised two-factor Study Process Questionnaire: R-SPQ-2F, administered to students. The second source was tutors’ responses to a set of questions, and the third source was an interview held with an experienced tutor. In the main, the data was analysed using phenomenographic methodology. The study yielded valuable insights into the tutorial context and tutors’ perceptions of the factors that hinder or enhance student learning.