top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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