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.
ACM computing surveys
| ACM computing surveys |
| Pubbl/distr/stampa | New York, N.Y., : Association for Computing Machinery |
| Disciplina | 651.8 |
| Soggetto topico |
Electronic digital computers
Ordinateurs Computers Dataprocessing Informàtica Ordinadors |
| Soggetto genere / forma |
periodicals.
Periodicals. Périodiques. Revistes electròniques. |
| ISSN | 1557-7341 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Association for Computing Machinery computing surveys |
| Record Nr. | UNINA-9910142984803321 |
| New York, N.Y., : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM SIGCHI bulletin : [a quarterly publication of the Special Interest Group on Computer & Human Interaction]
| ACM SIGCHI bulletin : [a quarterly publication of the Special Interest Group on Computer & Human Interaction] |
| Pubbl/distr/stampa | [New York, N.Y.], : Special Interest Group on Computer & Human Interaction |
| Disciplina | 300/.285 |
| Soggetto topico |
Social sciences - Data processing
Interactive computer systems Computers - Psychological aspects Human-computer interaction Sciences sociales - Informatique Informatique Systèmes conversationnels (Informatique) Ordinateurs - Aspect psychologique Mensch-Maschine-Kommunikation Zeitschrift Ordinadors Interacció persona-ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1558-1217 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Special Interest Group on Computer & Human Interaction bulletin
SIGCHI bulletin |
| Record Nr. | UNINA-9910139538303321 |
| [New York, N.Y.], : Special Interest Group on Computer & Human Interaction | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytics Modeling in Reliability and Machine Learning and Its Applications / / edited by Hoang Pham
| Analytics Modeling in Reliability and Machine Learning and Its Applications / / edited by Hoang Pham |
| Autore | Pham Hoang |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (480 pages) |
| Disciplina | 006.31 |
| Collana | Springer Series in Reliability Engineering |
| Soggetto topico |
Machine learning
Computers Medical care Industrial engineering Production engineering Mathematical optimization Aerospace engineering Astronautics Machine Learning Hardware Performance and Reliability Health Care Industrial and Production Engineering Optimization Aerospace Technology and Astronautics Aprenentatge automàtic Ordinadors Assistència sanitària Enginyeria industrial Optimització matemàtica Astronàutica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031726361
9783031726354 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Reliability Analysis For Inventory Management For Repair Parts Based on Imperfect Data.-2. Improved Industrial Risk Analysis via a Human Factor-driven Bayesian Network Approach -- 3. Unsupervised Representation Learning Approach for Intrusion Detection in the Industrial Internet of Things Network Environment -- 4. Aero-engine Life Prediction Based on ARIMA and LSTM with Multi-Head Attention Mechanism -- 5. Human-Machine Integration to Strengthen Risk Management in the Winemaking Industry -- 6. One-Class Classification for Credit Card Fraud Detection: A Detailed Study with Comparative Insights from Binary Classification -- 7. Performance Analysis of Big Transfer Models on Biomedical Image Classification -- 8. Machine Learning Approach for Testing the Efficiency of Software Reliability Estimators of Weibull Class Models -- 9. Holistic Perishable Pharmaceutical Inventory Management System -- 10. Optimum Switch Self-Check Interval for Safety-Critical Device Mission Reliability -- 11. Accurate Estimation of Cargo Power Using Machine Learning Algorithms -- 12. Digital Transformation in Software Quality Assurance -- 13. Stress Studies: A Review -- 14. Higher Order Dynamic Mode Decomposition-based Timeseries Forecasting for Covid-19 -- 15. System Trustability: New Concept and Applications -- 16. Digital Twin Implementation in Small and Medium Size Enterprises: A Case Study -- 17. Software Reliability Modeling: A Review. |
| Record Nr. | UNINA-9910983346303321 |
Pham Hoang
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence for a Better Future : An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies / / by Bernd Carsten Stahl
| Artificial Intelligence for a Better Future : An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies / / by Bernd Carsten Stahl |
| Autore | Stahl Bernd Carsten |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (128 pages) |
| Disciplina | 006.3 |
| Collana | SpringerBriefs in Research and Innovation Governance |
| Soggetto topico |
Artificial intelligence
Ethics Computers and civilization Technology - Philosophy Business ethics Artificial Intelligence Moral Philosophy and Applied Ethics Computers and Society Philosophy of Technology Business Ethics Intel·ligència artificial Ètica Ordinadors Filosofia de la tecnologia |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-69978-1 |
| Classificazione | BUS008000COM004000COM079000PHI005000PHI021000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1 Introduction -- 2 Artificial Intelligence and Other Emerging Technologies -- 3 The Ethics of AI -- 4 Mitigation Measures -- 5 An AI Ecosystem for Human Flourishing -- 6 Conclusion -- 7 Index. . |
| Record Nr. | UNINA-9910473457403321 |
|
Stahl Bernd Carsten
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence in Medicine : 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15–18, 2021, Proceedings / / edited by Allan Tucker, Pedro Henriques Abreu, Jaime Cardoso, Pedro Pereira Rodrigues, David Riaño
| Artificial Intelligence in Medicine : 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15–18, 2021, Proceedings / / edited by Allan Tucker, Pedro Henriques Abreu, Jaime Cardoso, Pedro Pereira Rodrigues, David Riaño |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XX, 505 p. 145 illus., 122 illus. in color.) |
| Disciplina | 610.28563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Computers Image processing - Digital techniques Computer vision Computer science - Mathematics Mathematical statistics Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Computing Milieux Computer Imaging, Vision, Pattern Recognition and Graphics Probability and Statistics in Computer Science Intel·ligència artificial Enginyeria de programari Xarxes d'ordinadors Programari d'aplicació Ordinadors Visió per ordinador Processament digital d'imatges Informàtica Estadística matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-77211-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Image Analysis -- Predictive Modelling -- Temporal Data Analysis -- Unsupervised Learning -- Planning and Decision Support -- Deep Learning -- Natural Language Processing -- Knowledge Representation and Rule Mining. |
| Record Nr. | UNINA-9910483918503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Augmented Cognition : 15th International Conference, AC 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / / edited by Dylan D. Schmorrow, Cali M. Fidopiastis
| Augmented Cognition : 15th International Conference, AC 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / / edited by Dylan D. Schmorrow, Cali M. Fidopiastis |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (496 pages) |
| Disciplina | 004.019 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Artificial intelligence Computer networks Computers Application software Image processing - Digital techniques Computer vision User Interfaces and Human Computer Interaction Artificial Intelligence Computer Communication Networks Computing Milieux Computer and Information Systems Applications Computer Imaging, Vision, Pattern Recognition and Graphics Interfícies d'usuari (Sistemes d'ordinadors) Interacció persona-ordinador Intel·ligència artificial Xarxes d'ordinadors Ordinadors Programari d'aplicació Processament digital d'imatges Visió per ordinador |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-78114-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | BCI and Brain Activity Measurement -- Physiological Measuring and Human Performance -- Modelling Human Cognition -- Augmented Cognition in Complex Environments. |
| Record Nr. | UNINA-9910488711403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / / edited by Zhe Hou, Vijay Ganesh
| Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / / edited by Zhe Hou, Vijay Ganesh |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computers Computer engineering Computer networks Software Engineering Artificial Intelligence Computer Hardware Computer Engineering and Networks Enginyeria de programari Intel·ligència artificial Ordinadors Xarxes d'ordinadors |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88885-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Linear Temporal Logic – From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. |
| Record Nr. | UNINA-9910502588603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bell Labs technical journal
| Bell Labs technical journal |
| Pubbl/distr/stampa | [Murray Hill, N.J.], : Lucent Technologies, c1996- |
| Disciplina | 621.382/05 |
| Soggetto topico |
Telecommunication
Electronics Télécommunications Électronique 53.70 telecommunications technology: general Telecomunicació Ordinadors Enginyeria elèctrica |
| Soggetto genere / forma | Revistes electròniques |
| ISSN | 1538-7305 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144566303321 |
| [Murray Hill, N.J.], : Lucent Technologies, c1996- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer
| Computer |
| Pubbl/distr/stampa | [Long Beach, Calif., etc.], : IEEE Computer Society |
| Disciplina | 004 |
| Soggetto topico |
Computers
Ordinateurs - Périodiques Informàtica Ordinadors |
| Soggetto genere / forma | Revistes electròniques |
| ISSN | 1558-0814 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198195003316 |
| [Long Beach, Calif., etc.], : IEEE Computer Society | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer
| Computer |
| Pubbl/distr/stampa | [Long Beach, Calif., etc.], : IEEE Computer Society |
| Disciplina | 004 |
| Soggetto topico |
Computers
Ordinateurs - Périodiques Ordinateurs Informàtica Ordinadors |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1558-0814 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910625179603321 |
| [Long Beach, Calif., etc.], : IEEE Computer Society | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Ordinadors
(17)
- Computers (10)
- Informàtica (6)
- Artificial Intelligence (4)
- Artificial intelligence (4)