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 : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / / edited by Tony Marsland, Ian Frank
| Computers and Games : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / / edited by Tony Marsland, Ian Frank |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 450 p.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computers Artificial intelligence Computer science—Mathematics Algorithms Data structures (Computer science) Popular Computer Science Theory of Computation Artificial Intelligence Mathematics of Computing Algorithm Analysis and Problem Complexity Data Structures |
| ISBN | 3-540-45579-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search and Strategies -- A Least-Certainty Heuristic for Selective Search -- Lambda-Search in Game Trees — with Application to Go -- Abstract Proof Search -- Solving Kriegspiel-Like Problems: Examining Efficient Search Methods -- Strategies for the Automatic Construction of Opening Books -- Awari Retrograde Analysis -- Construction of Chinese Chess Endgame Databases by Retrograde Analysis -- Learning and Pattern Acquisition -- Learning from Perfection -- Chess Neighborhoods, Function Combination, and Reinforcement Learning -- Learning a Go Heuristic with Tilde -- Learning Time Allocation Using Neural Networks -- Theory and Complexity Issues -- The Complexity of Graph Ramsey Games -- Virus Versus Mankind -- Creating Difficult Instances of the Post Correspondence Problem -- Integer Programming Based Algorithms for Peg Solitaire Problems -- Ladders Are PSPACE-Complete -- Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs -- Further Experiments with Games -- New Self-Play Results in Computer Chess -- SUPER-SOMA — Solving Tactical Exchanges in Shogi without Tree Searching -- A Shogi Processor with a Field Programmable Gate Array -- Plausible Move Generation Using Move Merit Analysis with Cut-Off Thresholds in Shogi -- Abstraction Methods for Game Theoretic Poker -- Reasoning by Agents in Computer Bridge Bidding -- Invited Talks and Reviews -- Linguistic Geometry for Solving War Games -- Physics and Ecology of Rock-Paper-Scissors Game -- Review: Computer Language Games -- Review: Computer Go 1984–2000 -- Review: Intelligent Agents for Computer Games -- Review: RoboCup through 2000 -- Review: Computer Shogi through 2000. |
| Record Nr. | UNINA-9910143602403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings / / H. Jaap van den Herik, Hiroyuki Iida, editors
| Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings / / H. Jaap van den Herik, Hiroyuki Iida, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 122 illus., 7 illus. in color.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microcomputers
Video games |
| ISBN | 3-540-48957-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search and Strategies -- Relevance Cuts: Localizing the Search -- Multi-cut Pruning in Alpha-Beta Search -- A Solution to the GHI Problem for Best-First Search -- Optimal Play against Best Defence: Complexity and Heuristics -- A Speculative Strategy -- An Adversarial Planning Approach to Go -- Learning and Pattern Acquisition -- First Results from Using Temporal Difference Learning in Shogi -- From Simple Features to Sophisticated Evaluation Functions -- A Two-Step Model of Pattern Acquisition: Application to Tsume-Go -- A Neural Network Program of Tsume-Go -- Distributed Decision Making in Checkers -- Theory -- Game Tree Algorithms and Solution Trees -- A New Heap Game -- Infinite Cyclic Impartial Games -- On the Complexity of Tsume-Go -- Extended Thermography for Multiple Kos in Go -- Go, Tsume-Shogi, and Heian-Shogi -- Computer Go: A Research Agenda -- Estimating the Possible Omission Number for Groups in Go by the Number of n-th Dame -- Relations between Skill and the Use of Terms -- A Survey of Tsume-Shogi Programs Using Variable-Depth Search -- Retrograde Analysis of the KGK Endgame in Shogi: Its Implications for Ancient Heian Shogi. |
| Record Nr. | UNINA-9910143472803321 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings / / H. Jaap van den Herik, Hiroyuki Iida, editors
| Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings / / H. Jaap van den Herik, Hiroyuki Iida, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 122 illus., 7 illus. in color.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microcomputers
Video games |
| ISBN | 3-540-48957-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search and Strategies -- Relevance Cuts: Localizing the Search -- Multi-cut Pruning in Alpha-Beta Search -- A Solution to the GHI Problem for Best-First Search -- Optimal Play against Best Defence: Complexity and Heuristics -- A Speculative Strategy -- An Adversarial Planning Approach to Go -- Learning and Pattern Acquisition -- First Results from Using Temporal Difference Learning in Shogi -- From Simple Features to Sophisticated Evaluation Functions -- A Two-Step Model of Pattern Acquisition: Application to Tsume-Go -- A Neural Network Program of Tsume-Go -- Distributed Decision Making in Checkers -- Theory -- Game Tree Algorithms and Solution Trees -- A New Heap Game -- Infinite Cyclic Impartial Games -- On the Complexity of Tsume-Go -- Extended Thermography for Multiple Kos in Go -- Go, Tsume-Shogi, and Heian-Shogi -- Computer Go: A Research Agenda -- Estimating the Possible Omission Number for Groups in Go by the Number of n-th Dame -- Relations between Skill and the Use of Terms -- A Survey of Tsume-Shogi Programs Using Variable-Depth Search -- Retrograde Analysis of the KGK Endgame in Shogi: Its Implications for Ancient Heian Shogi. |
| Record Nr. | UNISA-996466124903316 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing / / Association for Computing Machinery
| Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York, NY : , : The Association for Computing Machinery, , [2020] |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.16 |
| Soggetto topico | Microcomputer workstations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510484503321 |
| New York, NY : , : The Association for Computing Machinery, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / / Pascal Paillier, Ingrid Verbauwhede (eds.)
| Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / / Pascal Paillier, Ingrid Verbauwhede (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 468 p.) |
| Disciplina | 004.16 |
| Collana | Security and Cryptology |
| Soggetto topico |
Embedded computer systems
Computer security Cryptography |
| ISBN | 3-540-74735-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Differential and Higher Order Attacks -- A First-Order DPA Attack Against AES in Counter Mode with Unknown Initial Counter -- Gaussian Mixture Models for Higher-Order Side Channel Analysis -- Side Channel Cryptanalysis of a Higher Order Masking Scheme -- Random Number Generation and Device Identification -- High-Speed True Random Number Generation with Logic Gates Only -- FPGA Intrinsic PUFs and Their Use for IP Protection -- Logic Styles: Masking and Routing -- Evaluation of the Masked Logic Style MDPL on a Prototype Chip -- Masking and Dual-Rail Logic Don’t Add Up -- DPA-Resistance Without Routing Constraints? -- Efficient Algorithms for Embedded Processors -- On the Power of Bitslice Implementation on Intel Core2 Processor -- Highly Regular Right-to-Left Algorithms for Scalar Multiplication -- MAME: A Compression Function with Reduced Hardware Requirements -- Collision Attacks and Fault Analysis -- Collision Attacks on AES-Based MAC: Alpha-MAC -- Secret External Encodings Do Not Prevent Transient Fault Analysis -- Two New Techniques of Side-Channel Cryptanalysis -- High Speed AES Implementations -- AES Encryption Implementation and Analysis on Commodity Graphics Processing Units -- Multi-gigabit GCM-AES Architecture Optimized for FPGAs -- Public-Key Cryptography -- Arithmetic Operators for Pairing-Based Cryptography -- FPGA Design of Self-certified Signature Verification on Koblitz Curves -- How to Maximize the Potential of FPGA Resources for Modular Exponentiation -- Implementation Cost of Countermeasures -- TEC-Tree: A Low-Cost, Parallelizable Tree for Efficient Defense Against Memory Replay Attacks -- Power Analysis Resistant AES Implementation with Instruction Set Extensions -- Security Issues for RF and RFID -- Power and EM Attacks on Passive RFID Devices -- RFID Noisy Reader How to Prevent from Eavesdropping on the Communication? -- RF-DNA: Radio-Frequency Certificates of Authenticity -- Special Purpose Hardware for Cryptanalysis -- CAIRN 2: An FPGA Implementation of the Sieving Step in the Number Field Sieve Method -- Collision Search for Elliptic Curve Discrete Logarithm over GF(2 m ) with FPGA -- A Hardware-Assisted Realtime Attack on A5/2 Without Precomputations -- Side Channel Analysis -- Differential Behavioral Analysis -- Information Theoretic Evaluation of Side-Channel Resistant Logic Styles -- Problems and Solutions for Lightweight Devices -- On the Implementation of a Fast Prime Generation Algorithm -- PRESENT: An Ultra-Lightweight Block Cipher -- Cryptographic Hardware and Embedded Systems - CHES 2007. |
| Record Nr. | UNINA-9910484964003321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / / Pascal Paillier, Ingrid Verbauwhede (eds.)
| Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / / Pascal Paillier, Ingrid Verbauwhede (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 468 p.) |
| Disciplina | 004.16 |
| Collana | Security and Cryptology |
| Soggetto topico |
Embedded computer systems
Computer security Cryptography |
| ISBN | 3-540-74735-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Differential and Higher Order Attacks -- A First-Order DPA Attack Against AES in Counter Mode with Unknown Initial Counter -- Gaussian Mixture Models for Higher-Order Side Channel Analysis -- Side Channel Cryptanalysis of a Higher Order Masking Scheme -- Random Number Generation and Device Identification -- High-Speed True Random Number Generation with Logic Gates Only -- FPGA Intrinsic PUFs and Their Use for IP Protection -- Logic Styles: Masking and Routing -- Evaluation of the Masked Logic Style MDPL on a Prototype Chip -- Masking and Dual-Rail Logic Don’t Add Up -- DPA-Resistance Without Routing Constraints? -- Efficient Algorithms for Embedded Processors -- On the Power of Bitslice Implementation on Intel Core2 Processor -- Highly Regular Right-to-Left Algorithms for Scalar Multiplication -- MAME: A Compression Function with Reduced Hardware Requirements -- Collision Attacks and Fault Analysis -- Collision Attacks on AES-Based MAC: Alpha-MAC -- Secret External Encodings Do Not Prevent Transient Fault Analysis -- Two New Techniques of Side-Channel Cryptanalysis -- High Speed AES Implementations -- AES Encryption Implementation and Analysis on Commodity Graphics Processing Units -- Multi-gigabit GCM-AES Architecture Optimized for FPGAs -- Public-Key Cryptography -- Arithmetic Operators for Pairing-Based Cryptography -- FPGA Design of Self-certified Signature Verification on Koblitz Curves -- How to Maximize the Potential of FPGA Resources for Modular Exponentiation -- Implementation Cost of Countermeasures -- TEC-Tree: A Low-Cost, Parallelizable Tree for Efficient Defense Against Memory Replay Attacks -- Power Analysis Resistant AES Implementation with Instruction Set Extensions -- Security Issues for RF and RFID -- Power and EM Attacks on Passive RFID Devices -- RFID Noisy Reader How to Prevent from Eavesdropping on the Communication? -- RF-DNA: Radio-Frequency Certificates of Authenticity -- Special Purpose Hardware for Cryptanalysis -- CAIRN 2: An FPGA Implementation of the Sieving Step in the Number Field Sieve Method -- Collision Search for Elliptic Curve Discrete Logarithm over GF(2 m ) with FPGA -- A Hardware-Assisted Realtime Attack on A5/2 Without Precomputations -- Side Channel Analysis -- Differential Behavioral Analysis -- Information Theoretic Evaluation of Side-Channel Resistant Logic Styles -- Problems and Solutions for Lightweight Devices -- On the Implementation of a Fast Prime Generation Algorithm -- PRESENT: An Ultra-Lightweight Block Cipher -- Cryptographic Hardware and Embedded Systems - CHES 2007. |
| Record Nr. | UNISA-996465829403316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The CSI International Symposium on Real-Time and Embedded Systems and Technologies : May 9-10, 2018, University of Tehran, Iran / / Institute of Electrical and Electronics Engineers
| The CSI International Symposium on Real-Time and Embedded Systems and Technologies : May 9-10, 2018, University of Tehran, Iran / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
| Descrizione fisica | 1 online resource (111 pages) |
| Disciplina | 004.16 |
| Soggetto topico | Embedded computer systems |
| ISBN | 1-5386-1475-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279587603316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The CSI International Symposium on Real-Time and Embedded Systems and Technologies : May 9-10, 2018, University of Tehran, Iran / / Institute of Electrical and Electronics Engineers
| The CSI International Symposium on Real-Time and Embedded Systems and Technologies : May 9-10, 2018, University of Tehran, Iran / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
| Descrizione fisica | 1 online resource (111 pages) |
| Disciplina | 004.16 |
| Soggetto topico | Embedded computer systems |
| ISBN | 1-5386-1475-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910280909903321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Datenbank-gestützte Prozessautomatisierung bei Software-Tests / / vorgelegt von Vladimir Entin
| Datenbank-gestützte Prozessautomatisierung bei Software-Tests / / vorgelegt von Vladimir Entin |
| Autore | Entin Vladimir |
| Edizione | [1. Auflage.] |
| Pubbl/distr/stampa | Göttingen, [Germany] : , : Cuvillier Verlag, , 2010 |
| Descrizione fisica | 1 online resource (235 pages) : illustrations |
| Disciplina | 004.16 |
| Collana | Audi Dissertationsreihe |
| Soggetto topico | Embedded computer systems |
| ISBN | 3-7369-3354-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910795090203321 |
Entin Vladimir
|
||
| Göttingen, [Germany] : , : Cuvillier Verlag, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Datenbank-gestützte Prozessautomatisierung bei Software-Tests / / vorgelegt von Vladimir Entin
| Datenbank-gestützte Prozessautomatisierung bei Software-Tests / / vorgelegt von Vladimir Entin |
| Autore | Entin Vladimir |
| Edizione | [1. Auflage.] |
| Pubbl/distr/stampa | Göttingen, [Germany] : , : Cuvillier Verlag, , 2010 |
| Descrizione fisica | 1 online resource (235 pages) : illustrations |
| Disciplina | 004.16 |
| Collana | Audi Dissertationsreihe |
| Soggetto topico | Embedded computer systems |
| ISBN | 3-7369-3354-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910808213803321 |
|
Entin Vladimir
|
||
| Göttingen, [Germany] : , : Cuvillier Verlag, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
