Graph Drawing [[electronic resource] ] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers / / edited by David Eppstein, Emden R Gansner |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (426 p. 199 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Computer science User interfaces (Computer systems) Human-computer interaction Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Models of Computation Symbolic and Algebraic Manipulation User Interfaces and Human Computer Interaction |
ISBN |
1-280-38569-3
9786613563613 3-642-11805-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Why Are String Graphs So Beautiful? -- The Art of Cheating When Drawing a Graph -- Papers -- Drawing Hamiltonian Cycles with No Large Angles -- Area, Curve Complexity, and Crossing Resolution of Non-planar Graph Drawings -- On the Perspectives Opened by Right Angle Crossing Drawings -- Drawing 3-Polytopes with Good Vertex Resolution -- Planar Drawings of Higher-Genus Graphs -- Splitting Clusters to Get C-Planarity -- On the Characterization of Level Planar Trees by Minimal Patterns -- Characterization of Unlabeled Radial Level Planar Graphs -- Upward Planarization Layout -- More Flexible Radial Layout -- WiGis: A Framework for Scalable Web-Based Interactive Graph Visualizations -- Port Constraints in Hierarchical Layout of Data Flow Diagrams -- Fast Edge-Routing for Large Graphs -- Leftist Canonical Ordering -- Succinct Greedy Drawings Do Not Always Exist -- Geometric Simultaneous Embeddings of a Graph and a Matching -- Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs -- Removing Independently Even Crossings -- Manhattan-Geodesic Embedding of Planar Graphs -- Orthogonal Connector Routing -- On Rectilinear Drawing of Graphs -- Semi-bipartite Graph Visualization for Gene Ontology Networks -- On Open Problems in Biological Network Visualization -- A Novel Grid-Based Visualization Approach for Metabolic Networks with Advanced Focus&Context View -- Small Drawings of Series-Parallel Graphs and Other Subclasses of Planar Graphs -- Drawing Trees in a Streaming Model -- The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree -- Drawing Planar 3-Trees with Given Face-Areas -- 3D Visibility Representations by Regular Polygons -- Complexity of Some Geometric and Topological Problems -- On Planar Supports for Hypergraphs -- DAGmaps and ?-Visibility Representations of DAGs -- Drawing Directed Graphs Clockwise -- An Improved Algorithm for the Metro-line Crossing Minimization Problem -- Layout with Circular and Other Non-linear Constraints Using Procrustes Projection -- Posters -- GMap: Drawing Graphs as Maps -- Using High Dimensions to Compare Drawings of Graphs -- On ?-Constrained Upward Topological Book Embeddings -- 4-Labelings and Grid Embeddings of Plane Quadrangulations -- IBM ILOG Graph Layout for Eclipse -- Layout Techniques Coupled with Web2.0-Based Business Process Modeling -- Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles -- Visualization of Complex BPEL Models -- DAGmaps and Dominance Relationships -- Scaffold Hunter – Interactive Exploration of Chemical Space -- Graph Drawing Contest -- Graph Drawing Contest Report. |
Record Nr. | UNISA-996465291703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Drawing [[electronic resource] ] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers / / edited by David Eppstein, Emden R Gansner |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (426 p. 199 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Computer science User interfaces (Computer systems) Human-computer interaction Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Models of Computation Symbolic and Algebraic Manipulation User Interfaces and Human Computer Interaction |
ISBN |
1-280-38569-3
9786613563613 3-642-11805-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Why Are String Graphs So Beautiful? -- The Art of Cheating When Drawing a Graph -- Papers -- Drawing Hamiltonian Cycles with No Large Angles -- Area, Curve Complexity, and Crossing Resolution of Non-planar Graph Drawings -- On the Perspectives Opened by Right Angle Crossing Drawings -- Drawing 3-Polytopes with Good Vertex Resolution -- Planar Drawings of Higher-Genus Graphs -- Splitting Clusters to Get C-Planarity -- On the Characterization of Level Planar Trees by Minimal Patterns -- Characterization of Unlabeled Radial Level Planar Graphs -- Upward Planarization Layout -- More Flexible Radial Layout -- WiGis: A Framework for Scalable Web-Based Interactive Graph Visualizations -- Port Constraints in Hierarchical Layout of Data Flow Diagrams -- Fast Edge-Routing for Large Graphs -- Leftist Canonical Ordering -- Succinct Greedy Drawings Do Not Always Exist -- Geometric Simultaneous Embeddings of a Graph and a Matching -- Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs -- Removing Independently Even Crossings -- Manhattan-Geodesic Embedding of Planar Graphs -- Orthogonal Connector Routing -- On Rectilinear Drawing of Graphs -- Semi-bipartite Graph Visualization for Gene Ontology Networks -- On Open Problems in Biological Network Visualization -- A Novel Grid-Based Visualization Approach for Metabolic Networks with Advanced Focus&Context View -- Small Drawings of Series-Parallel Graphs and Other Subclasses of Planar Graphs -- Drawing Trees in a Streaming Model -- The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree -- Drawing Planar 3-Trees with Given Face-Areas -- 3D Visibility Representations by Regular Polygons -- Complexity of Some Geometric and Topological Problems -- On Planar Supports for Hypergraphs -- DAGmaps and ?-Visibility Representations of DAGs -- Drawing Directed Graphs Clockwise -- An Improved Algorithm for the Metro-line Crossing Minimization Problem -- Layout with Circular and Other Non-linear Constraints Using Procrustes Projection -- Posters -- GMap: Drawing Graphs as Maps -- Using High Dimensions to Compare Drawings of Graphs -- On ?-Constrained Upward Topological Book Embeddings -- 4-Labelings and Grid Embeddings of Plane Quadrangulations -- IBM ILOG Graph Layout for Eclipse -- Layout Techniques Coupled with Web2.0-Based Business Process Modeling -- Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles -- Visualization of Complex BPEL Models -- DAGmaps and Dominance Relationships -- Scaffold Hunter – Interactive Exploration of Chemical Space -- Graph Drawing Contest -- Graph Drawing Contest Report. |
Record Nr. | UNINA-9910483869203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays [[electronic resource] /] / by Rutger van Haasteren |
Autore | van Haasteren Rutger |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (149 p.) |
Disciplina | 539.754 |
Collana | Springer Theses, Recognizing Outstanding Ph.D. Research |
Soggetto topico |
Observations, Astronomical
Astronomy—Observations Statistics Gravitation Computer science—Mathematics Computer mathematics Astrophysics Astronomy, Observations and Techniques Statistics and Computing/Statistics Programs Classical and Quantum Gravitation, Relativity Theory Mathematical Applications in Computer Science Astrophysics and Astroparticles |
ISBN | 3-642-39599-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave memory and Pulsar Timing Arrays -- Limiting the gravitational-wave background with EPTA data -- Marginal likelihood calculation with MCMC methods -- Index. |
Record Nr. | UNINA-9910300377103321 |
van Haasteren Rutger | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Guide to Discrete Mathematics [[electronic resource] ] : An Accessible Introduction to the History, Theory, Logic and Applications / / by Gerard O'Regan |
Autore | O'Regan Gerard |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXI, 368 p. 117 illus.) |
Disciplina | 004.0151 |
Collana | Texts in Computer Science |
Soggetto topico |
Computer science—Mathematics
Arithmetic and logic units, Computer Computer logic Computers Computer mathematics Discrete Mathematics in Computer Science Arithmetic and Logic Structures Logics and Meanings of Programs History of Computing Mathematical Applications in Computer Science Math Applications in Computer Science |
ISBN | 3-319-44561-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mathematics in Civilization -- Sets, Relations and Functions -- Number Theory -- Mathematical Induction and Recursion -- Sequences, Series and Permutations and Combinations -- Algebra -- Automata Theory -- Matrix Theory -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language -- Probability, Statistics and Applications. |
Record Nr. | UNINA-9910254984203321 |
O'Regan Gerard | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Guide to Scientific Computing in C++ / / by Joe Pitt-Francis, Jonathan Whiteley |
Autore | Pitt-Francis Joe |
Edizione | [2nd ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 287 p. 11 illus.) |
Disciplina | 005.133 |
Collana | Undergraduate Topics in Computer Science |
Soggetto topico |
Computer programming
Numerical analysis Computer simulation Compilers (Computer programs) Computer science - Mathematics Software engineering Science - Data processing C++ (Computer program language) Programming Techniques Numerical Analysis Computer Modelling Compilers and Interpreters Mathematical Applications in Computer Science Software Engineering |
ISBN | 3-319-73132-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions and Reference Variables -- An Introduction to Classes -- Inheritance and Derived Classes -- Templates -- Errors, Exceptions and Testing -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming Constructs You Might Meet -- Solutions to Exercises. |
Record Nr. | UNINA-9910280956903321 |
Pitt-Francis Joe | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Digital Games and Entertainment Technologies [[electronic resource] /] / edited by Ryohei Nakatsu, Matthias Rauterberg, Paolo Ciancarini |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (Approx. 1200 p. 200 illus., 100 illus. in color.) |
Disciplina | 006.3 |
Soggetto topico |
Computational intelligence
User interfaces (Computer systems) Computer science—Mathematics Computer mathematics Mass media Communication Computational Intelligence User Interfaces and Human Computer Interaction Mathematical Applications in Computer Science Media Sociology |
ISBN | 981-4560-52-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910337619203321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Mathematical Methods in Imaging [[electronic resource] /] / edited by Otmar Scherzer |
Edizione | [2nd ed. 2015.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (472 illus., 200 illus. in color. eReference.) |
Disciplina | 616.0754 |
Soggetto topico |
Computer science—Mathematics
Computer mathematics Optical data processing Signal processing Image processing Speech processing systems Numerical analysis Radiology Mathematical Applications in Computer Science Image Processing and Computer Vision Signal, Image and Speech Processing Numerical Analysis Imaging / Radiology |
ISBN | 1-4939-0790-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Linear Inverse Problems -- Large-Scale Inverse Problems in Imaging -- Regularization Methods for Ill-Posed Problems -- Distance Measures and Applications to Multi-Modal Variational Imaging -- Energy Minimization Methods -- Compressive Sensing -- Duality and Convex Programming -- EM Algorithms -- Iterative Solution Methods -- Level Set Methods for Structural Inversion and Image Reconstructions -- Expansion Methods -- Sampling Methods -- Inverse Scattering -- Electrical Impedance Tomography -- Synthetic Aperture Radar Imaging -- Tomography -- Optical Imaging -- Photoacoustic and Thermoacoustic Tomography: Image Formation Principles -- Mathematics of Photoacoustic and Thermoacoustic Tomography -- Wave Phenomena -- Statistical Methods in Imaging -- Supervised Learning by Support Vector Machines -- Total Variation in Imaging -- Numerical Methods and Applications in Total Variation Image Restoration -- Mumford and Shah Model and its Applications in Total Variation Image Restoration -- Local Smoothing Neighbourhood Filters -- Neighbourhood Filters and the Recovery of 3D Information -- Splines and Multiresolution Analysis -- Gabor Analysis for Imaging -- Shaper Spaces -- Variational Methods in Shape Analysis -- Manifold Intrinsic Similarity -- Image Segmentation with Shape Priors: Explicit Versus Implicit Representations -- Starlet Transform in Astronomical Data Processing -- Differential Methods for Multi-Dimensional Visual Data Analysis -- Wave fronts in Imaging, Quinto -- Ultrasound Tomography, Natterer -- Optical Flow, Schnoerr -- Morphology, Petros -- Maragos -- PDEs, Weickert. - Registration, Modersitzki -- Discrete Geometry in Imaging, Bobenko, Pottmann -- Visualization, Hege -- Fast Marching and Level Sets, Osher -- Couple Physics Imaging, Arridge -- Imaging in Random Media, Borcea -- Conformal Methods, Gu -- Texture, Peyre -- Graph Cuts, Darbon -- Imaging in Physics with Fourier Transform (i.e.Phase Retrieval e.g Dark field imaging), J. R. Fienup -- Electron Microscopy, Öktem Ozan -- Mathematical Imaging OCT (this is also FFT based), Mark E. Brezinski -- Spect, PET, Faukas, Louis. |
Record Nr. | UNINA-9910299787903321 |
New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Metaheuristics [[electronic resource] /] / edited by Michel Gendreau, Jean-Yves Potvin |
Edizione | [3rd ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (610 pages) |
Disciplina | 658.4034 |
Collana | International Series in Operations Research & Management Science |
Soggetto topico |
Operations research
Management science Computer science - Mathematics Operations Research and Decision Theory Operations Research, Management Science Mathematical Applications in Computer Science Optimització matemàtica Investigació operativa |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-319-91086-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Simulated Annealing: From Basics to Applications -- Chapter 2. Tabu Search -- Chapter 3. Variable Neighborhood Search -- Chapter 4. Large Neighborhood Search -- Chapter 5. Iterated Local Search: Framework and Applications -- Chapter 6. Greedy Randomized Adaptive Search Procedures: Advances and Extensions -- Chapter 7. Intelligent Multi-Start Methods -- Chapter 8. Next Generation Genetic Algorithms: A User’s Guide and Tutorial -- Chapter 9. An Accelerated Introduction to Memetic Algorithms -- Chapter 10. Ant Colony Optimization: Overview and Recent Advances -- Chapter 11. Swarm Intelligence -- Chapter 12. Metaheuristic Hybrids -- Chapter 13. Parallel Metaheuristics and Cooperative Search -- Chapter 14. A Classification of Hyper-heuristic Approaches – Revisited -- Chapter 15. Reactive Search Optimization: Learning while Optimizing -- Chapter 16. Stochastic Search in Metaheuristics -- Chapter 17. Automated Design of Metaheuristic Algorithms -- Chapter 18. Computational Comparison of Metaheuristics. |
Record Nr. | UNINA-9910337800503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Variational Methods for Nonlinear Geometric Data [[electronic resource] /] / edited by Philipp Grohs, Martin Holler, Andreas Weinmann |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXVI, 701 p. 159 illus., 125 illus. in color.) |
Disciplina | 515.64 |
Soggetto topico |
Computer mathematics
Computer science—Mathematics Optical data processing Computational Mathematics and Numerical Analysis Math Applications in Computer Science Image Processing and Computer Vision Mathematical Applications in Computer Science |
ISBN | 3-030-31351-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Geometric Finite Elements -- 2. Non-smooth variational regularization for processing manifold-valued data -- 3. Lifting methods for manifold-valued variational problems -- 4. Geometric subdivision and multiscale transforms -- 5. Variational Methods for Discrete Geometric Functionals -- 6 Variational methods for fluid-structure interactions -- 7. Convex lifting-type methods for curvature regularization -- 8. Assignment Flows -- 9. Geometric methods on low-rank matrix and tensor manifolds -- 10. Statistical Methods Generalizing Principal Component Analysis to Non-Euclidean Spaces -- 11. Advances in Geometric Statistics for manifold dimension reduction -- 12. Deep Variational Inference.- 13. Shape Analysis of Functional Data -- 14. Statistical Analysis of Trajectories of Multi-Modality Data -- 15. Geometric Metrics for Topological Representations -- 16. On Geometric Invariants, Learning, and Recognition of Shapes and Forms -- 17. Sub-Riemannian Methods in Shape Analysis -- 18. First order methods for optimization on Riemannian manifolds -- 19. Recent Advances in Stochastic Riemannian Optimization -- 20. Averaging symmetric positive-definite matrices -- 21. Rolling Maps and Nonlinear Data -- 22. Manifold-valued Data in Medical Imaging Applications -- 23. The Riemannian and Affine Geometry of Facial Expression and Action Recognition -- 24. Biomedical Applications of Geometric Functional Data Analysis. |
Record Nr. | UNISA-996418277603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Handbook of Variational Methods for Nonlinear Geometric Data [[electronic resource] /] / edited by Philipp Grohs, Martin Holler, Andreas Weinmann |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXVI, 701 p. 159 illus., 125 illus. in color.) |
Disciplina | 515.64 |
Soggetto topico |
Computer mathematics
Computer science—Mathematics Optical data processing Computational Mathematics and Numerical Analysis Math Applications in Computer Science Image Processing and Computer Vision Mathematical Applications in Computer Science |
ISBN | 3-030-31351-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Geometric Finite Elements -- 2. Non-smooth variational regularization for processing manifold-valued data -- 3. Lifting methods for manifold-valued variational problems -- 4. Geometric subdivision and multiscale transforms -- 5. Variational Methods for Discrete Geometric Functionals -- 6 Variational methods for fluid-structure interactions -- 7. Convex lifting-type methods for curvature regularization -- 8. Assignment Flows -- 9. Geometric methods on low-rank matrix and tensor manifolds -- 10. Statistical Methods Generalizing Principal Component Analysis to Non-Euclidean Spaces -- 11. Advances in Geometric Statistics for manifold dimension reduction -- 12. Deep Variational Inference.- 13. Shape Analysis of Functional Data -- 14. Statistical Analysis of Trajectories of Multi-Modality Data -- 15. Geometric Metrics for Topological Representations -- 16. On Geometric Invariants, Learning, and Recognition of Shapes and Forms -- 17. Sub-Riemannian Methods in Shape Analysis -- 18. First order methods for optimization on Riemannian manifolds -- 19. Recent Advances in Stochastic Riemannian Optimization -- 20. Averaging symmetric positive-definite matrices -- 21. Rolling Maps and Nonlinear Data -- 22. Manifold-valued Data in Medical Imaging Applications -- 23. The Riemannian and Affine Geometry of Facial Expression and Action Recognition -- 24. Biomedical Applications of Geometric Functional Data Analysis. |
Record Nr. | UNINA-9910483711103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|