04778nam 2200589Ia 450 991046133280332120200520144314.01-4384-3570-31-4416-9681-4(CKB)2670000000095511(EBL)3407284(MiAaPQ)EBC3407284(Au-PeEL)EBL3407284(CaPaEBR)ebr10574146(OCoLC)802048772(EXLCZ)99267000000009551120100806d2011 ub 0engur|n|---|||||Higher education and international student mobility in the global knowledge economy[electronic resource] /Kemal GürüzRev. and updated 2nd ed.Albany State University of New York Pressc20111 online resource (467 p.)Description based upon print version of record.1-4384-3569-X Includes bibliographical references and index.""HIGHER EDUCATION AND INTERNATIONAL STUDENT MOBILITY IN THE GLOBAL KNOWLEDGE ECONOMY""; ""CONTENTS""; ""ILLUSTRATIONS""; ""ACKNOWLEDGMENTS""; ""ABBREVIATIONS""; ""FOREWORD""; ""PREFACE TO THE REVISED AND UPDATED SECOND EDITION""; ""1. THE GLOBAL KNOWLEDGE ECONOMY AND HIGHER EDUCATION""; ""1.1. INTRODUCTION""; ""1.2. GLOBALIZATION AND THE KNOWLEDGE ECONOMY""; ""1.2.1. The Industrial Society""; ""1.2.2. Transformation to the Knowledge Society and theGlobal Knowledge Economy""; ""1.3. THE GLOBAL HIGHER EDUCATION AGENDA""; ""2. ENROLLMENT AND INCREASING DEMAND""; ""2.1. INCREASING DEMAND""""2.2. DEMOGRAPHIC SHIFT AND NONTRADITIONAL STUDENTS""""2.3. INCREASING DEMAND AND INTERNATIONAL STUDENT MOBILITY""; ""3. THE RISE OF MARKET FORCES""; ""3.1. HISTORICAL BACKGROUND""; ""3.2. PUBLIC SPENDING AND TUITION FEES""; ""3.3. PRIVATE INSTITUTIONS""; ""3.4. CHANGING PATTERNS OF GOVERNANCE""; ""3.4.1. Historical Background""; ""3.4.2. The State, the Academia, and the Society as Actorsin Governance""; ""3.4.3. Transformation from the Regulatory to the Evaluative State""; ""3.4.4. Spread of Lay Governance, Strengthened Institutional Leadership,and a Redefinition of Autonomy""""3.5. THE RISE OF MARKET FORCES IN RELATIONTO INTERNATIONAL STUDENT MOBILITY""""4. NEW PROVIDERS OF HIGHER EDUCATION""; ""4.1. INTRODUCTION""; ""4.2. IMPACT OF TECHNOLOGY""; ""4.3. IMPACT OF TECHNOLOGY ON TRADITIONAL INSTITUTIONS""; ""4.3.1. Distributed Learning""; ""4.3.2. Virtual Arms and Unbundling of Services in Traditional Institutions""; ""4.4. TYPES OF NEW PROVIDERS""; ""4.4.1. Consortia and Networks""; ""4.4.2. For-Profit Higher Education""; ""4.4.3. Virtual Universities""; ""4.4.4. Corporate Universities""; ""4.4.5. Certificate Programs""""4.4.6. Museums, Libraries, Publishers, and Media Enterprises""""4.4.7. Academic Brokers""; ""4.4.8. Branch Campuses,Franchises, and Twinning Arrangements""; ""4.5. THE GLOBAL HIGHER EDUCATION MARKET""; ""5. GLOBALIZATION ANDINTERNATIONALIZATION OF HIGHER EDUCATION""; ""5.1. HISTORICAL ANTECEDENTS""; ""5.1.1. International Academic Mobility in the Greco-Roman and the Muslim Worlds""; ""5.1.2. International Academic Mobility in Medieval Times""; ""5.1.3. International Academic Mobility: 1500â€?1800""; ""5.1.4. The Birth of the Napoleonic University and the German Research University""""5.1.5. International Academic Mobility in the Nineteenth and Early Twentieth Centuries""""5.1.6. The Emergence of the Modern American University""; ""5.2 GLOBALIZATION AND INTERNATIONALIZATION OF HIGHER EDUCATION SINCE 1950""; ""5.3. DEFINITION OF TERMS""; ""5.3.1. Globalization and Internationalization""; ""5.3.2. Rationales for Internationalization of Higher Education""; ""5.4 THE EUROPEAN RESPONSE: THE BOLOGNA PROCESS""; ""5.4.1 Chronological Background""; ""5.4.2. An Evaluation of the Bologna Process""; ""5.5. GATS: A “COMMERCIAL/ANGLO-SAXON RESPONSEâ€?""""5.6. QUALITY ASSURANCE INTRANSNATIONAL HIGHER EDUCATION:“MULTINATIONAL ORGANIZATIONAL RESPONSESâ€?""Education, HigherStudent mobilityForeign studyKnowledge managementEducation and globalizationElectronic books.Education, Higher.Student mobility.Foreign study.Knowledge management.Education and globalization.378Gürüz Kemal970753MiAaPQMiAaPQMiAaPQBOOK9910461332803321Higher education and international student mobility in the global knowledge economy2206470UNINA08242nam 22007095 450 99646606900331620200706110832.03-540-45744-510.1007/3-540-45744-5(CKB)1000000000211493(SSID)ssj0000321537(PQKBManifestationID)11230805(PQKBTitleCode)TC0000321537(PQKBWorkID)10263446(PQKB)11462430(DE-He213)978-3-540-45744-2(MiAaPQ)EBC3072805(PPN)155236768(EXLCZ)99100000000021149320121227d2001 u| 0engurnn#008mamaatxtccrAutomated Reasoning[electronic resource] First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /edited by Rajeev Gore, Alexander Leitsch, Tobias Nipkow1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (XIII, 712 p.)Lecture Notes in Artificial Intelligence ;2083Bibliographic Level Mode of Issuance: Monograph3-540-42254-4 Includes bibliographical references at the end of each chapters and index.Invited Talks -- Program Termination Analysis by Size-Change Graphs (Abstract) -- SET Cardholder Registration: The Secrecy Proofs -- SET Cardholder Registration: The Secrecy Proofs -- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction -- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction -- Description, Modal and temporal Logics -- The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach -- NExpTime-Complete Description Logics with Concrete Domains -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics -- The Hybrid ?-Calculus -- The Hybrid ?-Calculus -- The Inverse Method Implements the Automata Approach for Modal Satisfiability -- The Inverse Method Implements the Automata Approach for Modal Satisfiability -- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL -- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL -- Tableaux for Temporal Description Logic with Constant Domains -- Tableaux for Temporal Description Logic with Constant Domains -- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation -- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation -- Saturation Based Theorem Proving, Applications, and Data Structures -- Instructing Equational Set-Reasoning with Otter -- NP-Completeness of Refutability by Literal-Once Resolution -- Ordered Resolution vs. Connection Graph resolution -- A Model-Based Completeness Proof of Extended Narrowing and Resolution -- A Model-Based Completeness Proof of Extended Narrowing and Resolution -- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality -- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality -- Superposition and Chaining for Totally Ordered Divisible Abelian Groups -- Superposition and Chaining for Totally Ordered Divisible Abelian Groups -- Context Trees -- Context Trees -- On the Evaluation of Indexing Techniques for Theorem Proving -- On the Evaluation of Indexing Techniques for Theorem Proving -- Logic Programming and Nonmonotonic Reasoning -- Preferred Extensions of Argumentation Frameworks: Query, Answering, and Computation -- Bunched Logic Programming -- A Top-Down Procedure for Disjunctive Well-Founded Semantics -- A Second-Order Theorem Prover Applied to Circumscription -- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics -- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics -- Propositional Satisfiability and Quantified Boolean Logic -- Conditional Pure Literal Graphs -- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability -- QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability -- System Abstract: E 0.61 -- Vampire 1.1 -- DCTP - A Disconnection Calculus Theorem Prover - System Abstract -- DCTP - A Disconnection Calculus Theorem Prover - System Abstract -- Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving -- More On Implicit Syntax -- Termination and Reduction Checking for Higher-Order Logic Programs -- P.rex: An Interactive Proof Explainer -- JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants -- Semantic Guidance -- The eXtended Least Number Heuristic -- System Description: SCOTT-5 -- Combination of Distributed Search and Multi-Search in Peers-mcd.d -- Lotrec: The Generic Tableau Prover for Modal and Description Logics -- The modprof Theorem Prover -- A New System and Methodology for Generating Random Modal Formulae -- Equational Theorem Proving and Term Rewriting -- Decidable Classes of Inductive Theorems -- Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems -- Decidability and Complexity of Finitely Closable Linear Equational Theories -- A New Meta-Complexity Theorem for Bottom-Up Logic Programs -- Tableau, Sequent, Natural Deduction Calculi and Proof Theory -- Canonical Propositional Gentzen-Type Systems -- Incremental Closure of Free Variable Tableaux -- Deriving Modular Programs from Short Proofs -- A General Method for Using Schematizations in Automated Deduction -- Automata, Specification, Verification, and Logics of Programs -- Approximating Dependency Graphs Using Tree Automata Techniques -- On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables -- A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities -- Flaw Detection in Formal Specifications -- CCE: Testing Ground Joinability -- System Description: RDL Rewrite and Decision Procedure Laboratory -- lolliCoP — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic -- Nonclassical Logics -- Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction -- Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory -- STRIP: Structural Sharing for Efficient Proof-Search -- RACER System Description.Lecture Notes in Artificial Intelligence ;2083Artificial intelligenceMathematical logicComputer logicSoftware engineeringArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Mathematical logic.Computer logic.Software engineering.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Mathematical Logic and Foundations.006.3/33Gore Rajeevedthttp://id.loc.gov/vocabulary/relators/edtLeitsch Alexanderedthttp://id.loc.gov/vocabulary/relators/edtNipkow Tobiasedthttp://id.loc.gov/vocabulary/relators/edtIJCAR 2001BOOK996466069003316Automated Reasoning771895UNISA05510nam 2200625 450 991081837050332120231110211711.02-7598-1149-210.1051/978-2-7598-1149-6(CKB)3710000000088880(EBL)3155406(SSID)ssj0001154366(PQKBManifestationID)11719237(PQKBTitleCode)TC0001154366(PQKBWorkID)11162939(PQKB)10628083(Au-PeEL)EBL3155406(CaPaEBR)ebr10837896(CaONFJC)MIL577223(OCoLC)922991590(DE-B1597)575004(DE-B1597)9782759811496(Au-PeEL)EBL6810623(OCoLC)1245062543(MiAaPQ)EBC3155406(PPN)178536695(EXLCZ)99371000000008888020140301h20142014 uy 0freurnn#---|u||utxtccrChimie et transports vers des transports décarbonés /Michel Accarry, [and the others]Les Ulis, France :EDP Sciences,2014.©20141 online resource (273 p.)Collection Chimie EtDescription based upon print version of record.2-7598-1075-5 Front matter --Ont contribué à la rédaction de cet ouvrage --Sommaire --Avant-propos --Préface --Introduction Les infrastructures de transport et l’exploitation du réseau --Partie 1 : Le cas des transports urbains de l’agglomération lyonnaise --Partie 2 : Les apports de la chimie dans les projets d’avenir --Partie 1 La chimie au service du futur des véhicules --Introduction --Chapitre 1 : La catalyse au service de l’automobile --Chapitre 2 : Comment la chimie contribue-t-elle à la performance des véhicules électriques de demain ? --Chapitre 3 : La chimie donne des ailes --Chapitre 4 : La chimie et le rail --Chapitre 5 : Chimie et construction navale --Partie 2 Matériaux et transports durables --Chapitre 6 : Les alliages d’aluminium pour l’allégement des structures dans l’aéronautique et la carrosserie automobile --Chapitre 7 : Le pneumatique : innovation et haute technologie pour faire progresser la mobilité --Chapitre 8 : La zircone, matériau phare contre la pollution des échappements automobiles --Chapitre 9 : Vers une connexion des corps de métiers, pour des micro structures améliorées pour les transports --Partie 3 Énergie et transports durables --Chapitre 10 : La combustion et les défi s de la propulsion aéronautique et spatiale --Chapitre 11 : Vers des transports décarbonés : carburants, combustion et post-traitement pour les transports routiers --Chapitre 12 : Le moteur thermique comparé au moteur électrique. Enjeux et contraintes --Chapitre 13 : Le stockage de l’énergie dans le monde des transports --Conclusion : Qualité de vie et mobilitéÀ en juger par le succès que rencontrent à chacune de leurs éditions, le salon de l’automobile, le salon de l’aéronautique du Bourget ou les nombreuses expositions organisées sur les transports, cet ouvrage concernera des lecteurs de tous âges et d’occupations variées. La voiture surtout, mais aussi les transports en commun et le transport aérien, ont pris une telle place dans nos existences que les perspectives de crise ouvertes par la question de l’énergie sont causes de vives préoccupations chez tous les citoyens et toutes les collectivités. Des efforts de recherche très importants et variés sont consacrés par de nombreux acteurs, publics et privés, pour découvrir et mettre au point des réponses techniques aux transformations imposées par la raréfaction et le renchérissement de l’énergie, et par la demande sociale en matière de développement durable. Les thèmes explicités dans cet ouvrage ont pour une bonne part trait aux moyens d’économiser l’énergie : nouveaux matériaux pour alléger les structures, mise au point de carburants plus efficaces et moins polluants, développement de batteries pour la propulsion électrique. Chaque fois, le rôle central de la chimie apparaît et illustre la vigueur et la fécondité de la science et de la technologie chimiques. La place des transports, non pas comme un simple utilisateur d’énergie, mais comme un acteur participant – par exemple par ses capacités de stockage – à la gestion de la question énergétique ou – par exemple en « recréant » de façon nouvelle cette « route » qui est depuis toujours la base de nos campagnes – à l’aménagement de nos territoires. Exposés par des professionnels de l’industrie ou de la recherche publique, concrets et actifs sur ces sujets, ce livre fera progresser les lecteurs qui disposent d’une formation scolaire de base en matière scientifique et leur facilitera la compréhension du monde de demain.Chimie Et ... TransportationEnvironmental aspectsCongressesTransportationEnvironmental aspects363.731Accary Michelauthttp://id.loc.gov/vocabulary/relators/aut1643551Michel Accary1643552MiAaPQMiAaPQMiAaPQBOOK9910818370503321Chimie et transports3988872UNINA