• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Book (80)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 Hits 1 – 20 of 80 1 Program Logic for Weak Memory Concurrency ... Doko, Marko. - : Technische Universität Kaiserslautern, 2021 BASE Show details 2 Neural Network Learning for Robust Speech Recognition Qu, Leyuan. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2021 BASE Show details 3 Student Performance and Collaboration in Introductory Courses to Theory of Computation ; Studierendenperformance und Kollaboration in Einführungskursen der Theoretischen Informatik Frede, Christiane. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2021 Abstract: In tertiary computer science education, computer science undergraduate programs usually include one or two compulsory courses in theory of computation. Although computer science curriculum recommendations indicate that theory of computation courses are a highly relevant part of computer science undergraduate programs, the courses suffer from high failure rates, and only a minority of students perform well. Several pedagogical approaches have been introduced in the last decade to address the problem and improve the situation in theory of computation courses. These approaches offer elaborated pedagogical solutions for engaging computer science students for theory of computation and lowering attrition and failure rates. Most of the existing approaches were developed with the assumption that students’ difficulties with theory of computation are mainly caused by a lack of interest, motivation, or ability to understand the relevant concepts and theorems due to the abstract and formal nature of computation. Thereby, the assumptions are often based on occasional oral feedback or surveys with given answers which were conducted after the courses. This leads to the fact that none of the assumed student difficulties have been empirically validated in ways that would inform pedagogical considerations by detailed insights about the nature of students’ actual difficulties. In the present work, I have undertaken a detailed investigation of the difficulties of students with theory of computation. Thereby, I provide more sustained information than the general assumptions on which current pedagogy has been based. In more detail, I conducted two studies: (1) a quantitative study within an introductory course about Formal Languages and Automata to investigate the student performance in all assignments and topics covered, and (2) a qualitative study to explore students’ difficulties in assignments selected based on the results of the quantitative study. Using an exploratory data analysis approach and a one-way analysis of variance, I analyzed the final exam and homework performance of about 1500 students over three consecutive years. The results show that all students perform low on almost all proof assignments, regardless of their final exam grades. While students performed worst in the final exam on an assignment that required a formal proof using the pumping lemma, performance on a similar homework assignment was not as low. Furthermore, I detected how one assignment of the first year of analysis had a significantly lower performance in the following years after a sub-task was added that required proof development. The results underline that students have most difficulties with formal proof assignments and add that this can affect students regardless of their final exam grade. Based on the performance discrepancy between pumping lemma final exams and homework assignments, I conducted a qualitative study. Using a videography and a video interaction analysis, I observed three student groups working on two pumping lemma homework assignments. Thereby, I came to the following conclusions: Students have the same difficulties on the pumping lemma assignments in final exams and homework. However, when it comes to homework, students usually solve the problems while working together, so performance on homework solutions tends to be higher than on individual final exams. Nevertheless, through an analysis of student interactions, I found that there is a particular distribution of roles in the groups. Generally, one student acts as an explaining teacher, one as a questioning student, while all other students hardly participate in the group work, regardless of the group size. One possible explanation for this type of distribution lies in how students externalize and internalize their knowledge. They focus heavily on the tutor session and their tutor’s explanations and use the sample solutions they receive online for various assignments as patterns for their own solutions. The overall study gives the impression that students in group work are trying to achieve a result that will earn them as many points as possible with the tutor, rather than really internalizing and learning the topics. Through an extensive quantitative study and a detailed qualitative study, the present work offers new insights and explanations for the low performance and high failure rates in theory of computation courses. The findings offer starting points for changing the pedagogical design to improve the poor situation in theory of computation courses. In addition to teaching proof skills, special attention needs to be paid to collaborative teaching-learning situations. Keyword: 004: Informatik; 54.10: Theoretische Informatik; Computer science education; ddc:004:; Empirische Forschung; Explorative Data Analysis; Hochschuldidaktik; Informatik; Performance Analysis; Theoretische Informatik; Theory of computation; Video; Videography URL: http://nbn-resolving.de/urn:nbn:de:gbv:18-ediss-98947 https://ediss.sub.uni-hamburg.de/handle/ediss/9483 BASE Hide details 4 Classifying user information needs in cooking dialogues – an empirical performance evaluation of transformer networks Schwabl, Patrick. - 2021 BASE Show details 5 Entwicklung und Evaluation eines Tools zur lexikonbasierten Sentiment Analysis für die Digital Humanities Dangel, Johanna. - 2021 BASE Show details 6 Language representations for computational argumentation Lauscher, Anne. - 2021 BASE Show details 7 Accessible digital documentary heritage : guidelines for the preparation of documentary heritage in accessible formats for persons with disabilities ... Darvishy, Alireza; Manning, Juliet. - : UNESCO, 2020 BASE Show details 8 Erfahrung und Gewissheit – Orientierungen in den Wissenschaften und im Alltag. IV. Regensburger Symposium vom 24.-26. März 2011 ... Thim-Mabrey, Christiane; Brack, Matthias. - : Universität Regensburg, 2020 BASE Show details 9 Conversational Language Learning for Human-Robot Interaction Bothe, Chandrakant Ramesh. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020 BASE Show details 10 Natural Language Visual Grounding via Multimodal Learning ; Natürliche Sprache Visual Grounding durch multimodales Lernen Mi, Jinpeng. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020 BASE Show details 11 Erfahrung und Gewissheit – Orientierungen in den Wissenschaften und im Alltag. IV. Regensburger Symposium vom 24.-26. März 2011 Thim-Mabrey, Christiane; Brack, Matthias. - : Universitätsbibliothek Regensburg, 2020 BASE Show details 12 ANNIS: A graph-based query system for deeply annotated text corpora ... Krause, Thomas. - : Humboldt-Universität zu Berlin, 2019 BASE Show details 13 Generating Formal Representations of System Specification from Natural Language Requirements Irfan, Zeeshan. - 2019 BASE Show details 14 ANNIS: A graph-based query system for deeply annotated text corpora Krause, Thomas. - : Humboldt-Universität zu Berlin, 2019 BASE Show details 15 Acquiring Architecture Knowledge for Technology Design Decisions ; Erfassung von Architekturwissen für Technologieentwurfsentscheidungen Soliman, Mohamed Aboubakr Mohamed. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2019 BASE Show details 16 Adaptive Approaches to Natural Language Processing in Annotation and Application ; Adaptive Ansätze zur Verarbeitung natürlicher Sprache in Annotation und Anwendung Yimam, Seid Muhie. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2019 BASE Show details 17 Predictive Dependency Parsing ; Vorhersagendes Dependenzparsing Köhn, Arne. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2019 BASE Show details 18 Automatic generation of lexical recognition tests using natural language processing Hamed, Osama Amin. - 2019 BASE Show details 19 Mining and Analyzing User Rationale in Software Engineering ; Gewinnung und Analyse von Nutzerbegründungen in der Softwaretechnik Kurtanović, Zijad. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2018 BASE Show details 20 Operations on Graphs, Arrays and Automata ; Operationen auf Graphen, Arrays und Automaten Paramasivan, Meenakshi. - 2018 BASE Show details Page: 1 2 3 4

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 80 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0