top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A computational non-commutative geometry program for disordered topological insulators [[electronic resource] /] / by Emil Prodan
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Problems in Engineering [[electronic resource] /] / edited by Nikos Mastorakis, Valeri Mladenov
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Methods and Borel Summability Applied to Feigenbaum’s Equation [[electronic resource] /] / by Jean-Pierre Eckmann, Peter Wittwer
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Methods and Borel Summability Applied to Feigenbaum’s Equation [[electronic resource] /] / by Jean-Pierre Eckmann, Peter Wittwer
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A Conceptual History of Space and Symmetry [[electronic resource] ] : From Plato to the Superworld / / by Pietro Giuseppe Fré
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Condensed Matter Applications of AdS/CFT [[electronic resource] ] : Focusing on Strange Metals / / by Andrea Amoretti
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Conformal Field Theory, Automorphic Forms and Related Topics [[electronic resource] ] : CFT, Heidelberg, September 19-23, 2011 / / edited by Winfried Kohnen, Rainer Weissauer
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui