01378nam0-2200313 --4500991015925940332120170125125359.0978-88-6462-379-5ArtestampaIT2016-820170125d2015----kmuy0itay5050 baitaITCatalogo delle opere di agricoltura e botanica dell'Accademia Nazionale di Scienze, Lettere e Arti di Modena (secolo XIX)[a cura di] Piera Medeghini BonattiModenaArtestampa[Bologna]Regione Emilia-Romagna, IBC, Istituto per i beni artistici culturali e naturali2015259 p.ill.30 cmFondi e archivi della bibliotecaAccademia nazionale di scienze, lettere e arti di Modena10Agricoltura [e] BotanicaLibriSec. 19.Collezioni [dell'] Accademia nazionale di scienze, lettere e arti di ModenaCataloghi bibliografici016.5822itaMedeghini Bonatti,PieraAccademia nazionale di scienze lettere e arti di Modena78459ITUNINARICAUNIMARCBK991015925940332160 016.58 A 2014/2017FAGBCFAGBCCatalogo delle opere di agricoltura e botanica dell'Accademia Nazionale di Scienze, Lettere e Arti di Modena (secolo XIX)1470267UNINA04804nam 22007815 450 991034930790332120251225195003.03-030-25027-X10.1007/978-3-030-25027-0(CKB)4100000008878242(DE-He213)978-3-030-25027-0(MiAaPQ)EBC5923279(PPN)238488519(EXLCZ)99410000000887824220190709d2019 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierFundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /edited by Leszek Antoni Gąsieniec, Jesper Jansson, Christos Levcopoulos1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIII, 365 p. 266 illus., 27 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;116513-030-25026-1 Includes bibliographical references and index.Invited papers -- Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps -- Some Observations on Dynamic Random Walks and Network Renormalization -- Highly Succinct Dynamic Data Structures -- Formal methods -- Largest Common Prefix of a Regular Tree Language -- Winning Strategies for Streaming Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two characterizations of finite-state dimension -- Complexity -- Optimal channel utilization with limited feedback -- Deterministic Preparation of Dicke States -- Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle -- On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties -- Algorithms -- An Efficient Algorithm for the Fast Delivery Problem -- Extension of some edge graph problems: standard and parameterized complexity -- Space Efficient Algorithms for Breadth-Depth Search -- Circular Pattern Matching with k Mismatches -- SuccinctRepresentations of Finite Groups -- On the Tractability of Covering a Graph with 2-Clubs -- On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest -- Maximum rectilinear convex subsets -- Computing Digraph Width Measures on Directed Co-Graphs -- Fault-tolerant parallel scheduling of arbitrary length jobs on a shared channel -- Rare Siblings Speed-up Deterministic Detection and Counting of Small Pattern Graphs -- Bivariate B-splines from convex pseudo-circle configurations -- The Fault-Tolerant Metric Dimension of Cographs.This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019. The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.Theoretical Computer Science and General Issues,2512-2029 ;11651AlgorithmsComputer graphicsComputer scienceMathematicsDiscrete mathematicsArtificial intelligenceArtificial intelligenceData processingComputer networksAlgorithmsComputer GraphicsDiscrete Mathematics in Computer ScienceArtificial IntelligenceData ScienceComputer Communication NetworksAlgorithms.Computer graphics.Computer scienceMathematics.Discrete mathematics.Artificial intelligence.Artificial intelligenceData processing.Computer networks.Algorithms.Computer Graphics.Discrete Mathematics in Computer Science.Artificial Intelligence.Data Science.Computer Communication Networks.004.015113004Gąsieniec Leszekedthttp://id.loc.gov/vocabulary/relators/edtJansson Jesperedthttp://id.loc.gov/vocabulary/relators/edtLevcopoulos Christosedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349307903321Fundamentals of Computation Theory2557870UNINA