CONCUR '92 [[electronic resource] ] : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings / / edited by Walter R. Cleaveland |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (X, 586 p.) |
Disciplina | 519 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Applied mathematics
Engineering mathematics Computers Computer logic Programming languages (Electronic computers) Computer programming Applications of Mathematics Theory of Computation Logics and Meanings of Programs Computation by Abstract Devices Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-540-47293-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The polyadic ?-calculus -- Testing equivalence for mobile processes -- Testing equivalence for Petri Nets with action refinement: Preliminary report -- The problem of “weak bisimulation up to” -- On the uniqueness of fixpoints modulo observation congruence -- Verification of parallel systems via decomposition -- Interface refinement in reactive systems -- Concurrent testing of processes -- A theory of processes with localities -- Model checking for context-free processes -- Bisimulation equivalence is decidable for all context-free processes -- Distributed bisimularity is decidable for a class of infinite state-space systems -- How vital is liveness? Verifying timing properties of reactive and hybrid systems -- Preserving specific properties in program development -- Sometimes ‘some’ is as good as ‘all’ -- The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic -- Propositional temporal logics and equivalences -- The duality of time and information -- Homology of higher dimensional automata -- Posets for configurations! -- On the semantics of Petri Nets -- Structural operational specifications and trace automata -- At-most-once message delivery A case study in algorithm verification -- Games I/O automata play -- Minimization of timed transition systems -- Using CSP to verify a timed protocol over a fair medium -- Timed Ethernet: Real-time formal specification of Ethernet -- Implementing LOTOS specifications by communicating state machines -- Discrete time process algebra -- The silent step in time -- Action transducers and timed automata -- Compositional verification of probabilistic processes -- Axiomatizing probabilistic processes: ACP with generative probabilities -- Embeddings among concurrent programming languages -- Logic of trace languages -- Multiway synchronization verified with coupled simulation -- Programming in a general model of synchronization -- Operational and compositional semantics of synchronous automaton compositions -- Towards a theory of actor computation. |
Record Nr. | UNISA-996466160503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Conformal Geometry [[electronic resource] ] : Computational Algorithms and Engineering Applications / / by Miao Jin, Xianfeng Gu, Ying He, Yalin Wang |
Autore | Jin Miao |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (318 pages) |
Disciplina | 516.35 |
Soggetto topico |
Computer mathematics
Applied mathematics Engineering mathematics Optical data processing Computational Science and Engineering Mathematical and Computational Engineering Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-319-75332-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Topological Algorithms -- Harmonic Map -- Harmonic and Holomorphic Forms -- Discrete Ricci Flow -- Computer Graphics -- Computer Vision -- Geometric Modeling -- Medical Imaging -- Wireless Sensor Networks. |
Record Nr. | UNINA-9910300119203321 |
Jin Miao | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Connectivity and Superconductivity [[electronic resource] /] / edited by Jorge Berger, Jacob Rubinstein |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XIV, 258 p.) |
Disciplina | 537.6/23/0151 |
Collana | Lecture Notes in Physics Monographs |
Soggetto topico |
Physics
Superconductivity Superconductors Applied mathematics Engineering mathematics Mathematical Methods in Physics Strongly Correlated Systems, Superconductivity Applications of Mathematics |
ISBN | 3-540-44532-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | In the Memory of Shlomo Alexander -- Topological Considerations in Superconductivity -- The de Gennes-Alexander Theory of Superconducting Micronetworks -- Nodal Sets, Multiplicity and Superconductivity in Non-simply Connected Domains -- Connectivity and Flux Confinement Phenomena in Nanostructured Superconductors -- Zero Set of the Order Parameter, Especially in Rings -- Persistent Currents in Ginzburg-Landau Models -- On the Normal/Superconducting Phase Transition in the Presence of Large Magnetic Fields -- On the Numerical Solution of the Time-Dependent Ginzburg-Landau Equations in Multiply Connected Domains -- Formation of Vortex-Antivortex Pairs -- The Order Parameter as a Macroscopic Quantum Wavefunction -- The Ehrenberg-Siday-Aharonov-Bohm Effect -- Connectivity and Superconductivity in Inhomogeneous Structures. |
Record Nr. | UNINA-9910257441003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Consistency Problems for Heath-Jarrow-Morton Interest Rate Models [[electronic resource] /] / by Damir Filipovic |
Autore | Filipovic Damir |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 138 p.) |
Disciplina | 332.82015118 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Finance Economics, Mathematical Probabilities Applications of Mathematics Finance, general Quantitative Finance Probability Theory and Stochastic Processes |
ISBN | 3-540-44548-X |
Classificazione |
91B28
60H15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Stochastic Equations in Infinite Dimension -- Consistent State Space Processes -- The HJM Methodology Revisited -- The Forward Curve Spaces H_w -- Invariant Manifolds for Stochastic Equations -- Consistent HJM Models -- Appendix: A Summary of Conditions. |
Record Nr. | UNINA-9910144599403321 |
Filipovic Damir | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Consistency Problems for Heath-Jarrow-Morton Interest Rate Models [[electronic resource] /] / by Damir Filipovic |
Autore | Filipovic Damir |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 138 p.) |
Disciplina | 332.82015118 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Finance Economics, Mathematical Probabilities Applications of Mathematics Finance, general Quantitative Finance Probability Theory and Stochastic Processes |
ISBN | 3-540-44548-X |
Classificazione |
91B28
60H15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Stochastic Equations in Infinite Dimension -- Consistent State Space Processes -- The HJM Methodology Revisited -- The Forward Curve Spaces H_w -- Invariant Manifolds for Stochastic Equations -- Consistent HJM Models -- Appendix: A Summary of Conditions. |
Record Nr. | UNISA-996466374803316 |
Filipovic Damir | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Constructivity in Computer Science [[electronic resource] ] : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings / / edited by J.Paul Jr. Myers, Michael J. O'Donnell |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (XI, 253 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Applied mathematics Engineering mathematics Mathematical logic Artificial intelligence Computer logic Programming languages (Electronic computers) Theory of Computation Applications of Mathematics Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
ISBN | 3-540-47265-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Connecting formal semantics to constructive intuitions -- Kripke semantics for dependent type theory and realizability interpretations -- Reflective semantics of constructive type theory -- Are subsets necessary in Martin-Löf type theory? -- Development transformation based on higher order type theory -- Classical proofs as programs: How, what and why -- Classical type theory -- Axiomatization of calculus of constructions -- A logical view of assignments -- Constructivity issues in graph algorithms -- Constructive topology and combinatorics -- Implementing constructive real analysis (preliminary report) -- Examples of semicomputable sets of real and complex numbers -- Bringing mathematics education into the algorithmic age -- The type structure of CAT -- A simple and powerful approach for studying constructivity, computability, and complexity. |
Record Nr. | UNISA-996465770403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Contact Mechanics [[electronic resource] /] / by J.R. Barber |
Autore | Barber J.R |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (585 pages) : illustrations |
Disciplina | 519 |
Collana | Solid Mechanics and Its Applications |
Soggetto topico |
Mechanics
Mechanics, Applied Applied mathematics Engineering mathematics Mechanical engineering Theoretical and Applied Mechanics Applications of Mathematics Mechanical Engineering |
ISBN | 3-319-70939-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Kinematics of Contact -- 2 Three-Dimensional Frictionless Elastic Problems -- 3 Hertzian Contact -- 4 More General Problems for the Half Space -- 5 Axisymmetric Contact Problems -- 6 Two-Dimensional Frictionless Contact Problems -- 7 Tangential Loading -- 8 Friction Laws -- 9 Frictional Problems Involving Half Spaces -- 10 Asymptotic Methods -- 11 Receding Contact -- 12 Adhesive Forces -- 13 Beams, Plates, Membranes and Shells -- 14 Layered Bodies -- 15 Indentation Problems -- 16 Contact of Rough Surfaces -- 17 Thermoelastic Contact -- 18 Rolling and Sliding Contact -- 19 Elastodynamic Contact Problems -- 20 Impact -- 21 Appendices -- A Potential Function Solutions for Elasticity Problems -- B Integrals over Elliptical Domains -- C Cauchy Singular Integral Equations -- D Dundurs Bimaterial Constants -- Index. |
Record Nr. | UNINA-9910299957303321 |
Barber J.R | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Contemporary approaches and methods in fundamental mathematics and mechanics / / Victor A. Sadovnichiy, Michael Z. Zgurovsky, editors |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XVIII, 522 p. 49 illus., 28 illus. in color.) |
Disciplina | 515 |
Collana | Understanding complex systems |
Soggetto topico | Applied mathematics |
ISBN | 3-030-50302-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Saddle Singularities in Integrable Hamiltonian Systems: Examples and Algorithms -- Reduction of the Lame´ Tensor Equations to the System ofNon-Coupled Tetraharmonic Equations -- Junction Flow around Cylinder Group on Flat Platee -- Accounting for Shear Deformation in the Problem of Vibrations and Dissipative Heating of Flexible Viscoelastic Structural Element with Piezoelectric Sensor and Actuator -- A Stochastic Theory of Scale-Structural Fatigue and Structure Durability at Operational Loading -- On Tikhonov Regularization of Optimal Distributed Control Problem for an Ill-Posed Elliptic Equation with p-Laplace Operator and L1-type of Non-Linearity -- Symmetries and Conservation Laws of the Equations of Two-Dimensional Shallow Water over Uneven Bottom -- xistence and Stability Analysis of Solutions for an Ultradian Glucocorticoid Rhythmicity and Acute Stress Model -- Mixed Dirichlet-Transmission Problems in Non-Smooth Domains. |
Record Nr. | UNINA-9910484456303321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Contemporary approaches and methods in fundamental mathematics and mechanics / / Victor A. Sadovnichiy, Michael Z. Zgurovsky, editors |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XVIII, 522 p. 49 illus., 28 illus. in color.) |
Disciplina | 515 |
Collana | Understanding complex systems |
Soggetto topico | Applied mathematics |
ISBN | 3-030-50302-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Saddle Singularities in Integrable Hamiltonian Systems: Examples and Algorithms -- Reduction of the Lame´ Tensor Equations to the System ofNon-Coupled Tetraharmonic Equations -- Junction Flow around Cylinder Group on Flat Platee -- Accounting for Shear Deformation in the Problem of Vibrations and Dissipative Heating of Flexible Viscoelastic Structural Element with Piezoelectric Sensor and Actuator -- A Stochastic Theory of Scale-Structural Fatigue and Structure Durability at Operational Loading -- On Tikhonov Regularization of Optimal Distributed Control Problem for an Ill-Posed Elliptic Equation with p-Laplace Operator and L1-type of Non-Linearity -- Symmetries and Conservation Laws of the Equations of Two-Dimensional Shallow Water over Uneven Bottom -- xistence and Stability Analysis of Solutions for an Ultradian Glucocorticoid Rhythmicity and Acute Stress Model -- Mixed Dirichlet-Transmission Problems in Non-Smooth Domains. |
Record Nr. | UNISA-996466546603316 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Contemporary Developments in Statistical Theory [[electronic resource] ] : A Festschrift for Hira Lal Koul / / edited by Soumendra Lahiri, Anton Schick, Ashis SenGupta, T.N. Sriram |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (395 p.) |
Disciplina | 519.5 |
Collana | Springer Proceedings in Mathematics & Statistics |
Soggetto topico |
Statistics
Applied mathematics Engineering mathematics Statistical Theory and Methods Applications of Mathematics Statistics, general |
ISBN | 3-319-02651-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Martingale estimating functions for stochastic processes -- On Hodges and Lehmann’s 6 Result -- Acknowledgments -- List of Referees. |
Record Nr. | UNINA-9910300144803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|