04069nam 22007335 450 991025407880332120250609111446.03-319-51829-110.1007/978-3-319-51829-9(CKB)3710000001100884(MiAaPQ)EBC4822606(DE-He213)978-3-319-51829-9(PPN)199767467(MiAaPQ)EBC6237365(EXLCZ)99371000000110088420170314d2016 u| 0engurcnu||||||||rdacontentrdamediardacarrierCombinatorics and Complexity of Partition Functions /by Alexander Barvinok1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (304 pages) illustrationsAlgorithms and Combinatorics,0937-5511 ;303-319-51828-3 Includes bibliographical references and index.Chapter I. Introduction -- Chapter II. Preliminaries -- Chapter III. Permanents -- Chapter IV. Hafnians and Multidimensional Permanents -- Chapter V. The Matching Polynomial -- Chapter VI. The Independence Polynomial -- Chapter VII. The Graph Homomorphism Partition Function -- Chapter VIII. Partition Functions of Integer Flows -- References -- Index.Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct way the combinatorial structure of complicated systems. The main focus of the book is on efficient ways to compute (approximate) various partition functions, such as permanents, hafnians and their higher-dimensional versions, graph and hypergraph matching polynomials, the independence polynomial of a graph and partition functions enumerating 0-1 and integer points in polyhedra, which allows one to make algorithmic advances in otherwise intractable problems. The book unifies various, often quite recent, results scattered in the literature, concentrating on the three main approaches: scaling, interpolation and correlation decay. The prerequisites include moderate amounts of real and complex analysis and linear algebra, making the book accessible to advanced math and physics undergraduates. .Algorithms and Combinatorics,0937-5511 ;30AlgorithmsCombinatorial analysisComputer science—MathematicsStatistical physicsDynamicsApproximation theoryMathematics of Algorithmic Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/M13130Combinatoricshttps://scigraph.springernature.com/ontologies/product-market-codes/M29010Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Complex Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/P33000Algorithmshttps://scigraph.springernature.com/ontologies/product-market-codes/M14018Approximations and Expansionshttps://scigraph.springernature.com/ontologies/product-market-codes/M12023Algorithms.Combinatorial analysis.Computer science—Mathematics.Statistical physics.Dynamics.Approximation theory.Mathematics of Algorithmic Complexity.Combinatorics.Discrete Mathematics in Computer Science.Complex Systems.Algorithms.Approximations and Expansions.510Barvinok Alexanderauthttp://id.loc.gov/vocabulary/relators/aut322075MiAaPQMiAaPQMiAaPQBOOK9910254078803321Combinatorics and complexity of partition functions1523225UNINA08327nam 22008655 450 991048415570332120251113194120.03-540-87991-910.1007/978-3-540-87991-6(CKB)1000000000490233(SSID)ssj0000320902(PQKBManifestationID)11237996(PQKBTitleCode)TC0000320902(PQKBWorkID)10258589(PQKB)10167523(DE-He213)978-3-540-87991-6(MiAaPQ)EBC3063637(MiAaPQ)EBC6709089(Au-PeEL)EBL6709089(PPN)130185566(EXLCZ)99100000000049023320100301d2008 u| 0engurnn#008mamaatxtccrAdvances in Conceptual Modeling - Challenges and Opportunities ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 20-23, 2008, Proceedings /edited by Il-Yeol Song, Mario Piattini, Yi-Ping Phoebe Chen, Sven Hartmann, Fabio Grandi, Andreas L. Opdahl, Fernando Ferri, Patrizia Grifoni, Maria Chiara Caschera, Colette Rolland, Carson Woo, Camille Salinesi, Christophe Claramunt, Flavius Frasincar, Geert-Jan Houben, Philippe Thiran1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XX, 468 p.)Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;5232Bibliographic Level Mode of Issuance: Monograph3-540-87990-0 Includes bibliographical references and index.CLMSA 2008 – Second International Workshop on Conceptual Modeling for Life Sciences Applications -- Preface to CMLSA 2008 -- Models of the Human Metabolism -- Designing Privacy-Aware Personal Health Record Systems -- Linking Biological Databases Semantically for Knowledge Discovery -- Integration of Genomic, Proteomic and Biomedical Information on the Semantic Web -- Domain Knowledge Integration and Semantical Quality Management –A Biology Case Study– -- Towards a Scientific Model Management System -- ECDM 2008 – Fifth International Workshop on Evolution and Change in Data Management -- Preface to ECDM 2008 -- Time Versus Standards: A Tale of Temporal Databases -- Modeling Transformations between Versions of a Temporal Data Warehouse -- Managing the History of Metadata in Support for DB Archiving and Schema Evolution -- Towards a Dynamic Inconsistency-Tolerant Schema Maintenance -- FP-UML 2008 – Fourth International Workshop on Foundations and Practices of UML -- Preface to FP-UML 2008 -- Using Object Concepts and UML for Conceptual Modeling -- Towards Obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models -- Improving Automatic UML2 Profile Generation for MDA Industrial Development -- A UML Profile for Modelling Measurable Requirements -- A Comprehensive Aspect-Oriented Use Case Method for Modeling Complex Business Requirements -- Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications -- M2AS 2008 – First International Workshop on Modeling Mobile Applications and Services -- Preface to M2AS 2008 -- A Dynamically Extensible, Service-Based Infrastructure for Mobile Applications -- The Situation Lens: Looking into Personal Service Composition -- A System for DynamicallyGenerating User Centric Interfaces for Mobile Applications and Services -- Multimodal Mobile Virtual Blackboard -- Personalized Mobile Multimodal Services: CHAT Project Experiences -- A General-Purpose Context Modeling Architecture for Adaptive Mobile Services -- Barcode Scanning from Mobile-Phone Camera Photos Delivered Via MMS: Case Study -- A Qualitative Study of the Applicability of Technology Acceptance Models to Senior Mobile Phone Users -- Visualising the Dynamics of Unfolding Interactions on Mobile Devices -- RIGiM 2008 – Second International Workshop on Requirements, Intentions and Goals in Conceptual Modeling -- Preface to RIGiM 2008 -- Reflective Analysis of the Syntax and Semantics of the i* Framework -- Modeling Strategic Alignment Using INSTAL -- Requirements Engineering for Distributed Development Using Software Agents -- Integrating Business Domain Ontologies with Early Requirements Modelling -- Goal-Oriented Authoring Approach and Design of Learning Systems -- Timing Nonfunctional Requirements -- SeCoGIS 2008 – Second International Workshop on Semantic and Conceptual Issues in Geographic Information Systems -- Preface to SeCoGIS 2008 -- Projective Relations on the Sphere -- Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model -- A Semantic and Language-Based Model of Landscape Scenes -- An Ontology-Based Approach for the Semantic Modelling and Reasoning on Trajectories -- Administrative Units, an Ontological Perspective -- A Modular Data Infrastructure for Location-Based Services -- A Method to Derivate SOAP Interfaces and WSDL Metadata from the OGC Web Processing Service Mandatory Interfaces -- Managing Sensor Data on Urban Traffic -- Retrieving Documents with Geographic References Using a Spatial Index Structure Based on Ontologies.-WISM 2008 – Fifth International Workshop on Web Information Systems Modeling -- Preface to WISM 2008 -- Abstract State Services -- A Meta-model Approach to the Management of Hypertexts in Web Information Systems -- An Approach to Creating Design Methods for the Implementation of Product Software: The Case of Web Information Systems -- Semantic Verification of Web System Contents -- Identifying Users Stereotypes with Semantic Web Mining -- On Temporal Cardinality in the Context of the TOWL Language.This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. The 42 revised full papers presented were carefully reviewed and selected from 108 submissions. Topics addressed by the workshops are conceptual modeling for life sciences applications (CMLSA 2008), evolution and change in data management (ECDM 2008), foundations and practices of UML (FP-UML 2008), modeling mobile applications and services (M2AS 2008), requirements, intentions and goals in conceptual modeling (RIGiM 2008), semantic and conceptual issues in geographic information systems (SeCoGIS 2008), and Web information systems modeling (WISM 2008).Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;5232Application softwareDatabase managementInformation storage and retrieval systemsUser interfaces (Computer systems)Human-computer interactionArtificial intelligenceBioinformaticsComputer and Information Systems ApplicationsDatabase ManagementInformation Storage and RetrievalUser Interfaces and Human Computer InteractionArtificial IntelligenceComputational and Systems BiologyApplication software.Database management.Information storage and retrieval systems.User interfaces (Computer systems).Human-computer interaction.Artificial intelligence.Bioinformatics.Computer and Information Systems Applications.Database Management.Information Storage and Retrieval.User Interfaces and Human Computer Interaction.Artificial Intelligence.Computational and Systems Biology.005.7454.60bclSong Il-YeolInternational Conference on Conceptual Modeling.MiAaPQMiAaPQMiAaPQBOOK9910484155703321Advances in Conceptual Modeling – Challenges and Opportunities774052UNINA