Essays about: "Formal languages"

Showing result 1 - 5 of 62 essays containing the words Formal languages.

1. 1. Code Synthesis for Heterogeneous Platforms

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Zhouxiang Fu; [2023]
   Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

   Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

3. 2. Losing personality : Exploring with a focus on formal speech how the register of Nakata Satoru in Murakami Haruki’s Umibe no Kafuka is affected when translated into English and Swedish

   University essay from Högskolan Dalarna/Institutionen för språk, litteratur och lärande

   Author : Anna-Klara Josefsson; [2023]
   Keywords : Japanese; Murakami Haruki; Kafka on the Shore; formality; translation; Nakata Satoru; Equivalence;

   Abstract : When reading a translated book or a dubbed movie, one might come to wonder if the translation conveys the characters’ personality traits identically to that of the original, and while ‘identical’ may not be achievable, ‘equivalent’ rather may be within the scope of a translator’s capability. Translation between languages as vastly different as Swedish and Japanese, or English and Japanese are bound to face greater difficulties than for example Swedish and English. READ MORE

4. 3. "It is not just a theory you should check off": Influences on grammar teaching practices, a case by case review

   University essay from Lunds universitet/Engelska

   Author : Alva Thyr; [2023]
   Keywords : English grammar teaching; language teacher cognition; grammar teaching pedagogy; pedagogical knowledge; teacher cognition; teacher experience; grammar teaching practices; Languages and Literatures;

   Abstract : Research about grammar teaching practices in Sweden has shown that grammar is something which many teachers value. To further facilitate the development of different teaching practices the present thesis hopes to provide teachers with a reference point for how different teaching practices are constructed. READ MORE

5. 4. An Arrow Metalanguage for Partially Invertible Computation

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Anders Ågren Thuné; [2023]
   Keywords : Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

   Abstract : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. READ MORE

6. 5. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Arvid Bergman Thörn; [2023]
   Keywords : Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

   Abstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE