Analysis and enumeration : algorithms for biological graphs / Andrea Marino |
Autore | Marino, Andrea |
Pubbl/distr/stampa | [Amsterdam], : Atlantis, 2015 |
Descrizione fisica | XVII, 151 p. : ill. ; 24 cm |
Soggetto topico |
05-XX - Combinatorics [MSC 2020]
92-XX - Biology and other natural sciences [MSC 2020] 05C38 - Paths and cycles [MSC 2020] 92C42 - Systems biology, networks [MSC 2020] 05C90 - Applications of graph theory [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Bubbles Cycles and Paths Enumeration Algorithms Graphs Stories |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114043 |
Marino, Andrea | ||
[Amsterdam], : Atlantis, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Arbres pour l’Algorithmique / Brigitte Chauvin, Julien Clément, Danièle Gardy |
Autore | Chauvin, Brigitte |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xxxi, 513 p. : ill. ; 24 cm |
Altri autori (Persone) |
Clément, Julien
Gardy, Danièle |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Pxx - Theory of data [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Analyse en moyenne et en distribution Arbres binaires de recherche Arbres digitaux Arbres planaires Arbres quadrants Combinatorics Complexité en moyenne et en distribution Data structures Marches aléatoires branchantes Processus de Galton-Watson Tas Urnes de Pólya |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124578 |
Chauvin, Brigitte | ||
Cham, : Springer, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Classes of Directed Graphs / Jørgen Bang-Jensen, Gregory Gutin editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xxii, 636 p. : ill. ; 24 cm |
Soggetto topico |
94A60 - Cryptography [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 05Cxx - Graph theory [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 94C15 - Applications of graph theory to circuits and networks [MSC 2020] |
Soggetto non controllato |
Acyclic digraphs
Algorithm analysis and problem complexity Directed graphs Directed graphs classes Directed width parameters Disjoint paths Euler digraphs Feedback sets Graph branchings Graph connectivity Graph products Hamiltonian cycles Hamiltonian paths Orientations of graphs Planar digraphs Tournaments generalizations |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124591 |
Cham, : Springer, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fast Radial Basis Functions for Engineering Applications / Marco Evangelos Biancolini |
Autore | Biancolini, Marco E. |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiv, 358 p. : ill. ; 24 cm |
Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
00A69 - General applied mathematics [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 41A30 - Approximation by other special function classes [MSC 2020] 65M50 - Mesh generation, refinement, and adaptive methods for the numerical solution of initial value and initial-boundary value problems involving PDEs [MSC 2020] 74L15 - Biomechanical solid mechanics [MSC 200] 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] |
Soggetto non controllato |
Advanced numerical methods
Algorithm analysis and problem complexity Engineering Applications High Performance Computing Interpolar and Regression Radial basis functions |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124374 |
Biancolini, Marco E. | ||
Cham, : Springer, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Game start! : strumenti per comprendere i videogiochi / Francesco Alinovi |
Autore | Alinovi, Francesco |
Pubbl/distr/stampa | Milano, : Springer, 2011 |
Descrizione fisica | 292 p. ; 21 cm |
Soggetto topico |
68W40 - Analysis of algorithms [MSC 2020]
68P30 - Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 68P05 - Data structures [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Apprendimento Data structures Design Interattività Progettualità Videogiochi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0100456 |
Alinovi, Francesco | ||
Milano, : Springer, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Handbook of Floating-Point Arithmetic / Jean-Michel Muller ... [et al.] |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
Descrizione fisica | xxv, 627 p. : ill. ; 24 cm |
Soggetto topico |
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Elementary Functions Fast2Sum and 2Sum Algorithms Floating-Point Arithmetic Floating-Point Operators Fused Multiply-Add Instruction IEEE 754-2008 Standard |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124734 |
Cham, : Birkhäuser, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Integrating routing decisions in public transportation problems / Marie E. Schmidt |
Autore | Schmidt, Marie E. |
Pubbl/distr/stampa | New York, : Springer, 2014 |
Descrizione fisica | IX, 227 p. : ill. ; 24 cm |
Soggetto topico | 90-XX - Operations research, mathematical programming [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Delay management Flow-based information Line planning Mathematical programming Operations Research Routing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0102865 |
Schmidt, Marie E. | ||
New York, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lectures on Convex Optimization / Yurii Nesterov |
Autore | Nesterov, Yurii E. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xiii, 589 p. ; 24 cm |
Soggetto topico |
90Cxx - Mathematical programming [MSC 2020]
49N15 - Duality theory (optimization) [MSC 2020] 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 49Mxx - Numerical methods in optimal control [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Complexity Complexity theory Cubic Regularization of Newton Method Fast Gradient Methods Graphs Interior point methods Mathematical programming Optimization Optimization in Relative Scale Self-Concordant Functions Smoothing Technique |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124795 |
Nesterov, Yurii E. | ||
Cham, : Springer, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
Autore | Pudlák, Pavel |
Pubbl/distr/stampa | Cham, : Springer, 2013 |
Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
Soggetto topico |
03F20 - Complexity of proofs [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
ISBN | 978-33-19-00118-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0273604 |
Pudlák, Pavel | ||
Cham, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Optimal Social Influence / Wen Xu, Weili Wu |
Autore | Xu, Wen |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | viii, 124 p. : ill. ; 24 cm |
Altri autori (Persone) | Wu, Weili |
Soggetto topico |
91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020]
91D30 - Social networks; opinion dynamics [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Modeling of social influence Multiple influence competing Optimization algorithms Rumor blocking Rumor source detection Social computing Social influence propagation Social network mining Social networks User behavior prediction |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249623 |
Xu, Wen | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|