BIM Geometry with Julia Plasm—Functional Language for CAD Programming : Volume 1: Mathematics and Software Engineering / / by Alberto Paoluzzi, Giorgio Scorzelli
| BIM Geometry with Julia Plasm—Functional Language for CAD Programming : Volume 1: Mathematics and Software Engineering / / by Alberto Paoluzzi, Giorgio Scorzelli |
| Autore | Paoluzzi Alberto |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (317 pages) |
| Disciplina | 620.00285 |
| Collana | Digital Innovations in Architecture, Engineering and Construction |
| Soggetto topico |
Engineering - Data processing
Building information modeling Computer-aided engineering Topology Computer science Geometry Data Engineering Building Information Modeling Computer-Aided Engineering (CAD, CAE) and Design Computational Geometry |
| ISBN | 3-031-90244-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Julia Programming -- The Julia Package Plasm.jl -- Topology primer -- Geometric models -- Symbolic modeling with Julia Plasm.jl -- Space arrangement pipeline -- Boolean solid algebras. |
| Record Nr. | UNINA-9911049071803321 |
Paoluzzi Alberto
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Geometry Fundamentals of Computer Vision / / by Hao Li
| Geometry Fundamentals of Computer Vision / / by Hao Li |
| Autore | Li Hao |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (589 pages) |
| Disciplina | 006.37 |
| Collana | Artificial Intelligence (R0) Series |
| Soggetto topico |
Computer vision
Image processing Computer science Geometry Computer Vision Image Processing Computational Geometry |
| ISBN | 981-9673-44-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Image Processing For Feature Extraction -- Computational Geometry -- Projective Geometry And Camera Model -- Camera Calibration -- Pattern Recognition For Feature Organization -- Applications. |
| Record Nr. | UNINA-9911031627803321 |
Li Hao
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Principles of Topological and Geometric Data Analysis / / by Parvaneh Joharinad, Jürgen Jost
| Mathematical Principles of Topological and Geometric Data Analysis / / by Parvaneh Joharinad, Jürgen Jost |
| Autore | Joharinad Parvaneh |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (287 pages) |
| Disciplina | 514 |
| Altri autori (Persone) | JostJürgen |
| Collana | Mathematics of Data |
| Soggetto topico |
Mathematics
Machine learning Computer science Geometry Topology Applications of Mathematics Machine Learning Computational Geometry |
| ISBN | 3-031-33440-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Topological foundations, hypercomplexes and homology -- Weighted complexes, cohomology and Laplace operators -- The Laplace operator and the geometry of graphs -- Metric spaces and manifolds -- Linear methods: Kernels, variations, and averaging -- Nonlinear schemes: Clustering, feature extraction and dimension reduction -- Manifold learning, the scheme of Laplacian eigenmaps -- Metrics and curvature. |
| Record Nr. | UNINA-9910736025803321 |
Joharinad Parvaneh
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Maximal Planar Graph Theory and the Four-Color Conjecture / / by Jin Xu
| Maximal Planar Graph Theory and the Four-Color Conjecture / / by Jin Xu |
| Autore | Xu Jin |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XIV, 232 p. 179 illus., 8 illus. in color.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science
Geometry Computational Geometry |
| ISBN | 981-9647-45-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 Graph Theory Fundamentals -- Chapter 2 Discharging and Structure of Maximal Planar Graphs -- Chapter 3 Computer-Based Proofs of Four Color Conjecture -- Chapter 4 Construction of Maximal Planar Graphs with the same order -- Chapter 5 Construction of Maximal Planar Graphs with the different order -- Chapter 6 Generating System of Maximal Planar Graphs -- Chapter 7 Recursion Formulae of Chromatic Polynomial and Four-Color Conjecture -- Chapter 8 Purely Tree-colorable and Uniquely 4-Colorable Maximal Planar Graph Conjectures -- Chapter 9 Kempe Change. |
| Record Nr. | UNINA-9911003576803321 |
Xu Jin
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Regional Failure Events in Communication Networks : Models, Algorithms and Applications / / by Balázs Vass
| Regional Failure Events in Communication Networks : Models, Algorithms and Applications / / by Balázs Vass |
| Autore | Vass Balázs |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (130 pages) |
| Disciplina |
363.348
621.3820113 |
| Collana | Springer Theses, Recognizing Outstanding Ph.D. Research |
| Soggetto topico |
Computer networks
Computer science Geometry Statistics System theory Computer Networks Computational Geometry Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences Complex Systems Sistemes de telecomunicació Gestió d'emergències |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031142567
9783031142550 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Formal Problem Statement -- RelatedWork -- Algorithmic Background. |
| Record Nr. | UNINA-9910590044903321 |
Vass Balázs
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topological Methods in Data Analysis and Visualization VI : Theory, Applications, and Software / / edited by Ingrid Hotz, Talha Bin Masood, Filip Sadlo, Julien Tierny
| Topological Methods in Data Analysis and Visualization VI : Theory, Applications, and Software / / edited by Ingrid Hotz, Talha Bin Masood, Filip Sadlo, Julien Tierny |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (372 pages) |
| Disciplina | 514 |
| Collana | Mathematics and Visualization |
| Soggetto topico |
Information visualization
Topology Computer graphics Computer science Geometry Algorithms Computer software Data and Information Visualization Computer Graphics Computational Geometry Mathematical Software |
| ISBN | 3-030-83500-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scalar Field Topology–Algorithms and Applications -- W-Structures in Contour Trees -- Treemap Based Exploration of Merge Trees -- Notes on Percolation Analysis of Sampled Scalar Fields -- Distributed Task-Parallel Topology-Controlled Volume Rendering -- Topology-Based Tracking of Multi-Center Cyclones -- Using Contour Trees in the Analysis and Visualization of Radio Astronomy Data Cubes -- Topological Methods in Complex Fields–Flow Fields, Tensor Fields, and Multi-fields -- Objective Finite-Time Flow Topology from Flowmap Expansion and Contraction -- Coreline Criteria for Inertial Particle Motion -- Implicit Visualization of 2D Vector Field Topology for Periodic Orbit Detection -- Visually Evaluating Topological Equivalence of Bounded Bivariate Fields -- Topological Feature Search in Time-Varying Multifield Data -- Tensor Fields for Data Extraction from Chart Images: Bar Charts, Histograms, and Scatter Plots -- Topology for Geometric Data -- A Fast Approximate Skeleton with Guarantees for Any Cloud of Points in a Euclidean Space -- Topologically Robust B-Spline Reconstruction of Fibers from 3D Images -- Introduction to Vector Field Topology -- An Overview of the Topology ToolKit -- Implementing Persistence-Based Clustering of Point Clouds in the Topology ToolKit -- TopoInVis TTK Hackathon: Experiences, Lessons Learned, and Perspectives. |
| Record Nr. | UNINA-9910502997603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||