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.
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / edited by Xin Geng, Byeong-Ho Kang
| PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / edited by Xin Geng, Byeong-Ho Kang |
| Estensione | XXIX, 524 p. 166 illus : online resource. |
| Disciplina | 006.3 |
| Accesso persona |
Geng, Xin.
Kang, Byeong-Ho |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319973104 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | YALE-13685477 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Advances in Knowledge Discovery and Data Mining [electronic resource] : 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part II / edited by James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang
| Advances in Knowledge Discovery and Data Mining [electronic resource] : 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part II / edited by James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang |
| Estensione | XXIV, 572 p. 156 illus : online resource. |
| Disciplina | 006.312 |
| Accesso persona |
Bailey, James
Khan, Latifur Washio, Takashi Dobbie, Gillian Huang, Joshua Zhexue Wang, Ruili |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319317502 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Classification -- Machine learning -- Applications -- Novel methods and algorithms -- Opinion mining and sentiment analysis -- Clustering -- Feature extraction and pattern mining -- Graph and network data -- Spatiotemporal and image data -- Anomaly detection and clustering -- Novel models and algorithms -- Text mining and recommender systems. |
| Record Nr. | YALE-12790194 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Human Centered Computing [electronic resource] : Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu.
| Human Centered Computing [electronic resource] : Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu. |
| Estensione | XXI, 976 p. 529 illus : online resource. |
| Disciplina | 004.6 |
| Accesso persona |
Zu, Qiaohong
Hu, Bo. |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319318547 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infrastructure and devices -- Service and solution -- Data and knowledge -- Community. |
| Record Nr. | YALE-12790199 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr
| Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr |
| Estensione | XXIV, 622 p. 229 illus : online resource. |
| Disciplina | 005.1 |
| Accesso persona |
Wyrzykowski, Roman
Deelman, Ewa. Dongarra, Jack Karczewski, Konrad Kitowski, Jacek Wiatr, Kazimierz |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319321493 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Parallel Architectures and Resilience -- Numerical Algorithms and Parallel Scientific Computing -- Parallel Non-Numerical Algorithms -- Tools and Environments for Parallel/Distributed/Cloud Computing -- Application of Parallel Computing -- Neural Networks, Evolutionary Computing and Metaheuristics -- Minisymposium on GPU Computing -- Special Session on Efficient Algorithms for Problems with Matrix and Tensor Decompositions. |
| Record Nr. | YALE-12790213 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs
| Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs |
| Estensione | XVI, 245 p. 75 illus : online resource. |
| Disciplina | 005.1 |
| Accesso persona |
Bošnački, Dragan
Wijs, Anton |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319325828 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets. |
| Record Nr. | YALE-12790228 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian
| Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian |
| Estensione | XX, 474 p. 151 illus : online resource. |
| Disciplina | 006.3 |
| Accesso persona |
Rovatsos, Michael
Vouros, George Julian, Vicente |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319335094 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Excerpts from the Study of Coalitions: from Social Behavior to Computer Science -- Probationary Contracts: Reducing Risk in Norm-Based Systems -- From Public Plans To Global Solutions in Multiagent Planning -- Intelligent People Flow Guidance in Smart Spaces -- Customized document research by a stigmergic approach using agents and artifacts -- Collaborative Framework for Monitoring Reliability of Distributed Components of Composed Services -- Graph Patterns, Reinforcement Learning and Models of Reputation for Improving Coalition Formation in Collaborative Multi-Agent Systems -- Multiagent Model for Agile Context Inference based on Artificial Immune Systems and Sparse Distributed Representations -- Factored MDPs for Optimal Prosumer Decision-Making in Continuous State Spaces -- Composing Swarm Robot Formations Based on Their Distributions Using Mobile Agents -- Group-based Pricing to Shape Demand in Real-time Electricity Markets -- Human Rating Methods on Multi-Agent Systems -- Learning in Multi Agent Social Environments with Opponent Models -- A Particle Swarm Optimization Metaheuristic for the Blocking Flow Shop Scheduling Problem: Total Tardiness Minimization -- Towards an Agent-based Negotiation Scheme for Scheduling Electric Vehicles Charging -- Agreement Technologies In Smart Cities: Transmission Towers Maintenance With Virtual Organizations -- TugaTAC Broker: A Fuzzy Logic Adaptive Reasoning Agent for Energy Trading -- A Dialectical Approach to Enable Decision Making in Online Trading -- What should an agent know not to fail in persuasion -- Argumentation-based Hybrid Recommender System for Recommending Learning Objects -- How to share knowledge by gossiping -- Identifying Malicious Behavior in Multi-party Bipolar Argumentation Debates -- Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity -- Modeling Social Deviance in Artificial Agent Societies -- Modeling and Enforcing Semantic Obligations for Access Control -- Coupling Regulative and Constitutive Dimensions in Situated Artificial Institutions -- Trust-based Multiagent Credit Assignment (TMCA) -- Information sources about hydrogeological disasters: the role of trust -- Trust, Negotiations and Virtual Currencies for a Sharing Economy -- Logic and Games for Ethical Agents in Normative Multi-agent Systems -- Human-in-the-Loop Simulation of a Virtual Classroom -- Applying agent based simulation to the design of traffic control systems with respect to real-world urban complexity -- Towards Smart Open Dynamic Fleets -- A Concurrent Architecture for Agent Reasoning Cycle Execution in Jason -- Hardware Architecture Benchmarking for Simulation of Human Immune System by Multi-agents Systems -- Automating Personalized Learning through Motivation -- Agent Based Simulation to Evaluate Adaptive Caching in Distributed Databases -- Analysing Incentive Strategies to Promote Participation in Crowdsourcing Systems. |
| Record Nr. | YALE-12790254 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
| Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
| Estensione | XVII, 167 p. 36 illus : online resource. |
| Disciplina | 005.7 |
| Accesso persona |
Hildebrandt, Thomas
Ravara, António van der Werf, Jan Martijn Weidlich, Matthias |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783319336121 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
| Record Nr. | YALE-12790295 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin
| Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin |
| Estensione | XIX, 961 p. 220 illus : online resource. |
| Disciplina | 005.1015113 |
| Accesso persona |
Chechik, Marsha
Raskin, Jean-François |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783662496749 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots at the Edge of the Cloud -- Finding Recurrent Sets with Backward Analysis and Trace Partitioning -- Tactics for the Dafny Program Verifier -- Synthesizing Ranking Functions from Bits and Pieces -- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems -- Probabilistic and Stochastic Systems Efficient Syntax-driven Lumping of Differential Equations -- Faster Statistical Model Checking for Unbounded Temporal Properties -- Safety-constrained Reinforcement Learning for MDPs -- Safety Verification of Continuous-Space Pure Jump Markov Processes -- Abstract Learning Frameworks for Synthesis -- Synthesizing Piece-wise Functions by Learning Classifiers -- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs -- Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities -- Online and Compositional Learning of Controllers with Application to Floor Heating -- Deductive Proofs of Almost Sure Persistence and Recurrence Properties -- Probabilistic CTL* : The Deductive Way -- Parametric Runtime Verification of C Programs -- Coqoon: an IDE for interactive proof development in Coq -- Multi-core symbolic bisimulation minimization -- Advances in Symbolic Probabilistic Model Checking with PRISM -- PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems -- T2: Temporal Property Verification -- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-based Systems -- TcT: Tyrolean Complexity Tool -- Integrated Environment for Diagnosing Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control-Flow Analysis of Workflow Graphs -- Approaching the Coverability Problem Continuously -- On Atomicity in Presence of Non-atomic Writes -- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models -- The xSAP Safety Analysis Platform -- FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals -- PrDK: Protocol Programming with Automata -- DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation -- PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games -- Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v2c - A Verilog to C Translator Tool -- Parameterized Compositional Model Checking -- An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation -- Interpolants in Nonlinear Theories over the Reals -- PTIME Computation of Transitive Closures of Octagonal Relations -- Verification of Linear Controller Software -- Partial Order Reduction for Event-driven Multi-threaded Programs -- Acceleration in Multi-Pushdown Systems -- Reduction of Nondeterministic Tree Automata -- Online Timed Pattern Matching using Derivatives -- Hybridization based CEGAR for Hybrid Automata with Affine Dynamics -- Complementing Semi-deterministic Buechi Automata -- Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication -- Some Complexity Results for Stateful Network Verification -- Characteristic Formulae for Session Types -- Bit-Vector Optimization -- Runtime Monitoring with Union-Find Structures -- Competition on Software Verification: SV-COMP -- Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). |
| Record Nr. | YALE-12790348 |
| Materiale a stampa | |
| Lo trovi qui: Yale University | |
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin
| Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin |
| Creatore | [Ardagna, Claudio A.] |
| Estensione | 1 online resource. |
| Disciplina | 004 |
| Accesso persona |
Damiani, Ernesto
Maciaszek, Leszek A. Missikoff, M. Parkin, Michael |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783642324390 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | YALE-11049409 |
[Ardagna, Claudio A.]
|
|
| Risorse elettroniche | |
| Lo trovi qui: Yale University | |
Convergence and Hybrid Information Technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings / edited by Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik Ślęzak
| Convergence and Hybrid Information Technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings / edited by Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik Ślęzak |
| Creatore | [Lee, Geuk] |
| Estensione | 1 online resource. |
| Disciplina | 004.6 |
| Accesso persona |
Howard, Daniel
Kang, Jeong Jin. Ślęzak, Dominik |
| Accesso ente | SpringerLink (Online service) |
| ISBN | 9783642326455 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | YALE-11049431 |
|
[Lee, Geuk]
|
|
| Risorse elettroniche | |
| Lo trovi qui: Yale University | |
