27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (IX, 490 p. 314 illus., 249 illus. in color.) |
Disciplina |
004
518.25 |
Collana | Lecture Notes in Computational Science and Engineering |
Soggetto topico |
Computer mathematics
Software engineering Numerical analysis Computer science—Mathematics Computer-aided engineering Computer simulation Computational Science and Engineering Software Engineering Numeric Computing Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling |
ISBN | 3-030-13992-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part 1: High-order Adapted Meshes -- P2 Mesh Optimization Operators -- Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces -- Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes -- Curvilinear Mesh Adaptation -- Part 2 : Mesh and Geometry Blocks, Hex mesh generation -- A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems -- Representing Three-dimensional Cross Fields Using 4th Order Tensors -- Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing -- An Angular Method with Position Control for Block Mesh Squareness Improvement -- Dual Surface Based Approach to Block Decomposition of Solid Models -- Automatic Blocking of Shapes using Evolutionary Algorithm -- Multi-block mesh refinement by adding mesh singularities -- Part 3: Simplicial Meshes -- Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation -- Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes -- A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping -- Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement -- Part 4: Curved High-Order Meshes -- Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm -- Curving for Viscous Meshes -- An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes -- Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem -- Part 5: Parallel and Fast Meshing Methods -- Exact Fast Parallel Intersection of Large 3-D Triangular Meshes -- Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated Manifold Surface Remesh Kernels -- Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning -- Discrete Mesh Optimization on GPU -- Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions. |
Record Nr. | UNINA-9910349352403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Accelerated optimization for machine learning : first-order algorithms / / Zhouchen Lin, Huan Li, Cong Fang |
Autore | Lin Zhouchen |
Pubbl/distr/stampa | Singapore : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (286 pages) |
Disciplina | 006.31 |
Soggetto topico |
Machine learning - Mathematics
Mathematical optimization Computer mathematics Machine Learning Optimization Math Applications in Computer Science Computational Mathematics and Numerical Analysis |
ISBN |
981-15-2910-8
9789811529108 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Accelerated Algorithms for Unconstrained Convex Optimization -- Chapter 3. Accelerated Algorithms for Constrained Convex Optimization -- Chapter 4. Accelerated Algorithms for Nonconvex Optimization -- Chapter 5. Accelerated Stochastic Algorithms -- Chapter 6. Accelerated Paralleling Algorithms -- Chapter 7. Conclusions. |
Record Nr. | UNISA-996465342403316 |
Lin Zhouchen
![]() |
||
Singapore : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Accelerated optimization for machine learning : first-order algorithms / / Zhouchen Lin, Huan Li, Cong Fang |
Autore | Lin Zhouchen |
Pubbl/distr/stampa | Singapore : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (286 pages) |
Disciplina | 006.31 |
Soggetto topico |
Machine learning - Mathematics
Mathematical optimization Computer mathematics Machine Learning Optimization Math Applications in Computer Science Computational Mathematics and Numerical Analysis |
ISBN |
981-15-2910-8
9789811529108 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Accelerated Algorithms for Unconstrained Convex Optimization -- Chapter 3. Accelerated Algorithms for Constrained Convex Optimization -- Chapter 4. Accelerated Algorithms for Nonconvex Optimization -- Chapter 5. Accelerated Stochastic Algorithms -- Chapter 6. Accelerated Paralleling Algorithms -- Chapter 7. Conclusions. |
Record Nr. | UNINA-9910409667103321 |
Lin Zhouchen
![]() |
||
Singapore : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Accuracy and Fuzziness. A Life in Science and Politics : A Festschrift book to Enric Trillas Ruiz / / by Luis Argüelles Méndez ; edited by Rudolf Seising |
Autore | Argüelles Méndez Luis |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXVI, 350 p. 123 illus., 11 illus. in color.) |
Disciplina | 511.322 |
Collana | Studies in Fuzziness and Soft Computing |
Soggetto topico |
Computational intelligence
Computer science—Mathematics Mathematics Artificial intelligence Computational Intelligence Math Applications in Computer Science Popular Science in Mathematics Artificial Intelligence |
ISBN | 3-319-18606-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Not, Or, And, – Not An End And Not No End! The “Enric-Trillas-Path” in Fuzzy Logic -- Causal Relations, Text Mining And Causal Graphs -- A Thread Through Challenging Questions -- Doctor Honoris Causa for Enric Trillas By the Universidad P´Ublica De Navarra -- A Hypothetical Conversation -- Professor Trillas’ Presidency of CSIC: Years Of Political Change And Friendship -- Leaves from a Tree Called Friendship -- Working with Enric Trillas and why 1977 was a Good Year -- How I Met Enric Trillas -- A Short Tribute to Enric Trillas Homage -- Enric Trillas Barcelona -- Memories on Enric Trillas in Madrid -- Enric Trillas: One of the First Spaniards Interested in The Study of Aggregation Functions -- In the Future Everyone will be A Fuzzy Set. Enric Trillas, FST as an Experimental Science And the Relationship with Theory of Concepts -- From Trillas’ Negations and Antonyms to a Set Representation of Contradiction Within Bipolar and Other Extensions of Fuzzy Sets -- Some Memories about an Old Research Companionship -- A Photographic Essay -- Some of my Memories With Enric Trillas During the Last 20 Years: A Small Tribute to an Outstanding Researcher and an Even Better Person -- Enric Trillas, a Logical Path -- “Enrique” in our Life -- My Appreciation of Enric Trillas: A Personal Note -- Enric Trillas: Master, Scientist and Humanist -- Small Recollections -- Some Notes on my Friendship With Enric Trillas -- Some Anticipatory Reminiscences -- Computational Intelligence and Soft Computing: Closely Related But not the Same -- Vague Heuristics -- Fuzzy Web Search: Representing and Applying Concepts Instead of Words -- Come to the Centre. You Won’t Regret -- ENRIC By Enrique -- Theoretical and Experimental Teaching -- A First Inquiry on Semantic-Based Models of and. |
Record Nr. | UNINA-9910299819603321 |
Argüelles Méndez Luis
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Methods for Geometric Modeling and Numerical Simulation [[electronic resource] /] / edited by Carlotta Giannelli, Hendrik Speleers |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (IX, 238 p. 87 illus., 63 illus. in color.) |
Disciplina | 518 |
Collana | Springer INdAM Series |
Soggetto topico |
Computer mathematics
Applied mathematics Engineering mathematics Computer science—Mathematics Computer-aided engineering Computational Mathematics and Numerical Analysis Applications of Mathematics Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design |
ISBN | 3-030-27331-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 A. Aimi, An Isogeometric Approach to Energetic BEM: Preliminary Results -- 2 M. Bizzarri at al., Approximate Reconstructions of Perturbed Rational Planar Cubics -- 3 F. Calabrò at al., Quadrature Rules in the Isogeometric Galerkin Method: State of the Art and an Introduction to Weighted Quadrature -- 4 S.-E. Ekström and S. Serra-Capizzano, Eigen value Isogeometric Approximations Based on B-Splines: Tools and Results -- 5 N. Engleitner and B. Juttler, Lofting with Patchwork B-Splines -- 6 A. Falini and T. Kandu, A Study on Spline Quasi-Interpolation Based Quadrature Rules for the Isogeometric Galerkin BEM -- 7 R. T. Farouki at al., New Developments in Theory, Algorithms, and Applications for Pythagorean–Hodograph Curves -- 8 T. Lyche et al., Tchebycheffian B-Splines Revisited: An Introductory Exposition -- 9 S. Sajavičius at al., Template Mapping Using Adaptive Splines and Optimization of the Parameterization. |
Record Nr. | UNINA-9910349320003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Optimization and Decision Science for Society, Services and Enterprises : ODS, Genoa, Italy, September 4-7, 2019 / / edited by Massimo Paolucci, Anna Sciomachen, Pierpaolo Uberti |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 503 p. 77 illus., 49 illus. in color.) |
Disciplina | 519.3 |
Collana | AIRO Springer Series |
Soggetto topico |
Operations research
Management science Calculus of variations Graph theory Game theory Computer science—Mathematics Operations Research, Management Science Calculus of Variations and Optimal Control; Optimization Graph Theory Game Theory, Economics, Social and Behav. Sciences Math Applications in Computer Science |
ISBN | 3-030-34960-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 C. Cervellera et al., A receding horizon approach for berth allocation based on random search optimization -- 2 G. Di Tollo et al., Integrating ship movement scheduling and tug assignment within a canal harbor -- 3 G. Auricchio et al., The Maximum Nearby Flow Problem -- 4 T. Alves de Queiroz et al., Linear models for portfolio selection with real features -- 5 M. Maggi and P. Uberti, Portfolio Leverage in Asset Allocation Problems -- 6 V. Cacchiani et al., Energy-Efficient Train Control -- 7 C. Cervellera and D. Macciò, Gradient boosting with extreme learning machines for the optimization of nonlinear functionals -- 8 M. Benini et al., A MILP model for biological sample transportation in healthcare -- 9 E. Marcelli and R. De Leone, Infinite Kernel Extreme Learning Machine -- 10 A. Betti and M. Gori, Least Action Principles and Well-Posed Learning Problems -- 11 M. Casazza and A. Ceselli, Heuristic data-driven feasibility on Integrated Planning and Scheduling -- 12 M. Barbato et al., Evaluating automated storage and retrieval system policies with simulation and optimization -- 13 E. Tresoldi and A. Ceselli, Rolling-horizon heuristics for capacitated stochastic inventory problems with forecast updates -- 14 M. Barbato et al., Paths and matchings in an automated warehouse -- 15 H. Aldossary and G. Coates, Coordinating the Emergency Response of Ambulances to Multiple Mass Casualty Incidents using an Optimization-based Approach -- 16 L. Scrimali and G. Fargetta, A game theory model of online content competition -- 17 G. Cappello and P. Daniele, A Variational Formulation for a Human Migration Problem -- 18 M. Cerulli et al., Flying safely by bilevel programming -- 19 S. Basso and A. Ceselli, Computational evaluation of data driven local search for MIP decompositions -- 20 G. Colajanni, An integer programming formulation for University Course Timetabling -- 21 P. Hosein et al., On the Sizing of Security Personnel Staff while accounting for Overtime Pay -- 22 M.‐S. Vié and N. Zufferey, Dynamic Tabu Search for Enhancing the Productivity of a Bottle Production Line -- 23 M. Boccia et al., Swap minimization in nearest neighbour quantum circuits: an ILP formulation -- 24 M. Passacantando and F. Raciti, A traffic equilibrium nonlinear programming model for optimizing road maintenance investments -- 25 L. Mastroeni et al., Opinion dynamics in multi-agent systems under proportional updating and any-to-any influence -- 26 M. F. Monaco and M. Sammarra, A new formulation of the single door truck scheduling problem -- 27 L. Rarità, Optimization of car traffic in emergency conditions -- 28 M. E. Bruni at al., The Cumulative Capacitated Vehicle Routing Problem with Profits under Uncertainty -- 29 P. Beraldi et al., Dealing with the stochastic home energy management problem -- 30 J.-F. Côté et al., Optimization Methods for the Same-Day Delivery Problem -- 31 D. Ambrosino and V. Asta, Intermodality and rail transport: focus on port rail shunting operations -- 32 D. Ferone et al., The k-Color Shortest Path Problem -- 33 M. E. Bruni et al., The Traveling Repairman Problem App for Mobile Phones: a Case on Perishable Product Delivery -- 34 R. Tison and N. Zufferey, Integrating Vehicle Routing and Resource Allocation in a Pharmaceutical Network -- 35 E. Parra, A real case on making strategic logistics decisions with production and inventory optimization models -- 36 A. Alves da Silva Mundim et al., A Bi-objective Mixed Integer Model for the Single Link Inventory Routing Problem Using the e-constraint Method -- 37 M. Pour-Massahian-Tafti et al., Models for Disassembly Lot Sizing Problem with Decisions on Surplus Inventory -- 38 R. Berruto et al., Learning inventory control rules for perishable items by simulation-based optimization -- 39 C. Cerrone et al., A Genetic Algorithm for Minimum Conflict Weighted Spanning Tree Problem -- 40 G. Lancia and M. Dalpasso, Algorithmic strategies for a fast exploration of the TSP 4-OPT neighborhood -- 41 M. Barbato et al., A computational evaluation of online ATSP algorithms -- 42 F. Wamser et al., Modeling of Traffic Flows in Internet of Things Using Renewal Approximation -- 43 F. Davoli et al., Flow Assignment in Multi-Core Network Processors. |
Record Nr. | UNINA-9910370253803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences / / edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas |
Autore | Fillion Nicolas |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (300 pages) |
Disciplina | 511.8 |
Collana | Fields Institute Communications |
Soggetto topico |
Computer mathematics
Epistemology Computer science—Mathematics Combinatorics Computational Mathematics and Numerical Analysis Math Applications in Computer Science |
ISBN | 1-4939-9051-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Ethics and the Continuum Hypothesis (J.R. Brown) -- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen) -- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion) -- Proof Verification Technology and Elementary Physics (E. Davis) -- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger) -- Dynamical Symmetries and Model Validation (B.C. Jantzen) -- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau) -- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich) -- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir) -- Counterfactuals in the Real World (J. Woodward, M. Wilson). |
Record Nr. | UNINA-9910338255803321 |
Fillion Nicolas
![]() |
||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms in Bioinformatics [[electronic resource] ] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / / edited by Martin Frith, Christian Nørgaard Storm Pedersen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 322 p. 92 illus.) |
Disciplina | 570.285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Algorithms Numerical analysis Computer science—Mathematics Mathematical statistics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Math Applications in Computer Science |
ISBN | 3-319-43681-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bioinformatics -- Computational Biology -- Systems Biology -- Discrete Algorithms -- Machine-learning Methods -- Molecular Biology. |
Record Nr. | UNISA-996465288803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms in Bioinformatics : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / / edited by Martin Frith, Christian Nørgaard Storm Pedersen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 322 p. 92 illus.) |
Disciplina | 570.285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Algorithms Numerical analysis Computer science—Mathematics Mathematical statistics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Math Applications in Computer Science |
ISBN | 3-319-43681-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bioinformatics -- Computational Biology -- Systems Biology -- Discrete Algorithms -- Machine-learning Methods -- Molecular Biology. |
Record Nr. | UNINA-9910484386203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Amazing Journey of Reason [[electronic resource] ] : from DNA to Artificial Intelligence / / by Mario Alemi |
Autore | Alemi Mario |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
Descrizione fisica | 1 online resource (113) |
Disciplina | 004.0151 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Computer science—Mathematics
Input-output equipment (Computers) Computer communication systems Operating systems (Computers) Algorithms Mathematical logic Math Applications in Computer Science Input/Output and Data Communications Computer Communication Networks Operating Systems Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
Soggetto non controllato |
Computer science
Computer science—Mathematics Input-output equipment (Computers) Computer communication systems Operating systems (Computers) Algorithms Mathematical logic |
ISBN | 3-030-25962-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465461103316 |
Alemi Mario
![]() |
||
Cham, : Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|