Asymptotic Combinatorics with Applications to Mathematical Physics [[electronic resource] ] : A European Mathematical Summer School held at the Euler Institute, St. Petersburg, Russia, July 9-20, 2001 / / edited by Anatoly M. Vershik |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 250 p.) |
Disciplina |
510 s
530.15/16 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Physics Combinatorics Group theory Functional analysis Partial differential equations Applications of Mathematics Physics, general Group Theory and Generalizations Functional Analysis Partial Differential Equations |
ISBN | 3-540-44890-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Random matrices, orthogonal polynomials and Riemann — Hilbert problem -- Asymptotic representation theory and Riemann — Hilbert problem -- Four Lectures on Random Matrix Theory -- Free Probability Theory and Random Matrices -- Algebraic geometry,symmetric functions and harmonic analysis -- A Noncommutative Version of Kerov’s Gaussian Limit for the Plancherel Measure of the Symmetric Group -- Random trees and moduli of curves -- An introduction to harmonic analysis on the infinite symmetric group -- Two lectures on the asymptotic representation theory and statistics of Young diagrams -- III Combinatorics and representation theory -- Characters of symmetric groups and free cumulants -- Algebraic length and Poincaré series on reflection groups with applications to representations theory -- Mixed hook-length formula for degenerate a fine Hecke algebras. |
Record Nr. | UNISA-996466527803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Asymptotic Combinatorics with Applications to Mathematical Physics : A European Mathematical Summer School held at the Euler Institute, St. Petersburg, Russia, July 9-20, 2001 / / edited by Anatoly M. Vershik |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 250 p.) |
Disciplina |
510 s
530.15/16 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Physics Combinatorics Group theory Functional analysis Partial differential equations Applications of Mathematics Physics, general Group Theory and Generalizations Functional Analysis Partial Differential Equations |
ISBN | 3-540-44890-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Random matrices, orthogonal polynomials and Riemann — Hilbert problem -- Asymptotic representation theory and Riemann — Hilbert problem -- Four Lectures on Random Matrix Theory -- Free Probability Theory and Random Matrices -- Algebraic geometry,symmetric functions and harmonic analysis -- A Noncommutative Version of Kerov’s Gaussian Limit for the Plancherel Measure of the Symmetric Group -- Random trees and moduli of curves -- An introduction to harmonic analysis on the infinite symmetric group -- Two lectures on the asymptotic representation theory and statistics of Young diagrams -- III Combinatorics and representation theory -- Characters of symmetric groups and free cumulants -- Algebraic length and Poincaré series on reflection groups with applications to representations theory -- Mixed hook-length formula for degenerate a fine Hecke algebras. |
Record Nr. | UNINA-9910146272903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Asymptotic Stability of Steady Compressible Fluids [[electronic resource] /] / by Mariarosaria Padula |
Autore | Padula Mariarosaria |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 235 p.) |
Disciplina | 620.1/0640151 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Mathematical models Partial differential equations Physics Fluids Mechanics Mechanics, Applied Applications of Mathematics Mathematical Modeling and Industrial Mathematics Partial Differential Equations Mathematical Methods in Physics Fluid- and Aerodynamics Theoretical and Applied Mechanics |
ISBN | 3-642-21137-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Topics in Fluid Mechanics -- 2 Topics in Stability -- 3 Barotropic Fluids with Rigid Boundary -- 4 Isothermal Fluids with Free Boundaries -- 5 Polytropic Fluids with Rigid Boundary. |
Record Nr. | UNISA-996466628803316 |
Padula Mariarosaria | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Atmospheres and Oceans on Computers : Fundamental Numerical Methods for Geophysical Fluid Dynamics / / by Lars Petter Røed |
Autore | Røed Lars Petter |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 275 p. 43 illus., 22 illus. in color.) |
Disciplina | 551.46 |
Collana | Springer Textbooks in Earth Sciences, Geography and Environment |
Soggetto topico |
Oceanography
Atmospheric sciences Physics Applied mathematics Engineering mathematics Atmospheric Sciences Numerical and Computational Physics, Simulation Mathematical and Computational Engineering |
ISBN | 3-319-93864-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Governing equations -- Preliminaries -- Time-marching problems -- The diffusion problem -- The advection problem -- The Shallow-water approximation -- Open boundary conditions -- general vertical coordinates -- Two-dimensional problems -- Advanced topics -- Appendix: Introduction to Fortran via examples. |
Record Nr. | UNINA-9910337909403321 |
Røed Lars Petter | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Atomic-Scale Modeling of Nanosystems and Nanostructured Materials [[electronic resource] /] / edited by Carlo Massobrio, Hervé Bulou, Christine Goyhenex |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 371 p. 100 illus.) |
Disciplina | 620.5 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Nanotechnology
Surfaces (Physics) Interfaces (Physical sciences) Thin films Solid state physics Condensed matter Applied mathematics Engineering mathematics Nanotechnology and Microengineering Surface and Interface Science, Thin Films Solid State Physics Condensed Matter Physics Mathematical and Computational Engineering |
Soggetto genere / forma | Aufsatzsammlung |
ISBN |
1-283-51074-X
9786613510747 3-642-04650-9 |
Classificazione |
530
UD 8220 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Collective Electron Dynamics in Metallic and Semiconductor Nanostructures -- Weak Chemical Interaction and van der Waals Forces: A Combined Density Functional and Intermolecular Perturbation Theory #x2013; Application to Graphite and Graphitic Systems -- Reactive Simulations for Biochemical Processes -- Molecular Dynamics Simulations of Liquid-Crystalline Dendritic Architectures -- Surface Diffusion on Inhomogeneous Surfaces -- Electronic, Magnetic and Spectroscopic Properties of Vanadium, Chromium and Manganese Nanostructures -- Electronic Structure and Magnetism of Double Perovskite Systems -- Effect of Spin-Orbit Coupling on the Magnetic Properties of Materials: Theory -- Effect of Spin-Orbit Coupling on the Magnetic Properties of Materials: Results -- Nanostructural Units in Disordered Network-Forming Materials and the Origin of Intermediate Range Order. |
Record Nr. | UNISA-996466832303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Aufgaben zu Technische Mechanik 1–3 : Statik, Elastostatik, Kinetik / / von Werner Hauger, Christian Krempaszky, Wolfgang A. Wall, Ewald Werner |
Autore | Hauger Werner |
Edizione | [9th ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
Descrizione fisica | 1 online resource (VIII, 395 S. 500 Abb., 41 Abb. in Farbe.) |
Disciplina | 620.1 |
Soggetto topico |
Mechanics
Mechanics, Applied Applied mathematics Engineering mathematics Theoretical and Applied Mechanics Mathematical and Computational Engineering |
ISBN | 3-662-53344-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Formeln und Aufgaben: I. Statik -- II. Elastostatik -- III. Kinetik -- Lösungen: I. Statik -- II. Elastostatik -- III. Kinetik. |
Record Nr. | UNINA-9910483522303321 |
Hauger Werner | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automatic SIMD Vectorization of SSA-based Control Flow Graphs / / by Ralf Karrenberg |
Autore | Karrenberg Ralf |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2015 |
Descrizione fisica | 1 online resource (193 p.) |
Disciplina |
004
005.13 006.6 519 |
Soggetto topico |
Programming languages (Electronic computers)
Computer graphics Applied mathematics Engineering mathematics Programming Languages, Compilers, Interpreters Computer Graphics Mathematical and Computational Engineering |
ISBN | 3-658-10113-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Foreword; Acknowledgement; Abstract; Kurzfassung; Contents; 1 Introduction; 1.1 Contributions; 1.2 Publications; 2 Foundations & Terminology; 2.1 Basic Block; 2.2 Control Flow Graph (CFG); 2.3 Dominance and Postdominance; 2.4 Loops; 2.5 Static Single Assignment (SSA) Form; 2.5.1 LCSSA Form (LCSSA); 2.6 Control Dependence; 2.7 Live Values; 2.8 Register Pressure; 2.9 LLVM; 2.9.1 Intermediate Representation (IR); 2.9.2 Data Types; 2.9.3 Important Instructions; 2.10 Single Instruction, Multiple Data (SIMD); 3 Overview; 3.1 Whole-Function Vectorization (WFV); 3.2 Algorithmic Challenges
3.3 Performance Issues of Vectorization4 Related Work; 4.1 Classic Loop Vectorization; 4.2 Superword Level Parallelism (SLP); 4.3 Outer Loop Vectorization (OLV); 4.4 Auto-Vectorizing Languages; 4.4.1 OpenCL and CUDA; 4.5 SIMD Property Analyses; 4.6 Dynamic Variants; 4.7 Summary; 5 SIMD Property Analyses; 5.1 Program Representation; 5.2 SIMD Properties; 5.2.1 Uniform & Varying Values; 5.2.2 Consecutivity & Alignment; 5.2.3 Sequential & Non-Vectorizable Operations; 5.2.4 All-Instances-Active Operations; 5.2.5 Divergent Loops; 5.2.6 Divergence-Causing Blocks & Rewire Targets 5.3 Analysis Framework5.4 Operational Semantics; 5.4.1 Lifting to Vector Semantics; 5.5 Collecting Semantics; 5.6 Vectorization Analysis; 5.6.1 Tracked Information; 5.6.2 Initial State; 5.6.3 Instance Identifier; 5.6.4 Constants; 5.6.5 Phi Functions; 5.6.6 Memory Operations; 5.6.7 Calls; 5.6.8 Cast Operations; 5.6.9 Arithmetic and Other Instructions; 5.6.10 Branch Operation; 5.6.11 Update Function for All-Active Program Points; 5.6.12 Update Function for Divergent Loops; 5.7 Soundness; 5.7.1 Local Consistency; 5.8 Improving Precision with an SMT Solver 5.8.1 Expression Trees of Address Computations5.8.2 Translation to Presburger Arithmetic; 5.8.3 From SMT Solving Results to Code; 5.9 Rewire Target Analysis; 5.9.1 Running Example; 5.9.2 Loop Criteria; 5.9.3 Formal Definition; 5.9.4 Application in Partial CFG Linearization; 6 Whole-Function Vectorization; 6.1 Mask Generation; 6.1.1 Loop Masks; 6.1.2 Running Example; 6.1.3 Alternative for Exits Leaving Multiple Loops; 6.2 Select Generation; 6.2.1 Loop Blending; 6.2.2 Blending of Optional Loop Exit Results; 6.2.3 Running Example; 6.3 Partial CFG Linearization; 6.3.1 Running Example 6.3.2 Clusters of Divergence-Causing Blocks6.3.3 Rewire Target Block Scheduling; 6.3.4 Computation of New Outgoing Edges; 6.3.5 Linearization; 6.3.6 Repairing SSA Form; 6.3.7 Branch Fusion; 6.4 Instruction Vectorization; 6.4.1 Broadcasting of Uniform Values; 6.4.2 Consecutive Value Optimization; 6.4.3 Merging of Sequential Results; 6.4.4 Duplication of Non-Vectorizable Operations; 6.4.5 Pumped Vectorization; 6.5 Extension for Irreducible Control Flow; 7 Dynamic Code Variants; 7.1 Uniform Values and Control Flow; 7.2 Consecutive Memory Access Operations; 7.3 Switching to Scalar Code 7.4 WFV-SLP |
Record Nr. | UNINA-9910299252003321 |
Karrenberg Ralf | ||
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bases, outils et principes pour l'analyse variationnelle / / by Jean-Baptiste Hiriart-Urruty |
Autore | Hiriart-Urruty Jean-Baptiste |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (181 p.) |
Disciplina | 519.5352 |
Collana | Mathématiques et Applications |
Soggetto topico |
Mathematical optimization
Applied mathematics Engineering mathematics Mathematical analysis Analysis (Mathematics) Functional analysis Calculus of variations Optimization Mathematical and Computational Engineering Analysis Applications of Mathematics Functional Analysis Calculus of Variations and Optimal Control; Optimization |
ISBN | 3-642-30735-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto |
Bases, outils et principes pour l'analyse variationnelle; Avant-propos; Ouvrages récents du même auteur; Introduction; Table des matières; 1 - PROLÉGOMÈNES: LA SEMICONTINUITÉ INFÉRIEURE; LES TOPOLOGIES FAIBLES; - RÉSULTATS FONDAMENTAUX D'EXISTENCE EN OPTIMISATION.; 1 Introduction; 2 La question de l'existence de solutions; 2.1 La semicontinuité inférieure; 2.2 Des exemples; 2.3 Un résultat standard d'existence; 3 Le choix des topologies; 3.1 Progression dans la généralité des espaces de travail; 3.2 Topologie faible σ(E,E*) sur E; 3.3 Le topologie faible-, σ(E*,E) (weak- en anglais)
3.4 L'apport de la séparabilité3.5 Un théorème fondamental d'existence en présence de convexité; Références; 2 CONDITIONS NÉCESSAIRES D'OPTIMALITÉ APPROCHÉE; 1 PRINCIPE VARIATIONNEL D'EKELAND; 1.1 Le théorème principal: énoncé, illustrations, variantes; 1.2 La démonstration du théorème principal; 1.3 Compléments; 2 PRINCIPE VARIATIONNEL DE BORWEIN-PREISS; 2.1 Le théorème principal: énoncé, quelques illustrations; 2.2 Applications en théorie de l'approximation hilbertienne; 3 Prolongements possibles; Références; 3-AUTOUR DE LA PROJECTION SUR UN CONVEXE FERMÉ; -LA DÉCOMPOSITION DE MOREAU. 1 Le contexte linéaire : la projection sur un sous-espace vectoriel fermé (Rappels)1.1 Propriétés basiques de pV; 1.2 Caractérisation de pV; 1.3 La ""technologie des moindres carrés""; 2 Le contexte général : la projection sur un convexe fermé (Rappels); 2.1 Caractérisation et propriétés essentielles; 2.2 Le problème de l'admissibilité ou faisabilité convexe (the ""convex feasibility problem""); 3 La projection sur un cône convexe fermé. La décomposition de MOREAU; 3.1 Le cône polaire; 3.2 Caractérisation de pK; x) ; propriétés de pK ; décomposition de Moreau suivant K et K 4 Approximation conique d'un convexe. Application aux conditions d'optimalité4.1 Le cône tangent; 4.2 Application aux conditions d'optimalité; Exercices; Références; 4 ANALYSE CONVEXE OPÉRATOIRE; 1 Fonctions convexes sur E; 1.1 Définitions et propriétés; 1.2 Exemples; 2 Deux opérations préservant la convexité; 2.1 Passage au supremum; 2.2 Inf-convolution; 3 La transformation de Legendre-Fenchel; 3.1 Définition et premières propriétés; 3.2 Quelques exemples pour se familiariser avec le concept; 3.3 L'inégalité de Fenchel; 3.4 La biconjugaison; 3.5 Quelques règles de calcul typiques 4 Le sous-différentiel d'une fonction4.1 Définition et premiers exemples; 4.2 Propriétés basiques du sous-différentiel; 4.3 Quelques règles de calcul typiques; 4.4 Sur le besoin d'un agrandissement de f; 5 Un exemple d'utilisation du sous-différentiel: les conditions nécessaires et suffisantes d'optimalité dans un problème d'optimisation convexe avec contraintes; Références; 5 QUELQUES SCHÉMAS DE DUALISATION DANS DES PROBLÈMES D'OPTIMISATION NON CONVEXES; 1 MODÈLE 1: LA RELAXATION CONVEXE; 1.1 L'opération de ""convexification fermée"" d'une fonction 1.2 La ""relaxation convexe fermée"" d'un problème d'optimisation (P) |
Record Nr. | UNINA-9910438150303321 |
Hiriart-Urruty Jean-Baptiste | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Basic Approach to Age-Structured Population Dynamics : Models, Methods and Numerics / / by Mimmo Iannelli, Fabio Milner |
Autore | Iannelli Mimmo |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 350 p. 77 illus., 20 illus. in color.) |
Disciplina |
576.58
577.88 |
Collana | Lecture Notes on Mathematical Modelling in the Life Sciences |
Soggetto topico |
Biomathematics
Applied mathematics Engineering mathematics Integral equations Partial differential equations Genetics and Population Dynamics Applications of Mathematics Integral Equations Partial Differential Equations |
ISBN | 94-024-1146-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Why Age Structure? An Introduction -- 2 The Basic Linear Theory -- 3 Numerical Methods for the Linear Model -- 4 The Time-Dependent Case -- 5 Nonlinear Models -- 6 Stability of Equilibria -- 7 Numerical Methods for the Nonlinear Model -- 8 Global Behavior -- 9 Class-Age Structure for Epidemics -- 10 Epidemics and Demography -- A The Laplace Transform -- B Integral Equations Theory. References. |
Record Nr. | UNINA-9910254306903321 |
Iannelli Mimmo | ||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Basic Concepts in Computational Physics / / by Benjamin A. Stickler, Ewald Schachinger |
Autore | A. Stickler Benjamin |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVII, 377 p. 95 illus.) |
Disciplina | 530.1 |
Soggetto topico |
Physics
Applied mathematics Engineering mathematics Computer mathematics Chemistry, Physical and theoretical Statistical physics Dynamical systems Numerical and Computational Physics, Simulation Mathematical and Computational Engineering Computational Mathematics and Numerical Analysis Theoretical and Computational Chemistry Complex Systems Statistical Physics and Dynamical Systems |
ISBN | 3-319-02435-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some Basic Remarks -- Part I Deterministic Methods: Numerical Differentiation -- Numerical Integration -- The KEPLER Problem -- Ordinary Differential Equations – Initial Value Problems -- The Double Pendulum -- Molecular Dynamics -- Numerics of Ordinary Differential Equations - Boundary Value Problems -- The One-Dimensional Stationary Heat Equation -- The One-Dimensional Stationary SCHRÖDINGER Equation -- Numerics of Partial Differential Equations -- Part II Stochastic Methods -- Pseudo Random Number Generators -- Random Sampling Methods -- A Brief Introduction to Monte-Carlo Methods -- The ISING Model -- Some Basics of Stochastic Processes -- The Random Walk and Diffusion Theory -- MARKOV-Chain Monte Carlo and the POTTS Model -- Data Analysis -- Stochastic Optimization. |
Record Nr. | UNINA-9910799246303321 |
A. Stickler Benjamin | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|