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 | ||
| ||
Case-Based Reasoning Research and Development : 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13–16, 2021, Proceedings / / edited by Antonio A. Sánchez-Ruiz, Michael W. Floyd
| Case-Based Reasoning Research and Development : 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13–16, 2021, Proceedings / / edited by Antonio A. Sánchez-Ruiz, Michael W. Floyd |
| Autore | Sánchez-Ruiz Antonio A. |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (337 pages) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Information technology - Management Computers Computer engineering Computer networks Computer science - Mathematics Mathematical statistics Artificial Intelligence Theory of Computation Computer Application in Administrative Data Processing Computing Milieux Computer Engineering and Networks Probability and Statistics in Computer Science Intel·ligència artificial Informàtica Ordinadors Tecnologia de la informació Enginyeria de programari Xarxes d'ordinadors Estadística matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-86957-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Bites Eclectic: Critique-Based Conversational Recommendation for Diversity-Focused Meal Planning -- Evaluation of Similarity Measures for Flight Simulator Training Scenarios -- Instance-based Counterfactual Explanations for Time Series Classification. -User Evaluation to Measure the Perception of Similarities Measures in Artworks -- Measuring Financial Time Series Similarity With a View to Identifying Profitable Stock Market Opportunities -- A Case-Based Reasoning Approach to Predicting and Explaining Running Related Injuries -- Bayesian Feature Construction for Case-Based Reasoning: Generating Good Checklists -- Revisiting Fast and Slow Thinking in Case-Based Reasoning -- Harmonizing Case Retrieval and Adaptation with Alternating Optimization -- Adaptation knowledge discovery using positive and negative cases -- When Revision-Based Case Adaptation Meets Analogical Extrapolation -- Inferring Case-Based Reasoners’ Knowledge to Enhance Interactivity -- A case-based approach for the selectionof explanation algorithms in image classification -- Towards Richer Realizations of Holographic CBR. -Handling Climate Change Using Counterfactuals: Using Counterfactuals in Data Augmentation to Predict Crop Growth in an Uncertain Climate Future -- Case-Based Approach to Data-to-Text Generation. - On Combining Knowledge-Engineered and Network-Extracted Features for Retrieval -- Task and Situation Structures for Case-based Planning -- Learning Adaptations for Case-Based Classification: A Neural Network Approach -- Similar Questions Correspond to Similar SQL Queries: A Case-Based Reasoning Approach for Text-to-SQL Translation -- Deciphering Ancient Chinese Oracle Bone Inscriptions using Case-Based Reasoning. |
| Record Nr. | UNINA-9910502645803321 |
|
Sánchez-Ruiz Antonio A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cognitive Radio-Oriented Wireless Networks : 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings / / edited by Giuseppe Caso, Luca De Nardis, Liljana Gavrilovska
| Cognitive Radio-Oriented Wireless Networks : 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings / / edited by Giuseppe Caso, Luca De Nardis, Liljana Gavrilovska |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (x, 192 pages) |
| Disciplina | 384.54524 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer networks
Coding theory Information theory Artificial intelligence Application software Computer science - Mathematics Electronic digital computers - Evaluation Computer Communication Networks Coding and Information Theory Artificial Intelligence Computer and Information Systems Applications Mathematics of Computing System Performance and Evaluation Xarxes d'ordinadors Teoria de la informació Intel·ligència artificial Programari d'aplicació Informàtica Matemàtica Ordinadors Xarxes de comunicacions |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-73423-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Spectrum Sensing and Environment Awareness -- Active user blind detection through deep learning -- Spectrum Sensing Based on Dynamic Primary User With Additive Laplacian Noise in Cognitive Radio -- Blind Source Separation for Wireless Networks: a Tool for Topology Sensing -- Efficient Clustering Schemes Towards Information Collection -- A Non-zero Sum Power Control Game with Uncertainty -- Demonstrating Spectrally Efficient Asynchronous Coexistence for Machine Type Communication: A Software Defined Radio Approach -- 7 Distance Estimation for Database-assisted Autonomous Platooning -- A priced-Deferred Acceptance (p-DA) Technique for D2D Communication in Factories of the Future -- Data-Driven Intelligent Management of Energy Constrained Autonomous Vehicles in Smart Cities -- A Primer on Large Intelligent Surface (LIS) in an Industrial Setting -- Scalability and Replicability of Spectrum for Private 5G Network Business: Insights into Radio Authorization Policies -- Novel Spectrum Administration andManagement -- Approaches Transform 5G Towards Open Ecosystemic Business Models -- Moving from 5G in Verticals to Sustainable 6G: Business, Regulatory and Technical Research Prospects. |
| Record Nr. | UNINA-9910484157403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Ordinadors
(19)
- Computers (11)
- Informàtica (8)
- Artificial Intelligence (6)
- Artificial intelligence (6)