LEADER 04398nam 22007095 450 001 9910254293403321 005 20200706092023.0 010 $a3-319-49638-7 024 7 $a10.1007/978-3-319-49638-2 035 $a(CKB)3710000001186001 035 $a(DE-He213)978-3-319-49638-2 035 $a(MiAaPQ)EBC4849342 035 $a(PPN)200510002 035 $a(EXLCZ)993710000001186001 100 $a20170426d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGeometry, Analysis and Probability $eIn Honor of Jean-Michel Bismut /$fedited by Jean-Benoît Bost, Helmut Hofer, François Labourie, Yves Le Jan, Xiaonan Ma, Weiping Zhang 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2017. 215 $a1 online resource (VIII, 361 p. 5 illus., 1 illus. in color.) 225 1 $aProgress in Mathematics,$x0743-1643 ;$v310 311 $a3-319-49636-0 320 $aIncludes bibliographical references. 327 $aGeometric higher groupoids and categories -- Hodge type theorems for arithmetic hyperbolic -- The Ding functional, Berndtsson convexity and moment maps -- Dimers and curvature formulae -- The norm of the Weierstrass Section -- Smooth family Thom-Smale complexes -- higher Analytic Torsion Polylogarithms and norm compatible elements on Abelian Schemes -- Teichmuller theory for conic surfaces -- On the analytic torsion of hyperbolic manifolds of the finite volume -- Log-correlated Gaussian elds: an overview -- A variation formula for the determinant line bundle. Compact subspaces of moduli spaces of stable bundles over class VII surfaces -- K-stability implies CM-stability -- Simple renormalization flow for FK-Percolation models -- Analytic torsion for BORCEA-VOISIN threefolds. 330 $aThis volume presents original research articles and extended surveys related to the mathematical interest and work of Jean-Michel Bismut. His outstanding contributions to probability theory and global analysis on manifolds have had a profound impact on several branches of mathematics in the areas of control theory, mathematical physics and arithmetic geometry. Contributions by: K. Behrend N. Bergeron S. K. Donaldson J. Dubédat B. Duplantier G. Faltings E. Getzler G. Kings R. Mazzeo J. Millson C. Moeglin W. Müller R. Rhodes D. Rössler S. Sheffield A. Teleman G. Tian K-I. Yoshikawa H. Weiss W. Werner The collection is a valuable resource for graduate students and researchers in these fields. 410 0$aProgress in Mathematics,$x0743-1643 ;$v310 606 $aGlobal analysis (Mathematics) 606 $aManifolds (Mathematics) 606 $aGeometry, Algebraic 606 $aProbabilities 606 $aNumber theory 606 $aGlobal Analysis and Analysis on Manifolds$3https://scigraph.springernature.com/ontologies/product-market-codes/M12082 606 $aAlgebraic Geometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M11019 606 $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004 606 $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001 615 0$aGlobal analysis (Mathematics) 615 0$aManifolds (Mathematics) 615 0$aGeometry, Algebraic. 615 0$aProbabilities. 615 0$aNumber theory. 615 14$aGlobal Analysis and Analysis on Manifolds. 615 24$aAlgebraic Geometry. 615 24$aProbability Theory and Stochastic Processes. 615 24$aNumber Theory. 676 $a530.156 702 $aBost$b Jean-Benoît$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHofer$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLabourie$b François$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLe Jan$b Yves$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMa$b Xiaonan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Weiping$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254293403321 996 $aGeometry, analysis and probability$91560446 997 $aUNINA LEADER 07334nam 22008535 450 001 9910484041603321 005 20251226200259.0 010 $a1-280-39077-8 010 $a9786613568694 010 $a3-642-17653-4 024 7 $a10.1007/978-3-642-17653-1 035 $a(CKB)2670000000064721 035 $a(SSID)ssj0000476576 035 $a(PQKBManifestationID)11331999 035 $a(PQKBTitleCode)TC0000476576 035 $a(PQKBWorkID)10479930 035 $a(PQKB)10890604 035 $a(DE-He213)978-3-642-17653-1 035 $a(MiAaPQ)EBC3066200 035 $a(PPN)149893620 035 $a(EXLCZ)992670000000064721 100 $a20101206d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples of Distributed Systems $e14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /$fedited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 517 p. 112 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6490 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-17652-6 320 $aIncludes bibliographical references and index. 327 $aRobots -- Pattern Formation through Optimum Matching by Oblivious CORDA Robots -- RoboCast: Asynchronous Communication in Robot Networks -- Randomization in Distributed Algorithms -- Biased Selection for Building Small-World Networks -- Application of Random Walks to Decentralized Recommender Systems -- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes -- Brief Announcements I -- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths -- Self-stabilizing Byzantine Asynchronous Unison, -- Graph Algorithms -- Reliably Detecting Connectivity Using Local Graph Traits -- Distributed Game-Theoretic Vertex Coloring -- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self-stabilizing Programs -- A Formal Framework for Conformance Testing of Distributed Real-Time Systems -- Fault-Tolerance -- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value -- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure -- Failure Detectors Encapsulate Fairness -- -Based k-Set Agreement Algorithms -- Distributed Programming -- Distributed Programming with Tasks -- SkewCCC+: A Heterogeneous Distributed Hash Table -- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler -- Real-Time -- Partitioning Real-Time Systems on Multiprocessors with Shared Resources -- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors -- Tardiness Bounds for Global EDF with Deadlines Different from Periods -- Shared Memory -- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency -- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects -- Efficient Lock Free Privatization -- A Competitive Analysis for Balanced Transactional Memory Workloads -- Concurrency -- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space -- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended -- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency -- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem -- On the Message Complexity of Global Computations -- Optimizing Regenerator Cost in Traffic Grooming -- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems -- Monotonic Stabilization -- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol -- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. 330 $aThe 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14?17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and N??mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: ? Communication and synchronization protocols ? Distributed algorithms, multiprocessor algorithms ? Distributed cooperative computing ? Embedded systems ? Fault-tolerance, reliability, availability ? Grid and cluster computing ? Location- and context-aware systems ? Mobile agents and autonomous robots ? Mobile computing and networks ? Peer-to-peer systems, overlay networks ? Complexity and lower bounds ? Performance analysis of distributed systems ? Real-time systems ? Security issues in distributed computing and systems ? Sensor networks: theory and practice ? Speci?cation and veri?cation of distributed systems ? Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to theconference topics. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6490 606 $aComputer networks 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer Communication Networks 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 676 $a004.6 701 $aLu$b Chenyang$01762210 701 $aMasuzawa$b Toshimitsu$01758363 701 $aMosbah$b Mohamed$01669318 712 12$aOPODIS 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484041603321 996 $aPrinciples of Distributed Systems$94201994 997 $aUNINA