Symmetric Discontinuous Galerkin Methods for 1-D Waves [[electronic resource] ] : Fourier Analysis, Propagation, Observability and Applications / / by Aurora Marica, Enrique Zuazua |
Autore | Marica Aurora |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (114 pages) : illustrations (some color) |
Disciplina | 530.124 |
Collana | SpringerBriefs in Mathematics |
Soggetto topico |
Numerical analysis
Fourier analysis Approximation theory Partial differential equations Algorithms Applied mathematics Engineering mathematics Numerical Analysis Fourier Analysis Approximations and Expansions Partial Differential Equations Applications of Mathematics |
ISBN | 1-4614-5811-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Preliminaries -- 2. Discontinuous Galerkin approximations and main results -- 3. Bibliographical notes -- 4. Fourier analysis of the DG methods -- 5. Non-uniform observability for DG approximations of waves -- 6. Filtering mechanisms -- 7. Extensions to other numerical approximation schemes -- 8. Comments and open problems -- A technical proof -- References. |
Record Nr. | UNINA-9910299977103321 |
Marica Aurora | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Symposium on Optimization [[electronic resource] ] : Held in Nice, June 29th-July 5th, 1969 / / edited by A. V. Balakrishnan, M. Contensou, B. F. de Veubeke, P. Kree, J. L. Lions, N. N. Moiseev |
Edizione | [1st ed. 1970.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1970 |
Descrizione fisica | 1 online resource (III, 352 p.) |
Disciplina | 519 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Applied mathematics
Engineering mathematics Mathematical optimization Applications of Mathematics Optimization |
ISBN | 3-540-36275-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Quelques Resultats Generaux sur la Programmation Dynamique Stochastique a Temps Discret / Some general results on the stochastic discrete time dynamic programming -- Recherche des Points de Selle D'une Fonction -- On the best linear feedback for systems governed by differential operational equations -- Some non-classical variational problems related to optimal filter problems -- Structural properties of the equilibrium solutions of riccati equations -- Optimum thrust-limited orbit transfer in strong gravity fields -- Suites Minimisantes et Solutions de Certains Problemes de Controle Optimal -- Identification par Minimisation d'une Representation Markovienne de Processus Aleatoire -- Resolution Numerique d'un Probleme non Classique de Calcul des Variations par Reduction a une Equation Integrale non Lineaire -- Symmetric minimum-impulse rendezvous between certain non-coplanar orbits -- Accelerated gradient projection -- Methodes Duales pour le Calcul du Minimum d'une Fonction Convexe sur une Intersection de Convexes -- Jeux dans les Equations aux Derivees Partielles -- Eclatement et Decentralisation en Calcul des Variations -- Utilisation des Equations aux Variations dans L'Étude des Trajectoires Spatiales Optimales ; Application aux Solutions Singulieres Reticentes / Utilization of the linearized equations for the study of optimal space trajectories ; application to the singular chattering solutions / Benützung Der Variationsgleichungen in Der Untersuchung Der Optimalen Raumumlaufsbahnen; Anwendung An Singulären, Zurückhaltenden Lösungen / ????????????? ???????????? ????????? ? ???????? ??????????? ???????????????? ?????; ?????????? ? ???????????, ?????????? ????????. -- Memory gradient method for the minimization of functions -- Application de Controle Optimal aux Trajectoires de Suees -- Approximate non-coplanar orbital transfers with minimum expenditure of fuel -- Optimal control problems with operator equation restrictions -- Le Probleme d'un Mobile Controlable Poursuivi par un Autre -- Sur L'Optimisation de Systems -- A comparison of minimum time profiles for the F-104 using Balakrishnan's epsilon technique and the energy method -- Optimization problems in thermonuclear plasma confinement. |
Record Nr. | UNISA-996466630903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Séminaire de Probabilités XLII [[electronic resource] /] / edited by Catherine Donati-Martin, Michel Émery, Alain Rouault, Christophe Stricker |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 449 p.) |
Disciplina | 519.2 |
Collana | Séminaire de Probabilités |
Soggetto topico |
Probabilities
Mathematical analysis Analysis (Mathematics) Applied mathematics Engineering mathematics Number theory Difference equations Functional equations Operator theory Probability Theory and Stochastic Processes Analysis Applications of Mathematics Number Theory Difference and Functional Equations Operator Theory |
ISBN |
1-280-38435-2
9786613562272 3-642-01763-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Yet another introduction to rough paths -- Monotonicity of the extremal functions for one-dimensional inequalities of logarithmic Sobolev type -- Non-monotone convergence in the quadratic Wasserstein distance -- On the equation = #x002A; -- Shabat polynomials and harmonic measure -- Radial Dunkl Processes Associated with Dihedral Systems -- Matrix Valued Brownian Motion and a Paper by P#x00F3;lya -- On the Laws of First Hitting Times of Points for One-Dimensional Symmetric Stable L#x00E9;vy Processes -- L#x00E9;vy Systems and Time Changes -- Self-Similar Branching Markov Chains -- A Spine Approach to Branching Diffusions with Applications to L-Convergence of Martingales -- Penalisation of the Standard Random Walk by a Function of the One-Sided Maximum, of the Local Time, or of the Duration of the Excursions -- Canonical Representation for Gaussian Processes -- Recognising Whether a Filtration is Brownian: a Case Study -- Markovian properties of the spin-boson model -- Statistical properties of Pauli matrices going through noisy channels -- Erratum to: New methods in the arbitrage theory of financial markets with transaction costs, in Seminaire XLI. |
Record Nr. | UNISA-996466480003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Séminaire de Probabilités XLII [[electronic resource] /] / edited by Catherine Donati-Martin, Michel Émery, Alain Rouault, Christophe Stricker |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 449 p.) |
Disciplina | 519.2 |
Collana | Séminaire de Probabilités |
Soggetto topico |
Probabilities
Mathematical analysis Analysis (Mathematics) Applied mathematics Engineering mathematics Number theory Difference equations Functional equations Operator theory Probability Theory and Stochastic Processes Analysis Applications of Mathematics Number Theory Difference and Functional Equations Operator Theory |
ISBN |
1-280-38435-2
9786613562272 3-642-01763-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Yet another introduction to rough paths -- Monotonicity of the extremal functions for one-dimensional inequalities of logarithmic Sobolev type -- Non-monotone convergence in the quadratic Wasserstein distance -- On the equation = #x002A; -- Shabat polynomials and harmonic measure -- Radial Dunkl Processes Associated with Dihedral Systems -- Matrix Valued Brownian Motion and a Paper by P#x00F3;lya -- On the Laws of First Hitting Times of Points for One-Dimensional Symmetric Stable L#x00E9;vy Processes -- L#x00E9;vy Systems and Time Changes -- Self-Similar Branching Markov Chains -- A Spine Approach to Branching Diffusions with Applications to L-Convergence of Martingales -- Penalisation of the Standard Random Walk by a Function of the One-Sided Maximum, of the Local Time, or of the Duration of the Excursions -- Canonical Representation for Gaussian Processes -- Recognising Whether a Filtration is Brownian: a Case Study -- Markovian properties of the spin-boson model -- Statistical properties of Pauli matrices going through noisy channels -- Erratum to: New methods in the arbitrage theory of financial markets with transaction costs, in Seminaire XLI. |
Record Nr. | UNINA-9910483446603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Tale of Two Fractals [[electronic resource] /] / by A.A. Kirillov |
Autore | Kirillov A.A |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2013 |
Descrizione fisica | 1 online resource (138 p.) |
Disciplina | 514.742 |
Soggetto topico |
Mathematics
Visualization Special functions Geometry Mathematical analysis Analysis (Mathematics) Algebra Applied mathematics Engineering mathematics Special Functions Analysis Applications of Mathematics |
ISBN | 0-8176-8382-8 |
Classificazione | 00A0926A3028A8057S |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part 1. The Sierpiński Gasket -- Definition and General Properties -- The Laplace Operator on the Sierpiński Gasket.- Harmonic Functions on the Sierpiński Gasket -- Part 2. The Apollonian Gasket -- Introduction -- Circles and Disks on Spheres -- Definition of the Apollonian Gasket -- Arithmetic Properties of Apollonian Gaskets -- Geometric and Group-Theoretic Approach -- Many-Dimensional Apollonian Gaskets -- Bibliography. |
Record Nr. | UNINA-9910438141003321 |
Kirillov A.A | ||
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 [[electronic resource] ] : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91) / / edited by S. Abramsky, T.S.E. Maibaum |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 455 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Applied mathematics Engineering mathematics Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Theory of Computation Applications of Mathematics Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-46563-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Full abstraction for series-parallel pomsets -- On causality observed incrementally, finally -- On the domain of traces and sequential composition -- Compilation of pattern matching with associative-commutative functions -- Linear bounded automata and rewrite systems : Influence of initial configurations on decision properties -- Algebraic graph rewriting using a single pushout -- Unifying initial and loose semantics of parameterized specifications in an arbitrary institution -- Non-strict don't care algebras and specifications -- Program specification and data refinement in type theory -- Static analysis of linear congruence equalities among variables of a program -- Simple solutions for approximate tree matching problems -- The tree inclusion problem -- Introducing a calculus of trees -- Domains in a realizability framework -- Iteration algebras extended abstract -- Logic programming as hypergraph Rewriting -- A fully abstract model for concurrent constraint programming -- A solved form algorithm for ask and tell Herbrand constraints -- A calculus of broadcasting systems -- Object-based concurrency : A process calculus analysis -- On the complexity of equation solving in process algebra -- Comparative semantics for a real-time programming language with integration -- A complete proof system for timed observations -- Type inference with inequalities. |
Record Nr. | UNISA-996465435803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 [[electronic resource] ] : Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / / edited by S. Abramsky, T.S.E. Maibaum |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 482 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Applied mathematics Engineering mathematics Theory of Computation Software Engineering/Programming and Operating Systems Applications of Mathematics |
ISBN | 3-540-46499-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | CCS for OO and LP -- An extended expansion theorem -- Concurrent abstract machines -- Knowledge and probability in distributed systems: Abstract -- Verification methods for finite systems -- Interactive interworking for interoperating systems -- Formal specification of object systems -- On the relationship between algebraic module specifications and program modules -- Testing against formal specifications: A theoretical view -- Construction and reuse of formal program developments -- A theory of program modifications -- Proving termination of logic programs by exploiting term properties -- Parametric order-sorted types in logic programming -- Exploiting non-determinism through laziness in guarded functional languages -- Non-standard interpretations of LOTOS specifications -- A new technique for strictness analysis -- Using higher order logic for modelling real-time protocols -- Combining interaction and automation in process algebra verification -- Refining interfaces of communicating systems -- Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL -- Actor-oriented system specification with dynamic logic -- Towards a formally based component description language -- On addition schemes -- Efficient code motion and an adaption to strength reduction -- On narrowing strategies for partial non-strict functions -- From reduction machines to narrowing machines -- The evaluation transformer model of reduction and its correctness. |
Record Nr. | UNISA-996465413403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Targeted Cancer Treatment in Silico [[electronic resource] ] : Small Molecule Inhibitors and Oncolytic Viruses / / by Natalia L. Komarova, Dominik Wodarz |
Autore | Komarova Natalia L |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (XV, 227 p. 71 illus., 26 illus. in color.) : online resource |
Disciplina | 616.99406 |
Collana | Modeling and Simulation in Science, Engineering and Technology |
Soggetto topico |
Biomathematics
Cancer research Oncology Applied mathematics Engineering mathematics Physiological, Cellular and Medical Topics Cancer Research Mathematical and Computational Biology Oncology Genetics and Population Dynamics Applications of Mathematics |
ISBN | 1-4614-8301-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Background and Scope of the Book -- Part I Treatment of Cancer with Small Molecule Inhibitors -- An Introduction to Small Molecule Inhibitors and Chronic Myeloid Leukemia -- Basic Dynamics of Chronic Myeloid Leukemia During Imatinib Treatment -- Stochastic Modeling of Cellular Growth, Treatment, and Resistance Generation -- Evolutionary Dynamics of Drug Resistant Mutants in Targeted Treatment of CML -- Effect of Cellular Quiescence on the Evolution of Drug Resistance in CML -- Combination Therapies: Short term versus Long term Strategies -- Cross Resistance: Treatment and Modeling -- Mathematical Modeling of Cyclic Cancer Treatments -- Part II Treatment of Cancer with Oncolytic Viruses -- Introduction to Oncolytic Viruses -- Basic Dynamics of Oncolytic Viruses -- Mitotic Virus Transmission and Immune Responses -- Axiomatic Approaches to Oncolytic Virus Modeling -- Spatial Oncolytic Virus Dynamics -- Oncolytic Viruses and the Eradication of Drug-resistant Tumor Cells. |
Record Nr. | UNINA-9910299975303321 |
Komarova Natalia L | ||
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Taschenbuch der Mathematik und Physik [[electronic resource] /] / von Ekbert Hering, Rolf Martin, Martin Stohrer |
Autore | Hering Ekbert |
Edizione | [6th ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
Descrizione fisica | 1 online resource (XXI, 640 S. 1078 Abb.) |
Disciplina | 519 |
Soggetto topico |
Applied mathematics
Engineering mathematics Mechanics Mathematical and Computational Engineering Applications of Mathematics Classical Mechanics |
ISBN | 3-662-53419-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Mathematik -- Fehlerrechnung -- Physikalische Größen und Konstanten -- Kinematik -- Dynamik -- Gravitation -- Festigkeitslehre -- Hydro- und Aeromechanik -- Schwingungen und Wellen -- Akustik -- Optik -- Elektrizität und Magnetismus -- Nachrichtentechnik -- Thermodynamik -- Wärme- und Stoffübertragung -- Energietechnik -- Umwelttechnik -- Atomphysik -- Kernphysik -- Relativitätstheorie -- Festkörperphysik -- Metalle und Halbleiter -- Optoelektronik -- Informatik -- Technische Chemie. |
Record Nr. | UNINA-9910483709003321 |
Hering Ekbert | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Teaching Fractions through Situations: A Fundamental Experiment [[electronic resource] /] / by Guy Brousseau, Nadine Brousseau, Virginia Warfield |
Autore | Brousseau Guy |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
Descrizione fisica | xiii, 215 p |
Disciplina | 372.7/2 |
Soggetto topico |
Mathematics—Study and teaching
Applied mathematics Engineering mathematics Mathematics Learning Instruction Mathematics Education Applications of Mathematics Mathematics, general Learning & Instruction |
ISBN | 94-007-2715-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. The Adventure of the Students -- 2. Viewing the Adventure from the Perspective of Teachers and Researchers -- 3. Some Key Concepts and Terms from the Theory of Situations -- 4. The Setting for the Adventure -- 5. Description of the Center for Observation for Research in Mathematics Education -- 6. Conclusions and future directions. |
Record Nr. | UNINA-9910483052203321 |
Brousseau Guy | ||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|