LEADER 10664nam 22007815 450 001 996465487903316 005 20200703181412.0 010 $a3-540-27836-2 024 7 $a10.1007/b99859 035 $a(CKB)1000000000212512 035 $a(DE-He213)978-3-540-27836-8 035 $a(SSID)ssj0000107924 035 $a(PQKBManifestationID)11129230 035 $a(PQKBTitleCode)TC0000107924 035 $a(PQKBWorkID)10016022 035 $a(PQKB)10490989 035 $a(MiAaPQ)EBC3087242 035 $a(PPN)155169076 035 $a(EXLCZ)991000000000212512 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomata, Languages and Programming$b[electronic resource] $e31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings /$fedited by Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XXXVIII, 1256 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3142 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22849-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Self-Adjusting Computation -- The Past, Present, and Future of Web Search Engines -- What Do Program Logics and Type Systems Have in Common? -- Feasible Proofs and Computations: Partnership and Fusion -- Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input -- Testing, Optimizaton, and Games -- Contributed Papers -- Deciding Knowledge in Security Protocols Under Equational Theories -- Representing Nested Inductive Types Using W-Types -- Algorithms for Multi-product Pricing -- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas -- Linear and Branching Metrics for Quantitative Transition Systems -- Learning a Hidden Subgraph -- Optimal Reachability for Weighted Timed Games -- Wavelength Assignment in Optical Networks with Fixed Fiber Capacity -- External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs -- A ?-Calculus for Resource Separation -- The Power of Verification for One-Parameter Agents -- Group Spreading: A Protocol for Provably Secure Distributed Name Service -- Further Improvements in Competitive Guarantees for QoS Buffering -- Competition-Induced Preferential Attachment -- Approximating Longest Directed Paths and Cycles -- Definitions and Bounds for Self-Healing Key Distribution Schemes -- Tree-Walking Automata Cannot Be Determinized -- Projecting Games on Hypercoherences -- An Analog Characterization of Elementarily Computable Functions over the Real Numbers -- Model Checking with Multi-valued Logics -- The Complexity of Partition Functions -- Comparing Recursion, Replication, and Iteration in Process Calculi -- Dynamic Price Sequence and Incentive Compatibility -- The Complexity of Equivariant Unification -- Coordination Mechanisms -- Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help -- Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities -- Coloring Semirandom Graphs Optimally -- Sublinear-Time Approximation for Clustering Via Random Sampling -- Solving Two-Variable Word Equations -- Backtracking Games and Inflationary Fixed Points -- A PTAS for Embedding Hypergraph in a Cycle -- Towards an Algebraic Theory of Typed Mobile Processes -- Ecological Turing Machines -- Locally Consistent Constraint Satisfaction Problems -- Quantum Query Complexity of Some Graph Problems -- A Domain Theoretic Account of Picard?s Theorem -- Interactive Observability in Ludics -- Easily Refutable Subformulas of Large Random 3CNF Formulas -- On Graph Problems in a Semi-streaming Model -- Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks -- Bounded Fixed-Parameter Tractability and log2 n Nondeterministic Bits -- Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In -- Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up -- Selfish Unsplittable Flows -- A General Technique for Managing Strings in Comparison-Driven Data Structures -- Greedy Regular Expression Matching -- A Time Algorithm for d-Dimensional Protein Folding in the HP-Model -- Nash Equilibria in Discrete Routing Games with Convex Latency Functions -- Improved Results for Data Migration and Open Shop Scheduling -- Deterministic M2M Multicast in Radio Networks -- Syntactic Control of Concurrency -- Linear-Time List Decoding in Error-Free Settings -- A Categorical Model for the Geometry of Interaction -- Testing Monotonicity over Graph Products -- The Minimum-Entropy Set Cover Problem -- Communication Versus Computation -- Optimal Website Design with the Constrained Subtree Selection Problem -- Simple Permutations Mix Well -- Closest Pair Problems in Very High Dimensions -- Universality in Quantum Computation -- Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design -- Fairness to All While Downsizing -- A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems -- A Faster Algorithm for Minimum Cycle Basis of Graphs -- The Black-Box Complexity of Nearest Neighbor Search -- Regular Solutions of Language Inequalities and Well Quasi-orders -- A Calculus of Coroutines -- Almost Optimal Decentralized Routing in Long-Range Contact Networks -- Word Problems on Compressed Words -- Complexity of Pseudoknot Prediction in Simple Models -- Property Testing of Regular Tree Languages -- Entropy as a Fixed Point -- Transparent Long Proofs: A First PCP Theorem for -- A Time Lower Bound for Satisfiability -- Some Results on Effective Randomness -- A Polynomial Quantum Query Lower Bound for the Set Equality Problem -- Succinct Representations of Functions -- A Note on Karr?s Algorithm -- The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs -- Efficient Consistency Proofs for Generalized Queries on a Committed Database -- A -Approximation Algorithm for Rectangle Tiling -- Extensional Theories and Rewriting -- Hardness of String Similarity Search and Other Indexing Problems -- A Syntactic Characterization of Distributive LTL Queries -- Online Scheduling with Bounded Migration -- On the Expressive Power of Monadic Least Fixed Point Logic -- Counting in Trees for Free -- Games with Winning Conditions of High Borel Complexity -- Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas -- LA, Permutations, and the Hajós Calculus -- A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles -- Efficiently Computing Succinct Trade-Off Curves -- On Randomization Versus Synchronization in Distributed Systems -- A New Algorithm for Optimal Constraint Satisfaction and Its Implications -- On the Power of Ambainis?s Lower Bounds. 330 $aThe 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held from July 12 to July 16 in Turku, Finland. This volume contains all contributed papers presented at ICALP 2004, together with the invitedlecturesbyPhilippeFlajolet(INRIA),RobertHarper(CarnegieMellon), Monika Henzinger (Google), Martin Hofmann (Munich), Alexander Razborov (Princeton and Moscow), Wojciech Rytter (Warsaw and NJIT), and Mihalis Yannakakis (Stanford). ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The ?rst ICALP took place in 1972 and the ICALP program currently consists of track A (focusing on algorithms, automata, complexity, and cryptography) and track B (focusing on databases, logics, semantics, and principles of programming). Inresponsetothecallforpapers,theprogramcommitteereceived379papers, 272 for track A and 107 for track B. This is the highest number of submitted papersinthehistoryofICALPconferences.Theprogramcommitteesselected97 papersforinclusionintothescienti?cprogram.Theprogramcommitteefortrack A met on March 27 and 28 in Barcelona and selected 69 papers from track A. TheprogramcommitteefortrackBselected28papersfromtrackBinthecourse of an electronic discussion lasting for two weeks in the second half of March. The selections were based on originality, quality, and relevance to theor- ical computer science. We wish to thank all authors who submitted extended abstracts for consideration, the program committee for its hard work, and all referees who assisted the program committee in the evaluation process. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3142 606 $aSoftware engineering 606 $aComputers 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aData structures (Computer science) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 0$aData structures (Computer science). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aNumeric Computing. 615 24$aData Structures. 676 $a005.1 702 $aDiaz$b Josep$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKarhumäki$b Juhani$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLepistö$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSannella$b Donald$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465487903316 996 $aAutomata, languages and programming$9339738 997 $aUNISA LEADER 03246oam 2200745I 450 001 9910783999903321 005 20230617002206.0 010 $a1-135-95250-7 010 $a1-299-28565-1 010 $a1-135-95251-5 010 $a1-280-06288-6 010 $a0-203-32851-5 024 7 $a10.4324/9780203328514 035 $a(CKB)1000000000251729 035 $a(EBL)199611 035 $a(OCoLC)299570836 035 $a(SSID)ssj0000302527 035 $a(PQKBManifestationID)11241672 035 $a(PQKBTitleCode)TC0000302527 035 $a(PQKBWorkID)10266661 035 $a(PQKB)11128902 035 $a(MiAaPQ)EBC199611 035 $a(MiAaPQ)EBC5293031 035 $a(Au-PeEL)EBL199611 035 $a(CaPaEBR)ebr10094703 035 $a(CaONFJC)MIL6288 035 $a(OCoLC)57049188 035 $a(Au-PeEL)EBL5293031 035 $a(CaONFJC)MIL459815 035 $a(OCoLC)925421754 035 $a(EXLCZ)991000000000251729 100 $a20180331d2004 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aMapping women, making politics $efeminist perspectives on political geography /$fedited by Lynn A. Staeheli, Eleonore Kofman, Linda Peake 210 1$aNew York :$cRoutledge,$d2004. 215 $a1 online resource (328 p.) 300 $aDescription based upon print version of record. 311 $a0-415-93448-6 311 $a0-415-93449-4 320 $aIncludes bibliographical references and index. 327 $aBook Cover; Title; Contents; Preface; Mapping Gender, Making Politics: Toward Feminist Political Geographies; Contextualizing Feminist Political Theory; Mapping Feminisms and Difference; From Dualisms to Multiplicities: Gendered Political Practices; Placing Gendered Political Acts; Doing Feminist Political Geographies; Development, Postcolonialism, and Feminist Political Geography; Critically Feminist Geopolitics; Gendered Globalization; Territory, Territoriality, and Boundaries; Embodied Nationalisms; The (Geo)Politics of Gendered Mobility; Crossing Borders: Gender and Migration 327 $aSocial Movements, Protest, and ResistanceA Gendered Politics of the Environment; Making Feminist Sense of the State and Citizenship; Framing Feminist Claims for Urban Citizenship; Feminizing Electoral Geography; References; Contributors; Index; 330 $aThis reader demonstrates the ways in which gender interacts with other dimensions of difference to shape political processes and the politics of space. 517 3 $aFeminist perspectives on political geography 606 $aFeminist political geography 606 $aSex role$xPolitical aspects 606 $aFeminist theory$xPolitical aspects 615 0$aFeminist political geography. 615 0$aSex role$xPolitical aspects. 615 0$aFeminist theory$xPolitical aspects. 676 $a320.1/2/082 701 $aStaeheli$b Lynn A$01550899 701 $aKofman$b Eleonore$0145064 701 $aPeake$b Linda$f1956-$01538249 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910783999903321 996 $aMapping women, making politics$93810112 997 $aUNINA LEADER 01490nam0 22003373i 450 001 VAN00210973 005 20240806101229.236 010 $a978-17-88118-99-6 017 70$2N$a9781788119009 100 $a20210901d2019 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aAnti-blanchard macroeconomics$ea comparative approach$fEmiliano Brancaccio, Andrea Califano 210 $aCheltenham$cElgar$d2019 215 $aXIV, 158 p.$d24 cm 500 1$3VAN00210974$aAnti-blanchard macroeconomics : a comparative approach$91866590 606 $aMacroeconomia$3VANC030439$2EC 620 $dCheltenham$3VANL000120 676 $a339$v21 700 1$aBrancaccio$bEmiliano$3VANV091103$0330061 701 1$aCalifano$bAndrea$f1990-$3VANV181789$0835185 712 $aElgar $3VANV108340$4650 801 $aIT$bSOL$c20250307$gRICA 856 4 $uhttps://search.ebscohost.com/login.aspx?custid=s7606536&authtype=ip,sso&direct=true&site=ehost-live&scope=site&db=nlabk&db=nlebk&AN=2006149$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03 912 $fN 912 $aVAN00210973 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03PREST EBOOK Eco $e03EB 156 20210901 996 $aAnti-blanchard macroeconomics : a comparative approach$91866590 997 $aUNICAMPANIA