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.
Computers and Games [[electronic resource] ] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / / edited by H. Jaap van den Herik, Paolo Ciancarini, H. (Jeroen) H.L. Donkers
| Computers and Games [[electronic resource] ] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / / edited by H. Jaap van den Herik, Paolo Ciancarini, H. (Jeroen) H.L. Donkers |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 283 p.) |
| Disciplina | 794.81526 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Numerical analysis Mathematical statistics Artificial intelligence Algorithms Computer Science Discrete Mathematics in Computer Science Numerical Analysis Probability and Statistics in Computer Science Artificial Intelligence |
| ISBN | 3-540-75538-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer Analysis of Chess Champions -- Automated Chess Tutor -- A New Heuristic Search Algorithm for Capturing Problems in Go -- An Open Boundary Safety-of-Territory Solver for the Game of Go -- Monte-Carlo Proof-Number Search for Computer Go -- Virtual Global Search: Application to 9×9 Go -- Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search -- Combinatorics of Go -- Abstracting Knowledge from Annotated Chinese-Chess Game Records -- Automatic Strategy Verification for Hex -- Feature Construction for Reinforcement Learning in Hearts -- A Skat Player Based on Monte-Carlo Simulation -- A Retrograde Approximation Algorithm for One-Player Can’t Stop -- Improving Depth-First PN-Search: 1?+?? Trick -- Search Versus Knowledge Revisited Again -- Counting the Number of Three-Player Partizan Cold Games -- LUMINES Strategies -- Computing Proper Equilibria of Zero-Sum Games -- Comparative Study of Approximate Strategies for Playing Sum Games Based on Subgame Types -- On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game -- Cheat-Proof Serverless Network Games -- Monte-Carlo Methods in Pool Strategy Game Trees -- Optimization of a Billiard Player – Tactical Play -- Gender and Cultural Differences (If Any!): South African School Children and Computer Games. |
| Record Nr. | UNISA-996465993603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and Games : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / / edited by H. Jaap van den Herik, Paolo Ciancarini, H. (Jeroen) H.L. Donkers
| Computers and Games : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / / edited by H. Jaap van den Herik, Paolo Ciancarini, H. (Jeroen) H.L. Donkers |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 283 p.) |
| Disciplina | 794.81526 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Numerical analysis Mathematical statistics Artificial intelligence Algorithms Computer Science Discrete Mathematics in Computer Science Numerical Analysis Probability and Statistics in Computer Science Artificial Intelligence |
| ISBN | 3-540-75538-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer Analysis of Chess Champions -- Automated Chess Tutor -- A New Heuristic Search Algorithm for Capturing Problems in Go -- An Open Boundary Safety-of-Territory Solver for the Game of Go -- Monte-Carlo Proof-Number Search for Computer Go -- Virtual Global Search: Application to 9×9 Go -- Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search -- Combinatorics of Go -- Abstracting Knowledge from Annotated Chinese-Chess Game Records -- Automatic Strategy Verification for Hex -- Feature Construction for Reinforcement Learning in Hearts -- A Skat Player Based on Monte-Carlo Simulation -- A Retrograde Approximation Algorithm for One-Player Can’t Stop -- Improving Depth-First PN-Search: 1?+?? Trick -- Search Versus Knowledge Revisited Again -- Counting the Number of Three-Player Partizan Cold Games -- LUMINES Strategies -- Computing Proper Equilibria of Zero-Sum Games -- Comparative Study of Approximate Strategies for Playing Sum Games Based on Subgame Types -- On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game -- Cheat-Proof Serverless Network Games -- Monte-Carlo Methods in Pool Strategy Game Trees -- Optimization of a Billiard Player – Tactical Play -- Gender and Cultural Differences (If Any!): South African School Children and Computer Games. |
| Record Nr. | UNINA-9910484661603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / / Paolo Ciancarini, Alexander L. Wolf, editors
| Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / / Paolo Ciancarini, Alexander L. Wolf, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 426 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Parallel processing (Electronic computers) |
| ISBN | 3-540-48919-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordination and Access Control of Mobile Agents -- Characteristics of an Agent Scripting Language and its Execution Environment -- Regular Papers -- A Coordination Model for Agents based on Secure Spaces -- Coordination with Attributes -- MobiS: A Specification Language for Mobile Systems -- Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols -- Pipelining the Molecule Soup: A Plumber’s Approach to Gamma -- Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language -- Coordination of Synchronous Programs -- Composing Specications for Coordination -- On the Expressiveness of Coordination Models -- Comparing Software Architectures for Coordination Languages -- A Hierarchical Model for Coordination of Concurrent Activities -- A Self-Deploying Election Service for Active Networks -- Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages -- A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation -- Coordination Among Mobile Objects -- Simulation of Conference Management using an Event-Driven Coordination Language -- Internet-Based Coordination Environments and Document-Based Applications: a Case Study -- Coordination of a Parallel Proposition Solver -- CLAM: Composition Language for Autonomous Megamodules -- Modeling Resources for Activity Coordination and Scheduling -- Static Analysis of Real-Time Component-based Systems Congurations -- Acme-based Software Architecture Interchange -- A Group Based Approach for Coordinating Active Objects -- Introducing Connections Into Classes With Static Meta-Programming -- TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols -- The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications -- Posters -- A Distributed Semantics for a IWIM-Based Coordination Language -- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications -- Presence and Instant Messaging via HTTP/1.1: A Coordination Perspective -- Towards a Periodic Table of Connectors. |
| Record Nr. | UNINA-9910143647203321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / / Paolo Ciancarini, Alexander L. Wolf, editors
| Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / / Paolo Ciancarini, Alexander L. Wolf, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 426 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Parallel processing (Electronic computers) |
| ISBN | 3-540-48919-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordination and Access Control of Mobile Agents -- Characteristics of an Agent Scripting Language and its Execution Environment -- Regular Papers -- A Coordination Model for Agents based on Secure Spaces -- Coordination with Attributes -- MobiS: A Specification Language for Mobile Systems -- Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols -- Pipelining the Molecule Soup: A Plumber’s Approach to Gamma -- Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language -- Coordination of Synchronous Programs -- Composing Specications for Coordination -- On the Expressiveness of Coordination Models -- Comparing Software Architectures for Coordination Languages -- A Hierarchical Model for Coordination of Concurrent Activities -- A Self-Deploying Election Service for Active Networks -- Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages -- A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation -- Coordination Among Mobile Objects -- Simulation of Conference Management using an Event-Driven Coordination Language -- Internet-Based Coordination Environments and Document-Based Applications: a Case Study -- Coordination of a Parallel Proposition Solver -- CLAM: Composition Language for Autonomous Megamodules -- Modeling Resources for Activity Coordination and Scheduling -- Static Analysis of Real-Time Component-based Systems Congurations -- Acme-based Software Architecture Interchange -- A Group Based Approach for Coordinating Active Objects -- Introducing Connections Into Classes With Static Meta-Programming -- TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols -- The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications -- Posters -- A Distributed Semantics for a IWIM-Based Coordination Language -- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications -- Presence and Instant Messaging via HTTP/1.1: A Coordination Perspective -- Towards a Periodic Table of Connectors. |
| Record Nr. | UNISA-996465654003316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / / Paolo Ciancarini, Herbert Wiklicky (eds.)
| Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / / Paolo Ciancarini, Herbert Wiklicky (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (VIII, 299 p.) |
| Disciplina | 004/.35 |
| Altri autori (Persone) |
CiancariniPaolo <1959->
WiklickyHerbert |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing |
| ISBN | 3-540-34695-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
| Altri titoli varianti | COORDINATION 2006 |
| Record Nr. | UNINA-9910483546103321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frontiers in software engineering : first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / / editors, Giancarlo Succi, Paolo Ciancarini, Artem Kruglov
| Frontiers in software engineering : first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / / editors, Giancarlo Succi, Paolo Ciancarini, Artem Kruglov |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (223 pages) |
| Disciplina | 005.1 |
| Collana | Communications in computer and information science |
| Soggetto topico | Software engineering |
| ISBN | 3-030-93135-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464443403316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers in software engineering : first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / / editors, Giancarlo Succi, Paolo Ciancarini, Artem Kruglov
| Frontiers in software engineering : first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / / editors, Giancarlo Succi, Paolo Ciancarini, Artem Kruglov |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (223 pages) |
| Disciplina | 005.1 |
| Collana | Communications in computer and information science |
| Soggetto topico | Software engineering |
| ISBN | 3-030-93135-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910520093803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of digital games and entertainment technologies / / Ryohei Nakatsu, Paolo Ciancarini, Matthias Rauterberg, editors
| Handbook of digital games and entertainment technologies / / Ryohei Nakatsu, Paolo Ciancarini, Matthias Rauterberg, editors |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Singapore : , : Springer Reference, , [2017] |
| Descrizione fisica | 1 online resource (373 illus., 255 illus. in color. eReference.) |
| Disciplina | 794.8 |
| Soggetto topico | Computer games |
| ISBN | 981-4560-50-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Monte-Carlo Tree Search in Board Games -- Action Games -- Motor Imagery -- and Control Strategies: Toward a Multi-button Controller -- Hand Gesture Interface for Entertainment Games -- Interactive Storytelling Paradigms and Representations: A Humanities-based Perspective -- Video Gaming on Ad Hoc Networks: Challenges and Solutions -- Serious games and their application in creating corporate identity -- Interface-Centric Art Games -- Design and Development of Playful Robotic Interfaces for Affective Telepresence -- Interactive Digital Narratives for iTV and Online Video -- Addiction and Entertainment Products -- Ethics -- Privacy and Trust in Serious Games. |
| Record Nr. | UNINA-9910483234403321 |
| Singapore : , : Springer Reference, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Frontiers for Entertainment Computing : IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy / / edited by Paolo Ciancarini, Ryohei Nakatsu, Matthias Rauterberg, Marco Roccetti
| New Frontiers for Entertainment Computing : IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy / / edited by Paolo Ciancarini, Ryohei Nakatsu, Matthias Rauterberg, Marco Roccetti |
| Autore | Gianturco Franco A. <1938-> |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | New York, NY : , : Springer US : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (145 p.) |
| Disciplina | 790.20285 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Computer science
Computer engineering Computer networks Application software Microcomputers Social sciences - Data processing Theory of Computation Computer Engineering and Networks Computer and Information Systems Applications Personal Computing Computer Application in Social and Behavioral Sciences |
| ISBN | 0-387-09701-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Enhancing Artificial Intelligence in Games by Learning the Opponent’s Playing Style -- Using Game Engines for Visualization in Scientific Applications -- An Interactive Visual Canon Platform -- Physical Emotion Induction and Its Use in Entertainment: Lessons Learned -- Networked Virtual Marionette Theater -- Entertainment Computing in the Orbit -- A Collaborative Science Learning Game Environment for Informal Science Education:DinoQuest Online -- Construction and Evaluation of a Robot Dance System -- Context-aware fun and games with Bluetooth -- Comic Layout for Automatic Comic Generation from Game Log -- Computing Inspiration: i.plot -- Analysis and Generation of Japanese Folktales Based on Vladimir Propp’s Methodology. |
| Record Nr. | UNINA-9910484667303321 |
Gianturco Franco A. <1938->
|
||
| New York, NY : , : Springer US : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||