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.
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