1.

Record Nr.

UNINA990005941990403321

Autore

Spiezia, Vincenzo

Titolo

Limiti della liceita giuridica del trattamento medico chirurgico / con prefazione di Florio, E.

Pubbl/distr/stampa

Napoli, : Morano, 1933

Descrizione fisica

191 p. ; 22 cm

Disciplina

345

Locazione

FGBC

Collocazione

XII D 75

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNISALENTO991001679449707536

Autore

Marrone, Matteo

Titolo

Actio ad exhibendum / Matteo Marrone

Pubbl/distr/stampa

Palermo : Montaina, 1958

Descrizione fisica

520 p. ; 25 cm.

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Estr. dal vol. 26 degli Annali del Seminario giuridico di Palermo



3.

Record Nr.

UNINA9910483444703321

Titolo

Algorithms and Complexity : 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / / edited by Tiziana Calamoneri, Federico Corò

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021

ISBN

3-030-75242-9

Edizione

[1st ed. 2021.]

Descrizione fisica

1 online resource (XI, 410 p. 33 illus.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12701

Disciplina

511.8

Soggetti

Algorithms

Computer graphics

Computer science - Mathematics

Computer systems

Artificial intelligence

Design and Analysis of Algorithms

Computer Graphics

Symbolic and Algebraic Manipulation

Computer System Implementation

Artificial Intelligence

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Abundant Extensions -- Three Problems on Well-Partitioned Chordal Graphs -- Distributed Distance-r Covering Problems on Sparse High-Girth Graphs -- Reconfiguration of Connected Graph Partitions via Recombination -- Algorithms for Energy Conservation in Heterogeneous Data Centers -- On Vertex-Weighted Graph Realizations -- On the Role of 3's for the 1-2-3 Conjecture -- Upper Tail Analysis of Bucket Sort and Random Tries -- Throughput Scheduling with Equal Additive Laxity -- Fragile Complexity of Adaptive Algorithms -- FPT and Kernelization Algorithms for the Induced Tree Problem -- A Tight Lower Bound for Edge-Disjoint Paths on Planar DAGs -- Upper Dominating Set: Tight Algorithms for Pathwidth and



Sub-Exponential Approximation -- A Multistage View on 2-Satisfiability -- The Weisfeiler-Leman Algorithm and Recognition of Graph Properties -- The Parameterized Suffix Tray -- Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity -- Covering a Set of Line Segments with a Few Squares -- Circumventing Connectivity for Kernelization -- Online and Approximate Network Construction from Bounded Connectivity Constraints -- Globally Rigid Augmentation of Minimally Rigid Graphs in \(R^2\) -- Extending Partial Representations of Rectangular Duals with Given Contact Orientations -- Can Local Optimality be Used for Efficient Data Reduction -- Colouring Graphs of Bounded Diameter in the Absence of Small Cycles -- Online Two-Dimensional Vector Packing with Advice -- Temporal Matching on Geometric Graph Data.

Sommario/riassunto

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures. The papers present original research in the theory and applications of algorithms and computational complexity. Due to the Corona pandemic the conference was held virtually.