Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas
| Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas |
| Estensione | 1 online resource (XIII, 496 p. 82 illus.) online resource. |
| Disciplina | 004.6 |
| Accesso persona |
Spirakis, P. G. (Paul G.), 1955-
Tsigas, Philippas |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319690841
9783319690834 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proof-Labeling Schemes: Broadcast, Unicast and in Between -- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs -- The Dynamics and Stability of Probabilistic Population Processes -- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping -- Self-Tuning Eventually-Consistent Data Stores -- An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks -- An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults -- Fault-Induced Dynamics of Oblivious Robots on a Line -- Relaxed Data Types as Consistency Conditions -- Ant-Inspired Dynamic Task Allocation via Gossiping -- Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility -- Robust Routing Made Easy -- Generalized Paxos Made Byzantine (and Less Complex) -- ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms -- How to Simulate Message-passing Algorithms in mobile agent systems with faults -- A Self-Stabilizing General De Bruijn Graph -- Constant-Time Complete Visibility for Asynchronous Robots with Lights -- On Security Analysis of Proof-of-Elapsed-Time (PoET) -- Brief Announcement: Federated Code Auditing and Delivery for MPC -- Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees -- A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation -- Universally Optimal Gathering under Limited Visibility -- Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights -- Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin -- Scalable Funding of Bitcoin Micropayment Channel Networks -- Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem -- Space-Optimal Proportion Consensus with Population Protocols -- Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion -- Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios -- Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness -- TorBricks: Blocking-Resistant Tor Bridge Distribution -- Cover Time in Edge-Uniform Stochastically-Evolving Graphs -- Bitcoin a Distributed Shared Register -- Broadcast Encryption with Both Temporary and Permanent Revocation -- Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights -- Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. . |
| Record Nr. | DUKE-008186306 |
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
A Step by Step Approach to the Modeling of Chemical Engineering Processes [electronic resource] : Using Excel for simulation / by Liliane Maria Ferrareso Lona
| A Step by Step Approach to the Modeling of Chemical Engineering Processes [electronic resource] : Using Excel for simulation / by Liliane Maria Ferrareso Lona |
| Creatore | [Ferrareso Lona, Liliane Maria] |
| Estensione | 1 online resource (XVII, 173 p. 105 illus., 36 illus. in color.) online resource. |
| Disciplina | 660 |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319660479
9783319660462 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 – Introduction -- Chapter 2 – The Recipe to Build a Mathematical Model -- Chapter 3 – Lumped-Parameters Models -- Chapter 4 – Distributed-Parameters Models -- Chapter 5 – Solving Algebraic Equations System -- Chapter 6 – Solving Ordinary Differential Equations System -- Chapter 7 – Solving Partial Differential Equations System -- Appendix 1 -- Appendix 2 -- Index. |
| Record Nr. | DUKE-008186311 |
[Ferrareso Lona, Liliane Maria]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Stochastic Processes [electronic resource] / by Andrei N Borodin
| Stochastic Processes [electronic resource] / by Andrei N Borodin |
| Creatore | [Borodin, A. N.] |
| Estensione | 1 online resource (XIV, 626 p. 1 illus.) online resource. |
| Disciplina | 519.2 |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319623108
9783319623092 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | DUKE-008186315 |
|
[Borodin, A. N.]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Teaching and Learning in a Digital World [electronic resource] : Proceedings of the 20th International Conference on Interactive Collaborative Learning – Volume 1 / edited by Michael E. Auer, David Guralnick, Istvan Simonics
| Teaching and Learning in a Digital World [electronic resource] : Proceedings of the 20th International Conference on Interactive Collaborative Learning – Volume 1 / edited by Michael E. Auer, David Guralnick, Istvan Simonics |
| Estensione | 1 online resource (XX, 968 p. 304 illus.) online resource. |
| Disciplina | 006.3 |
| Accesso persona |
Auer, Michael E.
Guralnick, David Simonics, Istvan |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319732107
9783319732091 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | DUKE-008186369 |
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
| FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou |
| Estensione | 1 online resource (XXIII, 789 p. 204 illus.) online resource. |
| Disciplina | 005.1 |
| Accesso persona |
Fitzgerald, John
Heitmeyer, Constance L. Gnesi, Stefania, 1954- Philippou, Anna |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319489896
9783319489889 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. |
| Record Nr. | DUKE-007816876 |
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
From Lv̌y-Type Processes to Parabolic SPDEs [electronic resource] / by Davar Khoshnevisan, Ren ̌Schilling ; edited by Frederic Utzet, Lluis Quer-Sardanyons
| From Lv̌y-Type Processes to Parabolic SPDEs [electronic resource] / by Davar Khoshnevisan, Ren ̌Schilling ; edited by Frederic Utzet, Lluis Quer-Sardanyons |
| Creatore | [Khoshnevisan, Davar] |
| Estensione | 1 online resource (VIII, 219 p.) online resource. |
| Disciplina | 519.2 |
| Accesso persona |
Schilling, René
Utzet, Frederic Quer-Sardanyons, Lluis |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319341200
9783319341194 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | DUKE-007816920 |
|
[Khoshnevisan, Davar]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Fundamentals of Physics and Chemistry of the Atmospheres [electronic resource] / by Guido Visconti
| Fundamentals of Physics and Chemistry of the Atmospheres [electronic resource] / by Guido Visconti |
| Creatore | [Visconti, Guido] |
| Edizione | [2nd ed. 2016.] |
| Estensione | 1 online resource (XXIII, 803 p. 338 illus., 15 illus. in color.) online resource. |
| Disciplina | 551.5 |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319294490
9783319294476 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Characteristics of the Atmospheres -- Thermodynamics of the atmosphere -- Radiation: The First Steps -- The First Laws of Motion -- A Few Simple Applications -- The Atmospheric Motions -- The Planetary Boundary Layer -- Aerosols and Clouds -- Waves in the Atmosphere -- The Data on the Atmospheric Circulation -- Theories on the General Circulation of the Atmosphere -- Radiation for Different Uses -- Simple Climate Models -- The Application of the Simple Climate Models -- Chemistry of the Troposphere -- Dynamics of the Middle Atmosphere -- Stratospheric Chemistry -- Planetary Atmospheres.-Chaos in the Atmosphere -- Atmospheric Remote Sensing Principles and Techniques -- Passive Remote Sensing of the Atmospheres -- Active Remote Sensing of the Atmospheres. |
| Record Nr. | DUKE-007816936 |
|
[Visconti, Guido]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Future Network Systems and Security [electronic resource] : Second International Conference, FNSS 2016, Paris, France, November 23-25, 2016, Proceedings / edited by Robin Doss, Selwyn Piramuthu, Wei Zhou
| Future Network Systems and Security [electronic resource] : Second International Conference, FNSS 2016, Paris, France, November 23-25, 2016, Proceedings / edited by Robin Doss, Selwyn Piramuthu, Wei Zhou |
| Estensione | 1 online resource (X, 195 p. 81 illus.) online resource. |
| Disciplina | 004.6 |
| Accesso persona |
Doss, Robin
Piramuthu, Selwyn Zhou, Wei. |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319480213
9783319480206 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technology -- Communications -- Systems and security aspects of relevance to future networks. |
| Record Nr. | DUKE-007816941 |
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
FXTAS, FXPOI, and Other Premutation Disorders [electronic resource] / edited by Flora Tassone, Deborah A. Hall
| FXTAS, FXPOI, and Other Premutation Disorders [electronic resource] / edited by Flora Tassone, Deborah A. Hall |
| Edizione | [2nd ed. 2016.] |
| Estensione | 1 online resource (IX, 293 p. 22 illus., 12 illus. in color.) online resource. |
| Disciplina |
611.01816
599.935 |
| Accesso persona |
Tassone, Flora
Hall, Deborah A. |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319338989
9783319338965 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Clinical Neurological Phenotype of FXTAS -- 2.The Epidemiology of FXTAS -- 3.FXTAS: Neuropsychological and Neuropsychiatric Phenotypes -- 4.Neuroimaging Findings in FXTAS -- 5.The Pathology of FXTAS -- 6.The Molecular Biology of FXTAS -- 7.Genotype/Phenotype Relationships in FXTAS -- 8.Mouse Models for FXTAS and the Fragile X Premutation -- 9.Treatment and Management of FXTAS -- 10.Clinical manifestation and management of FXPOI -- 11.Model systems for understanding FXPOI -- 12.Premutation-Associated Disorders in Childhood and Adulthood -- 13.Genetic Counseling for FXTAS and Fragile X-associated disorders. . |
| Record Nr. | DUKE-007816953 |
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Geometry and Dynamics of Integrable Systems [electronic resource] / by Alexey Bolsinov, Juan J. Morales-Ruiz, Nguyen Tien Zung ; edited by Eva Miranda, Vladimir Matveev
| Geometry and Dynamics of Integrable Systems [electronic resource] / by Alexey Bolsinov, Juan J. Morales-Ruiz, Nguyen Tien Zung ; edited by Eva Miranda, Vladimir Matveev |
| Creatore | [Bolsinov, Alexey] |
| Estensione | 1 online resource (VIII, 140 p. 22 illus., 3 illus. in color.) online resource. |
| Disciplina |
515.39
515.48 |
| Accesso persona |
Morales-Ruiz, Juan J.
Zung, Nguyen Tien Miranda, Eva. Matveev, Vladimir |
| Accesso ente | SpringerLink (Online service) |
| Genere/Forma | Electronic books |
| ISBN |
9783319335032
9783319335025 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integrable Systems and Differential Galois Theory -- Singularities of bi-Hamiltonian Systems and Stability Analysis -- Geometry of Integrable non-Hamiltonian Systems. |
| Record Nr. | DUKE-007816973 |
|
[Bolsinov, Alexey]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
