Sökning: "natural language instruction"

Visar resultat 6 - 10 av 27 avhandlingar innehållade orden natural language instruction.

1. 6. Att skriva i naturorienterande ämnen i skolan

   Författare :Åsa af Geijerstam; Caroline Liberg; Åke Viberg; Lars Sigfred Evensen; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Linguistics; text linguistics; scientific literacy; writing instruction; reader text relationship; systemic linguistics; applied linguistics; Lingvistik; Linguistics; Lingvistik;

   Sammanfattning : When children encounter new subjects in school, they are also faced with new ways of using language. Learning science thus means learning the language of science, and writing is one of the ways this is accomplished. The present study investigates writing in natural sciences in grades 5 and 8 in Swedish schools. LÄS MER

3. 7. Proving Safety and Security of Binary Programs

   Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

   Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

4. 8. Intuitive Instruction of Industrial Robots : A Knowledge-Based Approach

   Författare :Maj Stenmark; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; robot skills; high-level programming; industrial robot; human-robot interaction; natural language; knowledge representation;

   Sammanfattning : With more advanced manufacturing technologies, small and medium sized enterprises can compete with low-wage labor by providing customized and high quality products. For small production series, robotic systems can provide a cost-effective solution. LÄS MER

5. 9. Assessment in Multilingual Schools : A comparative mixed method study of teachers’ assessment beliefs and practices among language learners - CLIL and migrant students

   Författare :Helena Reierstam; Ulf Fredriksson; Eva Eliasson; Meeri Hellstén; John Airey; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Assessment; content and language integrated learning; CLIL; newly-arrived students; teacher beliefs; language policy; academic language; subject content; fairness; equity; validity; pedagogik; Education;

   Sammanfattning : This thesis presents the results from two research projects on teachers’ assessment beliefs and practices in multilingual education. Study I involved teachers of biology, history or English as a foreign language (EFL) in Swedish upper secondary Content and Language Integrated Learning (CLIL) schools, grades 10-12, where English is used as the medium of instruction. LÄS MER

7. 10. AssistancePlus : 3D-mediated Advice-giving on Pharmaceutical Products

   Författare :Martin Östlund; Nils Dahlbäck; Mattias Arvola; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; 3D; pharmaceutical advice-giving; remote instruction; 3D-mediated communication; video communication; co-browsing; web3D; common ground; Information technology; Informationsteknik;

   Sammanfattning : In the use of medication and pharmaceutical products, non‐compliance is a major problem. One thing we can do something about is making sure consumers have the information they need. This thesis investigates how remote communication technology can be used to improve the availability for expressive advice‐giving services. LÄS MER