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 Mathematical Theory of Design : Foundations, Algorithms and Applications / by Dan Braha and Oded Maimon
| A Mathematical Theory of Design : Foundations, Algorithms and Applications / by Dan Braha and Oded Maimon |
| Autore | Braha, Dan |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica | xxii, 680 p. ; 24 cm |
| Altri autori (Persone) | Maimon, Oded |
| Soggetto topico |
00A69 - General applied mathematics [MSC 2020]
68-XX - Computer science [MSC 2020] 68U07 - Computer science aspects of computer-aided design [MSC 2020] 91B44 - Economics of information [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Complexity Computer Aided Design Design Design Theory Design processes Engineering Design Information Theory Informations Modeling Optimization Software Statistical Analysis |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298432 |
Braha, Dan
|
||
| Dordrecht, : Springer, : Kluwer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.]
| An Introduction to Scientific Computing : Fifteen Computational Projects Solved with MATLAB / Ionut Danaila ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xviii, 373 p. : ill. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] |
| Soggetto non controllato |
Analysis
Computer Aided Design Finite Element Methods Finite Elements Image Processing Kinetics MATLAB Mechanics Models Numerical Analysis Optimization Programming Scientific Computing Signal Wavelet |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278707 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Optimal Control / Edited by R. Bulirsch, D. Kraft
| Computational Optimal Control / Edited by R. Bulirsch, D. Kraft |
| Pubbl/distr/stampa | Basel [etc.], : Birkhäuser, 1994 |
| Descrizione fisica | vii, 382 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
49-XX - Calculus of variations and optimal control; optimization [MSC 2020] |
| Soggetto non controllato |
Algorithms
Complexity Computer Aided Design Constructions Linear optimization Manufacturing Technology Modeling Nonlinear optimization Numerical methods Optimal Control Optimization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00292067 |
| Basel [etc.], : Birkhäuser, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug
| Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | xxii, 700 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
70-XX - Mechanics of particles and systems [MSC 2020] |
| Soggetto non controllato |
Analysis
Calculus Computer Aided Design Dynamics Machine dynamics Mechanical systems Numerical Mathematics Numerical integration Optimization Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | These proceedings contain lectures presented at the NATO-NSF-ARO sponsored Advanced Study I~stitute on "Computer Aided Analysis and Optimization of Mechanical System Dynamics" held in Iowa City, Iowa, 1-12 August, 1983. Lectures were presented by free world leaders in the field of machine dynamics and optimization. Participants in the Institute were specialists from throughout NATO, many of whom presented contributed papers during the Institute and all of whom participated actively in discussions on technical aspects of the subject. The proceedings are organized into five parts, each addressing a technical aspect of the field of computational methods in dynamic analysis and design of mechanical systems. The introductory paper presented first in the text outlines some of the numerous technical considerations that must be given to organizing effective and efficient computational methods and computer codes to serve engineers in dynamic analysis and design of mechanical systems. Two substantially different approaches to the field are identified in this introduction and are given attention throughout the text. The first and most classical approach uses a minimal set of Lagrangian generalized coordinates to formulate equations of motion with a small number of constraints. The second method uses a maximal set of cartesian coordinates and leads to a large number of differential and algebraic constraint equations of rather simple form. These fundamentally different approaches and associated methods of symbolic computation, numerical integration, and use of computer graphics are addressed throughout the proceedings. |
| Record Nr. | UNICAMPANIA-VAN00263213 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elaborazione elettronica nel progetto di architettura / Sergio Los, Roberto Grossa, Natasha Pulitzer ; presentazione di Dean Hawkes
| Elaborazione elettronica nel progetto di architettura / Sergio Los, Roberto Grossa, Natasha Pulitzer ; presentazione di Dean Hawkes |
| Autore | Los, Sergio <1934- > |
| Pubbl/distr/stampa | Padova : Muzzio, c1990 |
| Descrizione fisica | XV, 340 p. : ill. ; 25 cm |
| Disciplina |
620.004 202 85
720.285 005 |
| Altri autori (Persone) |
Pulitzer, Natasha
Grossa, Roberto |
| Collana | Architettura |
| Soggetto non controllato |
Progettazione architettonica - Computer Aided Design
Elaboratori elettronici Computer Aided Design Informatica Progettazione architettonica |
| ISBN | 88-7021-465-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000776460403321 |
|
Los, Sergio <1934- >
|
||
| Padova : Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin
| Estimation, Control, and the Discrete Kalman Filter / Donald E. Catlin |
| Autore | Catlin, Donald E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1989 |
| Descrizione fisica | xiv, 276 p. ; 24 cm |
| Soggetto topico |
60G35 - Signal detection and filtering (aspects of stochastic processes) [MSC 2020]
93-XX - Systems theory; control [MSC 2020] 93E10 - Estimation and detection in stochastic control theory [MSC 2020] 93E11 - Filtering in stochastic control theory [MSC 2020] 93E14 - Data smoothing in stochastic control theory [MSC 2020] |
| Soggetto non controllato |
Bayesian Statistics
Best Fits Bias Calculus Computer Aided Design Constructions Dynamical systems Estimator Filtering Normal Operators Statistics Tracking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | In 1960, R. E. Kalman published his celebrated paper on recursive min imum variance estimation in dynamical systems [14]. This paper, which introduced an algorithm that has since been known as the discrete Kalman filter, produced a virtual revolution in the field of systems engineering. Today, Kalman filters are used in such diverse areas as navigation, guid ance, oil drilling, water and air quality, and geodetic surveys. In addition, Kalman's work led to a multitude of books and papers on minimum vari ance estimation in dynamical systems, including one by Kalman and Bucy on continuous time systems [15]. Most of this work was done outside of the mathematics and statistics communities and, in the spirit of true academic parochialism, was, with a few notable exceptions, ignored by them. This text is my effort toward closing that chasm. For mathematics students, the Kalman filtering theorem is a beautiful illustration of functional analysis in action; Hilbert spaces being used to solve an extremely important problem in applied mathematics. For statistics students, the Kalman filter is a vivid example of Bayesian statistics in action. The present text grew out of a series of graduate courses given by me in the past decade. Most of these courses were given at the University of Mas sachusetts at Amherst. |
| Record Nr. | UNICAMPANIA-VAN00269188 |
|
Catlin, Donald E.
|
||
| New York, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors
| Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors |
| Pubbl/distr/stampa | London, : Springer, 2014 |
| Descrizione fisica | VIII, 162 p. : ill. ; 24 cm |
| Soggetto topico |
13P15 - Solving polynomial systems; resultants [MSC 2020]
65D17 - Computer-aided design (modeling of curves and surfaces) [MSC 2020] 68U07 - Computer science aspects of computer-aided design [MSC 2020] 68U10 - Computing methodologies for image processing [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebraic Geometry
Computer Aided Design Geometric Modelling Polynomial Systems Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00102572 |
| London, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lancelot : A Fortran Package for Large-Scale Nonlinear Optimization (Release A) / A. R. Conn, N. I. M. Gould, Ph. L. Toint
| Lancelot : A Fortran Package for Large-Scale Nonlinear Optimization (Release A) / A. R. Conn, N. I. M. Gould, Ph. L. Toint |
| Autore | Conn, Andrew R. |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1992 |
| Descrizione fisica | xviii, 330 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Gould, Nicholas I. M.
Toint, Philippe L. |
| Soggetto topico |
90-XX - Operations research, mathematical programming [MSC 2020]
90C06 - Large-scale problems in mathematical programming [MSC 2020] 90C30 - Nonlinear programming [MSC 2020] |
| Soggetto non controllato |
Algorithms
Augmented Lagrangian Computer Aided Design Linear optimization Nonlinear optimization Optimization Projected Gradient Software Standard Input Format |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289453 |
|
Conn, Andrew R.
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
New challenges in grid generation and adaptivity / Simona Perotto, Luca Formaggia editors
| New challenges in grid generation and adaptivity / Simona Perotto, Luca Formaggia editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | VIII, 325 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
65-XX - Numerical analysis [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] 65M55 - Multigrid methods; domain decomposition for initial value and initial-boundary value problems involving PDEs [MSC 2020] 65N50 - Mesh generation, refinement, and adaptive methods for boundary value problems involving PDEs [MSC 2020] 65N55 - Multigrid methods; domain decomposition for boundary value problems involving PDEs [MSC 2020] 65Zxx - Applications to the sciences [MSC 2020] |
| Soggetto non controllato |
Applied Mathematics
Computer Aided Design Mesh adaptation Mesh generation Scientific Computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | This volume collects selected contributions from the “Fourth Tetrahedron Workshop on Grid Generation for Numerical Computations”, which was held in Verbania, Italy in July 2013. The previous editions of this Workshop were hosted by the Weierstrass Institute in Berlin (2005), by INRIA Rocquencourt in Paris (2007), and by Swansea University (2010). This book covers different, though related, aspects of the field: the generation of quality grids for complex three-dimensional geometries; parallel mesh generation algorithms; mesh adaptation, including both theoretical and implementation aspects; grid generation and adaptation on surfaces – all with an interesting mix of numerical analysis, computer science and strongly application-oriented problems. |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113252 |
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proceeding of 6th international conference on advances in manufacturing and materials engineering : ICAMME 2024, 13—14 August, Kuala Lumpur, Malaysia / Md Abdul Maleque ... [et al.] editors
| Proceeding of 6th international conference on advances in manufacturing and materials engineering : ICAMME 2024, 13—14 August, Kuala Lumpur, Malaysia / Md Abdul Maleque ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2025 |
| Descrizione fisica | 1 testo elettronico (XII, 337 p. : ill.) |
| Soggetto non controllato |
Additive Manufacturing Metal Forming
Advanced Manufacturing Materials Computer Aided Design Flexible Manufacturing Green Manufacturing ICAMME 2024 Industry 4.0 Technologies Life Cycle Engineering Manufacturing Processes Lean Manufacturing Smart Manufacturing |
| ISBN | 978-98-19-63813-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00307276 |
| Singapore, : Springer, 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
