Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
An essay toward A Unified Theory of Special Functions : based upon the functional equa tion dF(z,a) / dz=F(z,a+1) / C. Truesdell
| An essay toward A Unified Theory of Special Functions : based upon the functional equa tion dF(z,a) / dz=F(z,a+1) / C. Truesdell |
| Autore | Truesdell, Clifford |
| Pubbl/distr/stampa | London : Princeton University Press, 1948 |
| Descrizione fisica | IV, 182 p. ; 23 p. |
| Disciplina | 517.5 |
| Collana | Annals of mathematics studies |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000845050403321 |
Truesdell, Clifford
|
||
| London : Princeton University Press, 1948 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analisi infinitesimale : prma puntata / Giulio Andreoli
| Analisi infinitesimale : prma puntata / Giulio Andreoli |
| Autore | Andreoli, Giulio |
| Pubbl/distr/stampa | Napoli : G.U.F. Mussolini, 1938 |
| Descrizione fisica | 536 p. ; 24 cm |
| Disciplina | 517.5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000011379 |
|
Andreoli, Giulio
|
||
| Napoli : G.U.F. Mussolini, 1938 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Analisi matematica / Amedeo Agostini
| Analisi matematica / Amedeo Agostini |
| Autore | Agostini, Amedeo |
| Edizione | [2 ed.] |
| Pubbl/distr/stampa | Livorno : Tip. Della R. Accademia Navale, 1942-1946 |
| Descrizione fisica | 2 v. ; 24 cm |
| Disciplina | 517.5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000011390 |
|
Agostini, Amedeo
|
||
| Livorno : Tip. Della R. Accademia Navale, 1942-1946 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Analytic functions of several complex variables / Robert C. Gunning, Hugo Rossi
| Analytic functions of several complex variables / Robert C. Gunning, Hugo Rossi |
| Autore | Gunning, Robert C. |
| Pubbl/distr/stampa | Englewood Cliffs [N.J.] : Prentice-Hall, 1965 |
| Descrizione fisica | xii, 317 p. ; 23 cm |
| Disciplina |
517.4
517.5 515.73 |
| Altri autori (Persone) | Rossi, Hugo |
| Collana | Prentice-Hall series in modern analysis |
| Soggetto non controllato |
Calcolo delle variazioni
Differenze finite Integrali di fourier Trasformazioni di fourier e laplace Funzioni di variabile complessa Analisi complessa Funzioni analitiche Variabili complesse |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001002780403321 |
|
Gunning, Robert C.
|
||
| Englewood Cliffs [N.J.] : Prentice-Hall, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied complex variables / John W. Dettman
| Applied complex variables / John W. Dettman |
| Autore | Dettman, John W. |
| Pubbl/distr/stampa | New York : MacMillan, 1965 |
| Descrizione fisica | ix, 481 p. ; 25 cm |
| Disciplina |
515
515.9 517.4 517.5 |
| Soggetto non controllato |
Analisi complessa - Funzioni di una variabile complessa
Variabili complesse Calcolo delle variazioni Differenze finite Integrali di fourier Trasformazioni di fourier e laplace Funzioni di variabile complessa |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002561640403321 |
|
Dettman, John W.
|
||
| New York : MacMillan, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Calculus of variations and partial differential equations of the first order / by C. Caratheodory ; translated by Robert B. Dean and Julius J. Brandstatter
| Calculus of variations and partial differential equations of the first order / by C. Caratheodory ; translated by Robert B. Dean and Julius J. Brandstatter |
| Autore | Carathéodory, Constantin |
| Pubbl/distr/stampa | San Francisco [etc.] : Holden-Day, 1965-1967 |
| Descrizione fisica | 2 v. : ill. ; 25 cm |
| Disciplina |
517.4
515 517.5 |
| Collana | Holden-Day Series in Mathematical Physics |
| Soggetto non controllato |
Calcolo delle variazioni
Differenze finite Integrali di fourier Trasformazioni di fourier e laplace Funzioni di variabile complessa |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.: Partial differential equations of the first order 2.: Calculus of variations |
| Record Nr. | UNINA-990001167870403321 |
|
Carathéodory, Constantin
|
||
| San Francisco [etc.] : Holden-Day, 1965-1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability & unsolvability
| Computability & unsolvability |
| Autore | Davis, Martin <1928- > |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, 1958 |
| Descrizione fisica | XXV, 210 p. ; 21 cm |
| Disciplina | 517.5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000011345 |
|
Davis, Martin <1928- >
|
||
| New York [etc.] : McGraw-Hill, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Control and communication for demand response with thermostatically controlled loads / / Kai Ma [and three others]
| Control and communication for demand response with thermostatically controlled loads / / Kai Ma [and three others] |
| Autore | Ma Kai |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (197 pages) |
| Disciplina | 517.5 |
| Soggetto topico |
Control theory
Power electronics |
| ISBN | 981-19-6876-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- 1 Introduction -- 1.1 Background -- 1.2 System Model -- 1.2.1 Load Control Model -- 1.2.2 Communication Network Model -- 1.3 Problems Studied in This Book -- 1.3.1 Load Control and Optimization Strategy -- 1.3.2 Communication Network and Resource Allocation -- 1.4 Summary -- Part I Load Control and Optimization Strategies -- 2 Switching Control Strategies of Aggregated Commercial HVAC Systems for Demand Response -- 2.1 Introduction -- 2.2 System Model and Control Strategies -- 2.2.1 Individual HVAC Model -- 2.2.2 Typical Control Strategies -- 2.2.3 Switching Control Model -- 2.3 Controller Design and Optimization -- 2.3.1 Parameter Optimization -- 2.3.2 Switching Control Strategies I and II -- 2.3.3 Switching Control Strategy III -- 2.4 Simulations -- 2.5 Conclusions -- 3 Hybrid Control Strategy of Aggregated TCLs for Demand Response -- 3.1 Introduction -- 3.2 System Modeling -- 3.3 Hybrid Control Strategies -- 3.3.1 Step Rule of the On/Off Control -- 3.3.2 Parameter Optimization of the Setpoint-Regulation Control -- 3.3.3 Parallel and Cascade Control Structures -- 3.3.4 Control Framework -- 3.4 Simulation Results -- 3.4.1 Evaluation of the Step Rule -- 3.4.2 Optimization of the Control Parameters -- 3.4.3 Computation of the Allocation Proportions -- 3.4.4 Comparison of the Control Strategies -- 3.4.5 Sensitivity Analysis for the Thermal Capacitance -- 3.4.6 Different Temperature Bands Under the On/Off Control -- 3.5 Conclusions -- 4 Fuzzy Neural Network Control Strategy of Aggregated TCLs for Demand Response -- 4.1 Introduction -- 4.2 Problem Formulation -- 4.2.1 Individual TCL Characteristic -- 4.2.2 Frequency Regulation Problem -- 4.3 Fuzzy Neural Network Controller -- 4.3.1 Fuzzy Neural Network Structure -- 4.3.2 Fuzzy Neural Network Learning Algorithm.
4.3.3 Optimization of Initial Value of Adjustable Parameters -- 4.4 Simulation Results -- 4.5 Conclusion -- 5 Optimal Control of Aggregated TCLs Based on Tracking Differentiator -- 5.1 Introduction -- 5.2 System Model -- 5.2.1 Thermal Dynamics of Individual TCL -- 5.2.2 Thermal Dynamics of Aggregated TCLs -- 5.2.3 Frequency Regulation -- 5.3 Problem Formulation -- 5.3.1 Regulation Cost -- 5.3.2 Discomfort Cost -- 5.4 Effective Control Strategy Based on TD -- 5.4.1 Control Strategy Design -- 5.4.2 Implementation -- 5.5 Simulation Results -- 5.5.1 Tracking Performance -- 5.5.2 Grouping Performance -- 5.6 Conclusion -- 6 Optimizing Regulation of Aggregated TCLs Based on Multi-Swarm PSO -- 6.1 Introduction -- 6.2 System Model and Problem Formulation -- 6.2.1 Individual TCL Model -- 6.2.2 Problem Formulation -- 6.3 Optimal Solutions -- 6.3.1 Mapping -- 6.3.2 Binary DMS-PSO-CLS -- 6.4 Simulation Results -- 6.4.1 Case Comparisons -- 6.4.2 Parameter Analysis -- 6.5 Conclusion -- Part II Communication Network and Resource Allocation -- 7 Communication Network and Cost Modeling -- 7.1 Communication Network Model -- 7.1.1 Two-tier Communication Network -- 7.1.2 Cooperative Relaying Network -- 7.1.3 Packet Loss Model -- 7.2 Cost Modeling -- 7.2.1 Cost Modeling Based on Taguchi Loss Function -- 7.2.2 Cost Modeling Based on Regular Errors -- 7.3 Conclusion -- 8 Bandwidth Allocation for Cooperative Relaying Network -- 8.1 Introduction -- 8.2 Preliminaries -- 8.3 System Model -- 8.4 Bargaining Models and Solutions -- 8.4.1 Problem Formulation -- 8.4.2 Case Study -- 8.4.3 Model Extension -- 8.5 Simulation Results -- 8.6 Conclusion -- 9 Distributed Power Allocation and Relay Selection for Cooperative Relaying Network -- 9.1 Introduction -- 9.2 Noncooperative Game -- 9.3 System Model -- 9.3.1 Demand Response and Electricity Cost -- 9.3.2 Transmission Rates. 9.4 Stackelberg Game Formulation and Analysis -- 9.4.1 Stackelberg Game Modeling -- 9.4.2 Payment Selection Game -- 9.4.3 Maximizing Profits of Telecom Operators -- 9.4.4 Relaying Conditions -- 9.4.5 Strategy Design for Relaying Group with One DAU -- 9.5 Implementation Protocols -- 9.5.1 Heuristic Algorithm -- 9.5.2 Potential Realization in 5G Networks -- 9.6 Simulation Results -- 9.6.1 DAU Assignment, Transmission Power Allocation and Payment Selection -- 9.6.2 Cost Reduction and Profit Improvement -- 9.7 Conclusion -- 10 Centralized Power Allocation and Relay Selection for Cooperative Relaying Network -- 10.1 Introduction -- 10.2 System Description -- 10.2.1 Demand-Side Cooperative Communication Network -- 10.2.2 Packet Loss Model and Costs to Utility Company -- 10.3 System Model and Solutions -- 10.4 MS-ABC Algorithm -- 10.5 Simulation Results -- 10.5.1 Comparisons Between MS-ABC and I-ABC -- 10.5.2 Relay Assignment and Power Allocation Under Case C -- 10.6 Conclusion -- 11 Interference Management and Power Control for Cognitive Radio Network -- 11.1 Introduction -- 11.2 System Model -- 11.3 Problem Formulation -- 11.4 Stackelberg Game Formulation an Analysis -- 11.4.1 The Optimal Strategies of Gateways -- 11.4.2 The Convergence of ADPP -- 11.4.3 The Optimal Solution of PBS -- 11.4.4 A Modified Distributed Power Control Method -- 11.5 Simulation Results -- 11.6 Conclusion -- 12 Power Allocation for Relaying-Based Cognitive Radio Network -- 12.1 Introduction -- 12.2 Cognitive Wireless Network Model in Smart Grid -- 12.2.1 Cognitive Wireless Network -- 12.2.2 Transmission Formulation of The Network -- 12.3 Problem Formulation and Solutions -- 12.3.1 PSO Algorithm -- 12.3.2 The Solution with One Relay -- 12.4 Simulation Results -- 12.5 Conclusion -- 13 Spectrum Allocation and Power Allocation for Relaying-Based Cognitive Radio Network. 13.1 Introduction -- 13.2 Cooperative and Cognitive Network Model -- 13.2.1 Confidence Level of Sub-bands -- 13.2.2 Receiving Rates of DAUs -- 13.3 Cost Modeling and Minimization -- 13.3.1 Cost Modeling -- 13.3.2 Spectrum Allocation -- 13.3.3 Relay Power Optimization -- 13.3.4 Spectrum Allocation and Relay Power Optimization Algorithm -- 13.4 Simulation Results -- 13.5 Conclusion -- Appendix References. |
| Record Nr. | UNINA-9910634039903321 |
|
Ma Kai
|
||
| Singapore : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Corso di analisi superiore : appunti tratti dalle Lezioni tenute dal prof. Mauro Picone nella Facoltà di scienze matematiche, fisiche e naturali della r. Università di Roma nell'anno accademico 1938-1939
| Corso di analisi superiore : appunti tratti dalle Lezioni tenute dal prof. Mauro Picone nella Facoltà di scienze matematiche, fisiche e naturali della r. Università di Roma nell'anno accademico 1938-1939 |
| Autore | Picone, Mauro |
| Edizione | [Ed. autorizzata] |
| Pubbl/distr/stampa | Roma : Dusa, Dispense Universitarie S. A., [1940] |
| Descrizione fisica | 405 p. ; 24 cm |
| Disciplina | 517.5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000011391 |
|
Picone, Mauro
|
||
| Roma : Dusa, Dispense Universitarie S. A., [1940] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
