Advances in Mathematical Economics Volume 18 / / edited by Shigeo Kusuoka, Toru Maruyama |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Tokyo : , : Springer Japan : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (148 p.) |
Disciplina | 330.0151 |
Collana | Advances in Mathematical Economics |
Soggetto topico |
Game theory
Probabilities Applied mathematics Engineering mathematics Game Theory, Economics, Social and Behav. Sciences Probability Theory and Stochastic Processes Applications of Mathematics |
ISBN | 4-431-54834-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Optimal Control Problems Governed By A Second Order Ordinary Differential Equation With M-Point Boundary Condition (Charles Castaing, C. Godet-Thobie, Le Xuan Truongz, Bianca Satco) -- Stochastic Mesh Methods For H¨Ormander Type Diffusion Processes (Shigeo Kusuoka and Yusuke Morimoto) -- Turnpike Properties For Nonconcave Problems (Alexander J. Zaslavski) -- A Characterization of Quasi-Concave Function in View of the Integrability Theory (Yuhki Hosoya). |
Record Nr. | UNINA-9910299990003321 |
Tokyo : , : Springer Japan : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Nonlinear Geosciences / / edited by Anastasios A. Tsonis |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIX, 707 p. 366 illus., 263 illus. in color.) |
Disciplina | 550 |
Soggetto topico |
Earth sciences
Applied mathematics Engineering mathematics Meteorology Environmental monitoring Statistical physics Dynamical systems Earth Sciences, general Mathematical and Computational Engineering Applications of Mathematics Monitoring/Environmental Analysis Complex Systems |
ISBN | 3-319-58895-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1.Pullback attractor crisis in a delay differential ENSO model -- 2.Shear-wave splitting indicates non-linear dynamic deformation in the crust and upper mantle -- 3.Stochastic parameterization of subgrid-scale processes: A review of recent physically-based approaches -- 4.Large-scale atmospheric phenomena under the lens of ordinal time-series analysis and information theory measures -- 5.Supermodeling: Synchronization of alternate dynamical models of a single -- 6.Are We Measuring the Right Things for Climate? -- 7.What have complex network approaches learned us about El Niño? -- 8.Late Quaternary climate response at 100 kyr: A noise-induced cycle suppression mechanism -- 9.Role of nonlinear eddy forcing in the dynamics of multiple zonal jets -- 10.Data-adaptive Harmonic Decomposition and Stochastic Modeling of Arctic Sea Ice -- 11.Cautionary remarks on the auto-correlation analysis of self-similar time series -- 12.Emergence of Coherent Clusters in the Ocean -- 13.The Rise and Fall of Thermodynamic Complexity and the Arrow of Time -- 14.From fractals to stochastics: Seeking theoretical consistency in analysis of geophysical data -- 15.Role of nonlinear dynamics in accelerated warming of Great Lakes -- 16.The Prediction of Nonlinear Polar Motion based on Artificial Neural Network (ANN) and Fuzzy Inference System (FIS) -- 17.Harnessing butterflies: theory and practice of the Stochastic Seasonal to Interannual Prediction System (StocSIPS) -- 18.Regime change detection in irregularly sampled time series -- 19.Topological Data Analysis: Developments and Applications -- 20.Nonlinear dynamical approach to atmospheric predictability -- 21.Linked by dynamics: wavelet–based mutual information rate as a connectivity measure and scale-specific networks -- 22.Non-Extensive Statistical Mechanics: Overview of Theory and Applications in Seismogenesis, Climate, and Space Plasma -- 23.Spatial Patterns of Peak Flow Quantiles Based on Power-Law Scaling in the Mississippi River Basin -- 24.Studying the Complexity of Rainfall within California via a Fractal Geometric Method -- 25.Pandora box of multifractals: barely open? -- 26.Complex networks and hydrologic applications -- 27.Convergent Cross Mapping: Theory and an Example -- 28.Randomnicity: randomness as a property of the universe -- 29.Insights in climate dynamics from climate networks -- 30.On the range of frequencies of intrinsic climate oscillations -- 31.The prediction of non-stationary climate series by incorporating external forces -- 32.The impact of nonlinearity on the targeted observations for tropical cyclone prediction. |
Record Nr. | UNINA-9910299389803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Petri Nets 1991 [[electronic resource] /] / edited by Grzegorz Rozenberg |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 576 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer communication systems Applied mathematics Engineering mathematics Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer Communication Networks Applications of Mathematics Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
ISBN | 3-540-47600-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Delays in synchronized elementary net systems -- Proving temporal properties of Petri nets -- The complexity of testing the equivalence of transition sequences -- Use of reentrant nets in modular analysis of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high-level nets -- Top-down synthesis of live and bounded free choice nets -- Hood nets -- Distributable nets -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability graphs -- An integrated software development methodology based on hierarchical colored Petri nets -- On net systems generated by process foldings -- On liveness preservation by composition of nets via a set of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography of Petri nets 1990. |
Record Nr. | UNISA-996465291903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Quantum Mechanics : Contemporary Trends and Open Problems / / edited by Alessandro Michelangeli, Gianfausto Dell'Antonio |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (292 pages) |
Disciplina | 530.12 |
Collana | Springer INdAM Series |
Soggetto topico |
Functional analysis
Mathematical physics Operator theory Applied mathematics Engineering mathematics Functional Analysis Mathematical Physics Operator Theory Theoretical, Mathematical and Computational Physics Applications of Mathematics |
ISBN | 3-319-58904-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Shell interactions for Dirac operators -- 2 Correlation inequalities for classical and quantum XY models -- 3 Dissipatively generated entanglement -- 4 Abelian gauge potentials on cubic lattices -- 5 Relative-Zeta and Casimir energy for a semitransparent hyperplane selecting transverse modes -- 6 Analysis of fluctuations around non-linear effective dynamics -- 7 Logarithmic Sobolev inequalities for an ideal Bose gas -- 8 Spherical Schrödinger Hamiltonians: spectral analysis and time decay -- 9 On the Ground state for the NLS equation on a general graph -- 10 Self-adjoint extensions of the Dirac operator with Coulomb potential -- 11 Dispersive estimates for Schrödinger operators with point interactions in R3 -- 12 Chern and Fu–Kane–Mele invariants as topological obstructions -- 13 Norm approximation for many-body quantum dynamics and Bogoliubov theory -- 14 Effective non-linear dynamics of binary condensates and open problems -- 15 Remarks on the derivation of the Gross-Pitaevskii equation with magnetic Laplacian -- 16 On the inverse spectral problems for quantum graphs -- 17 Double-barrier resonances and time decay of the survival probability: a toy model. |
Record Nr. | UNINA-9910254299503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in the mathematical sciences : research from the 2015 Association for Women in Mathematics Symposium / / edited by Gail Letzter, Kristin Lauter, Erin Chambers, Nancy Flournoy, Julia Elisenda Grigsby, Carla Martin, Kathleen Ryan, Konstantina Trivisa |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 436 p. 141 illus., 97 illus. in color.) |
Disciplina | 510 |
Collana | Association for Women in Mathematics Series |
Soggetto topico |
Applied mathematics
Engineering mathematics Topology Biomathematics Partial differential equations Mathematics—Study and teaching Statistics Applications of Mathematics Mathematical and Computational Biology Partial Differential Equations Mathematics Education Statistics, general |
ISBN | 3-319-34139-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Floer field philosophy (K. Wehrheim) -- An elementary fact about unlinked braid closures (E. Grigsby & S. M. Wehrli) -- Symmetric unions without cosmetic crossing changes (A. H. Moore) -- The total Thurston–Bennequin number of complete bipartite Legendrian graphs (D. O'Donnol and E. Pavelescu) -- Coverings of open books (T. Ito and K. Kawamuro) -- Understanding locomotor rhythm in the lamprey central pattern generator (N. Massarelli, A. Yau, K. Hoffman, T. Kiemel and E. Tytell) -- Applications of knot theory: using knot theory to unravel biochemistry mysteries (C. R. Price) -- Metapopulation and non-proportional vaccination models overview (M. Cruz-Aponte) -- Controlling a cockroach infestation (H. Albert, A. Buchmann, L. Ohm, A. Radunskaya, and E. Swanson) -- The impact of violence interruption on the diffusion of violence: a mathematical modeling approach (S. A. Wiley, M. Z. Levy, and C. C. Branas) -- Cramér's theorem is atypical (N. Gentert, S. Kim, and K. Ramanan) -- Counting and partition function analysis for subordinate killed Brownian motion (S. Bryant) -- A statistical change point analysis approach for modeling the ratio of next generation sequencing reads (J. Chen and H. Li) -- A center-level approach to estimating the effect of center characteristics on center outcomes (J. Le-Rademacher) -- False discovery rate based on extreme values in high dimension (J. Park, D. Park, and J. W. Davis) -- Asymptotic and oscillatory behavior of dynamic equations on time scales (R. Higgins) -- Using applications to motivate the learning of differential equations (K. M. Bliss & J. M. Libertini) -- What is a good question? (B. Servatius) -- Information measures of frequency distributions with an application to labeled graphs (C. Joslyn & E. Purvine) -- Integrating and sampling cuts in bounded treewidth graphs (I. Bezáková, E. W. Chambers, and K. Fox) -- Considerations on the implementation and use of Anderson acceleration on distributed memory and GPU-based parallel computers (J. Loffeld & C. S. Woodward). |
Record Nr. | UNINA-9910254077403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in topology and their interdisciplinary applications / / Santanu Acharjee, editor |
Pubbl/distr/stampa | Singapore : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (264 pages) |
Disciplina | 514 |
Collana | Industrial and Applied Mathematics |
Soggetto topico |
Topology
Dynamical systems Mathematics Dynamical Systems Applications of Mathematics Topologia |
Soggetto genere / forma | Llibres electrònics |
Soggetto non controllato |
Mathematical Analysis
Mechanical Engineering Topology Mathematics Technology & Engineering |
ISBN |
981-9901-51-0
9789819901517 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Spaces of Minimal Usco and Minimal Cusco Maps as Fréchet Topological Vector Spaces -- Chapter 2. Contra Continuity Properties of Relations in Relator Spaces -- Chapter 3. The Continuous Representation Property in Utility Theory -- Chapter 4. On Quasi-Uniformities, Function Spaces and Atoms: remarks and some Questions -- Chapter 5. Some Cardinal Estimations via the Inclusion-Exclusion Principle in Finite T0 Topological Spaces -- Chapter 6. Representations of preference relations with preutility functions on metric spaces -- Chapter 7. Entropy of a pairwise continuous map in NWPC bitopological dynamical systems -- Chapter 8. Topological Approaches for Vector Variational Inequality Problems -- Chapter 9. Ideals and Grills associated with a Rough set -- Chapter 10. Filter verses ideal on topological spaces -- Chapter 11. Fisher Type Set-valued Mappings in b-metric spaces and an Application to Integral Inclusion -- Chapter 12. Topological aspects of granular computing -- Chapter 13. On topological index of naturally occurring zeolite material [4, n] -- Chapter 14. q-Rung Orthopair Fuzzy Points and Applications to q-Rung Orthopair Fuzzy Topological Spaces and Pattern Recognition. |
Record Nr. | UNINA-9910720089503321 |
Singapore : , : Springer, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aeroservoelasticity : Modeling and Control / / by Ashish Tewari |
Autore | Tewari Ashish |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (323 p.) |
Disciplina | 629.1323 |
Collana | Control Engineering |
Soggetto topico |
Mathematical models
Aerospace engineering Astronautics System theory Applied mathematics Engineering mathematics Control engineering Mathematical Modeling and Industrial Mathematics Aerospace Technology and Astronautics Systems Theory, Control Mathematical and Computational Engineering Control and Systems Theory Applications of Mathematics |
ISBN | 1-4939-2368-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Aeroservoelasticity -- Structural Modeling -- Unsteady Aerodynamic Modeling -- Finite-State Aeroelastic Modeling -- Linear Aeroelastic Control -- Nonlinear Aeroservoelastic Applications -- Appendices -- References -- Index. |
Record Nr. | UNINA-9910299771903321 |
Tewari Ashish | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Methodology and Software Technology [[electronic resource] ] : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings / / edited by V.S. Alagar, Maurice Nivat |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XV, 597 p.) |
Disciplina | 005.1/01/512 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Applied mathematics Engineering mathematics Computer logic Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Applications of Mathematics Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
ISBN | 3-540-49410-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Equational logic as a tool -- Teaching mathematics to software engineers -- The role of education and training in the industrial application of formal methods -- Information algebras -- Verification of logic programs with delay declarations -- An introduction to category-based equational logic -- Knowledge based computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness of behavioural implementations -- On the decidability of process equivalences for the ?-calculus -- Detecting isomorphisms of modular specifications with diagrams -- Higher-order narrowing with convergent systems -- Context-free event domains are recognizable -- Encoding natural semantics in Coq -- Mongruences and cofree coalgebras -- Semantic typing for parametric algebraic specifications -- Causality and true concurrency: A data-flow analysis of the Pi-Calculus -- Verification in continuous time by discrete reasoning -- Dynamic matrices and the cost analysis of concurrent programs -- Petri nets, traces, and local model checking -- An algebraic framework for developing and maintaining real-time systems -- Logical foundations for compositional verification and development of concurrent programs in UNITY -- CPO models for infinite term rewriting -- Completeness results for two-sorted metric temporal logics -- On mechanizing proofs within a complete proof system for Unity -- Automated reasoning about parallel algorithms using powerlists -- Representing, verifying and applying software development steps using the PVS system -- An algebraic development technique for information systems -- A framework for machine-assisted user interface verification -- Specification of the Unix file system: A comparative case study -- A Calculus of Countable Broadcasting Systems -- Symbolic timing devices -- An algebraic construction of the well-founded model -- Confluence in concurrent constraint programming -- A generic algebra for data collections based on constructive logic -- Partial order programming (Revisited) -- SPIKE: a system for automatic inductive proofs -- SEAMLESS: Knowledge based evolutionary system synthesis -- An object-oriented front-end for deductive databases -- The SuRE programming framework -- A declarative system for multi-database interoperability -- The METAGEN system. |
Record Nr. | UNISA-996466158603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Methods II: Theory, Tools and Applications [[electronic resource] /] / edited by Jan A. Bergstra, Loe M.G. Feijs |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 436 p.) |
Disciplina | 005.1/01/512 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algebra
Applied mathematics Engineering mathematics Data structures (Computer science) Software engineering Computer programming Programming languages (Electronic computers) Applications of Mathematics Data Structures and Information Theory Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 3-540-46351-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formalizing informal requirements some aspects -- ViewPoint oriented software development: Methods and viewpoints in requirements engineering -- Using transformations to verify parallel programs -- Experiences with combining formalisms in VVSL -- A meta-environment for generating programming environments -- Introducing formal requirements into industry -- Where can I get gas round here? — an application of a design methodology for distributed systems -- Transformations of designs -- Norman's database modularised in COLD-K -- POLAR a picture-oriented language for abstract representations -- Inheritance in COLD -- A process specification formalism based on static COLD -- Specification of the transit node in PSFd -- Design of a specification language by abstract syntax engineering -- From an ERAE requirements specification to a PLUSS algebraic specification: A case study. |
Record Nr. | UNISA-996465417703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and Complexity [[electronic resource] ] : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings / / edited by Giancarlo Bongiovanni, Daniel P. Bovet, Giuseppe Di Battista |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (IX, 319 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Mathematical logic Applied mathematics Engineering mathematics Algorithms Data structures (Computer science) Theory of Computation Mathematical Logic and Foundations Applications of Mathematics Algorithm Analysis and Problem Complexity Computation by Abstract Devices Data Structures |
ISBN | 3-540-68323-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms and data structures for control dependence and related compiler problems -- Embedding interconnection networks in grids via the Layered Cross Product -- Finding optimum k-vertex connected spanning subgraphs: Improved approximation algorithms for k=3, 4, 5 -- The optimum cost chromatic partition problem -- Fault tolerant K-center problems -- R 1?tt SN (NP) distinguishes robust many-one and Turing completeness -- Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy -- On the drift of short schedules -- On removing non-degeneracy assumptions in computational geometry -- Maintaining maxima under boundary updates -- An optimal algorithm for one-separation of a set of isothetic polygons -- Nice drawings for planar bipartite graphs -- Area requirement of Gabriel drawings (extended abstract) -- Design of reliable combinatorial algorithms using certificates -- An improved deterministic algorithm for generalized random sampling -- Polynomial time algorithms for some self-duality problems -- A note on updating suffix tree labels -- Relaxed balanced red-black trees -- The algorithmic complexity of chemical threshold testing -- A meticulous analysis of mergesort programs -- BSP-like external-memory computation -- Topological chaos for elementary cellular automata -- On the complexity of balanced Boolean functions -- On sets with easy certificates and the existence of one-way permutations -- Isomorphism for graphs of bounded distance width -- Hardness of approximating problems on cubic graphs -- Tree contractions and evolutionary trees. |
Record Nr. | UNINA-9910144927003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|