LEADER 04151nam 22007095 450 001 9910800112503321 005 20251225211017.0 010 $a3-031-52038-6 024 7 $a10.1007/978-3-031-52038-9 035 $a(CKB)29551278000041 035 $a(MiAaPQ)EBC31061698 035 $a(Au-PeEL)EBL31061698 035 $a(DE-He213)978-3-031-52038-9 035 $a(EXLCZ)9929551278000041 100 $a20240109d2023 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPractical Aspects of Declarative Languages $e26th International Symposium, PADL 2024, London, UK, January 15?16, 2024, Proceedings /$fedited by Martin Gebser, Ilya Sergey 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (238 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14512 311 08$a9783031520372 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Whats and Whys of Neural Network Verification (A Declarative Programming Perspective) -- Modular Higher-Order Effects -- Regular Papers -- Forget and Regeneration Techniques for Optimizing ASP-based Stream Reasoning -- Asynchronous Reactive Programming with Modal Types in Haskell -- FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability -- Marketplace Logistics via Answer Set Programming -- Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures -- Rethinking Answer Set Programming Templates -- Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic -- A direct ASP Encoding for Declare -- Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks -- Hardware implementation of OCaml using a synchronous functional language -- Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures -- Explanation and Knowledge Acquisition in Ad Hoc Teamwork -- Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. 330 $aThis book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17?19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14512 606 $aProgramming languages (Electronic computers) 606 $aApplication software 606 $aExpert systems (Computer science) 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aProgramming Language 606 $aComputer and Information Systems Applications 606 $aKnowledge Based Systems 606 $aTheory of Computation 606 $aComputer Engineering and Networks 615 0$aProgramming languages (Electronic computers) 615 0$aApplication software. 615 0$aExpert systems (Computer science) 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aProgramming Language. 615 24$aComputer and Information Systems Applications. 615 24$aKnowledge Based Systems. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 676 $a005.131 702 $aGebser$b Martin 702 $aSergey$b Ilya 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910800112503321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA LEADER 06630oam 2200721 c 450 001 9910309738103321 005 20260102090118.0 010 $a9783866496248 010 $a3866496249 024 3 $a9783866496248 035 $a(CKB)4100000007596434 035 $a(WaSeSS)IndRDA00124866 035 $a(Verlag Barbara Budrich)9783866496248 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/32851 035 $a(MiAaPQ)EBC30196508 035 $a(Au-PeEL)EBL30196508 035 $a(ScCtBLL)20383fb9-6055-4dac-a535-dd2761df7d1b 035 $a(OCoLC)1100539635 035 $a(Perlego)3256995 035 $a(oapen)doab32851 035 $a(OCoLC)1492981010 035 $a(EXLCZ)994100000007596434 100 $a20260102d2011 uy 0 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aLehr-Lernforschung und Professionalisierung $ePerspektiven der Berufsbildungsforschung /$fUwe Faßhauer, Josef Aff, Bärbel Fürstenau, Eveline Wuttke 205 $a1st ed. 210 $aLeverkusen$cVerlag Barbara Budrich$d2011 215 $a1 online resource (246 pages) 225 0 $aSchriftenreihe der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft (DGfE) 311 08$a9783866493674 311 08$a3866493673 327 $aCover -- Lehr-Lernforschung und Professionalisierung. Perspektiven der Berufsbildungsforschung -- Inhaltsverzeichnis -- Vorwort -- Identifizierung von Barrieren der Störungsdiagnose in simulierten und realen Anforderungssituationen bei Elektronikern (Bernd Geißel, Matthias Hedrich) -- Zur Messung interkultureller Kompetenz (Matthias Hofmuth, Susanne Weber) -- Leseanforderungen im Kontext beruflicher Arbeit als Ausgangspunkt für die Entwicklungadressaten spezifischer integrierter Konzepte zur Förderung von Lesestrategien (Christina Keimes, Volker Rexing, Birgit Ziegler) -- Über welche ökonomischen Kompetenzen verfügen Maturandinnen und Maturanden? Hintergrund, Fragestellungen, Design und Methode des Schweizer Forschungsprojekts OEKOMA im Überblick (Stephan Schumann, Maren Oepke, Franz Eberle) -- ?Networking" als Lernziel der Entrepreneurship Education (Susanne Weber, Stephanie Starke) -- Evaluationsstudie zu den Effekten außerschulischer Fördermaßnahmen im MINT- Bereich (Anne Windaus, Svitlana Mokhonko, Reinhold Nickolaus) -- Entwicklung eines Instruments zur Erhebung der epistemologischen Überzeugungen von Auszubildenden (Bernd Zinn) -- Die Abbildung vernetzten Wissens zur privaten Ver- und Überschuldung mit Concept Maps (Nina Bender) -- Unterstützung des Lernens betriebswirtschaftlicher Inhalte durch Concept Maps oderTextzusammenfassungen - eine vergleichende Untersuchung im Rahmen des Planspielunterrichts (Jeannine Ryssel, Bärbel Fürstenau) -- Welche Rolle spielen berufliche und pädagogische Qualifikationen dafür, Mitarbeitern Ausbildungsaufgaben zu übertragen? Ergebnisse einer Betriebsbefragung (Margit Ebbinghaus) -- ?Ein Lehrer ist wie?": Mit welchen Metaphern umschreiben Studierende derWirtschaftspädagogik die Tätigkeit von Lehrpersonen? (Birgit Lehmann, Hermann G. Ebner). 327 $aStudienwechsel als Indikator für Scheitern? (Maika Gausch, Jürgen van Buer) -- Professionelle Fehlerkompetenz von Lehrkräften - Wissen über Schülerfehler und deren Ursachen (Anna Gewiese, Eveline Wuttke, Ronny Kästner, Jürgen Seifried, Janosch Türling) -- Motivstrukturen zur wissenschaftlichen Weiterbildung (Martin Kröll) -- Die Entstehung und Entwicklung des Berufsbildungssystems in der Schweiz 1880-1930 -Föderalismus als ?Reformlabor' für die Berufsbildung (Esther Berner, Hans-Jakob Ritter) -- Entwicklung des ?beruflichen" Teilzeitschulwesens im Grhzm. Sachsen-Weimar-Eisenach unter besonderer Berücksichtigung der Residenz- und UniversitätsstadtJena (1821-1925) (Mathias Götzl) -- Dreifachqualifizierung am Übergang von der Schule in den Beruf - Strukturen, Prozesse und Effekte des Hamburger Schulversuchs EARA (Karin Wirth, Julia Gillen) -- Integratives Qualitätsmanagement an beruflichen Schulen im Berliner Modellversuch SUE (Jana Rückmann, Cornelia Wagner) -- Herausgeberschaft -- Autorinnen und Autoren. 330 $aBerufsbildungsforschung Die Themenschwerpunkte Lehr-Lern-Forschung und Professionalisierung werden aus Sicht aktueller For schungs - projekte sowohl empirisch als auch theoretisch analysiert. Im Vordergrund stehen die Wirksamkeit spezifischer Unterrichtsmethoden und Fördermaßnahmen sowie professionelle Kompetenzen des Bildungspersonals. Vocational training research The main topics of teaching-learning research and professionalisation are analysed both empirically and theoretically from the perspective of current research projects. The focus is on the effectiveness of specific teaching methods and support measures as well as on the professional skills of training personnel. 330 1 $aDieser Sammelband gibt einen guten Überblick über die aktuellen Forschungsthemen der Berufs- und Wirtschaftspädagogik. Es zeigt sich, dass die Dominanz der beruflichen Schulen als Erkenntnisobjekt beendet ist und dafür insbesondere Lehr- und Lernmethoden in den Fokus gerückt sind. Dies ist erfreulich, da damit den vielen semiwissenschaftlichen Publikationen der sogenannten Trainingswissenschaften ein wissenschaftlich fundiertes Konzept entgegengesetzt werden kann. Jeder, der sich mit der Berufs- und Wirtschaftspädagogik auseinandersetzt, ist gut beraten, sich mit diesem Sammelband zu beschäftigen. Socialnet.de,12.09.2011 410 0$aSchriftenreihe der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft Für Erziehungswissenschaft (DGfE) Series 606 $aBerufspädagogik 606 $aVocational education 606 $abusiness education 606 $aWirtschaftspädagogik 606 $acompetence development 606 $aKompetenzentwicklung 615 4$aBerufspädagogik 615 4$aVocational education 615 4$abusiness education 615 4$aWirtschaftspädagogik 615 4$acompetence development 615 4$aKompetenzentwicklung 676 $a371.102 702 $aFaßhauer$b Uwe$cProf. Dr.$4edt 702 $aAff$b Josef$cProf. Dr.$4edt 702 $aFürstenau$b Bärbel$cProf. Dr.$4edt 702 $aWuttke$b Eveline$cProf. Dr.$4edt 801 0$bWaSeSS 801 1$bWaSeSS 906 $aBOOK 912 $a9910309738103321 996 $aLehr-Lernforschung und Professionalisierung$92781084 997 $aUNINA