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.
Annual reviews in control
| 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
| 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-9910946359203321 |
| 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
| 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
| 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.]
| 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.]
| 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.]
| 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
| 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
| 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
| 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 | ||
| ||
