Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Journey Through Discrete Mathematics : A Tribute to Jiří Matoušek / Martin Loebl, Jaroslav Nešetřil, Robin Thomas editors
| A Journey Through Discrete Mathematics : A Tribute to Jiří Matoušek / Martin Loebl, Jaroslav Nešetřil, Robin Thomas editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxiii, 810 p. : ill. ; 24 cm |
| Soggetto topico |
68W40 - Analysis of algorithms [MSC 2020]
68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 52A35 - Helly-type theorems and geometric transversal theory [MSC 2020] 05Cxx - Graph theory [MSC 2020] 52C10 - Erdős problems and related topics of discrete geometry [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 05Dxx - Extremal combinatorics [MSC 2020] 55S91 - Equivariant operations and obstructions in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebraic Topology
Borsuk-Ulam theorem Combinatorics Computational complexity Discrepancy theory Geometry Linear programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123975 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applied and Computational Matrix Analysis : MAT-TRIAD, Coimbra, Portugal, September 2015 : Selected, Revised Contributions / Natália Bebiano editor
| Applied and Computational Matrix Analysis : MAT-TRIAD, Coimbra, Portugal, September 2015 : Selected, Revised Contributions / Natália Bebiano editor |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xiii, 347 p. : ill. ; 24 cm |
| Soggetto topico |
16-XX - Associative rings and algebras [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 47-XX - Operator theory [MSC 2020] 05-XX - Combinatorics [MSC 2020] 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] |
| Soggetto non controllato |
Birkhoff polynomial basis
Computational complexity Covariance matrix Dual of convolutional codes Hankel pencil conjecture Interval linear algebra Matrix linear pencils Matrix theory Numerical range Spectral graph theory Spectral moments |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123431 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complementarity and Fixed Point Problems / edited by M. L. Balinski and R. W. Cottle
| Complementarity and Fixed Point Problems / edited by M. L. Balinski and R. W. Cottle |
| Pubbl/distr/stampa | Amsterdam, : Noerth-Holland, 1978 |
| Descrizione fisica | viii, 184 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algorithms
Character Complexity Computation Computational complexity Convergence Equations Implementation Mapping Matrices Matrix |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260609 |
| Amsterdam, : Noerth-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of the General Theory of Optimal Algorithms / Ivan V. Sergienko, Valeriy K. Zadiraka, Oleg M. Lytvyn
| Elements of the General Theory of Optimal Algorithms / Ivan V. Sergienko, Valeriy K. Zadiraka, Oleg M. Lytvyn |
| Autore | Sergienko, Ivan V. |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xvii, 378 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Lytvyn, Oleg M.
Zadiraka, Valeriy K. |
| Soggetto topico |
90C30 - Nonlinear programming [MSC 2020]
65K05 - Numerical mathematical programming methods [MSC 2020] |
| Soggetto non controllato |
Computational complexity
Computing theory Software support T-efficient algorithms Theory of computations Theory of optimal algorithms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274718 |
Sergienko, Ivan V.
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Generalized network improvement and packing problems / Michael Holzhauser
| Generalized network improvement and packing problems / Michael Holzhauser |
| Autore | Holzhauser, Michael |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2016 |
| Descrizione fisica | XVI, 213 p. : ill. ; 24 cm |
| Soggetto topico |
90C90 - Applications of mathematical programming [MSC 2020]
90B10 - Deterministic network models in operations research [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C60 - Abstract computational complexity for mathematical programming problems [MSC 2020] |
| Soggetto non controllato |
Algorithmic complexity
Approximability Computational complexity Fractional Packing Maximum Flow Problems Minimum Cost Flow Problems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114795 |
|
Holzhauser, Michael
|
||
| Wiesbaden, : Springer Spektrum, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák
| 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 | ||
| ||
Monte Carlo and quasi-Monte Carlo methods : MCQMC 2018, Rennes, France, July 1–6 / Bruno Tuffin, Pierre L'Ecuyer editors
| Monte Carlo and quasi-Monte Carlo methods : MCQMC 2018, Rennes, France, July 1–6 / Bruno Tuffin, Pierre L'Ecuyer editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xi, 539 p. : ill. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65C05 - Monte Carlo methods [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Bayesian computation
Computational complexity Cubature Discrepancy Graphical Rendering Importance Sampling Lattice Rules Markov Chain Monte Carlo Monte Carlo Multilevel Monte Carlo Probabilistic Numerics Quadrature Quasi-Monte Carlo Sequential Monte Carlo Simulation Stochastic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249520 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Monte Carlo and quasi-Monte Carlo methods : MCQMC 2016, Stanford, CA, August 14-19 / Art B. Owen, Peter W. Glynn editors
| Monte Carlo and quasi-Monte Carlo methods : MCQMC 2016, Stanford, CA, August 14-19 / Art B. Owen, Peter W. Glynn editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xi, 479 p. : ill. ; 24 cm |
| Soggetto topico |
68Uxx - Computing methodologies and applications [MSC 2020]
91Gxx - Actuarial science and mathematical finance [MSC 2020] 65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] 65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 65D32 - Numerical quadrature and cubature formulas [MSC 2020] 52C07 - Lattices and convex bodies in $n$ dimensions (aspects of discrete geometry) [MSC 2020] 65Cxx - Probabilistic methods, stochastic differential equations [MSC 2020] 68Q17 - Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [MSC 2020] 65Rxx - Numerical methods for integral equations, integral transforms [MSC 2020] |
| Soggetto non controllato |
Bayesian computation
Computational complexity Cubature Discrepancy Graphical Rendering Importance Sampling Lattice Rules Markov Chain Monte Carlo Monte Carlo Multilevel Monte Carlo Probabilistic Numerics Quadrature Quasi-Monte Carlo Sequential Monte Carlo Simulation Stochastic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124877 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonnegative matrix factorization / Nicolas Gillis
| Nonnegative matrix factorization / Nicolas Gillis |
| Autore | Gillis, Nicolas |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 2021 |
| Descrizione fisica | xix, 350 p. : ill. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
15B48 - Positive matrices and their generalizations; cones of matrices [MSC 2020] 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] 68T10 - Pattern recognition, speech recognition [MSC 2020] 15A23 - Factorization of matrices [MSC 2020] 68T09 - Computational aspects of data analysis and big data [MSC 2020] 65F55 - Numerical methods for low-rank matrix approximation; matrix compression [MSC 2020] |
| Soggetto non controllato |
Computational complexity
Dictionary learning Gene expression analysis Hyperspectral Imaging Matrix Factorization Non-linear optimization Nonnegative matrix factorization Principal component analysis Recommender systems Singular value decomposition Sparsity audio source separation beta-divergences blind source separation block coordinate descent methods communication complexity extended formulations feature extraction identifiability linear dimensionality reduction low-rank matrix approximations multiplicative updates nested polytope problem nonnegative rank self-modeling curve resolution separability topic modeling |
| ISBN | 978-16-11-97640-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0265397 |
|
Gillis, Nicolas
|
||
| Philadelphia, : SIAM, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Optimization by GRASP : Greedy Randomized Adaptive Search Procedures / Mauricio G. C. Resende, Celso C. Ribeiro
| Optimization by GRASP : Greedy Randomized Adaptive Search Procedures / Mauricio G. C. Resende, Celso C. Ribeiro |
| Autore | Resende, Mauricio G. C. |
| Pubbl/distr/stampa | New York, : Springer, 2016 |
| Descrizione fisica | XX, 312 p. : ill. ; 24 cm |
| Altri autori (Persone) | Ribeiro, Celso C. |
| Soggetto topico |
90-XX - Operations research, mathematical programming [MSC 2020]
90C27 - Combinatorial optimization [MSC 2020] 90C59 - Approximation methods and heuristics in mathematical programming [MSC 2020] |
| Soggetto non controllato |
Combinatorial optimization
Computational complexity Continuous Optimization Discrete mathematics GRASP GRASP optimization Greedy Randomized Adaptive Search Procedures Greedy algorithmslocal search Metaheuristics PSPACE Parallel heuristics Path-relinking Polynomial-time algorithms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0115152 |
|
Resende, Mauricio G. C.
|
||
| New York, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
