Computer Science Logic [[electronic resource] ] : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 402 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Applied mathematics Engineering mathematics Computers Computer logic Algorithms Mathematical Logic and Foundations Applications of Mathematics Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
ISBN | 3-540-38401-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Monadic second order logic, tree automata and forbidden minors -- On the reduction theory for average case complexity -- From prolog algebras towards WAM-A mathematical study of implementation -- A formal operational semantics for languages of type Prolog III -- Efficiency considerations on goal-directed forward chaining for logic programs -- Decision problems for tarski and presburger arithmetics extended with sets -- A fast garbage collection algorithm for WAM — based PROLOG -- A resolution variant deciding some classes of clause sets -- Subclasses of quantified boolean formulas -- Algorithmic proof with diminishing resources part 1 -- Cutting plane versus frege proof systems -- RAM with compact memory: a realistic and robust model of computation -- Randomness and turing reducibility restraints -- Towards an efficient tableau proof procedure for multiple-valued logics -- Interactive proof systems: Provers, rounds, and error bounds -- Logics for belief dependence -- A generalization of stability and its application to circumscription of positive introspective knowledge -- The complexity of adaptive error-correcting codes -- Ramsey's theorem in bounded arithmetic -- Nontrivial lower bounds for some NP-problems on directed graphs -- Expansions and models of autoepistemic theories -- On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle -- On the tracking of loops in automated deductions -- The gap-language-technique revisited. |
Record Nr. | UNISA-996465654103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computing qualitatively correct approximations of balance laws [[electronic resource] ] : exponential-fit, well-balanced and asymptotic-preserving / / by Laurent Gosse |
Autore | Gosse Laurent |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (346 p.) |
Disciplina | 620.11232 |
Collana | SEMA SIMAI Springer Series |
Soggetto topico |
Computer mathematics
Partial differential equations Applied mathematics Engineering mathematics Physics Computational Mathematics and Numerical Analysis Partial Differential Equations Applications of Mathematics Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
ISBN | 88-470-2892-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction and chronological perspective -- Lifting a non-resonant scalar balance law -- Lyapunov functional for linear error estimates -- Early well-balanced derivations for various systems -- Viscosity solutions and large-time behavior for non-resonant balance laws -- Kinetic scheme with reflections and linear geometric optics -- Material variables, strings and infinite domains -- The special case of 2-velocity kinetic models -- Elementary solutions and analytical discrete-ordinates for radiative transfer -- Aggregation phenomena with kinetic models of chemotaxis dynamics -- Time-stabilization on flat currents with non-degenerate Boltzmann-Poisson models -- Klein-Kramers equation and Burgers/Fokker-Planck model of spray -- A model for scattering of forward-peaked beams -- Linearized BGK model of heat transfer -- Balances in two dimensions: kinetic semiconductor equations again -- Non-conservative products and locally Lipschitzian paths -- A tiny step toward hypocoercivity estimates for well-balanced schemes on 2x2 models -- Preliminary analysis of the errors for Vlasov-BGK. |
Record Nr. | UNINA-9910437871203321 |
Gosse Laurent | ||
Milano : , : Springer Milan : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
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 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 | ||
|
Contingency Table Analysis [[electronic resource] ] : Methods and Implementation Using R / / by Maria Kateri |
Autore | Kateri Maria |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (XVII, 304 p. 21 illus., 8 illus. in color.) : online resource |
Disciplina | 519.5 |
Collana | Statistics for Industry and Technology |
Soggetto topico |
Statistics
Applied mathematics Engineering mathematics R (Computer program language) Statistical Theory and Methods Statistics for Social Sciences, Humanities, Law Statistics for Life Sciences, Medicine, Health Sciences Statistics and Computing/Statistics Programs Applications of Mathematics |
ISBN | 0-8176-4811-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- Analysis of Two-Way Tables -- Analysis of Multi-Way Tables -- Log-Linear Models -- Generalized Linear Models and Extensions -- Association Models -- More on Association Models and Related Methods -- Response Variable Analysis in Contingency Tables -- Analysis of Square Tables -- Further Topics. |
Record Nr. | UNINA-9910300152303321 |
Kateri Maria | ||
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|