| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996464393203316 |
|
|
Titolo |
Networked systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings / / Chryssis Georgiou, Rupak Majumdar (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 376 p. 100 illus., 69 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 12129 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of |
|
|
|
|
|
|
|
|
|
|
|
|
|
Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract). |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910798979403321 |
|
|
Autore |
Weatherall James Owen |
|
|
Titolo |
Void : The Strange Physics of Nothing / / James Owen Weatherall |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New Haven, CT : , : Yale University Press, , [2016] |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-300-20998-3 |
0-300-22449-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (205 pages) |
|
|
|
|
|
|
Collana |
|
Foundational Questions in Science |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Prologue: Much Ado about Nothing -- 1. The Plenum and the Void -- 2. Waves of Space Itself -- 3. The Nothing Nothings -- Epilogue: Why Nothing Really Matters: Quantum Gravity and Beyond -- Acknowledgments -- Notes -- Bibliography -- Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The rising star author of The Physics of Wall Street explores why |
|
|
|
|
|
|
|
|
|
|
"nothing" may hold the key to the next era of theoretical physics James Owen Weatherall's previous book, The Physics of Wall Street, was a New York Times best-seller and named one of Physics Today's five most intriguing books of 2013. In his newest volume, he takes on a fundamental concept of modern physics: nothing. The physics of stuff-protons, neutrons, electrons, and even quarks and gluons-is at least somewhat familiar to most of us. But what about the physics of nothing? Isaac Newton thought of empty space as nothingness extended in all directions, a kind of theater in which physics could unfold. But both quantum theory and relativity tell us that Newton's picture can't be right. Nothing, it turns out, is an awful lot like something, with a structure and properties every bit as complex and mysterious as matter. In his signature lively prose, Weatherall explores the very nature of empty space-and solidifies his reputation as a science writer to watch. |
|
|
|
|
|
| |