top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Handbook of Model Checking [electronic resource] / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Handbook of Model Checking [electronic resource] / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Estensione 1 online resource (XXIV, 1,210 p.) 220 illus., 6 illus. in color.
Disciplina 004.0151
Accesso persona Clarke, Edmund M.
Henzinger, T. A. (Thomas A.)
Veith, Helmut
Bloem, Roderick
Accesso ente SpringerLink (Online service)
ISBN 9783319105758
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Model Checking -- Temporal Logic and Fair Discrete Systems -- Modeling for Verification -- Automata Theory and Model Checking -- Explicit-State Model Checking -- Partial-Order Reduction -- Binary Decision Diagrams -- BDD-Based Symbolic Model Checking -- Propositional SAT Solving -- SAT-Based Model Checking -- Satisfiability Modulo Theories -- Compositional Reasoning -- Abstraction and Abstraction Refinement -- Interpolation and Model Checking -- Predicate Abstraction for Program Verification -- Combining Model Checking and Data-Flow Analysis -- Model Checking Procedural Programs -- Model Checking Concurrent Programs -- Combining Model Checking and Testing -- Combining Model Checking and Deduction -- Model Checking Parameterized Systems -- Model Checking Security Protocols -- Transfer of Model Checking to Industrial Practice -- Functional Specification of Hardware via Temporal Logic -- Symbolic Trajectory Evaluation -- The mu-calculus and Model Checking -- Graph Games and Reactive Synthesis -- Model Checking Probabilistic Systems -- Model Checking Real-Time Systems -- Verification of Hybrid Systems -- Symbolic Model Checking in Non-Boolean Domains -- Process Algebra and Model Checking.
Record Nr. YALE-13629900
Materiale a stampa
Lo trovi qui: Yale University
Building Intelligent Systems [electronic resource] : A Guide to Machine Learning Engineering / by Geoff Hulten
Building Intelligent Systems [electronic resource] : A Guide to Machine Learning Engineering / by Geoff Hulten
Creatore [Hulten, Geoff]
Estensione 1 online resource (XXVI, 339 p.) 19 illus.
Disciplina 006
Accesso ente SpringerLink (Online service)
ISBN 9781484234327
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1: Approaching an Intelligent System Project -- Chapter 1: Introducing Intelligent Systems -- Chapter 2: Knowing When to Use Intelligent Systems -- Chapter 3: A Brief Refresher on Working with Data -- Chapter 4: Defining the Intelligent System's Goals -- Part 2: Intelligent Experiences -- Chapter 5: The Components of Intelligent Experiences -- Chapter 6: Why Creating Intelligence Experiences Is Hard -- Chapter 7: Balancing Intelligent Experiences -- Chapter 8: Modes of Intelligent Interaction -- Chapter 9: Getting Data from Experience -- Chapter 10: Verifying Intelligent Experiences -- Part 3: Implementing Intelligence -- Chapter 11: The Components of an Intelligence Implementation -- Chapter 12: The Intelligence Runtime -- Chapter 13: Where Intelligence Lives -- Chapter 14: Intelligence Management -- Chapter 15: Intelligent Telemetry -- Part 4: Creating Intelligence -- Chapter 16: Overview of Intelligence -- Chapter 17: Representing Intelligence -- Chapter 18: The Intelligence Creation Process -- Chapter 19: Evaluating Intelligence -- Chapter 20: Machine Learning Intelligence -- Chapter 21: Organizing Intelligence -- Part 5: Orchestrating Intelligent Systems -- Chapter 22: Overview of Intelligence Orchestration -- Chapter 23: The Intelligence Orchestration Environment -- Chapter 24: Dealing with Mistakes -- Chapter 25: Adversaries and Abuse -- Chapter 26: Approaching Your Own Intelligent System -- .
Record Nr. YALE-13594380
[Hulten, Geoff]  
Materiale a stampa
Lo trovi qui: Yale University
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Software Engineering & Digital Media Technology / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Software Engineering & Digital Media Technology / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing
Estensione 1 online resource (XVIII, 988 p.) 530 illus.
Disciplina 025.04
Accesso persona Lu, Wei.
Cai, Guoqiang
Liu, Weibin
Xing, Weiwei
Accesso ente SpringerLink (Online service)
ISBN 9783642345319
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-13760450
Materiale a stampa
Lo trovi qui: Yale University
Artificial Intelligence and Mobile Services – AIMS 2018 [electronic resource] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / edited by Marco Aiello, Yujiu Yang, Yuexian Zou, Liang-Jie Zhang
Artificial Intelligence and Mobile Services – AIMS 2018 [electronic resource] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / edited by Marco Aiello, Yujiu Yang, Yuexian Zou, Liang-Jie Zhang
Estensione XII, 261 p. 96 illus : online resource.
Disciplina 005.7
Accesso persona Aiello, Marco
Yang, Yujiu
Zou, Yuexian
Zhang, Liang-Jie
Accesso ente SpringerLink (Online service)
ISBN 9783319943619
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Two-Stage Bi-LSTM Model for Chinese Company Name Recognition -- Multi-modal Multi-scale Speech Expression Evaluation in Computer-Assisted Language Learning -- From Global to Local: Local Popularity Prediction Using Context-embedded LSTM Recurrent Network -- Matching Low-Quality photo to DSLR-Quality with Deep Convolutional Networks -- Learning Frame-Level Recurrent Neural Networks Representations for Query-by-Example Spoken Term Detection on Mobile Devices -- Plant Identification based on Image Set Analysis -- Economic Index Forecasting via Multi-Scale Recursive Dynamic Factor Analysis -- Sub-Goal Oriented A* Search -- Towards Efficient Mobile Augmented Reality in Indoor Environments -- MAD-API: Detection, Correction and Explanation of API Misuses in Distributed Android Applications -- Relaxed Event-triggered Control of Networked Control Systems under Denial of Service Attacks -- Sentiment Analysis Based on Hybrid Bi-Attention mechanism in Mobile Application -- Automotive Diagnostics as a Service: An Artificially Intelligent Mobile Application for Tire Condition Assessment -- AICDS: An infant crying detection system based on lightweight convolutional neural network -- Exploring Trends of Lung Cancer Research Based on Word Representation -- Effective Facial Obstructions Removal With Enhanced Cycle-Consistent Generative Adversarial Networks -- Applied Analysis of Social Network Data in Personal Credit Evaluation -- Deep Neural Network Based Frame Reconstruction For Optimized Video Coding -- Detection and tracking of moving objects system for indoor mobile robots with a low-cost laser scanner -- Using IT/IS Applications to Empower Physically Challenged Individuals to Enjoy a High Quality of Life.
Record Nr. YALE-13655370
Materiale a stampa
Lo trovi qui: Yale University
Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / edited by Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger
Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / edited by Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger
Estensione 1 online resource (XXIV, 642 p.) 134 illus.
Disciplina 004.0151
Accesso persona Böckenhauer, Hans-Joachim
Komm, Dennis
Unger, Walter
Accesso ente SpringerLink (Online service)
ISBN 9783319983554
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automata and Formal Languages -- Algorithmics -- Computer Science Education.
Record Nr. YALE-13719616
Materiale a stampa
Lo trovi qui: Yale University
Python Machine Learning Case Studies [electronic resource] : Five Case Studies for the Data Scientist / by Danish Haroon
Python Machine Learning Case Studies [electronic resource] : Five Case Studies for the Data Scientist / by Danish Haroon
Creatore [Haroon, Danish]
Estensione 1 online resource (XVII, 204 p. 120 illus., 99 illus. in color.)
Disciplina 006
Accesso ente SpringerLink (Online service)
ISBN 9781484228234
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1:  Statistics and Probability -- Chapter 2:  Regression -- Chapter 3: Time series models -- Chapter 4: Classification and Clustering -- Chapter 5: Ensemble methods.
Record Nr. YALE-13337461
[Haroon, Danish]  
Materiale a stampa
Lo trovi qui: Yale University
E-Learning and Games [electronic resource] : 11th International Conference, Edutainment 2017, Bournemouth, UK, June 26–28, 2017, Revised Selected Papers / edited by Feng Tian, Christos Gatzidis, Abdennour El Rhalibi, Wen Tang, Fred Charles
E-Learning and Games [electronic resource] : 11th International Conference, Edutainment 2017, Bournemouth, UK, June 26–28, 2017, Revised Selected Papers / edited by Feng Tian, Christos Gatzidis, Abdennour El Rhalibi, Wen Tang, Fred Charles
Estensione 1 online resource (XIV, 308 p. 180 illus).
Disciplina 004.16
Accesso persona Tian, Feng
Gatzidis, Christos
El Rhalibi, Abdennour
Tang, Wen.
Charles, Fred
Accesso ente SpringerLink (Online service)
ISBN 9783319658490
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Virtual Reality and Augmented Reality in Edutainment -- Gamification for Serious Game and Training -- Graphics, Imaging and Applications -- E-Learning and Game.
Record Nr. YALE-13337795
Materiale a stampa
Lo trovi qui: Yale University
Information Search, Integration, and Personlization [electronic resource] : 11th International Workshop, ISIP 2016, Lyon, France, November 1–4, 2016, Revised Selected Papers / edited by Dimitris Kotzinos, Dominique Laurent, Jean-Marc Petit, Nicolas Spyratos, Yuzuru Tanaka
Information Search, Integration, and Personlization [electronic resource] : 11th International Workshop, ISIP 2016, Lyon, France, November 1–4, 2016, Revised Selected Papers / edited by Dimitris Kotzinos, Dominique Laurent, Jean-Marc Petit, Nicolas Spyratos, Yuzuru Tanaka
Estensione 1 online resource (XV, 141 p. 61 illus).
Disciplina 025.04
Accesso persona Kotzinos, Dimitris
Laurent, Dominique
Petit, Jean-Marc
Spyratos, Nicolas
Tanaka, Y. (Yuzuru)
Accesso ente SpringerLink (Online service)
ISBN 9783319682822
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Towards User-Aware Rule Discovery -- Discovering Injective Mapping between Relations in Astrophysics Databases -- Design of Distributed Calculation Scheme using Network Address -- Translation for Ad-hoc Wireless Positioning Network -- Latent Variable Model for Weather-Aware Traffic State Analysis -- Estimating Road Surface Conditions using Crowdsourcing -- Network-based pedestrian tracking system with densely placed wireless access points -- Semantic Partitioning for RDF Datasets -- Personal Networks of Scientific Collaborators: a large scale experimental analysis of their evolution.
Record Nr. YALE-13337874
Materiale a stampa
Lo trovi qui: Yale University
Information Retrieval [electronic resource] : 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings / edited by Jirong Wen, Jianyun Nie, Tong Ruan, Yiqun Liu, Tieyun Qian
Information Retrieval [electronic resource] : 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings / edited by Jirong Wen, Jianyun Nie, Tong Ruan, Yiqun Liu, Tieyun Qian
Estensione 1 online resource (XIV, 273 p. 96 illus).
Disciplina 025.04
Accesso persona Wen, Jirong
Nie, Jian-Yun
Ruan, Tong
Liu, Yiqun
Qian, Tieyun
Accesso ente SpringerLink (Online service)
ISBN 9783319686998
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Recommendation -- Understanding users -- NLP for IR -- IR and applications --  Query processing and analysis.  .
Record Nr. YALE-13337890
Materiale a stampa
Lo trovi qui: Yale University
Internet Video Data Streaming [electronic resource] : Energy-saving and Cost-aware Methods / by Ye Tian, Min Zhao, Xinming Zhang
Internet Video Data Streaming [electronic resource] : Energy-saving and Cost-aware Methods / by Ye Tian, Min Zhao, Xinming Zhang
Creatore [Tian, Ye.]
Estensione 1 online resource (XI, 60 p. 24 illus).
Disciplina 005.7
Accesso persona Zhao, Min.
Zhang, Xinming
Accesso ente SpringerLink (Online service)
ISBN 9789811065231
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1 Introduction -- 1.1 Background -- 1.2 CDN Objectives -- 1.3 Challenges in CDN -- 1.4 Energy-saving and Cost-aware Content Delivery -- Chapter 2 Content Delivery Networks and Its Interplay with ISPs -- 2.1 CDNs in Real World -- 2.2 Interplay between CDN and ISP -- Chapter 3 Energy Management -- 3.1 Energy Saving for Data Center -- 3.2 Energy Saving for CDN -- Chapter 4 Cost Measurement for Internet Video Streaming -- 4.1 Measurement Methodology and CDN Architecture -- 4.2 Server Selection Policy Analysis -- 4.3 Energy-aware Capacity Provisioning -- 4.4 Implication and Motivation -- Chapter 5 Capacity Provisioning for Video Content Delivery -- 5.1 Problem Statement -- 5.2 Capacity Provisioning Algorithm -- Chapter 6 Performance Evaluation -- 6.1 Experiment Setup -- 6.2 Evaluation and Comparison -- Chapter 7 Concluding Remarks.
Record Nr. YALE-13338662
[Tian, Ye.]  
Materiale a stampa
Lo trovi qui: Yale University