A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

A study on semigroup action on fuzzy subsets, inverse fuzzy automata and related topics

This thesis comprises five chapters including the introductory chapter. This includes a brief introduction and basic definitions of fuzzy set theory and its applications, semigroup action on sets, finite semigroup theory, its application in automata theory along with references which are used in this thesis. In the second chapter we defined an S-fuzzy subset of X with the extension of the notion of semigroup action of S on X to semigroup action of S on to a fuzzy subset of X using Zadeh's maximal extension principal and proved some results based on this. We also defined an S-fuzzy morphism between two S-fuzzy subsets of X and they together form a category S FSETX. Some general properties and special objects in this category are studied and finally proved that S SET and S FSET are categorically equivalent. Further we tried to generalize this concept to the action of a fuzzy semigroup on fuzzy subsets. As an application, using the above idea, we convert a _nite state automaton to a finite fuzzy state automaton. A classical automata determine whether a word is accepted by the automaton where as a _nite fuzzy state automaton determine the degree of acceptance of the word by the automaton. 1.5. Summary of the Thesis 17 In the third chapter we de_ne regular and inverse fuzzy automata, its construction, and prove that the corresponding transition monoids are regular and inverse monoids respectively. The languages accepted by an inverse fuzzy automata is an inverse fuzzy language and we give a characterization of an inverse fuzzy language. We study some of its algebraic properties and prove that the collection IFL on an alphabet does not form a variety since it is not closed under inverse homomorphic images. We also prove some results based on the fact that a semigroup is inverse if and only if idempotents commute and every L-class or R-class contains a unique idempotent. Fourth chapter includes a study of the structure of the automorphism group of a deterministic faithful inverse fuzzy automaton and prove that it is equal to a subgroup of the inverse monoid of all one-one partial fuzzy transformations on the state set. In the fifth chapter we define min-weighted and max-weighted power automata study some of its algebraic properties and prove that a fuzzy automaton and the fuzzy power automata associated with it have the same transition monoids. The thesis ends with a conclusion of the work done and the scope of further study.

Platforms, Languages and Packaging

This lecture outlines the decisions which need to be made early in a software project regrading the management of a professional sustainable software product or website. This lecture looks at the many different platforms and languages that can be used on these and outlines the differences between interpreted and "native" languages. We also outline the importance of using revision control systems properly and how these are essential for both distribution and supporting of software. Finally this lecture describes how to build a package for the Debian Linux platform.

Natural resources, redistribution and Human capital formation

How do resource booms affect human capital accumulation? We exploit time and spatial variation generated by the commodity boom across local governments in Peru to measure the effect of natural resources on human capital formation. We explore the effect of both mining production and tax revenues on test scores, finding a substantial and statistically significant effect for the latter. Transfers to local governments from mining tax revenues are linked to an increase in math test scores of around 0.23 standard deviations. We find that the hiring of permanent teachers as well as the increases in parental employment and improvements in health outcomes of adults and children are plausible mechanisms for such large effect on learning. These findings suggest that redistributive policies could facilitate the accumulation of human capital in resource abundant developing countries as a way to avoid the natural resources curse.

A geostatistical analysis of soil, vegetation, and image data characterizing land surface variation

The elucidation of spatial variation in the landscape can indicate potential wildlife habitats or breeding sites for vectors, such as ticks or mosquitoes, which cause a range of diseases. Information from remotely sensed data could aid the delineation of vegetation distribution on the ground in areas where local knowledge is limited. The data from digital images are often difficult to interpret because of pixel-to-pixel variation, that is, noise, and complex variation at more than one spatial scale. Landsat Thematic Mapper Plus (ETM+) and Satellite Pour l'Observation de La Terre (SPOT) image data were analyzed for an area close to Douna in Mali, West Africa. The variograms of the normalized difference vegetation index (NDVI) from both types of image data were nested. The parameters of the nested variogram function from the Landsat ETM+ data were used to design the sampling for a ground survey of soil and vegetation data. Variograms of the soil and vegetation data showed that their variation was anisotropic and their scales of variation were similar to those of NDVI from the SPOT data. The short- and long-range components of variation in the SPOT data were filtered out separately by factorial kriging. The map of the short-range component appears to represent the patterns of vegetation and associated shallow slopes and drainage channels of the tiger bush system. The map of the long-range component also appeared to relate to broader patterns in the tiger bush and to gentle undulations in the topography. The results suggest that the types of image data analyzed in this study could be used to identify areas with more moisture in semiarid regions that could support wildlife and also be potential vector breeding sites.

Right hemisphere language functions and schizophrenia: the forgotten hemisphere?

This review highlights the importance of right hemisphere language functions for successful social communication and advances the hypothesis that the core deficit in psychosis is a failure of segregation of right from left hemisphere functions. Lesion studies of stroke patients and dichotic listening and functional imaging studies of healthy people have shown that some language functions are mediated by the right hemisphere rather than the left. These functions include discourse planning/comprehension, understanding humour, sarcasm, metaphors and indirect requests, and the generation/comprehension of emotional prosody. Behavioural evidence indicates that patients with typical schizophrenic illnesses perform poorly on tests of these functions, and aspects of these functions are disturbed in schizo-affective and affective psychoses. The higher order language functions mediated by the right hemisphere are essential to an accurate understanding of someone's communicative intent, and the deficits displayed by patients with schizophrenia may make a significant contribution to their social interaction deficits. We outline a bi-hemispheric theory of the neural basis of language that emphasizes the role of the sapiens-specific cerebral torque in determining the four-chambered nature of the human brain in relation to the origins of language and the symptoms of schizophrenia. Future studies of abnormal lateralization of left hemisphere language functions need to take account of the consequences of a failure of lateralization of language functions to the right as well as the left hemisphere.

