04588nam 22007095 450 99646597680331620200703171357.03-319-67531-110.1007/978-3-319-67531-2(CKB)4100000000587153(DE-He213)978-3-319-67531-2(MiAaPQ)EBC6301700(MiAaPQ)EBC5590561(Au-PeEL)EBL5590561(OCoLC)1003646050(PPN)204533708(EXLCZ)99410000000058715320170905d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRuntime Verification[electronic resource] 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /edited by Shuvendu Lahiri, Giles Reger1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIX, 432 p. 147 illus.) Programming and Software Engineering ;105483-319-67530-3 Stream Runtime Monitoring on UAS -- Probabilistic Black-Box Reachability Checking -- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems -- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic -- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles -- Signal Clustering using Temporal Logics -- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive Examples -- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers -- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies in Interpretive Systems -- Monitoring Time Intervals.This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Programming and Software Engineering ;10548Software engineeringProgramming languages (Electronic computers)Computer programmingComputer securityComputer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software engineering.Programming languages (Electronic computers).Computer programming.Computer security.Computer system failures.Software Engineering.Programming Languages, Compilers, Interpreters.Programming Techniques.Systems and Data Security.System Performance and Evaluation.004Lahiri Shuvenduedthttp://id.loc.gov/vocabulary/relators/edtReger Gilesedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465976803316Runtime Verification772115UNISA04777nam 2200493 450 99650355030331620231110225501.03-030-98931-3(MiAaPQ)EBC7158517(Au-PeEL)EBL7158517(CKB)25732584100041(EXLCZ)992573258410004120230420d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierExplorations in number theory commuting through the numberverse /Cam McLeman, Erin McNicholas, Colin StarrCham, Switzerland :Springer,[2022]©20221 online resource (380 pages)Undergraduate Texts in Mathematics Includes index.Print version: McLeman, Cam Explorations in Number Theory Cham : Springer International Publishing AG,c2023 9783030989309 Intro -- Preface -- Who is This Text's Audience? -- To the Student: -- To the Instructor: -- Suggested Pacing and Content Coverage -- Contents -- 1 What is a Number? -- 1.1 Human conception of numbers -- 1.2 Algebraic Number Systems -- 1.3 New Numbers, New Worlds -- 1.4 Exercises -- 2 A Quick Survey of the Last Two Millennia -- 2.1 Fermat, Wiles, and The Father of Algebra -- 2.2 Quadratic Equations -- 2.3 Diophantine Equations -- 2.4 Exercises -- 3 Number Theory in Z Beginning -- 3.1 Algebraic Structures -- 3.2 Linear Diophantine Equations and the Euclidean Algorithm -- 3.3 The Fundamental Theorem of Arithmetic -- 3.4 Factors and Factorials -- 3.5 The Prime Archipelago -- 3.6 Exercises -- 4 Number Theory in the Mod-n Era -- 4.1 Equivalence Relations and the Binary World -- 4.2 The Ring of Integers Modulo n -- 4.3 Reduce First and ask Questions Later -- 4.4 Division, Exponentiation, and Factorials in Zn -- 4.5 Group Theory and the Ring of Integers Modulo n -- 4.6 Lagrange's Theorem and the Euler Totient Function -- 4.7 Sunzi's Remainder Theorem and phi(n) -- 4.8 Phis, Polynomials, and Primitive Roots -- 4.9 Exercises -- 5 Gaussian Number Theory: Zi of the Storm -- 5.1 The Calm Before -- 5.2 Gaussian Divisibility -- 5.3 Gaussian Modular Arithmetic -- 5.4 Gaussian Division Algorithm: The Geometry of Numbers -- 5.5 A Gausso-Euclidean Algorithm -- 5.6 Gaussian Primes and Prime Factorizations -- 5.7 Applications to Diophantine Equations -- 5.8 Exercises -- 6 Number Theory, from Where We R to Across the C -- 6.1 From -1 to -d -- 6.2 Algebraic Numbers and Rings of Integers -- 6.3 Quadratic Fields: Integers, Norms, and Units -- 6.4 Euclidean Domains -- 6.5 Unique Factorization Domains -- 6.6 Euclidean Rings of Integers -- 6.7 Exercises -- 7 Cyclotomic Number Theory: Roots and Reciprocity -- 7.1 Introduction -- 7.2 Quadratic Residues and Legendre Symbols.7.3 Quadratic Residues and Non-Residues Mod p -- 7.4 Application: Counting Points on Curves -- 7.5 The Quadratic Reciprocity Law: Statement and Use -- 7.6 Some Unexpected Helpers: Roots of Unity -- 7.7 A Proof of Quadratic Reciprocity -- 7.8 Quadratic UFDs -- 7.9 Exercises -- 8 Number Theory Unleashed: Release Zp -- 8.1 The Analogy between Numbers and Polynomials -- 8.2 The p-adic World: An Analogy Extended -- 8.3 p-adic Arithmetic: Making a Ring -- 8.4 Which numbers are p-adic? -- 8.5 Hensel's Lemma -- 8.6 The Local-Global Philosophy and the Infinite Prime -- 8.7 The Local-Global Principle for Quadratic Equations -- 8.8 Computations: Quadratic Equations Made Easy -- 8.9 Synthesis and Beyond: Moving Between Worlds -- 8.10 Exercises -- 9 The Adventure Continues -- 9.1 Exploration: Fermat's Last Theorem for Small n -- 9.2 Exploration: Lagrange's Four-Square Theorem -- 9.3 Exploration: Public Key Cryptography -- 9.3.1 Public Key Encryption: RSA -- 9.3.2 Elliptic Curve Cryptography -- 9.3.3 Elliptic ElGamal Public Key Cryptosystem -- 9.4 Exploration: Units of Real Quadratic Fields -- 9.5 Exploration: Ideals and Ideal Numbers -- 9.6 Conclusion: The Numberverse, Redux -- Appendix I Number Systems -- I.1 Introduction -- I.2 Construction of the Natural Numbers -- I.3 Induction and Well-Ordering -- Appendix Index -- Index -- Appendix Index of Notation -- Author Index.Undergraduate Texts in Mathematics Number theoryTeoria de nombresthubLlibres electrònicsthubNumber theory.Teoria de nombres512.74McLeman Cam1272829McNicholas ErinStarr ColinMiAaPQMiAaPQMiAaPQBOOK996503550303316Explorations in Number Theory2998105UNISA01243cam0 22003131 450 SOBE0007783220231114091216.0880615365X20231102d2000 |||||ita|0103 baitaITE ora?la dimensione umana e le sfide della scienzaEdoardo Boncinelli e Umberto Galimberticon Giovanni Maria PaceTorinoEinaudi2000X, 157 p.20 cmEinaudi contemporanea75001LAEC000160142001 *Einaudi contemporanea75E ora?SOBA00029009650273Boncinelli, Edoardo <1941->A60020004750347066462Galimberti, UmbertoAF0000377807022827Pace, Giovanni MariaSOBA00029008070ITUNISOB20231114RICAUNISOBUNISOBFondo|Di|Sabato180225SOBE00077832M 102 Monografia moderna SBNMFondo|Di|Sabato000004SI1802252023092760DiSabatodonoN60SpinosaUNISOBUNISOB20231102135328.020231109080216.0SpinosaPer le modalità di consultazione vedi homepage della biblioteca Link FondiE ora650273UNISOB