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 | ||
| ||
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 |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
05Cxx - Graph theory [MSC 2020] 05Dxx - Extremal combinatorics [MSC 2020] 52A35 - Helly-type theorems and geometric transversal theory [MSC 2020] 52C10 - Erdős problems and related topics of discrete geometry [MSC 2020] 55S91 - Equivariant operations and obstructions in algebraic topology [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 68W40 - Analysis of algorithms [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-VAN00123975 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analysis of the Electric Dipole Moment in the R-parity Violating Supersymmetric Standard Model : Doctoral Thesis accepted by Osaka University, Osaka, Japan / Nodoka Yamanaka
| Analysis of the Electric Dipole Moment in the R-parity Violating Supersymmetric Standard Model : Doctoral Thesis accepted by Osaka University, Osaka, Japan / Nodoka Yamanaka |
| Autore | Yamanaka, Nodoka |
| Pubbl/distr/stampa | Tokyo, : Springer, 2014 |
| Descrizione fisica | xiv, 219 p. : ill. ; 24 cm |
| Soggetto topico |
81-XX - Quantum theory [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 81Q60 - Supersymmetry and quantum mechanics [MSC 2020] |
| Soggetto non controllato |
Beyond the standard model
Electric Dipole Moment Linear programming Low energy precision test R-parity violation Supersymmetric models |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0133264 |
Yamanaka, Nodoka
|
||
| Tokyo, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analysis of the Electric Dipole Moment in the R-parity Violating Supersymmetric Standard Model : Doctoral Thesis accepted by Osaka University, Osaka, Japan / Nodoka Yamanaka
| Analysis of the Electric Dipole Moment in the R-parity Violating Supersymmetric Standard Model : Doctoral Thesis accepted by Osaka University, Osaka, Japan / Nodoka Yamanaka |
| Autore | Yamanaka, Nodoka |
| Pubbl/distr/stampa | Tokyo, : Springer, 2014 |
| Descrizione fisica | xiv, 219 p. : ill. ; 24 cm |
| Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
81-XX - Quantum theory [MSC 2020] 81Q60 - Supersymmetry and quantum mechanics [MSC 2020] |
| Soggetto non controllato |
Beyond the standard model
Electric Dipole Moment Linear programming Low energy precision test R-parity violation Supersymmetric models |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00133264 |
|
Yamanaka, Nodoka
|
||
| Tokyo, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial, Linear, Integer and Nonlinear Optimization Apps : COLINA Grande / J. MacGregor Smith
| Combinatorial, Linear, Integer and Nonlinear Optimization Apps : COLINA Grande / J. MacGregor Smith |
| Autore | Smith, J. MacGregor |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxi, 259 p. : ill. ; 24 cm |
| Soggetto topico |
90C05 - Linear programming [MSC 2020]
90C30 - Nonlinear programming [MSC 2020] 90C10 - Integer programming [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] |
| Soggetto non controllato |
Combinatorial optimization
Integer nonlinear programming Integers Linear Linear programming Nonlinear Nonlinear Programming Optimization Programming apps Smartphones Tablets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274639 |
|
Smith, J. MacGregor
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial, Linear, Integer and Nonlinear Optimization Apps : COLINA Grande / J. MacGregor Smith
| Combinatorial, Linear, Integer and Nonlinear Optimization Apps : COLINA Grande / J. MacGregor Smith |
| Autore | Smith, James MacGregor |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxi, 259 p. : ill. ; 24 cm |
| Soggetto topico |
90-XX - Operations research, mathematical programming [MSC 2020]
90C05 - Linear programming [MSC 2020] 90C10 - Integer programming [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 90C30 - Nonlinear programming [MSC 2020] |
| Soggetto non controllato |
Combinatorial optimization
Integer nonlinear programming Integers Linear Linear programming Nonlinear Nonlinear Programming Optimization Programming apps Smartphones Tablets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274639 |
|
Smith, James MacGregor
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Continuous-Time Markov Decision Processes : Borel Space Models and General Control Strategies / Alexey Piunovskiy, Yi Zhang ; Foreword by Albert Nikolaevich Shiryaev
| Continuous-Time Markov Decision Processes : Borel Space Models and General Control Strategies / Alexey Piunovskiy, Yi Zhang ; Foreword by Albert Nikolaevich Shiryaev |
| Autore | Piunovskiy, Alexey |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxiv, 583 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zhang, Yi |
| Soggetto topico |
60Jxx - Markov processes [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020] 60Kxx - Special processes [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C40 - Markov and semi-Markov decision processes [MSC 2020] |
| Soggetto non controllato |
Constrained optimality
Continuous-time Markov decision processes Convex analytic approach Dynamic Programming Linear programming Markov pure jump processes Occupation measure Sequential analysis Statistical decision theory Stochastic optimal control Stochastic optimal control problems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248873 |
|
Piunovskiy, Alexey
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Continuous-Time Markov Decision Processes : Borel Space Models and General Control Strategies / Alexey Piunovskiy, Yi Zhang ; Foreword by Albert Nikolaevich Shiryaev
| Continuous-Time Markov Decision Processes : Borel Space Models and General Control Strategies / Alexey Piunovskiy, Yi Zhang ; Foreword by Albert Nikolaevich Shiryaev |
| Autore | Piunovskiy, Alexey B. |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxiv, 583 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zhang, Yi |
| Soggetto topico |
60-XX - Probability theory and stochastic processes [MSC 2020]
60Jxx - Markov processes [MSC 2020] 60Kxx - Special processes [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C40 - Markov and semi-Markov decision processes [MSC 2020] |
| Soggetto non controllato |
Constrained optimality
Continuous-time Markov decision processes Convex analytic approach Dynamic Programming Linear programming Markov pure jump processes Occupation measure Sequential analysis Statistical decision theory Stochastic optimal control Stochastic optimal control problems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248873 |
|
Piunovskiy, Alexey B.
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Distributed control of robotic networks [[electronic resource] ] : a mathematical approach to motion coordination algorithms / / Francesco Bullo, Jorge Cortés, Sonia Martínez
| Distributed control of robotic networks [[electronic resource] ] : a mathematical approach to motion coordination algorithms / / Francesco Bullo, Jorge Cortés, Sonia Martínez |
| Autore | Bullo Francesco |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, NJ, : Princeton University Press, 2009 |
| Descrizione fisica | 1 online resource (333 p.) |
| Disciplina | 629.8/9246 |
| Altri autori (Persone) |
CortésJorge <1974->
MartínezSonia <1974-> |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Robotics
Computer algorithms Robots - Control systems |
| Soggetto non controllato |
1-center problem
Adjacency matrix Aggregate function Algebraic connectivity Algebraic topology (object) Algorithm Analysis of algorithms Approximation algorithm Asynchronous system Bellman–Ford algorithm Bifurcation theory Bounded set (topological vector space) Calculation Cartesian product Centroid Chebyshev center Circulant matrix Circumscribed circle Cluster analysis Combinatorial optimization Combinatorics Communication complexity Computation Computational complexity theory Computational geometry Computational model Computer simulation Computer vision Connected component (graph theory) Connectivity (graph theory) Consensus (computer science) Control function (econometrics) Differentiable function Dijkstra's algorithm Dimensional analysis Directed acyclic graph Directed graph Discrete time and continuous time Disk (mathematics) Distributed algorithm Doubly stochastic matrix Dynamical system Eigenvalues and eigenvectors Estimation Euclidean space Function composition Hybrid system Information theory Initial condition Instance (computer science) Invariance principle (linguistics) Invertible matrix Iteration Iterative method Kinematics Laplacian matrix Leader election Linear dynamical system Linear interpolation Linear programming Lipschitz continuity Lyapunov function Markov chain Mathematical induction Mathematical optimization Mobile robot Motion planning Multi-agent system Network model Network topology Norm (mathematics) Numerical integration Optimal control Optimization problem Parameter (computer programming) Partition of a set Percolation theory Permutation matrix Polytope Proportionality (mathematics) Quantifier (logic) Quantization (signal processing) Robustness (computer science) Scientific notation Sensor Set (mathematics) Simply connected space Simulation Simultaneous equations State space State variable Stochastic matrix Stochastic Strongly connected component Synchronous network Theorem Time complexity Topology Variable (mathematics) Vector field |
| ISBN |
1-68015-897-X
1-282-45820-5 1-282-93575-5 9786612458200 9786612935756 1-4008-3147-4 0-691-14195-9 |
| Classificazione | SK 880 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. An introduction to distributed algorithms -- Chapter Two. Geometric models and optimization -- Chapter Three. Robotic network models and complexity notions -- Chapter Four. Connectivity maintenance and rendezvous -- Chapter Five. Deployment -- Chapter Six. Boundary estimation and tracking -- Bibliography -- Algorithm Index -- Subject Index -- Symbol Index |
| Record Nr. | UNINA-9910781069103321 |
|
Bullo Francesco
|
||
| Princeton, NJ, : Princeton University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Finite Dimensional Vector Spaces. (AM-7), Volume 7 / / Paul R. Halmos
| Finite Dimensional Vector Spaces. (AM-7), Volume 7 / / Paul R. Halmos |
| Autore | Halmos Paul R (Paul Richard), <1916-2006, > |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (206 pages) |
| Disciplina | 512.52 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Transformations (Mathematics)
Generalized spaces |
| Soggetto non controllato |
Absolute value
Accuracy and precision Addition Affine space Algebraic closure Algebraic equation Algebraic operation Algebraically closed field Associative property Automorphism Axiom Banach space Basis (linear algebra) Bilinear form Bounded operator Cardinal number Cayley transform Characteristic equation Characterization (mathematics) Coefficient Commutative property Complex number Complex plane Computation Congruence relation Convex set Coordinate system Determinant Diagonal matrix Dimension (vector space) Dimension Dimensional analysis Direct product Direct proof Direct sum Division by zero Dot product Dual basis Eigenvalues and eigenvectors Elementary proof Equation Euclidean space Existential quantification Function of a real variable Functional calculus Fundamental theorem Geometry Gram–Schmidt process Hermitian matrix Hilbert space Infimum and supremum Jordan normal form Lebesgue integration Linear combination Linear function Linear independence Linear map Linear programming Linearity Manifold Mathematical induction Mathematics Minimal polynomial (field theory) Minor (linear algebra) Monomial Multiplication sign Natural number Nilpotent Normal matrix Normal operator Number theory Orthogonal basis Orthogonal complement Orthogonal coordinates Orthogonality Orthonormality Polynomial Quotient space (linear algebra) Quotient space (topology) Real number Real variable Scalar (physics) Scientific notation Series (mathematics) Set (mathematics) Sign (mathematics) Special case Spectral theorem Spectral theory Summation Tensor calculus Theorem Topology Transitive relation Unbounded operator Uncountable set Unit sphere Unitary transformation Variable (mathematics) Vector space |
| ISBN | 1-4008-8223-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PREFACE -- TABLE OP CONTENTS -- ERRATA -- Chapter I. SPACES -- Chapter II. TRANSFORMATIONS -- Chapter III. ORTHOGONALITY -- APPENDIX I. THE CLASSICAL CANONICAL FORM -- APPENDIX II. DIRECT PRODUCTS -- APPENDIX III. HILBERT SPACE -- BIBLIOGRAPHY -- LIST OF NOTATIONS -- INDEX OF DEFINITIONS |
| Record Nr. | UNINA-9910154744503321 |
|
Halmos Paul R (Paul Richard), <1916-2006, >
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
