04437nam 22006375 450 99646578460331620230222044957.03-319-41579-410.1007/978-3-319-41579-6(CKB)3710000000734828(DE-He213)978-3-319-41579-6(MiAaPQ)EBC5576874(PPN)194378667(EXLCZ)99371000000073482820160627d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierPerspectives of System Informatics[electronic resource] 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /edited by Manuel Mazzara, Andrei Voronkov1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (X, 341 p. 90 illus.)Theoretical Computer Science and General Issues,2512-2029 ;96093-319-41578-6 Includes bibliographical references and index.Quantitative Analysis of Collective Adaptive Systems -- What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific Computing Applications -- Site-Level Web Template Extraction based on DOM Analysis -- Verification Support for a State-Transition-DSL Defined with Xtext -- Towards using exact real arithmetic for initial value problems -- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data -- Behavioural Analysis of Sessions using the Calculus of Structures -- Using Refinement in Formal Development of OS Security Model -- onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population -- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic I/O Automata -- RSSA: A Reversible SSA Form -- Checking Several Requirements at once by CEGAR -- Unifying Requirements and Code: an Example -- Program Scheme Technique to Solve Propositional Program Logics Revised -- Automated Two-Phase Composition of Timed Web Services -- Equivalence of Finite-Valued Symbolic Finite Transducers -- Relaxed Parsing of Regular Approximations of String-Embedded Languages -- Branching Processes of Timed Petri Nets -- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.Theoretical Computer Science and General Issues,2512-2029 ;9609Computer scienceSoftware engineeringCompilers (Computer programs)Machine theoryComputer Science Logic and Foundations of ProgrammingSoftware EngineeringCompilers and InterpretersFormal Languages and Automata TheoryComputer science.Software engineering.Compilers (Computer programs).Machine theory.Computer Science Logic and Foundations of Programming.Software Engineering.Compilers and Interpreters.Formal Languages and Automata Theory.005.1Mazzara Manueledthttp://id.loc.gov/vocabulary/relators/edtVoronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465784603316Perspectives of system informatics1487606UNISA03271nam 2200613 450 991051819140332120220827123059.01-00-319090-11-000-51819-11-003-19090-1(CKB)5600000000022320(MiAaPQ)EBC6827057(Au-PeEL)EBL6827057(OCoLC)1289370240(oapen)https://directory.doabooks.org/handle/20.500.12854/77282(EXLCZ)99560000000002232020220827d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierChina's carbon-energy policy and Asia's energy transition carbon leakage, relocation and halos /edited by Akihisa MoriTaylor & Francis2022London ;New York, NY :Routledge, Taylor & Francis Group,[2022]©20221 online resource (315 pages)Routledge Contemporary China Series1-03-204180-3 This book seeks to examine the impacts associated with China’s carbon-energy policy in Asia and how, coupled with the Belt and Road Initiative, these effects prompt foreign direct investments in coal power and exports of renewable energy technologies. China shows a co-evolution of carbon-energy policy and energy transitions from coal to renewables. Assessing how the policy intensifies pressures and motivations to Chinese companies, chapters in this edited volume analyse how the policy has changed energy and CO2 emissions in Asia through the lens of carbon leakage, relocation, and halos. Contributors present in-depth studies on China’s investments and exports, and also its impacts on Indonesia, India, Vietnam, and Japan. Using applied computable general equilibrium and scenario input-output analyses, chapters investigate if regional electricity connectivity reduces new coal power investments through efficiency gain. Arguing that China is shifting from the world’s factory to the leading innovator and Asia's demand centre, it is ultimately demonstrated that China is likely to achieve climate targets whereas Asia to increase CO2 emissions and economic reliance on China. China’s Carbon-Energy Policy and Asia’s Energy Transition will be of significant interest to students and scholars of energy, environment, and sustainability studies, as well as Chinese studies and economics.Routledge contemporary China series.Energy policyChinaCarbon dioxide mitigationChinaEmissions tradingChinaasiacarbonchinaenergy policyenergy transitionenvironmenthalosEnergy policyCarbon dioxide mitigationEmissions trading333.790951Mori Akihisaedt1360807Mori Akihisa1970-MiAaPQMiAaPQMiAaPQBOOK9910518191403321China's carbon-energy policy and Asia's energy transition3378838UNINA02164oam 2200493 a 450 991069613000332120071004082836.0(CKB)5470000002375513(OCoLC)163915162(EXLCZ)99547000000237551320070813d2007 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrierInspectors General[electronic resource] proposals to strengthen independence and accountability : testimony before the Subcommittee on Government Management, Organization and Procurement, Committee on Oversight and Government Reform, House of Representatives /statement of Jeffrey C. Steinhoff[Washington, D.C.] :U.S. Govt. Accountability Office,[2007]16 pages digital, PDF fileTestimony ;GAO-07-1021 TTitle from title screen (viewed on August 13, 2007)."For release ... Wednesday, June 20, 2007."Paper version available from: U.S. Govt. Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548.Includes bibliographical references.Inspectors General AuditorsLegal status, laws, etcUnited StatesGovernmental investigationsUnited StatesExecutive departmentsOfficials and employeesUnited StatesFinance, PublicUnited StatesAccountingAuditorsLegal status, laws, etc.Governmental investigationsExecutive departmentsOfficials and employeesFinance, PublicAccounting.Steinhoff Jeffrey C1381428United States.Congress.House.Committee on Oversight and Government Reform.Subcommittee on Government Management, Organization, and Procurement.United States.Government Accountability Office.EJBEJBEJBGPOBOOK9910696130003321Inspectors General3433726UNINA