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 6 of 6 for “"internal language"”.
-
On internal language representations in deep learning : an analysis of machine translation and speech recognition
Language technology has become pervasive in everyday life. Neural networks are a key component in this technology thanks to their ability to model large amounts of data. Contrary to traditional systems, models based on deep neural networks (a.k.a. deep learning) can be trained in an end-to-end …
-
Cubical Models of Homotopy Type Theory - An Internal Approach
… sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as spaces, with terms as points in the space and elements of the identity type as paths. We actualise this intuition by …
-
Categories in control systems software: toward a unified theory of programming & control
… software with emphasis on feedback control. The language of application is iso standard C++17, though the design is abstract and can be gainfully applied in any language expressive enough to embed domain specific languages for event stream processing with sufficient structure. The design is …
-
External Language Spread Policies in Mozambique and Guniea-Bissau at the turn of the 21st Century.
… has been the setting for competing external language spread policies (LSPs) by ex-colonial European countries at the turn of the 21st Century. To explore the topic I examine the case studies of Mozambique and Guinea-Bissau, in the time frame of the 1990s to the present. In both case studies …
-
Towards More Interpretable AI With Sparse Autoencoders
While large language models demonstrate remarkable capabilities across diverse domains, the specific representations and algorithms they learn remain largely unknown. The quest to understand these mechanisms holds dual significance: scientifically, it represents a fundamental inquiry into the …
-
Cartesian closed bicategories: type theory and coherence
… may therefore describe the type theory as an `internal language'. The relationship with the classical situation is made precise by a result establishing that the type theory I construct is the simply-typed lambda calculus up to isomorphism. This relationship is exploited for the proof of local …