Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications / / edited by Shihua Li, Xinghuo Yu, Leonid Fridman, Zhihong Man, Xiangyu Wang |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (414 pages) : illustrations |
Disciplina | 511.326 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Control engineering
System theory Control and Systems Theory Systems Theory, Control |
ISBN | 3-319-62896-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lyapunov-Based Design of Homogeneous High-Order Sliding Modes.- Robustness of Homogeneous and Homogeneizable Differential Inclusions.- Practical Stability Phase and Gain Margins Concept -- Indirect Adaptive Sliding-Mode Control Using the Certainty-Equivalence Principle.- Discrete Event-Triggered Sliding Mode Control -- Speed Control of Induction Motor Servo Drives Using Terminal Sliding-Mode Controller.- Sliding Modes Control in Vehicle Longitudinal Dynamics Control -- Sliding Mode Control of Power Converters with Switching Frequency Regulation. |
Record Nr. | UNINA-9910299881803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNISA-996466227503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNINA-9910349425103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cantor et le transfini : mathématique et ontologie / Philippe Lauria |
Autore | LAURIA, Philippe |
Pubbl/distr/stampa | Paris : L'Harmattan, copyr. 2004 |
Descrizione fisica | XII, 248 p. : ill. ; 25 cm |
Disciplina | 511.326 |
Collana | Ouverture philosophique |
Soggetto (Persona) | Cantor, Georg. Contributions in the philosophy of mathematics |
ISBN | 2-7475-5848-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISA-990003215080203316 |
LAURIA, Philippe
![]() |
||
Paris : L'Harmattan, copyr. 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan |
Autore | Chan Ping-Shun <1978-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
Descrizione fisica | 1 online resource (172 p.) |
Disciplina | 511.326 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Automorphisms
Spectral theory (Mathematics) Tensor products p-adic analysis |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0571-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations"" ""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index"" |
Record Nr. | UNINA-9910480626303321 |
Chan Ping-Shun <1978->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan |
Autore | Chan Ping-Shun <1978-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
Descrizione fisica | 1 online resource (172 p.) |
Disciplina | 511.326 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Automorphisms
Spectral theory (Mathematics) Tensor products p-adic analysis |
ISBN | 1-4704-0571-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations"" ""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index"" |
Record Nr. | UNINA-9910788857603321 |
Chan Ping-Shun <1978->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan |
Autore | Chan Ping-Shun <1978-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
Descrizione fisica | 1 online resource (172 p.) |
Disciplina | 511.326 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Automorphisms
Spectral theory (Mathematics) Tensor products p-adic analysis |
ISBN | 1-4704-0571-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations"" ""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index"" |
Record Nr. | UNINA-9910827647203321 |
Chan Ping-Shun <1978->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on the Curry-Howard isomorphism / / Morten Heine Sørensen, Paweł Urzyczyn |
Autore | Sørensen Morten Heine |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Boston [MA], : Elsevier, 2006 |
Descrizione fisica | 1 online resource (457 p.) |
Disciplina |
511.3/26
511.326 |
Altri autori (Persone) | UrzyczynPaweł |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico |
Curry-Howard isomorphism
Lambda calculus Proof theory |
ISBN |
1-281-05105-5
9786611051051 0-08-047892-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Title Page; Copyright Page; Table of Contents; Chapter 1 Type-free Lambda-calculus; 1.1 A gentle introduction; 1.2 Pre-terms and Lambda-terms; 1.3 Reduction; 1.4 The Church-Rosser theorem; 1.5 Leftmost reductions are normalizing; 1.6 Perpetual reductions and the conservation theorem; 1.7 Expressibility and undeeidability; 1.8 Notes; 1.9 Exercises; Chapter 2 Intultionistic logic; 2.1 The BHK interpretation; 2.2 Natural deduction; 2.3 Algebraic semantics of classical logic; 2.4 Heyting algebras; 2.5 Kripke semantics; 2.6 The implicational fragment; 2.7 Notes; 2.8 Exercises
Chapter 3 Simply typed Lambda-calcuIus3.1 Simply typed Lambda-ealculus a la Curry; 3.2 Type reconstruction algorithm; 3.3 Simply typed Lambda-calculus a la Church; 3.4 Church versus Curry typing; 3.5 Normalization; 3.6 Church-Rosser property; 3.7 Expressibility; 3.8 Notes; 3.9 Exercises; Chapter 4 The Curry-Howard isomorphism; 4.1 Proofs and terms; 4.2 Type inhabitation; 4.3 Not an exact isomorphism; 4.4 Proof normalization; 4.5 Sums and products; 4.6 Prover-skeptic dialogues; 4.7 Prover-skeptic dialogues with absurdity; 4.8 Notes; 4.9 Exercises; Chapter 5 Proofs as combinators 5.1 Hubert style proofs5.2 Combinatory logic; 5.3 Typed combinators; 5.4 Combinators versus lambda terms; 5.5 Extensionality; 5.6 Relevance and linearity; 5.7 Notes; 5.8 Exercises; Chapter 6 Classical logic and control operators; 6.1 Classical prepositional lope; 6.2 The Lambda meu-calculus; 6.3 Subject reduction, confluence, strong normalization; 6.4 Logical embedding and CPS translation; 6.5 Classical prover-skeptic dialogues; 6.6 The pure implicational fragment; 6.7 Conjunction and disjunction; 6.8 Notes; 6.9 Exercises; Chapter 7 Sequent calculus; 7.1 Gentzen's sequent calculus LK 7.2 Fragments of LK versus natural deduction7.3 Gentzen's Hauptaatz; 7.4 Cut elimination versus normalization; 7.5 Lorenzen dialogues; 7.6 Notes; 7.7 Exercises; Chapter 8 First-order logic; 8.1 Syntax of first-order logic; 8.2 Informal semantics; 8.3 Proof systems; 8.4 Classical semantics; 8.5 Algebraic semantics of intuitionistie logic; 8.6 Kripke semantics; 8.7 Lambda-calculus; 8.8 Undeddability; 8.9 Notes; 8.10 Exercises; Chapter 9 First-order arithmetic; 9.1 The language of arithmetic; 9.2 Peano Arithmetic; 9.3 Godel's theorems; 9.4 Representable and provably recursive functions 9.5 Heyting Arithmetic9.6 Kleene's realfeability interpretation; 9.7 Notes; 9.8 Exercises; Chapter 10 Godel's system T; 10.1 From Heyting Arithmetic to system T; 10.2 Syntax; 10.3 Strong normalization; 10.4 Modified realizability; 10.5 Notes; 10.6 Exercises; Chapter 11 Second-order logic and polymorphism; 11.1 Prepositional second-order logic; 11.2 Polymorphic lambda-calculus (system F); 11.3 Expressive power; 11.4 Gurry-style polymorphism; 11.5 Strong normalization; 11.6 The inhabitation problem; 11.7 Higher-order polymorphism; 11.8 Notes; 11.9 Exercises Chapter 12 Second-order arithmetic |
Record Nr. | UNINA-9910822195503321 |
Sørensen Morten Heine
![]() |
||
Amsterdam ; ; Boston [MA], : Elsevier, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on the Curry-Howard isomorphism [e-book] / Morten Heine Sørensen, Paweł Urzyczyn |
Autore | Sørensen, Morten Heine |
Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier, 2006 |
Descrizione fisica | xiv, 442 p. : ill. ; 24 cm |
Disciplina | 511.326 |
Altri autori (Persone) | Urzyczyn, Pawełauthor |
Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 149 |
Soggetto topico |
Curry-Howard isomorphism
Lambda calculus |
ISBN |
9780444520777
0444520775 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003277399707536 |
Sørensen, Morten Heine
![]() |
||
Amsterdam ; Boston : Elsevier, 2006 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Nonlinear Maps and their Applications [[electronic resource] ] : Selected Contributions from the NOMA 2011 International Workshop / / edited by Clara Grácio, Daniele Fournier-Prunaret, Tetsushi Ueta, Yoshifumi Nishio |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (175 pages) : illustrations |
Disciplina | 511.326 |
Collana | Springer Proceedings in Mathematics & Statistics |
Soggetto topico |
Dynamics
Ergodic theory System theory Game theory Biomathematics Dynamical Systems and Ergodic Theory Complex Systems Game Theory, Economics, Social and Behav. Sciences Mathematical and Computational Biology |
ISBN | 1-4614-9161-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | J. P. Almeida; A. A. Pinto; D. A. Rand, Renormalization of circle diffeomorphism sequences and Markov sequences -- F. Balibrea; M. V. Caballero, Examples of Lyapunov exponents in two dimensional systems -- R. A. da Costa; S. N. Dorogovtsev; A.V. Goltsev; J. F. F. Mendes, Characteristics of the explosive percolation transition -- E. S. Roberts; A. Annibale; A. C. C. Coolen, Controlled Markovian dynamics of graphs: unbiased generation of random graphs with prescribed topological properties -- G. Bettencourt, A case leading to rationalist of the drift -- L. S. Efremova, Remarks on the nonwandering set of skew products with a closed set of periodic points of the quotient map -- J. Erreira, Green route planner -- P. Gomes; N. Franco; L. Silva, Families of hyperbolic Lorenz knots -- C. Gracio; A. C. C. Coolen; A. Annibale, Cycle statistics in complex networks and Ihara's zeta function; Z. B. Jemaa; D.Fournier-Prunaret; S. Belghith, Independence test of chaotic sequences; Y. Kawai; T. Tsubone, Stability Transformation Method for Unstable Periodic Orbits and Its Realization; N. Klinshpont, Lorenz attractors and generalizations. Geometric and topological aspects; R. Lopez-Ruiz; E. Shivanian, A nonlinear map for the decay to equilibrium of ideal gases -- S. Mendes, On the dynamics of a cubic p-adic polynomial -- C. Serpa; J. Buescu, A dynamical approach to congruences: linking circle maps and aperiodic necklaces -- Y. Uwate; Y. Nishio, Complex pattern in a chain of couples maps based on neuron model with space and time-varying couplings. |
Record Nr. | UNINA-9910299965303321 |
New York, NY : , : Springer New York : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|