27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille
| 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 science - 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
| 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
| 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 science - 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
| 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 |
9783319186061
331918606X |
| 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 | ||
| ||
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
| 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 | ||
| ||
The Amazing Journey of Reason [[electronic resource] ] : from DNA to Artificial Intelligence / / by Mario Alemi
| 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 | ||
| ||
The Amazing Journey of Reason [[electronic resource] ] : from DNA to Artificial Intelligence / / by Mario Alemi
| 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. | UNINA-9910366657903321 |
Alemi Mario
|
||
| Cham, : Springer Nature, 2020 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings / / edited by Nigel Thomas, Matthew Forshaw
| Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings / / edited by Nigel Thomas, Matthew Forshaw |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 213 p. 65 illus.) |
| Disciplina | 519.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer science—Mathematics
Probabilities Computer simulation Markov processes Math Applications in Computer Science Probability Theory and Stochastic Processes Simulation and Modeling Markov model |
| ISBN | 3-319-61428-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Modelling -- Markov Processes -- Performance Evaluation -- Simulation -- Queueing Theory -- Network Performance Analysis -- Distributed Computing -- Stochastic Petri Nets. |
| Record Nr. | UNISA-996466453203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke
| Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 217 p. 98 illus.) |
| Disciplina | 519.23 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Optical data processing Computer science—Mathematics Pattern recognition Data structures (Computer science) Software Engineering Image Processing and Computer Vision Math Applications in Computer Science Discrete Mathematics in Computer Science Pattern Recognition Data Structures |
| ISBN | 3-319-18579-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. |
| Record Nr. | UNISA-996200027603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application of Soft Computing and Intelligent Methods in Geophysics / / by Alireza Hajian, Peter Styles
| Application of Soft Computing and Intelligent Methods in Geophysics / / by Alireza Hajian, Peter Styles |
| Autore | Hajian Alireza |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 533 p. 410 illus., 247 illus. in color.) |
| Disciplina |
550
526.1 |
| Collana | Springer Geophysics |
| Soggetto topico |
Geophysics
Geotechnical engineering Mathematical physics Computer science—Mathematics Artificial intelligence Geophysics/Geodesy Geotechnical Engineering & Applied Earth Sciences Mathematical Applications in the Physical Sciences Math Applications in Computer Science Artificial Intelligence |
| ISBN | 3-319-66532-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural networks :concepts /applications in: Seismic,EM,Gravity,VLF,conductivity,GPR -- Fuzzy logic:concepts /applications in: Seismic,EM,Gravity,VLF,conductivity,GPR -- Neuro-fuzzy concepts /applications in: Seismic,EM,Gravity,VLF,conductivity,GPR -- Genetic Algorithm: concepts /applications in: Seismic,EM,Gravity,VLF,conductivity,GPR -- Future of soft computing methods in geophysics. . |
| Record Nr. | UNINA-9910299379603321 |
Hajian Alireza
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||