07277nam 22007695 450 99646616360331620200630071021.03-540-47238-X10.1007/11901914(CKB)1000000000283746(SSID)ssj0000316407(PQKBManifestationID)11237021(PQKBTitleCode)TC0000316407(PQKBWorkID)10275137(PQKB)11635871(DE-He213)978-3-540-47238-4(MiAaPQ)EBC3068508(PPN)123139171(EXLCZ)99100000000028374620100324d2006 u| 0engurnn|008mamaatxtccrAutomated Technology for Verification and Analysis[electronic resource] 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /edited by Susanne Graf, Wenhui Zhang1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XIV, 546 p.) Programming and Software Engineering ;4218Bibliographic Level Mode of Issuance: Monograph3-540-47237-1 Includes bibliographical references and index.Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. This year, we received a record number of papers: a total of 137 submissions from 27 countries. Each submission was assigned to three Program Comm- tee members, who could request help from subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the Program Committee was conducted through Springer’s Online Conference Service for a duration of about 10 days after nearly all review reports had been collected. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.Programming and Software Engineering ;4218Computer-aided engineeringComputer logicComputersComputer communication systemsSpecial purpose computersSoftware engineeringComputer-Aided Engineering (CAD, CAE) and Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I23044Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XInformation Systems and Communication Servicehttps://scigraph.springernature.com/ontologies/product-market-codes/I18008Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer-aided engineering.Computer logic.Computers.Computer communication systems.Special purpose computers.Software engineering.Computer-Aided Engineering (CAD, CAE) and Design.Logics and Meanings of Programs.Information Systems and Communication Service.Computer Communication Networks.Special Purpose and Application-Based Systems.Software Engineering.004.01/5113Graf Susanneedthttp://id.loc.gov/vocabulary/relators/edtZhang Wenhuiedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466163603316Automated Technology for Verification and Analysis772478UNISA01195nam0 22002771i 450 UON0039453220231205104628.39020110623d1978 |0itac50 baitaIT|||| |||||ˆGli ‰enti locali fra riforma tributaria, inflazione e movimenti urbaniun contibuto all'analisi del dissesto della finanza localeG. Brosio, D. Hyman, W. SantagataTorinoFondazione Giovanni Agnellic197868 p. 22 cm.ENTI LOCALI FINANZAUONC075772FIITTorinoUONL000014BrosioGiorgioUONV10020939999HYMAND.UONV202950567552SantagataWalterUONV10719389682Fondazione Giovanni AgnelliUONV247677650ITSOL20250314RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00394532SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI PUB D 0013 SI SC 5175 5 0013 BuonoEnti locali fra riforma tributaria, inflazione e movimenti urbani1037458UNIOR04534nam 22006015 450 991061640060332120251009102728.09783031128776303112877X10.1007/978-3-031-12877-6(MiAaPQ)EBC7108398(Au-PeEL)EBL7108398(CKB)25048794500041(DE-He213)978-3-031-12877-6(EXLCZ)992504879450004120221008d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRefugee Camps in Europe and Australia An Interdisciplinary Critique /edited by Oliver Razum, Angus Dawson, Lisa Eckenwiler, Verina Wild1st ed. 2022.Cham :Springer International Publishing :Imprint: Palgrave Macmillan,2022.1 online resource (157 pages)Print version: Razum, Oliver Refugee Camps in Europe and Australia Cham : Springer International Publishing AG,c2022 9783031128769 Includes bibliographical references and index.1.Refugee camps: Paradise or Purgatory? -- Part 1: Analytical lenses on camps -- 2.The long and winding road from Castra Regina to Kutupalong: Reflections on the definition and history of camps -- 3.Hannah Arendt and the politics of encampment -- 4.Camp settings in the EU, Australia, and their extended border zones -- 5.Assessing refugee accommodation: from Broken Windows Index to heterotopic spaces -- 6.What the Mountains told us: A conversation on Behrouz Boochani´s book “No Friend But The Mountains” -- Part 2: Ways towards improving refugee accommodation -- 7.Refugees and others enduring displacement: structural injustice, health, and ethical place-making -- 8.Feminist ethics of care, responsibility, and refugee accommodation: Concrete steps towards improvements.This Palgrave Pivot examines refugee camps in the EU, Australia, and their border zones. The approach is interdisciplinary, comprising perspectives of history, ethics, political science, literature, and health. The book argues that current practice of accommodating refugees is arbitrary and disempowering, ranging from strict regulation within nation states to detrimental conditions in extraterritorial camps. It instead proposes to increase public scrutiny of refugee camps, to enforce existing laws, and to endorse ethical place-making. With its contributions from a wide range of fields, this edited volume will be of interest to academics and students in public health, ethics, sociology, politics, and related fields. Oliver Razum is Dean of the School of Public Health at Bielefeld University, Germany, and heads the Department of Epidemiology & International Public Health as full professor. He has conducted research on migrant and refugee health from a public health perspective for more than 25 years. Lisa Eckenwiler is Professor in the Department of Philosophy at George Mason University, USA. Her research focuses on vulnerable populations, especially in humanitarian settings, and structural health injustice. She is Vice President of the International Association of Bioethics and a Fellow of the Hastings Center. Verina Wild is Professor of Medical Ethics at Augsburg University, Germany. She works in the area of medical ethics/bioethics, public health ethics and global health ethics, with a special focus on vulnerability, justice and population health. Angus Dawson is Professor of Bioethics and Director of Sydney Health Ethics at The University of Sydney School of Public Health, Australia. He is working in public health ethics with a research interest in ethical issues and dilemmas in international contexts.Emigration and immigrationPublic healthEthicsHuman MigrationPublic HealthMoral Philosophy and Applied EthicsDiaspora StudiesEmigration and immigration.Public health.Ethics.Human Migration.Public Health.Moral Philosophy and Applied Ethics.Diaspora Studies.362.87362.8783Razum OliverMiAaPQMiAaPQMiAaPQBOOK9910616400603321Refugee camps in Europe and Australia3047546UNINA