Annual reviews in control |
Pubbl/distr/stampa | Oxford, England ; ; New York, : Pergamon, c1997- |
Descrizione fisica | 1 online resource |
Soggetto topico |
Automatic programming (Computer science)
Real-time programming Software Systeemtheorie Controleleer |
Soggetto genere / forma | Periodicals. |
ISSN | 1872-9088 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996206280103316 |
Oxford, England ; ; New York, : Pergamon, c1997- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Annual reviews in control |
Pubbl/distr/stampa | Oxford, England ; ; New York, : Pergamon, c1997- |
Descrizione fisica | 1 online resource |
Soggetto topico |
Automatic programming (Computer science)
Real-time programming Software Systeemtheorie Controleleer |
Soggetto genere / forma | Periodicals. |
ISSN | 1872-9088 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910147021603321 |
Oxford, England ; ; New York, : Pergamon, c1997- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity / / Vasco Thudichum Vasconcelos, SIGPLAN, In-Cooperation: SIGAda |
Autore | Vasconcelos Vasco Thudichum |
Pubbl/distr/stampa | New York, NY, USA : , : Association for Computing Machinery, , 2023 |
Descrizione fisica | 1 online resource (71 pages) |
Disciplina | 004 |
Collana | ACM Conferences |
Soggetto topico |
Computer science
Automatic programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910755094803321 |
Vasconcelos Vasco Thudichum | ||
New York, NY, USA : , : Association for Computing Machinery, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity / / Vasco Thudichum Vasconcelos, SIGPLAN, In-Cooperation: SIGAda |
Autore | Vasconcelos Vasco Thudichum |
Pubbl/distr/stampa | New York, NY, USA : , : Association for Computing Machinery, , 2023 |
Descrizione fisica | 1 online resource (71 pages) |
Disciplina | 004 |
Collana | ACM Conferences |
Soggetto topico |
Computer science
Automatic programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996560366203316 |
Vasconcelos Vasco Thudichum | ||
New York, NY, USA : , : Association for Computing Machinery, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Handbook of learning and approximate dynamic programming / / [edited by] Jennie Si ... [et al.] |
Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Press, , c2004 |
Descrizione fisica | 1 PDF (xxi, 644 pages) : illustrations |
Disciplina | 519.7/03 |
Altri autori (Persone) | SiJennie |
Collana | IEEE press series on computational intelligence |
Soggetto topico |
Dynamic programming
Automatic programming (Computer science) Machine learning Control theory Systems engineering Engineering & Applied Sciences Civil & Environmental Engineering Computer Science Operations Research |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword. -- 1. ADP: goals, opportunities and principles. -- Part I: Overview. -- 2. Reinforcement learning and its relationship to supervised learning. -- 3. Model-based adaptive critic designs. -- 4. Guidance in the use of adaptive critics for control. -- 5. Direct neural dynamic programming. -- 6. The linear programming approach to approximate dynamic programming. -- 7. Reinforcement learning in large, high-dimensional state spaces. -- 8. Hierarchical decision making. -- Part II: Technical advances. -- 9. Improved temporal difference methods with linear function approximation. -- 10. Approximate dynamic programming for high-dimensional resource allocation problems. -- 11. Hierarchical approaches to concurrency, multiagency, and partial observability. -- 12. Learning and optimization - from a system theoretic perspective. -- 13. Robust reinforcement learning using integral-quadratic constraints. -- 14. Supervised actor-critic reinforcement learning. -- 15. BPTT and DAC - a common framework for comparison. -- Part III: Applications. -- 16. Near-optimal control via reinforcement learning. -- 17. Multiobjective control problems by reinforcement learning. -- 18. Adaptive critic based neural network for control-constrained agile missile. -- 19. Applications of approximate dynamic programming in power systems control. -- 20. Robust reinforcement learning for heating, ventilation, and air conditioning control of buildings. -- 21. Helicopter flight control using direct neural dynamic programming. -- 22. Toward dynamic stochastic optimal power flow. -- 23. Control, optimization, security, and self-healing of benchmark power systems. |
Record Nr. | UNINA-9910133842403321 |
Hoboken, New Jersey : , : IEEE Press, , c2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of learning and approximate dynamic programming / / [edited by] Jennie Si ... [et al.] |
Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Press, , c2004 |
Descrizione fisica | 1 PDF (xxi, 644 pages) : illustrations |
Disciplina | 519.7/03 |
Altri autori (Persone) | SiJennie |
Collana | IEEE press series on computational intelligence |
Soggetto topico |
Dynamic programming
Automatic programming (Computer science) Machine learning Control theory Systems engineering Engineering & Applied Sciences Civil & Environmental Engineering Computer Science Operations Research |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword. -- 1. ADP: goals, opportunities and principles. -- Part I: Overview. -- 2. Reinforcement learning and its relationship to supervised learning. -- 3. Model-based adaptive critic designs. -- 4. Guidance in the use of adaptive critics for control. -- 5. Direct neural dynamic programming. -- 6. The linear programming approach to approximate dynamic programming. -- 7. Reinforcement learning in large, high-dimensional state spaces. -- 8. Hierarchical decision making. -- Part II: Technical advances. -- 9. Improved temporal difference methods with linear function approximation. -- 10. Approximate dynamic programming for high-dimensional resource allocation problems. -- 11. Hierarchical approaches to concurrency, multiagency, and partial observability. -- 12. Learning and optimization - from a system theoretic perspective. -- 13. Robust reinforcement learning using integral-quadratic constraints. -- 14. Supervised actor-critic reinforcement learning. -- 15. BPTT and DAC - a common framework for comparison. -- Part III: Applications. -- 16. Near-optimal control via reinforcement learning. -- 17. Multiobjective control problems by reinforcement learning. -- 18. Adaptive critic based neural network for control-constrained agile missile. -- 19. Applications of approximate dynamic programming in power systems control. -- 20. Robust reinforcement learning for heating, ventilation, and air conditioning control of buildings. -- 21. Helicopter flight control using direct neural dynamic programming. -- 22. Toward dynamic stochastic optimal power flow. -- 23. Control, optimization, security, and self-healing of benchmark power systems. |
Record Nr. | UNISA-996216868103316 |
Hoboken, New Jersey : , : IEEE Press, , c2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Handbook of learning and approximate dynamic programming / / [edited by] Jennie Si ... [et al.] |
Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Press, , c2004 |
Descrizione fisica | 1 PDF (xxi, 644 pages) : illustrations |
Disciplina | 519.7/03 |
Altri autori (Persone) | SiJennie |
Collana | IEEE press series on computational intelligence |
Soggetto topico |
Dynamic programming
Automatic programming (Computer science) Machine learning Control theory Systems engineering Engineering & Applied Sciences Civil & Environmental Engineering Computer Science Operations Research |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword. -- 1. ADP: goals, opportunities and principles. -- Part I: Overview. -- 2. Reinforcement learning and its relationship to supervised learning. -- 3. Model-based adaptive critic designs. -- 4. Guidance in the use of adaptive critics for control. -- 5. Direct neural dynamic programming. -- 6. The linear programming approach to approximate dynamic programming. -- 7. Reinforcement learning in large, high-dimensional state spaces. -- 8. Hierarchical decision making. -- Part II: Technical advances. -- 9. Improved temporal difference methods with linear function approximation. -- 10. Approximate dynamic programming for high-dimensional resource allocation problems. -- 11. Hierarchical approaches to concurrency, multiagency, and partial observability. -- 12. Learning and optimization - from a system theoretic perspective. -- 13. Robust reinforcement learning using integral-quadratic constraints. -- 14. Supervised actor-critic reinforcement learning. -- 15. BPTT and DAC - a common framework for comparison. -- Part III: Applications. -- 16. Near-optimal control via reinforcement learning. -- 17. Multiobjective control problems by reinforcement learning. -- 18. Adaptive critic based neural network for control-constrained agile missile. -- 19. Applications of approximate dynamic programming in power systems control. -- 20. Robust reinforcement learning for heating, ventilation, and air conditioning control of buildings. -- 21. Helicopter flight control using direct neural dynamic programming. -- 22. Toward dynamic stochastic optimal power flow. -- 23. Control, optimization, security, and self-healing of benchmark power systems. |
Record Nr. | UNINA-9910829994103321 |
Hoboken, New Jersey : , : IEEE Press, , c2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Journal of symbolic computation |
Pubbl/distr/stampa | London, : Academic Press |
Disciplina | 510 |
Soggetto topico |
Mathematics - Data processing
Numerical analysis - Data processing Automatic programming (Computer science) Mathématiques - Informatique Analyse numérique - Informatique Programmation automatique |
Soggetto genere / forma | Periodicals. |
ISSN | 1095-855X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996205859003316 |
London, : Academic Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Journal of symbolic computation |
Pubbl/distr/stampa | London, : Academic Press |
Disciplina | 510 |
Soggetto topico |
Mathematics - Data processing
Numerical analysis - Data processing Automatic programming (Computer science) Mathématiques - Informatique Analyse numérique - Informatique Programmation automatique |
Soggetto genere / forma | Periodicals. |
ISSN | 1095-855X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910333251803321 |
London, : Academic Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
PLDI '22 : proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA / / edited by Ranjit Jhala, Isil Dillig |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2022 |
Descrizione fisica | 1 online resource (1038 pages) : illustrations |
Disciplina | 001.642 |
Collana | ACM Conferences |
Soggetto topico |
Automatic programming (Computer science)
Compilers (Computer programs) Computer science Programming languages (Electronic computers) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580194903321 |
New York : , : Association for Computing Machinery, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|