Autistic symptomatology and language ability in autism spectrum disorder and specific language impairment

Background: Autism spectrum disorders (ASD) and specific language impairment (SLI) are common developmental disorders characterised by deficits in language and communication. The nature of the relationship between them continues to be a matter of debate. This study investigates whether the co-occurrence of ASD and language impairment is associated with differences in severity or pattern of autistic symptomatology or language profile. Methods: Participants (N = 97) were drawn from a total population cohort of 56,946 screened as part of study to ascertain the prevalence of ASD, aged 9 to 14 years. All children received an ICD-10 clinical diagnosis of ASD or No ASD. Children with nonverbal IQ 80 were divided into those with a language impairment (language score of 77 or less) and those without, creating three groups: children with ASD and a language impairment (ALI; N = 41), those with ASD and but no language impairment (ANL; N = 31) and those with language impairment but no ASD (SLI; N = 25). Results: Children with ALI did not show more current autistic symptoms than those with ANL. Children with SLI were well below the threshold for ASD. Their social adaptation was higher than the ASD groups, but still nearly 2 SD below average. In ALI the combination of ASD and language impairment was associated with weaker functional communication and more severe receptive language difficulties than those found in SLI. Receptive and expressive language were equally impaired in ALI, whereas in SLI receptive language was stronger than expressive. Conclusions: Co-occurrence of ASD and language impairment is not associated with increased current autistic symptomatology but appears to be associated with greater impairment in receptive language and functional communication.

Motion detection and motion verbs: language affects low-level visual perception

Recent theories propose that semantic representation and sensorimotor processing have a common substrate via simulation. We tested the prediction that comprehension interacts with perception, using a standard psychophysics methodology.While passively listening to verbs that referred to upward or downward motion, and to control verbs that did not refer to motion, 20 subjects performed a motion-detection task, indicating whether or not they saw motion in visual stimuli containing threshold levels of coherent vertical motion. A signal detection analysis revealed that when verbs were directionally incongruent with the motion signal, perceptual sensitivity was impaired. Word comprehension also affected decision criteria and reaction times, but in different ways. The results are discussed with reference to existing explanations of embodied processing and the potential of psychophysical methods for assessing interactions between language and perception.

Loss of language in early development of autism and specific language impairment

Background:  Several authors have highlighted areas of overlap in symptoms and impairment among children with autism spectrum disorder (ASD) and children with specific language impairment (SLI). By contrast, loss of language and broadly defined regression have been reported as relatively specific to autism. We compare the incidence of language loss and language progression of children with autism and SLI. Methods:  We used two complementary studies: the Special Needs and Autism Project (SNAP) and the Manchester Language Study (MLS) involving children with SLI. This yielded a combined sample of 368 children (305 males and 63 females) assessed in late childhood for autism, history of language loss, epilepsy, language abilities and nonverbal IQ. Results:  language loss occurred in just 1% of children with SLI but in 15% of children classified as having autism or autism spectrum disorder. Loss was more common among children with autism rather than milder ASD and is much less frequently reported when language development is delayed. For children who lost language skills before their first phrases, the phrased speech milestone was postponed but long-term language skills were not significantly lower than children with autism but without loss. For the few who experienced language loss after acquiring phrased speech, subsequent cognitive performance is more uncertain. Conclusions:  Language loss is highly specific to ASD. The underlying developmental abnormality may be more prevalent than raw data might suggest, its possible presence being hidden for children whose language development is delayed.

Bilingual 'tagging' of financial accounts in Demotic and Greek

‘Bilingual’ documents, with text in both Demotic and Greek, can be of several sorts, ranging from complete translations of the same information (e.g. Ptolemaic decrees) to those where the information presented in the two languages is complementary (e.g. mummy labels). The texts discussed in this paper consist of a number of examples of financial records where a full account in one language (L1) is annotated with brief pieces of information in a second language (L2). These L2 ‘tags’ are designed to facilitate extraction of summary data at another level of the administration, functioning in a different language, and probably also to make the document accessible to those who are not literate in the L1.

Borrowing and shift-induced interference: contrasting patterns in French-Germanic contact in Brussels and Strasbourg

The main aim of the present article is to test hypotheses derived from the model for contact- induced language change as formulated in Thomason and Kaufman (1988 et seq.). As the model correctly predicts the asymmetries between the mutual influences of the Germanic and the Romance varieties in Brussels and Strasbourg it is a very powerful tool for describing the contact patterns in these cities. The analysis shows that the contact patterns are very similar, both from a quantitative and from a qualitative point of view, despite important differences in the sociolinguistic situation of both cities. The striking similarities in the outcome of language contact seem to find a plausible explanation in the fact that the language contact situations in both cities are similar from a typological point of view: in each city a variety of French is in contact with a Germanic variety (Alsatian and Brussels Dutch). Thus, the claim of the present article is that the structure of the languages plays a more prominent role in the outcome of language contact than the sociolinguistic history of the speakers.

Subject-to-subject raising and the syntax of tense in L2 Spanish: a full access approach

This paper investigates the acquisition of syntax in L2 grammars. We tested adult L2 speakers of Spanish (English L1) on the feature specification of T(ense), which is different in English and Spanish in so-called subject-to-subject raising structures. We present experimental results with the verb parecer “to seem/to appear” in different tenses, with and without experiencers, and with Tense Phrase (TP), verb phrase (vP) and Adjectival Phrase (AP) complements. The results show that advanced L2 learners can perform just like native Spanish speakers regarding grammatical knowledge in this domain, although the subtle differences between both languages are not explicitly taught. We argue that these results support Full Access approaches to Universal Grammar (UG) in L2 acquisition, by providing evidence that uninterpretable syntactic features can be learned in adult L2, even when such features are not directly instantiated in the same grammatical domain in the L1 grammar.