06300nam 22007575 450 991014421230332120200702153058.03-540-40018-410.1007/b94290(CKB)1000000000212257(SSID)ssj0000325922(PQKBManifestationID)11230927(PQKBTitleCode)TC0000325922(PQKBWorkID)10264626(PQKB)11067299(DE-He213)978-3-540-40018-9(MiAaPQ)EBC3088540(PPN)155179322(EXLCZ)99100000000021225720121227d2003 u| 0engurnn|008mamaatxtccrProgramming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /edited by Atsushi Ohori1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XIV, 434 p.) Lecture Notes in Computer Science,0302-9743 ;2895Bibliographic Level Mode of Issuance: Monograph3-540-20536-5 Includes bibliographical references and index.Invited Talk 1 -- On a Method of Global Optimization -- Session 1 -- Observing Asymmetry and Mismatch -- Expressive Synchronization Types for Inheritance in the Join Calculus -- Term Graph Rewriting for the ?-Calculus -- Useless-Code Elimination and Program Slicing for the Pi-Calculus -- Session 2 -- Constraint Functional Logic Programming for Origami Construction -- A Typeful and Tagless Representation for XML Documents -- Dataflow Pointcut in Aspect-Oriented Programming -- Session 3 -- Affine-Based Size-Change Termination -- Using Locality of Flow in Dataflow Analyses -- A Differential Fixpoint Evaluation Framework for Non-distributive Systems -- Invited Talk 2 -- Model Checking: From Hardware to Software -- Session 4 -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results -- Session 5 -- A Program Inverter for a Functional Language with Equality and Constructors -- Rebuilding a Tree from Its Traversals: -- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver -- Session 6 -- Continuation Semantics for Parallel Haskell Dialects -- Translating a Continuous-Time Temporal Logic into Timed Automata -- The Semantic Layers of Timber -- Invited Talk 3 -- Scrap Your Boilerplate -- Session 7 -- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning -- Extensional Polymorphism by Flow Graph Dispatching -- Register Allocation Based on a Reference Flow Analysis -- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe.Lecture Notes in Computer Science,0302-9743 ;2895Programming languages (Electronic computers)Software engineeringOperating systems (Computers)Computer logicLogic, Symbolic and mathematicalProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming languages (Electronic computers)Software engineering.Operating systems (Computers)Computer logic.Logic, Symbolic and mathematical.Programming Languages, Compilers, Interpreters.Software Engineering.Operating Systems.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.13Ohori Atsushiedthttp://id.loc.gov/vocabulary/relators/edtAPLAS 2003MiAaPQMiAaPQMiAaPQBOOK9910144212303321Programming Languages and Systems3644366UNINA05022oam 2200937 c 450 991013918370332120260202090927.03-7639-4533-49783763945337(CKB)2560000000060055(EBL)646997(OCoLC)705535887(SSID)ssj0001557705(PQKBManifestationID)16178101(PQKBTitleCode)TC0001557705(PQKBWorkID)14817648(PQKB)11741177(MiAaPQ)EBC646997(wbv Publikation)9783763945337(EXLCZ)99256000000006005520260202d2009 uy 0gerur|n|---|||||txtccrLebenslanges Lernen und Emotionen Wirkungen von Emotionen auf Bildungsprozesse aus beziehungstheoretischer Perspektive /Wiltrud Gieseke2nd ed.Bielefeldwbv Publikation20091 online resource (284 p.)Erwachsenenbildung und lebensbegleitendes Lernen - Grundlagen & Theorie9Description based upon print version of record.3-7639-3331-X Includes bibliographical references.Vorwort 1 Einleitung 2 Bildung und Emotionen - ein ausgeblendeter Aspekt der Erziehungswissenschaften 2.1 Unsicherheiten mit dem Bildungsbegriff 2.2 Der Bildungsbegriff als politische Größe 2.3 Der Bildungsbegriff zwischen Verstand und Gefühl 2.4 Die Verbindung von Bildung und Emotionen mit der Genderperspektive 2.5 Berücksichtigung der Emotionalität in aktuellen bildungstheoretischen Reflexionen 2.6 Der Bildungsbegriff in der Erwachsenenbildung 2.7 Zusammenfassung 3 Aspekte einer Psychologie und Neurobiologie der Emotionen 3.1 Struktur der Emotionen 3.2 Bedeutung von Freude und Angst für Bildungsprozesse 3.3 Emotionen und Kognitionen im Zusammenspiel - neurobiologische Befunde 4 Das Erlernen und Ausdifferenzieren von Emotionalität - grundlagentheoretische Überlegungen 4.1 Intraindividuelle pädagogische Relevanz von Emotionen - Folgen der Sozialisation 4.2 Interindividuelle Anregungen für Bildungsprozesse 5 Emotionen als Inhalte von Bildungsprozessen in der Erwachsenenbildung und für die Personalentwicklung 5.1 Psychosoziales Lernen als Bildungsinhalt 6 Erwachsenenpädagogische Anschlussforschung (Exemplarische Einstiege) 6.1 Emotionstheoretische Grundlagen des Entscheidungsverhaltens - Auswirkungen für pädagogische Beratungskompetenz 6.2 Relationale Didaktik - Thesen einer Didaktik der Beziehung für lebenslanges Lernen 6.3 Raum zur Realisierung von Lehr-/Lernbeziehungen, sozialer Situation und Lernatmosphäre 7 Literatur 8 AnhangEmotionen und die Regulierung von Emotionen haben eine zentrale Bedeutung für die berufliche Weiterbildung: Arbeitsplätze im mittleren Management erfordern reflexive Lernprozesse bei Beziehungs-, Kooperations- und Teamfähigkeit, in Dienstleistungsberufen sind Emotionen in vielen Bereichen zum Arbeitsinhalt geworden. Dieses Buch analysiert den Einfluss von Emotionen auf den Bildungsprozess und stellt dar, wie die Erziehungswissenschaft, insbesondere die Erwachsenenpädagogik, das Thema behandelt. Neu ist die Annahme einer generellen Abhängigkeit der Kompetenzentwicklung von ausdifferenzierten Emotionen. Ihr kommt in einer bildungsabhängigen Gesellschaft in Zukunft immer größere Bedeutung zu. Die Autorin zeichnet die Veränderungen aus psychologischer, neurobiologischer und erziehungswissenschaftlicher Perspektive nach und stellt den Anschluss zu den Nachbardisziplinen her.Erwachsenenbildung und lebensbegleitendes Lernen.LernenErwachsenenbildungWeiterbildungLernprozessKooperationKompetenzenErwachsenenpädagogikKompetenzentwicklungAbhängigkeitDidaktik der ErwachsenenbildungEmotionen in der DidaktikBildungZukunftAgogikBildungsprozessTeamEmotionenLernenErwachsenenbildungWeiterbildungLernprozessKooperationKompetenzenErwachsenenpädagogikKompetenzentwicklungAbhängigkeitDidaktik der ErwachsenenbildungEmotionen in der DidaktikBildungZukunftAgogikBildungsprozessTeamEmotionen658658.3Gieseke Wiltrudaut0MiAaPQMiAaPQMiAaPQBOOK9910139183703321Lebenslanges Lernen und Emotionen2783848UNINA