Computational Methods in Field Theory [[electronic resource] ] : Proceedings of the 31. Internationale Universitätswochen für Kern- und Teilchenphysik, Schladming, Austria, February 1992 / / edited by H. Gausterer, C.B. Lang |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (XII, 276 p. 26 illus., 3 illus. in color.) |
Disciplina | 530.1/4 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Thermodynamics
Statistical physics Dynamical systems Elementary particles (Physics) Quantum field theory Physics Quantum physics Complex Systems Elementary Particles, Quantum Field Theory Mathematical Methods in Physics Numerical and Computational Physics, Simulation Quantum Physics |
ISBN | 3-540-47338-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A stochastic primer -- Computer assisted proofs -- Finite size effects at phase transitions -- High precision simulations with fast algorithms -- The present and future of lattice QCD -- Effective Field Theories -- Computers in the design and analysis of HEP experiments. |
Record Nr. | UNISA-996466714503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A computational non-commutative geometry program for disordered topological insulators [[electronic resource] /] / by Emil Prodan |
Autore | Prodan Emil |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 118 p. 19 illus. in color.) |
Disciplina | 512.4 |
Collana | SpringerBriefs in Mathematical Physics |
Soggetto topico |
Physics
Mathematical physics Condensed matter K-theory Functional analysis Mathematical Methods in Physics Mathematical Physics Condensed Matter Physics K-Theory Functional Analysis |
ISBN | 3-319-55023-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Disordered Topological Insulators: A Brief Introduction -- Homogeneous Materials -- Homogeneous Disordered Crystals -- Classification of Homogenous Disordered Crystals -- Electron Dynamics: Concrete Physical Models -- Notations and Conventions -- Physical Models -- Disorder Regimes -- Topological Invariants -- The Non-Commutative Brillouin Torus -- Disorder Configurations and Associated Dynamical Systems -- The Algebra of Covariant Physical Observables -- Fourier Calculus -- Differential Calculus -- Smooth Sub-Algebra -- Sobolev Spaces -- Magnetic Derivations -- Physics Formulas -- The Auxiliary C*-Algebras -- Periodic Disorder Configurations -- The Periodic Approximating Algebra -- Finite-Volume Disorder Configurations -- The Finite-Volume Approximating Algebra -- Approximate Differential Calculus -- Bloch Algebras -- Canonical Finite-Volume Algorithm -- General Picture -- Explicit Computer Implementation -- Error Bounds for Smooth Correlations -- Assumptions -- First Round of Approximations -- Second Round of Approximations -- Overall Error Bounds -- Applications: Transport Coefficients at Finite Temperature -- The Non-Commutative Kubo Formula -- The Integer Quantum Hall Effect -- Chern Insulators -- Error Bounds for Non-Smooth Correlations -- The Aizenman-Molchanov Bound -- Assumptions -- Derivation of Error Bounds -- Applications II: Topological Invariants -- Class AIII in d = 1 -- Class A in d = 2 -- Class AIII in d = 3 -- References. |
Record Nr. | UNINA-9910254581003321 |
Prodan Emil
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Problems in Engineering [[electronic resource] /] / edited by Nikos Mastorakis, Valeri Mladenov |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (310 p.) |
Disciplina | 620.00151 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Applied mathematics
Engineering mathematics Physics Numerical analysis Mathematical and Computational Engineering Mathematical Methods in Physics Numeric Computing |
ISBN | 3-319-03967-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Noise Reduction at the Fan Outlet -- Performance Evaluation of Gibbs Sampling for Bayesian Extracting Sinusoids -- Controlling Chaotic Systems via Time-Delayed Control -- Analytical Results for a Small Multiple-Layer Parking System -- Three Dimensional Pulsatile Non-Newtonian Flow in a Stenotic Vessel -- A Polynomial Matrix Approach to the Descriptor Systems -- Analysis of the Electric Field Distribution in a Wire-Cylinder Electrode Configuration -- Oblique Newtonian Fluid Flow with Heat Transfer towards a Stretching Sheet -- Double Allee Effects on Prey in a Modified Rosenzweig-Macarthur Predator-Prey Model -- Buckling of Plates on Rotationally and Warping Restrained Supports. |
Record Nr. | UNINA-9910299753803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 606 p.) |
Disciplina | 620.00420285 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer-aided engineering
Special purpose computers Computational complexity Artificial intelligence Physics Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Complexity Artificial Intelligence Mathematical Methods in Physics Numerical and Computational Physics, Simulation |
ISBN | 3-540-44931-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Survey Papers -- The Cast Project: Experiences and Future Perspectives -- Cast Methods in Biocybernetics -- On the Way to the Next Generation of Robots -- Conceptual Frameworks, Methods and Tools -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets -- Representing Petri Nets in an Action Based Formalism -- Simplification of Proof Procedures Based on the Path Condition Concepts -- Parallel Processor Array for Tomographic Reconstruction Algorithms -- A Formalized Description Approach to Continuos Time Systems -- Modeling Complex Systems by Multi-agent Holarchies -- Partition of Systems by General System Logical Theory (GSLT) -- Intelligent Robots -- Multiagent Approach to Intelligent Control of Robot -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools -- System Integration Techniques in Robotics -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations -- Matrix Model of Robot in Matlab – Simulink -- Modeling and Simulation -- Integrating Two Dynamic Models of Business-Logistics Plant -- Assembly Reengineering Model -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation -- Modeling the Emergence of Social Entities -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) -- Sociological Aspects of Data Acquisition and Processing -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation -- Distributed Simulation with Multimedia Interface -- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem -- Floating Car Data Analysis of Urban Road Networks -- Information Lost in the Hologram Subdividing Process -- Systems Engineering and Software Development -- Electronic Performance Support Systems Challenges and Problems -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station -- A Formalisation of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems -- Vertical Partitioning Algorithms in Distributed Databases -- Decision Based Adaptive Model for Managing Software Development Projects -- A Fractal Software Complexity Metric Analyser -- Artificial Intelligent Systems and Control -- Systems Approach to Attention Mechanisms in the Visual Pathway -- On Completness in Early Vision from Systems Theory -- McCulloch Program II in Artificial Systems and Lastres Theorem -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems -- Variable-Structure Learning Controllers -- An Identification Algorithmic Toolkit for Intelligent Control Systems -- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures -- The Supervision of Hybrid Control Systems – A Layered Architecture -- Automatic Players for Computer Games. |
Record Nr. | UNINA-9910144145803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 606 p.) |
Disciplina | 620.00420285 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer-aided engineering
Special purpose computers Computational complexity Artificial intelligence Physics Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Complexity Artificial Intelligence Mathematical Methods in Physics Numerical and Computational Physics, Simulation |
ISBN | 3-540-44931-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Survey Papers -- The Cast Project: Experiences and Future Perspectives -- Cast Methods in Biocybernetics -- On the Way to the Next Generation of Robots -- Conceptual Frameworks, Methods and Tools -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets -- Representing Petri Nets in an Action Based Formalism -- Simplification of Proof Procedures Based on the Path Condition Concepts -- Parallel Processor Array for Tomographic Reconstruction Algorithms -- A Formalized Description Approach to Continuos Time Systems -- Modeling Complex Systems by Multi-agent Holarchies -- Partition of Systems by General System Logical Theory (GSLT) -- Intelligent Robots -- Multiagent Approach to Intelligent Control of Robot -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools -- System Integration Techniques in Robotics -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations -- Matrix Model of Robot in Matlab – Simulink -- Modeling and Simulation -- Integrating Two Dynamic Models of Business-Logistics Plant -- Assembly Reengineering Model -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation -- Modeling the Emergence of Social Entities -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) -- Sociological Aspects of Data Acquisition and Processing -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation -- Distributed Simulation with Multimedia Interface -- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem -- Floating Car Data Analysis of Urban Road Networks -- Information Lost in the Hologram Subdividing Process -- Systems Engineering and Software Development -- Electronic Performance Support Systems Challenges and Problems -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station -- A Formalisation of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems -- Vertical Partitioning Algorithms in Distributed Databases -- Decision Based Adaptive Model for Managing Software Development Projects -- A Fractal Software Complexity Metric Analyser -- Artificial Intelligent Systems and Control -- Systems Approach to Attention Mechanisms in the Visual Pathway -- On Completness in Early Vision from Systems Theory -- McCulloch Program II in Artificial Systems and Lastres Theorem -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems -- Variable-Structure Learning Controllers -- An Identification Algorithmic Toolkit for Intelligent Control Systems -- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures -- The Supervision of Hybrid Control Systems – A Layered Architecture -- Automatic Players for Computer Games. |
Record Nr. | UNISA-996466156603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Methods and Borel Summability Applied to Feigenbaum’s Equation [[electronic resource] /] / by Jean-Pierre Eckmann, Peter Wittwer |
Autore | Eckmann Jean-Pierre |
Edizione | [1st ed. 1985.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
Descrizione fisica | 1 online resource (XIV, 300 p. 2 illus.) |
Disciplina | 530.15 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Computational complexity Mathematical Methods in Physics Numerical and Computational Physics, Simulation Complexity |
ISBN | 3-540-39359-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ecalle's theory of resurgent functions -- The constructive method of Loeffel -- Computer-assisted proofs -- The equations at N = ? -- The equations for N < ?. |
Record Nr. | UNINA-9910257415603321 |
Eckmann Jean-Pierre
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Methods and Borel Summability Applied to Feigenbaum’s Equation [[electronic resource] /] / by Jean-Pierre Eckmann, Peter Wittwer |
Autore | Eckmann Jean-Pierre |
Edizione | [1st ed. 1985.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
Descrizione fisica | 1 online resource (XIV, 300 p. 2 illus.) |
Disciplina | 530.15 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Computational complexity Mathematical Methods in Physics Numerical and Computational Physics, Simulation Complexity |
ISBN | 3-540-39359-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ecalle's theory of resurgent functions -- The constructive method of Loeffel -- Computer-assisted proofs -- The equations at N = ? -- The equations for N < ?. |
Record Nr. | UNISA-996466692803316 |
Eckmann Jean-Pierre
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A Conceptual History of Space and Symmetry [[electronic resource] ] : From Plato to the Superworld / / by Pietro Giuseppe Fré |
Autore | Fré Pietro Giuseppe |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (323 pages) |
Disciplina | 516.1 |
Soggetto topico |
Physics
Quantum field theory String theory Gravitation History and Philosophical Foundations of Physics Quantum Field Theories, String Theory Mathematical Methods in Physics Classical and Quantum Gravitation, Relativity Theory |
ISBN | 3-319-98023-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Episteme -- Symmetry and Mathematics -- How Group Theory came into Being -- From Crystals to Plato -- The Long Tale of Lie Groups -- Hermann Weyl and Representation Theory -- A Short History of Differential Geometry -- Geometry Becomes Complex -- Geometry Becomes Special -- Black Holes: The Physics of Geometry -- Modern Manifolds from Ancient Polyhedra -- Epilogue. |
Record Nr. | UNINA-9910300558803321 |
Fré Pietro Giuseppe
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Condensed Matter Applications of AdS/CFT [[electronic resource] ] : Focusing on Strange Metals / / by Andrea Amoretti |
Autore | Amoretti Andrea |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (199 pages) : illustrations |
Disciplina | 530.41 |
Collana | Springer Theses, Recognizing Outstanding Ph.D. Research |
Soggetto topico |
Superconductivity
Superconductors Physics Strongly Correlated Systems, Superconductivity Mathematical Methods in Physics |
ISBN | 3-319-61875-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Condensed Matter Background -- Preamble: Transport Coefficients Definition -- Standard Metals and the Fermi Liquid -- The Fermi Liquid Breakdown: High-Tc Superconductivity -- Theoretical Attempts -- Part II: Introduction to Holography -- The Gauge Gravity Duality -- Part III: Thermo-electric Transport in AdS/CFT -- Preamble: Linear Response Theory -- The Simple Raissner-Nordstrom Case -- Momentum Dissipation in Holography -- Physical Implications. |
Record Nr. | UNINA-9910254576003321 |
Amoretti Andrea
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Conformal Field Theory, Automorphic Forms and Related Topics [[electronic resource] ] : CFT, Heidelberg, September 19-23, 2011 / / edited by Winfried Kohnen, Rainer Weissauer |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (370 p.) |
Disciplina | 530.143 |
Collana | Contributions in Mathematical and Computational Sciences |
Soggetto topico |
Number theory
Physics Number Theory Mathematical Methods in Physics |
ISBN | 3-662-43831-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. A. Milas: Characters of Modules of Irrational Vertex Algebras -- 2. G. Mason: Lattice subalgebras of strongly regular vertex operator algebras -- 3. C. Dong and C. Jiang: A Characterization of the vertex operator algebra V -- 4. H. Yamauchi: Extended Griess algebras and Matsuo-Norton trace formulae -- 5. M.R. Gaberdiel and R. Volpato: Mathieu Moonshine and Orbifold K3s -- 6. M.C.N. Cheng and J.F.R. Duncan: Rademacher Sums and Rademacher Series -- 7. G. Mason and M.P. Tuite: Free Bosonic Vertex Operator Algebras on Genus Two Riemann Surfaces II -- 8. A. Zuevsky: Twisted correlation functions on self-sewn Riemann surfaces via generalized vertex algebra of intertwiners -- 9. T. Gannon: The theory of vector-valued modular forms for the modular group -- 10. A.I. Molev and E.E. Mukhin: Yangian characters and classical W-algebras -- 11. Appendix: G. Mason: Vertex Operator Algebras, Modular Forms and Moonshine. |
Record Nr. | UNINA-9910299968803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|