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.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (228 p. 50 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32897-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report -- Multi-agent Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents -- Distributed Defeasible Speculative Reasoning in Ambient Environment -- A Formal Semantics for Agent (Re)Organization -- Epistemic ATL with Perfect Recall, Past and Strategy Contexts -- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters -- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach -- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks -- MKNF Knowledge Bases in Multi-Context Systems -- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning -- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation -- A Numerical Approach to the Merging of Argumentation Networks. |
| Record Nr. | UNISA-996465273303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors
| Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-48539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent-Oriented Software Engineering -- Towards Forward Responsibility in BDI Agents -- Imperative and Event-Driven Programming of Interoperable Software Agents -- vGOAL: a GOAL-based Specification Language for Safe Autonomous Decision-Making -- Agents and Microservices -- Protocol-Based Engineering of Microservices -- Exploiting Service-Discovery and OpenAPI in Multi-Agent MicroServices (MAMS) Applications -- Using Multi-Agent MicroServices (MAMS) for Agent-Based Modelling -- Strategy, Reasoning, and Planning -- Dynamics of Causal Dependencies in Multi-agent Settings -- Multi-armed Bandit Based Tariff Generation Strategy for Multi-Agent Smart Grid Systems -- Load Balancing in Distributed Multi-Agent Path Finder (DMAPF) -- Engineering Domains and Applications -- A Multi-Agent Approach for Decentralized Voltage Regulation in Micro Grids by Considering Distributed Generators -- Synthesizing Multi-agent System Organization from Engineering Descriptions -- Towards Developing Digial Twin Enabled Multi-Agent Systems -- Agents in Hypermedia Environments -- Towards Context-based Authorizations for Interactions in Hypermedia-driven Agent Environments — The CASHMERE Framework -- Towards Context-based Authorizations for Interactions in Hypermedia -- Pody: A Solid-based Approach to Embody Agents in Web-based Multi-Agent Systems -- Frameworks, Tooling, and DevOps -- Fantastic MASs and where to find them: First results and lesson learned -- The Entity-Operation Model for Practical Multi-entity Deployment -- Remote Deployment of a JADE Agent in Docker. |
| Record Nr. | UNINA-9910766887103321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors
| Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-48539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent-Oriented Software Engineering -- Towards Forward Responsibility in BDI Agents -- Imperative and Event-Driven Programming of Interoperable Software Agents -- vGOAL: a GOAL-based Specification Language for Safe Autonomous Decision-Making -- Agents and Microservices -- Protocol-Based Engineering of Microservices -- Exploiting Service-Discovery and OpenAPI in Multi-Agent MicroServices (MAMS) Applications -- Using Multi-Agent MicroServices (MAMS) for Agent-Based Modelling -- Strategy, Reasoning, and Planning -- Dynamics of Causal Dependencies in Multi-agent Settings -- Multi-armed Bandit Based Tariff Generation Strategy for Multi-Agent Smart Grid Systems -- Load Balancing in Distributed Multi-Agent Path Finder (DMAPF) -- Engineering Domains and Applications -- A Multi-Agent Approach for Decentralized Voltage Regulation in Micro Grids by Considering Distributed Generators -- Synthesizing Multi-agent System Organization from Engineering Descriptions -- Towards Developing Digial Twin Enabled Multi-Agent Systems -- Agents in Hypermedia Environments -- Towards Context-based Authorizations for Interactions in Hypermedia-driven Agent Environments — The CASHMERE Framework -- Towards Context-based Authorizations for Interactions in Hypermedia -- Pody: A Solid-based Approach to Embody Agents in Web-based Multi-Agent Systems -- Frameworks, Tooling, and DevOps -- Fantastic MASs and where to find them: First results and lesson learned -- The Entity-Operation Model for Practical Multi-entity Deployment -- Remote Deployment of a JADE Agent in Docker. |
| Record Nr. | UNISA-996565866103316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
| Engineering Multi-Agent Systems [[electronic resource] ] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 231 p. 55 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-26184-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports. |
| Record Nr. | UNISA-996466224403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
| Engineering Multi-Agent Systems : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 231 p. 55 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-26184-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports. |
| Record Nr. | UNINA-9910484506703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 261 p. 70 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Algorithms Programming languages (Electronic computers) Computer programming Computer organization Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Programming Techniques Computer Systems Organization and Communication Networks |
| ISBN | 3-319-68972-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . |
| Record Nr. | UNISA-996465324903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 261 p. 70 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Algorithms Programming languages (Electronic computers) Computer programming Computer organization Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Programming Techniques Computer Systems Organization and Communication Networks |
| ISBN | 3-319-68972-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . |
| Record Nr. | UNINA-9910485027303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 317 p. 80 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Programming languages (Electronic computers) Computer programming Software Engineering Logics and Meanings of Programs Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-319-24644-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts. |
| Record Nr. | UNISA-996466300603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 317 p. 80 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Programming languages (Electronic computers) Computer programming Software Engineering Logics and Meanings of Programs Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-319-24644-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts. |
| Record Nr. | UNINA-9910485013103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers / / edited by Ronald Poppe, John-Jules Meyer, Remco Veltkamp, Mehdi Dastani
| Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers / / edited by Ronald Poppe, John-Jules Meyer, Remco Veltkamp, Mehdi Dastani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 300 p. 87 illus.) |
| Disciplina | 006.7 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Multimedia systems
User interfaces (Computer systems) Artificial intelligence Application software Education—Data processing Optical data processing Media Design User Interfaces and Human Computer Interaction Artificial Intelligence Computer Applications Computers and Education Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-319-49616-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Designing collaborative games for children education on sustainable development -- Towards Serious Gaming for Communication Training – A Pilot Study with Police Academy Students -- A Serious Game for Learning Social Networking Literacy by Flaming Experiences -- Game@School. Teaching through Gaming and Mobile-based Tutoring Systems Interaction technologies -- Exploring User-Defined Gestures and Voice Commands to Control an Unmanned Aerial Vehicle -- Monitoring Interactions -- Hold me Tight: A Tangible Interface for Mediating Closeness to Overcome Physical Separation -- Analyzing Fear Using a Single-Sensor EEG Device Persuasion and motivation -- Design of an Adaptive Persuasive Mobile Application for Stimulating the Medication Adherence -- Interactive Advertisements in an IoT Era Exertion games -- Cooperative Tetris: the Influence of Social Exertion Gaming on Game Experience and Social Presence -- Distributed Embodied Team Play, a Distributed Interactive Pong Playground -- A Throw Training System Utilizing Visual and Sound Effects -- Play with Me! Gender-Typed Social Play Behavior Analysis in Interactive Tag Games -- Deep learning for classifying Battlefield 4 players -- Do Warriors, Villagers and Scientists Decide Differently? -- The Impact of Role on Message Framing -- The Effect of Gender, Native English Speaking, and Age on Game Genre Preference and Gaming Motivations -- Measuring Affective, Physiological and Behavioural Differences in Solo, Competitive and Collaborative Games -- The Oculus Rift Film Experience: A Case Study on Understanding Films in a Head Mounted Display -- WWoW: World Without Walls. Immersive Mixed Reality with Virtual Co-location, Natural Interactions, and Remote Collaboration -- My Drama: Story-based Game for Understanding Emotions in Context -- Building game scripting DSL’s with the Metacasanova metacompiler -- Interaction Design Tools for Autism -- Poème Numérique: Technology-Mediated Audience Participation (TMAP) using Smartphones and High-Frequency Sound IDs. . |
| Record Nr. | UNINA-9910254845403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
