Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 4323 for “"languages"”.

  1. Languages of entrances.

    Thesis. 1978. M.Arch--Massachusetts Institute of Technology. Dept. of Architecture.

    mit Repository record for Languages of entrances. (opens in a new tab)

  2. Denotational proof languages

    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.

    mit Repository record for Denotational proof languages (opens in a new tab)

  3. Understanding Dead Languages

    Dead languages present a case where the original language community no longer exists. This results in a language for which the evidence is limited by the paucity of surviving texts and in which no new linguistic uses can be generated. Ludwig Wittgenstein argued that the meaning of language is …

    vt Repository record for Understanding Dead Languages (opens in a new tab)

  4. Focal prominence in tone languages: A case study of three Chinese languages

    … realisation of focal prominence in three Chinese languages: Cantonese, Chengdu Mandarin, and Changsha Xiang. These languages, each representing a unique dialect group with distinct tonal systems, present novel opportunities for sentence-level prosodic comparisons. Using uniform experimental …

    cambridge Repository record for Focal prominence in tone languages: A case study of three Chinese languages (opens in a new tab)

  5. The EPP across Languages

    … geographically, and genetically diverse languages. I define the EPP as the obligatory movement of some element into the inflectional domain, and argue that the EPP can vary in three different dimensions: (i) whether an argument or a predicate is the goal of the EPP-probe, (ii) whether the …

    toronto-retro Repository record for The EPP across Languages (opens in a new tab)

  6. Chaucer's Languages of Love

    No abstract prepared.

    texas-state Repository record for Chaucer's Languages of Love (opens in a new tab)

  7. Expressiveness of Concurrent Languages

    … expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is …

    bologna Repository record for Expressiveness of Concurrent Languages (opens in a new tab)

  8. Languages in General Algebra

    Made available in DSpace on 2015-05-12T21:43:34Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 7013481.PDF: 1615782 bytes, checksum: 894391ffc8573ffad8826acb385e8f07 (MD5) Previous issue date: 1969

    uiuc Repository record for Languages in General Algebra (opens in a new tab)

  9. Groups and Simple Languages

    With any finitely generated presentation (pi) = of a group G, one can associate a formal language WP(,0)((pi)), the reduced word problem of (pi), consisting of all words on the generators and their inverses which are equal to the identity of G but have no proper prefix equal to the identity. A …

    uiuc Repository record for Groups and Simple Languages (opens in a new tab)

  10. Multiparadigm visual programming languages

    Successful visual programming languages are all specialized, and general-purpose visual programming languages are unsuccessful. One of the reasons is that visual programming languages are usually based on a single programming paradigm. A multiparadigm visual programming language is described and …

    uiuc Repository record for Multiparadigm visual programming languages (opens in a new tab)

  11. Spatial languages in IsiXhosa

    This thesis investigates some aspects of spatial language of isiXhosa. It identifies the elements of isiXhosa used in the spatial domain and analyses their use and distribution across the language. Six isiXhosa-speaking language consultants were interviewed, all males between the ages of eighteen …

    cape-town Repository record for Spatial languages in IsiXhosa (opens in a new tab)

  12. Automated Adaptation Between Kiranti Languages

    … Linguistics Automated Adaptation Between Kiranti Languages Chairperson: Dr. Anthony Mattina Minority language communities that are seeking to develop their language may be hampered by a lack of vernacular materials. Large volumes of such materials may be available in a related language. Automated …

    montana-tech Repository record for Automated Adaptation Between Kiranti Languages (opens in a new tab)

  13. Automated Adaptation Between Kiranti Languages

    … Linguistics Automated Adaptation Between Kiranti Languages Chairperson: Dr. Anthony Mattina Minority language communities that are seeking to develop their language may be hampered by a lack of vernacular materials. Large volumes of such materials may be available in a related language. Automated …

    montana Repository record for Automated Adaptation Between Kiranti Languages (opens in a new tab)

  14. Parallel programming using functional languages

    … parallel programming using functional languages. The approach taken has been to determine the minimum programming which is necessary in order to write efficient parallel programs. This has been attempted without the aid of clever compile-time analyses. It is argued that parallel …

    glasgow Repository record for Parallel programming using functional languages (opens in a new tab)

  15. Semantics of low-level languages

    … in formally specifying low level programming languages. We utilize the K programming language specification framework to build executable models of the languages discussed: x86 and Tezos Michelson. We extend an existing formalization of x86 to include its most common format - executable …

    uiuc Repository record for Semantics of low-level languages (opens in a new tab)

  16. Compiler Optimisation of Typeless Languages

    We have written an optimising compiler for a typeless, imperative, modular programming language. The optimiser, which works on a 3-address intermediate representation generated from the source program, uses some novel techniques described in this thesis. The techniques are universally applicable, …

    cambridge Repository record for Compiler Optimisation of Typeless Languages (opens in a new tab)

  17. Natural language and formal languages

    Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1997.

    mit Repository record for Natural language and formal languages (opens in a new tab)

  18. Efficient implementation of applicative languages

    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984.

    mit Repository record for Efficient implementation of applicative languages (opens in a new tab)

  19. Procedural reflection in programming languages

    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.

    mit Repository record for Procedural reflection in programming languages (opens in a new tab)

  20. Fuzzing for User-Schedulable Languages

    … deal with this complexity, userschedulable languages provide scheduling operations, which are abstractions of common steps taken to restructure programs. By composing these scheduling operations, performance engineers can concisely represent their intended optimizations to programs. Exo, …

    mit Repository record for Fuzzing for User-Schedulable Languages (opens in a new tab)

Page 1 of 217