Directed Algebraic Topology and Concurrency [[electronic resource] /] / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
Autore | Fajstrup Lisbeth |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (171 p.) |
Disciplina | 004 |
Soggetto topico |
Computer science—Mathematics
Algebraic topology Mathematical logic Computational complexity Computers Computer mathematics Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science |
ISBN | 3-319-15398-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 A toy language for concurrency -- 3 Truly concurrent models of programs with resources -- 4 Directed topological models of concurrency -- 5 Algorithmics on directed spaces.\\. |
Record Nr. | UNINA-9910254995903321 |
Fajstrup Lisbeth
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
DNA Computing and Molecular Programming [[electronic resource] ] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / / edited by Chris Thachuk, Yan Liu |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XII, 237 p. 123 illus., 53 illus. in color.) |
Disciplina | 006.3842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Software engineering Computer networks Computer science—Mathematics Computer Science Logic and Foundations of Programming Artificial Intelligence Software Engineering Computer Communication Networks Mathematical Applications in Computer Science |
ISBN | 3-030-26807-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466449603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
DNA Computing and Molecular Programming [[electronic resource] ] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / / edited by Chris Thachuk, Yan Liu |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XII, 237 p. 123 illus., 53 illus. in color.) |
Disciplina | 006.3842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Software engineering Computer networks Computer science—Mathematics Computer Science Logic and Foundations of Programming Artificial Intelligence Software Engineering Computer Communication Networks Mathematical Applications in Computer Science |
ISBN | 3-030-26807-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349308803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Do Colors Exist? [[electronic resource] ] : And Other Profound Physics Questions / / by Seth Stannard Cottrell |
Autore | Cottrell Seth Stannard |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 |
Descrizione fisica | 1 online resource (XIII, 278 p. 211 illus., 190 illus. in color.) |
Disciplina | 519 |
Soggetto topico |
Mathematical physics
Computer science—Mathematics Computer mathematics Mathematical Applications in the Physical Sciences Mathematical Applications in Computer Science |
ISBN | 3-319-64361-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Big Things -- Small Things -- In-Between Things -- Not Things -- Index. |
Record Nr. | UNINA-9910300098703321 |
Cottrell Seth Stannard
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Efficient Algorithms [[electronic resource] ] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / / edited by Susanne Albers, Helmut Alt, Stefan Näher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 439 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Computer science—Mathematics Discrete mathematics Algorithms Numerical analysis Programming Techniques Mathematics of Computing Discrete Mathematics Mathematical Applications in Computer Science Numerical Analysis |
ISBN | 3-642-03456-X |
Classificazione |
DAT 003f
DAT 530f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models of Computation and Complexity -- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge -- On Negations in Boolean Networks -- The Lovász Local Lemma and Satisfiability -- Kolmogorov-Complexity Based on Infinite Computations -- Pervasive Theory of Memory -- Introducing Quasirandomness to Computer Science -- Sorting and Searching -- Reflections on Optimal and Nearly Optimal Binary Search Trees -- Some Results for Elementary Operations -- Maintaining Ideally Distributed Random Search Trees without Extra Space -- A Pictorial Description of Cole’s Parallel Merge Sort -- Self-matched Patterns, Golomb Rulers, and Sequence Reconstruction -- Combinatorial Optimization with Applications -- Algorithms for Energy Saving -- Minimizing Average Flow-Time -- Integer Linear Programming in Computational Biology -- Via Detours to I/O-Efficient Shortest Paths -- Computational Geometry and Geometric Graphs -- The Computational Geometry of Comparing Shapes -- Finding Nearest Larger Neighbors -- Multi-core Implementations of Geometric Algorithms -- The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension -- On Map Labeling with Leaders -- The Crossing Number of Graphs: Theory and Computation -- Algorithm Engineering, Exactness, and Robustness -- Algorithm Engineering – An Attempt at a Definition -- Of What Use Is Floating-Point Arithmetic in Computational Geometry? -- Car or Public Transport—Two Worlds -- Is the World Linear? -- In Praise of Numerical Computation -- Much Ado about Zero -- Polynomial Precise Interval Analysis Revisited. |
Record Nr. | UNISA-996465631403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Efficient Algorithms [[electronic resource] ] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / / edited by Susanne Albers, Helmut Alt, Stefan Näher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 439 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Computer science—Mathematics Discrete mathematics Algorithms Numerical analysis Programming Techniques Mathematics of Computing Discrete Mathematics Mathematical Applications in Computer Science Numerical Analysis |
ISBN | 3-642-03456-X |
Classificazione |
DAT 003f
DAT 530f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models of Computation and Complexity -- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge -- On Negations in Boolean Networks -- The Lovász Local Lemma and Satisfiability -- Kolmogorov-Complexity Based on Infinite Computations -- Pervasive Theory of Memory -- Introducing Quasirandomness to Computer Science -- Sorting and Searching -- Reflections on Optimal and Nearly Optimal Binary Search Trees -- Some Results for Elementary Operations -- Maintaining Ideally Distributed Random Search Trees without Extra Space -- A Pictorial Description of Cole’s Parallel Merge Sort -- Self-matched Patterns, Golomb Rulers, and Sequence Reconstruction -- Combinatorial Optimization with Applications -- Algorithms for Energy Saving -- Minimizing Average Flow-Time -- Integer Linear Programming in Computational Biology -- Via Detours to I/O-Efficient Shortest Paths -- Computational Geometry and Geometric Graphs -- The Computational Geometry of Comparing Shapes -- Finding Nearest Larger Neighbors -- Multi-core Implementations of Geometric Algorithms -- The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension -- On Map Labeling with Leaders -- The Crossing Number of Graphs: Theory and Computation -- Algorithm Engineering, Exactness, and Robustness -- Algorithm Engineering – An Attempt at a Definition -- Of What Use Is Floating-Point Arithmetic in Computational Geometry? -- Car or Public Transport—Two Worlds -- Is the World Linear? -- In Praise of Numerical Computation -- Much Ado about Zero -- Polynomial Precise Interval Analysis Revisited. |
Record Nr. | UNINA-9910484157203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Einführung in die computerorientierte Mathematik mit Sage / / von Thorsten Theobald, Sadik Iliman |
Autore | Theobald Thorsten |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Spektrum, , 2016 |
Descrizione fisica | 1 online resource (IX, 195 S. 26 Abb., 13 Abb. in Farbe.) |
Disciplina | 518.1 |
Collana | Springer Studium Mathematik - Bachelor |
Soggetto topico |
Algorithms
Computer science—Mathematics Computer mathematics Mathematical Applications in Computer Science Discrete Mathematics in Computer Science |
ISBN | 3-658-10453-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einleitung und Überblick -- Grundlegende Begriffe und Techniken -- Das Software-System Sage -- Graphen -- Einstieg in die Mathematik mit Sage -- Algorithmen und Rekursion -- Grundlegende mathematische Algorithmen -- Rechnen mit komplexen Zahlen -- Computerorientierte lineare Algebra -- Polynome und ihre Nullstellen -- Computerorientierte Fallstudien natürlicher Zahlen -- Anhang: Analysis, Lineare Algebra, Notation, Liste der verwendeten Sage-Befehle. |
Record Nr. | UNINA-9910484546903321 |
Theobald Thorsten
![]() |
||
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Spektrum, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Elderly Health Services and Remote Health Monitoring [[electronic resource] /] / by Lumin Chen, Yihao Li, Lina Han, Liang Yuan, Yuxiang Sun, Xiaolu Tang |
Autore | Chen Lumin |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 81 p. 73 illus., 59 illus. in color.) |
Disciplina | 617.03 |
Collana | SpringerBriefs in Applied Sciences and Technology |
Soggetto topico |
System theory
Mathematical models Computer science—Mathematics Computer mathematics Algorithms Systems Theory, Control Mathematical Modeling and Industrial Mathematics Mathematical Applications in Computer Science Mathematics of Algorithmic Complexity |
ISBN | 981-15-7154-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulation and Experimental Analysis of Auxiliary Lower Extremity Exoskeleton -- Simulation and Research of Upper Limb Rehabilitation Evaluation System based on Micro Inertial Sensor Network -- Generative Design and Simulation of the Exoskeleton -- Design and Simulation of Controllable Soft Driver for Exoskeleton Robot -- Design and Simulation Analysis of Rigid-flexible Hybrid Upper Limb Rehabilitation mechanism -- Classification and Treatment System for Facial Acne Vulgaris based on Image Recognition -- Comparative Analysis Soft Kinematics of Hand Rehabilitation Robot Powered by Pneumatic Muscles. . |
Record Nr. | UNINA-9910483629303321 |
Chen Lumin
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Elderly Health Services and Remote Health Monitoring [[electronic resource] /] / by Lumin Chen, Yihao Li, Lina Han, Liang Yuan, Yuxiang Sun, Xiaolu Tang |
Autore | Chen Lumin |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 81 p. 73 illus., 59 illus. in color.) |
Disciplina | 617.03 |
Collana | SpringerBriefs in Applied Sciences and Technology |
Soggetto topico |
System theory
Mathematical models Computer science—Mathematics Computer mathematics Algorithms Systems Theory, Control Mathematical Modeling and Industrial Mathematics Mathematical Applications in Computer Science Mathematics of Algorithmic Complexity |
ISBN | 981-15-7154-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulation and Experimental Analysis of Auxiliary Lower Extremity Exoskeleton -- Simulation and Research of Upper Limb Rehabilitation Evaluation System based on Micro Inertial Sensor Network -- Generative Design and Simulation of the Exoskeleton -- Design and Simulation of Controllable Soft Driver for Exoskeleton Robot -- Design and Simulation Analysis of Rigid-flexible Hybrid Upper Limb Rehabilitation mechanism -- Classification and Treatment System for Facial Acne Vulgaris based on Image Recognition -- Comparative Analysis Soft Kinematics of Hand Rehabilitation Robot Powered by Pneumatic Muscles. . |
Record Nr. | UNISA-996418254903316 |
Chen Lumin
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ewa Orłowska on Relational Methods in Logic and Computer Science [[electronic resource] /] / edited by Joanna Golińska-Pilarek, Michał Zawidzki |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (511 pages) |
Disciplina | 004 |
Collana | Outstanding Contributions to Logic |
Soggetto topico |
Logic
Mathematical logic Computer science—Mathematics Computer mathematics Computer logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations |
ISBN | 3-319-97879-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Everything is a Relation: A Preview (Joanna Golińska-Pilarek) -- Chapter 2. Autobiography (Ewa Orłowska) -- Chapter 3. Engaged in Relations: A Trialogue (Ewa Orłowska) -- Chapter 4. Bibliography of Ewa Orłowska (Joanna Golińska-Pilarek) -- Chapter 5. Tableaus and Dual Tableaus (Melvin Fitting) -- Chapter 6. Reasoning on Relations, Modalities, and Sets (Andrea Formisano). Chapter 7. Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations (Domenico Cantone) -- Chapter 8. Logics for Order-of-magnitude Qualitative Reasoning: Formalizing Negligibility (Alfredo Burrieza) -- Chapter 9. Signed Dual Tableaux for Kleene Answer Set Programs (Patrick Doherty) -- Chapter 10. Machine-checked Meta-theory of Dual-Tableaux for Intuitionistic Logic (Jeremy E. Dawson) -- Chapter 11. Modal Syllogistic (Tsvetan Vasilev) -- Chapter 12. About the Complete Axiomatization of Dynamic Extensions of Arrow Logic (Philippe Balbiani) -- Chapter 13. Adaptive Rough Sets and Vague Concepts (Andrzej Skowron) -- Chapter 14. Guttman Algebras and a Model Checking Procedure for Guttman Scales (Ivo Düntsch) -- Chapter 15. A Reasoning System for Satisfiability of Diagrammatic Specifications (Yngve Lamo) -- Chapter 16. (Heterogeneous) Structured Specifications in Logics Without Interpolation (Carlos G. Lopez Pombo) -- Chapter 17. Reasoning About Reversal-Bounded Counter Machines (Stéphane Demri) -- Chapter 18. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs (Claudette Cayrol). |
Record Nr. | UNINA-9910303433303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|