{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":68,"n_cols":5,"rows_kept":68,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[26,2,26,3],[27,2,27,3],[29,2,29,3],[38,2,38,3],[38,4,38,5],[39,2,39,3],[39,4,39,5],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[48,4,48,5],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[62,2,62,3],[63,2,63,3],[66,2,66,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990003141110203316"]
[null,null,"Autore",null,"FAVRE, Charles"]
[null,null,"Titolo",null,"The valutative tree / Charles Favre, Mattias Jonsson"]
[null,null,"Pubbl/distr/stampa",null,"Berlin [etc.] : Springer, copyr. 2004"]
[null,null,"ISBN",null,"3-540-22984-1"]
[null,null,"Descrizione fisica",null,"XV, 234 p. ; 24 cm"]
[null,null,"Collana",null,"Lecture notes in mathematics ; 1853"]
[null,null,"Disciplina",null,"510"]
[null,null,"Soggetti",null,"Matematica"]
[null,null,"Collocazione",null,"510 LNM 1853"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996466420403316"]
[null,null,"Autore",null,"Le Rousseau Jérôme"]
[null,null,"Titolo",null,"Elliptic Carleman estimates and applications to stabilization and controllability . Volume 1 : Dirichlet boundary conditions on Euclidean space / / Jérôme Le Rousseau, Gilles Lebeau, and Luc Robbiano"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Birkhauser Verlag, , [2022]"]
[{"$nulls":4},"©2022"]
[null,null,"ISBN",null,"3-030-88674-3"]
[null,null,"Descrizione fisica",null,"1 online resource (410 pages)"]
[null,null,"Collana",null,"Progress in Nonlinear Differential Equations and Their Applications ; ; v.97"]
[null,null,"Disciplina",null,"515.353"]
[null,null,"Soggetti",null,"Differential equations, Partial"]
[{"$nulls":4},"Differential equations, Partial - Asymptotic theory"]
[{"$nulls":4},"Equacions en derivades parcials"]
[{"$nulls":4},"Llibres electrònics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- Contents -- Part 1.  Calculus with a Large Parameter, Carleman Estimates Derivation -- Chapter 1. Introduction -- 1.1. Some Aspects of Unique Continuation -- 1.2. Form of Carleman Estimates and Quantification of Unique Continuation -- 1.3. Application to Stabilization and Controllability -- 1.4. Outline -- 1.5. Missing Subjects -- 1.6. Acknowledgement -- 1.7. Some Notation -- 1.7.1. Open Sets -- 1.7.2. Euclidean Inner Products and Norms -- 1.7.3. Differential Operators -- 1.7.4. Fourier Transformation -- 1.7.5. Function Norms -- 1.7.6. Homogeneity and Conic Sets -- 1.7.7. Miscellaneous -- Chapter 2. (Pseudo-)Differential Operators with a Large Parameter -- 2.1. Introduction -- 2.2. Classes of Symbols -- 2.2.1. Homogeneous and Polyhomogeneous Symbols -- 2.3. Classes of Pseudo-Differential Operators -- 2.4. Oscillatory Integrals -- 2.5. Symbol Calculus -- 2.6. Sobolev Spaces and Operator Bound -- 2.7. Positivity Inequalities of Gårding Type -- 2.8. Parametrices -- 2.9. Action of Change of Variables -- 2.10. Tangential Operators -- 2.11. Semi-Classical Operators -- 2.12. Standard Pseudo-Differential Operators -- 2.13. Notes -- Appendix -- 2.A. Technical Proofs for Pseudo-Differential Calculus -- 2.A.1. Symbol Asymptotic Series: Proof of Lemma 2.4 -- 2.A.2. Action on the Schwartz Space: Proof of Proposition 2.10 -- 2.A.3. "]
[{"$nulls":4},"Proofs of Results on Oscillatory Integrals -- 2.A.3.1. Definitions of Oscillatory Integrals: Proof of Theorem 2.11 -- 2.A.3.2. Definitions of Oscillatory Integrals: Proof of Theorem 2.16 -- 2.A.4. Proofs of the Results on Symbol Calculus -- 2.A.5. Proof of Theorem 2.26: Sobolev Bound -- 2.A.6. Proofs of the Gårding Inequalities -- 2.A.6.1. Proof of the Local Gårding Inequality of Theorem 2.28 -- 2.A.6.2. Proof of the Microlocal Gårding Inequality of Theorem 2.29 -- 2.A.6.3. Proof of the Gårding Inequalities for Systems."]
[{"$nulls":4},"2.A.7. Parametrix Construction and Properties -- 2.A.8. A Characterization of Ellipticity -- Chapter 3. Carleman Estimate for a Second-Order Elliptic Operator -- 3.1. Setting -- 3.2. Weight Function and Conjugated Operator -- 3.2.1. Conjugated Operator -- 3.2.2. Characteristic Set and Sub-ellipticity Property -- 3.2.3. Invariance Under Change of Variables -- 3.3. Local Estimate Away from Boundaries -- 3.4. Local Estimates at the Boundary -- 3.4.1. Some Remarks -- 3.4.2. Proofs in Adapted Local Coordinates -- 3.5. Patching Estimates -- 3.6. Global Estimates with Observation Terms -- 3.6.1. A Global Estimate with an Inner Observation Term -- 3.6.2. A Global Estimate with a Boundary Observation Term -- 3.7. Alternative Approach -- 3.7.1. A Modified Carleman Estimate Derivation Away from Boundaries -- 3.7.2. A Modified Carleman Estimate Derivation at a Boundary -- 3.7.3. Alternative Derivation in the Case of Limited Smoothness -- 3.7.4. Valuable Aspects of the Different Approaches -- 3.8. Notes -- Appendices -- 3.A. Poisson Bracket and Weight Function -- 3.A.1. Smoothness of the Characteristic Set -- 3.A.2. Expression of the Poisson Bracket -- 3.A.3. Construction of a Weight Function -- 3.A.4. Local Extension of the Domain Where Sub-ellipticity Holds -- 3.B. Symbol Positivity -- 3.B.1. Symbol Positivity Away from a Boundary -- 3.B.2. Tangential Symbol Positivity Near a Boundary -- 3.B.3. Proof of Lemma 3.27 -- 3.B.4. Symbol Positivity in the Modified Approach -- 3.C. An Explicit Computation -- Chapter 4. Optimality Aspects of Carleman Estimates -- 4.1. On the Necessity of the Sub-ellipticity Property -- 4.1.1. Bracket Nonnegativity -- 4.1.2. Optimal Strength in the Large Parameter and Bracket Positivity -- 4.2. Limiting Weights and Limiting Carleman Estimates -- 4.2.1. Limiting Weights -- 4.2.2. Convexification."]
[{"$nulls":4},"4.2.3. Limiting Carleman Estimates Away from a Boundary -- 4.2.4. Global Limiting Carleman Estimates -- 4.3. Carleman Weight Behavior at a Boundary -- 4.4. Notes -- Appendix -- 4.A. Some Technical Results -- 4.A.1. A Linear Algebra Lemma -- 4.A.2. Sub-ellipticity for First-Order Operators with Linear Symbols -- 4.A.3. A Particular Class of Limiting Weights -- Part 2.  Applications of Carleman Estimates -- Chapter 5. Unique Continuation -- 5.1. Introduction -- 5.2. Local and Global Unique Continuation -- 5.3. Quantification of Unique Continuation -- 5.3.1. Quantified Unique Continuation Away from a Boundary -- 5.3.2. Quantified Unique Continuation Up to a Boundary -- 5.4. Unique Continuation Initiated at the Boundary -- 5.5. Unique Continuation Without Any Prescribed Boundary Condition -- 5.6. Notes -- Appendix -- 5.A. A Hardy Inequality -- Chapter 6. Stabilization of the Wave Equation with an Inner Damping -- 6.1. Introduction and Setting -- 6.2. Preliminaries on the Damped Wave Equation -- 6.3. Stabilization and Resolvent Estimate -- 6.4. Remarks and Non-Quantified Stabilization Results -- 6.4.1. Comparison with Exponential Stability -- 6.4.2. Zero Eigenvalue -- 6.4.3. Non-Quantified Stabilization Results -- 6.5. Resolvent Estimate for the Damped Wave Generator -- 6.5.1. Estimations Through an Interpolation Inequality -- 6.5.2. Estimations Through the Derivation of a Global Carleman Estimate -- 6.6. Alternative Proof Scheme of the Resolvent Estimate -- "]
[{"$nulls":4},"6.7. Notes -- Appendices -- 6.A. The Generator of the Damped-Wave Semigroup -- 6.B. Well-Posedness of the Damped Wave Equation -- 6.B.1. Proof of Well-Posedness -- 6.B.2. Other Formulations of Weak Solutions -- 6.C. From a Resolvent to a Semigroup Stabilization Estimate -- 6.D. Proofs of Non-Quantified Stabilization Results -- 6.D.1. Proof of Proposition 6.12 -- 6.D.2. Proof of Proposition 6.14."]
[{"$nulls":4},"6.D.3. Proof of Proposition 6.15 -- Chapter 7. Controllability of Parabolic Equations -- 7.1. Introduction and Setting -- 7.2. Exact Controllability for a Parabolic Equation -- 7.3. Null-Controllability for Semigroup Operators -- 7.4. Observability for the Semigroup Parabolic Equation -- 7.5. A Spectral Inequality -- 7.5.1. Spectral Inequality Through an Interpolation Inequality -- 7.5.2. Spectral Inequality Through the Derivation of a Global Carleman Estimate -- 7.5.3. Sharpness of the Spectral Inequality -- 7.6. Partial Observability and Partial Control -- 7.7. Construction of a Control Function for a Parabolic Equation -- 7.8. Dual Approach for Observability and Control Cost -- 7.9. Properties of the Reachable Set and Generalizations -- 7.10. Boundary Null-Controllability for Parabolic Equations -- 7.11. Notes -- Part 3.  Background Material: Analysis and Evolution Equations -- Chapter 8. A Short Review of Distribution Theory -- 8.1. Distributions on an Open Set of Rd and on a Manifold -- 8.1.1. Test Functions -- 8.1.2. Definition of Distributions and Basic Properties -- 8.1.2.1. Localization and Support -- 8.1.2.2. Distributions with Compact Support -- 8.1.3. Composition by Diffeomorphisms, Distributions on aManifold -- 8.2. Temperate Distributions on Rd and Fourier Transformation -- 8.2.1. The Schwartz Space and Temperate Distributions -- 8.2.2. The Fourier Transformation on S(Rd), S'(Rd), and L2(Rd) -- 8.3. Distributions on a Product Space -- 8.3.1. Tensor Products of Functions -- 8.3.2. Tensor Products of Distributions -- 8.3.3. Convolution -- 8.3.4. The Kernel Theorem (Various Forms) -- 8.4. Notes -- Chapter 9. Invariance Under Change of Variables -- 9.1. A Review of the Actions of Change of Variables -- 9.1.1. Pullbacks and Push-Forwards -- 9.1.2. Action of a Change of Variables on a Differential Operator."]
[{"$nulls":4},"9.2. Action on Symplectic Structures -- 9.2.1. The Symplectic Two-Form -- 9.2.2. Hamiltonian Vector Fields -- 9.2.3. Poisson Bracket -- 9.3. Invariance of the Sub-ellipticity Condition -- 9.3.1. Action of a Change of Variables on the Conjugated Operator -- 9.3.2. The Sub-ellipticity Condition -- 9.4. Normal Geodesic Coordinates -- Chapter 10. Elliptic Operator with Dirichlet Data and Associated Semigroup -- 10.1. Resolvent and Spectral Properties of Elliptic Operators -- 10.1.1. Basic Properties of Second-Order Elliptic Operators -- 10.1.2. Spectral Properties -- 10.1.3. A Sobolev Scale and Operator Extensions -- 10.2. The Parabolic Semigroup -- 10.2.1. Spectral Representation of the Semigroup -- 10.2.2. Well-Posedness: An Elementary Proof -- 10.2.3. Additional Properties of the Parabolic Semigroup -- 10.2.4. Properties of the Parabolic Kernel -- 10.3. The Nonhomogeneous Parabolic Cauchy Problem -- 10.3.1. Properties of the Duhamel Term -- 10.3.2. Abstract Solutions of the Nonhomogeneous Semigroup Equations -- 10.3.3. Strong Solutions -- 10.3.4. Weak Solutions -- 10.4. Elementary Form of the Maximum Principle -- 10.5. The Dirichlet Lifting Map -- 10.6. Parabolic Equation with Dirichlet Boundary Data -- Chapter 11. Some Elements of Functional Analysis -- 11.1. Linear Operators in Banach Spaces -- 11.2. Continuous and Bounded Operators -- 11.3. Spectrum of a Linear Operator in a Banach Space -- 11.4. Adjoint Operator -- 11.5. Fredholm Operators -- 11.5.1. Characterization of Bounded Fredholm Operators -- 11.6. Linear Operators in Hilbert Spaces -- Chapter 12. Some Elements of Semigroup Theory -- 12.1. "]
[{"$nulls":4},"Strongly Continuous Semigroups -- 12.1.1. Definition and Basic Properties -- 12.1.2. The Hille-Yosida Theorem -- 12.1.3. The Lumer-Phillips Theorem -- 12.2. Differentiable and Analytic Semigroups -- 12.3. Mild Solution of the Inhomogeneous Cauchy Problem."]
[{"$nulls":4},"12.4. The Case of a Hilbert Space."]
[null,"3.","Record Nr.",null,"UNINA990008942130403321"]
[null,null,"Titolo",null,"Collectanea mathematica"]
[null,null,"Pubbl/distr/stampa",null,"Barcelona, : [s.n.]"]
[null,null,"ISSN",null,"0010-0757"]
[null,null,"Disciplina",null,"510"]
[null,null,"Lingua di pubblicazione",null,"Spagnolo"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,"4.","Record Nr.",null,"UNINA9910337614603321"]
[null,null,"Autore",null,"Khalaf Khaled"]
[null,null,"Titolo",null,"Low-Power Millimeter Wave Transmitters for High Data Rate Applications / / by Khaled Khalaf, Vojkan Vidojkovic, John R. Long, Piet Wambacq"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-16653-8"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (127 pages)"]
[null,null,"Collana",null,"Signals and Communication Technology, , 1860-4862"]
[null,null,"Disciplina",null,"621.3815"]
[null,null,"Soggetti",null,"Electronic circuits"]
[{"$nulls":4},"Microwaves"]
[{"$nulls":4},"Optical engineering"]
[{"$nulls":4},"Power electronics"]
[{"$nulls":4},"Circuits and Systems"]
[{"$nulls":4},"Microwaves, RF and Optical Engineering"]
[{"$nulls":4},"Power Electronics, Electrical Machines and Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Introduction -- Design Considerations for High-Datarate Low-Power 60GHz TX Front-Ends -- 60GHz TX Front-Ends in Advanced CMOS Technologies with Improved Back-Off Efficiencies -- Digitally-Modulated Polar Transmitters in 40nm CMOS."]
[null,null,null,"Sommario/riassunto","This book discusses low power techniques for millimeter wave transmitter IC. Considerations for the front-end design are followed by several implementation examples in the 60GHz band in CMOS down to 28nm technology. Additionally, the design and implementation details of digitally-modulated millimeter wave polar transmitters are presented."]