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.
Computer Performance Engineering [[electronic resource] ] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by András Horváth, Katinka Wolter
Computer Performance Engineering [[electronic resource] ] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by András Horváth, Katinka Wolter
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XVI, 271 p. 93 illus.)
Disciplina 004.24
Collana Programming and Software Engineering
Soggetto topico Computer system failures
Mathematical statistics
Computer logic
Software engineering
Computer simulation
System Performance and Evaluation
Probability and Statistics in Computer Science
Logics and Meanings of Programs
Software Engineering
Simulation and Modeling
ISBN 3-319-10885-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cloud Performance Modelling -- Optimal Hiring of Cloud Servers -- Performance Evaluation of NoSQL Databases -- Queueing and Fluid Models -- A Systematic Approach for Composing General Middleware Completions to Performance Models -- Vacation and Polling Models with Retrials -- Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline -- Performance of Computation and Programming Use of a Levy Distribution for Modeling Best Case Execution Time Variation -- On the Predictive Properties of Performance Models Derived through Input-Output Relationships -- Deriving Work Plans for Solving Performance and Scalability Problems -- Fitting -- Dealing with Zero Density Using Piecewise Phase-Type Approximation -- Uncertainty in On-The-Fly Epidemic Fitting -- Urban Traffic Modelling -- Performance Modeling of Intelligent Car Parking Systems -- Formal Punctuality Analysis of Frequent Bus Services Using Headway Data -- Decision Making -- Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues -- A Decision Making Model of Influencing Behavior in Information Security -- Automated Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of Global Reachability Probabilities of Markov Population Models -- Explicit State Space and Markov Chain Generation Using Decision Diagrams -- Non-Markovian Modeling of a BladeCenter Chassis Midplane.
Record Nr. UNISA-996202526003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Performance Engineering and Stochastic Modelling [[electronic resource] ] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / / edited by Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Computer Performance Engineering and Stochastic Modelling [[electronic resource] ] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / / edited by Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Autore Iacono Mauro
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (411 pages)
Disciplina 005.8
Altri autori (Persone) ScarpaMarco
BarbieratoEnrico
SerranoSalvatore
CerottiDavide
LongoFrancesco
Collana Lecture Notes in Computer Science
Soggetto topico Data protection
Computer science - Mathematics
Mathematical statistics
Computer networks
Computers, Special purpose
Computer systems
Application software
Data and Information Security
Probability and Statistics in Computer Science
Computer Communication Networks
Special Purpose and Application-Based Systems
Computer System Implementation
Computer and Information Systems Applications
ISBN 3-031-43185-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996558469703316
Iacono Mauro  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Performance Engineering and Stochastic Modelling [[electronic resource] ] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / / edited by Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Computer Performance Engineering and Stochastic Modelling [[electronic resource] ] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / / edited by Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Autore Iacono Mauro
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (411 pages)
Disciplina 005.8
Altri autori (Persone) ScarpaMarco
BarbieratoEnrico
SerranoSalvatore
CerottiDavide
LongoFrancesco
Collana Lecture Notes in Computer Science
Soggetto topico Data protection
Computer science - Mathematics
Mathematical statistics
Computer networks
Computers, Special purpose
Computer systems
Application software
Data and Information Security
Probability and Statistics in Computer Science
Computer Communication Networks
Special Purpose and Application-Based Systems
Computer System Implementation
Computer and Information Systems Applications
ISBN 3-031-43185-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910747596603321
Iacono Mauro  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Vision [[electronic resource] ] : Statistical Models for Marr's Paradigm / / by Song-Chun Zhu, Ying Nian Wu
Computer Vision [[electronic resource] ] : Statistical Models for Marr's Paradigm / / by Song-Chun Zhu, Ying Nian Wu
Autore Zhu Song-Chun
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (XIV, 357 p. 192 illus., 109 illus. in color.)
Disciplina 006
Soggetto topico Image processing—Digital techniques
Computer vision
Information visualization
Computer science
Computer science—Mathematics
Mathematical statistics
Neural networks (Computer science)
Computer Imaging, Vision, Pattern Recognition and Graphics
Data and Information Visualization
Theory of Computation
Probability and Statistics in Computer Science
Computer Science
Mathematical Models of Cognitive Processes and Neural Networks
ISBN 3-030-96530-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface -- About the Authors -- 1 Introduction -- 2 Statistics of Natural Images -- 3 Textures -- 4 Textons -- 5 Gestalt Laws and Perceptual Organizations -- 6 Primal Sketch: Integrating Textures and Textons -- 7 2.1D Sketch and Layered Representation -- 8 2.5D Sketch and Depth Maps -- 9 Learning about information Projection -- 10 Informing Scaling and Regimes of Models -- 11 Deep Images and Models -- 12 A Tale of Three Families: Discriminative, Generative and Descriptive Models -- Bibliography.
Record Nr. UNINA-9910682550603321
Zhu Song-Chun  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Vision [[electronic resource] ] : Statistical Models for Marr's Paradigm / / by Song-Chun Zhu, Ying Nian Wu
Computer Vision [[electronic resource] ] : Statistical Models for Marr's Paradigm / / by Song-Chun Zhu, Ying Nian Wu
Autore Zhu Song-Chun
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (XIV, 357 p. 192 illus., 109 illus. in color.)
Disciplina 006
Soggetto topico Image processing—Digital techniques
Computer vision
Information visualization
Computer science
Computer science—Mathematics
Mathematical statistics
Neural networks (Computer science)
Computer Imaging, Vision, Pattern Recognition and Graphics
Data and Information Visualization
Theory of Computation
Probability and Statistics in Computer Science
Computer Science
Mathematical Models of Cognitive Processes and Neural Networks
ISBN 3-030-96530-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface -- About the Authors -- 1 Introduction -- 2 Statistics of Natural Images -- 3 Textures -- 4 Textons -- 5 Gestalt Laws and Perceptual Organizations -- 6 Primal Sketch: Integrating Textures and Textons -- 7 2.1D Sketch and Layered Representation -- 8 2.5D Sketch and Depth Maps -- 9 Learning about information Projection -- 10 Informing Scaling and Regimes of Models -- 11 Deep Images and Models -- 12 A Tale of Three Families: Discriminative, Generative and Descriptive Models -- Bibliography.
Record Nr. UNISA-996547970603316
Zhu Song-Chun  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computers and Games [[electronic resource] ] : 6th International Conference, CG 2008 Beijing, China, September 29 - October 1, 2008. Proceedings / / edited by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma, Mark H.M. Winands
Computers and Games [[electronic resource] ] : 6th International Conference, CG 2008 Beijing, China, September 29 - October 1, 2008. Proceedings / / edited by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma, Mark H.M. Winands
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 275 p.)
Disciplina 794.81526
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Numerical analysis
Mathematical statistics
Artificial intelligence
Algorithms
Artificial intelligence—Data processing
Discrete Mathematics in Computer Science
Numerical Analysis
Probability and Statistics in Computer Science
Artificial Intelligence
Data Science
ISBN 3-540-87608-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Single-Player Monte-Carlo Tree Search -- Amazons Discover Monte-Carlo -- Monte-Carlo Tree Search Solver -- An Analysis of UCT in Multi-player Games -- Multi-player Go -- Parallel Monte-Carlo Tree Search -- A Parallel Monte-Carlo Tree Search Algorithm -- Using Artificial Boundaries in the Game of Go -- A Fast Indexing Method for Monte-Carlo Go -- An Improved Safety Solver in Go Using Partial Regions -- Whole-History Rating: A Bayesian Rating System for Players of Time-Varying Strength -- Frequency Distribution of Contextual Patterns in the Game of Go -- A New Proof-Number Calculation Technique for Proof-Number Search -- About the Completeness of Depth-First Proof-Number Search -- Weak Proof-Number Search -- Cognitive Modeling of Knowledge-Guided Information Acquisition in Games -- Knowledge Inferencing on Chinese Chess Endgames -- Learning Positional Features for Annotating Chess Games: A Case Study -- Extended Null-Move Reductions -- GTQ: A Language and Tool for Game-Tree Analysis -- Probing the 4-3-2 Edge Template in Hex -- The Game of Synchronized Domineering -- A Retrograde Approximation Algorithm for Multi-player Can’t Stop -- AWT: Aspiration with Timer Search Algorithm in Siguo.
Record Nr. UNISA-996465993903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computers and Games [[electronic resource] ] : 6th International Conference, CG 2008 Beijing, China, September 29 - October 1, 2008. Proceedings / / edited by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma, Mark H.M. Winands
Computers and Games [[electronic resource] ] : 6th International Conference, CG 2008 Beijing, China, September 29 - October 1, 2008. Proceedings / / edited by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma, Mark H.M. Winands
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 275 p.)
Disciplina 794.81526
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Numerical analysis
Mathematical statistics
Artificial intelligence
Algorithms
Artificial intelligence—Data processing
Discrete Mathematics in Computer Science
Numerical Analysis
Probability and Statistics in Computer Science
Artificial Intelligence
Data Science
ISBN 3-540-87608-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Single-Player Monte-Carlo Tree Search -- Amazons Discover Monte-Carlo -- Monte-Carlo Tree Search Solver -- An Analysis of UCT in Multi-player Games -- Multi-player Go -- Parallel Monte-Carlo Tree Search -- A Parallel Monte-Carlo Tree Search Algorithm -- Using Artificial Boundaries in the Game of Go -- A Fast Indexing Method for Monte-Carlo Go -- An Improved Safety Solver in Go Using Partial Regions -- Whole-History Rating: A Bayesian Rating System for Players of Time-Varying Strength -- Frequency Distribution of Contextual Patterns in the Game of Go -- A New Proof-Number Calculation Technique for Proof-Number Search -- About the Completeness of Depth-First Proof-Number Search -- Weak Proof-Number Search -- Cognitive Modeling of Knowledge-Guided Information Acquisition in Games -- Knowledge Inferencing on Chinese Chess Endgames -- Learning Positional Features for Annotating Chess Games: A Case Study -- Extended Null-Move Reductions -- GTQ: A Language and Tool for Game-Tree Analysis -- Probing the 4-3-2 Edge Template in Hex -- The Game of Synchronized Domineering -- A Retrograde Approximation Algorithm for Multi-player Can’t Stop -- AWT: Aspiration with Timer Search Algorithm in Siguo.
Record Nr. UNINA-9910484725803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910484661603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computers and Games [[electronic resource] ] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / / edited by H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu
Computers and Games [[electronic resource] ] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / / edited by H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XIV, 334 p.)
Disciplina 000
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-32489-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Efficient Control of Selective Simulations -- Game-Tree Search with Adaptation in Stochastic Imperfect-Information Games -- Rediscovering *-Minimax Search -- *-Minimax Performance in Backgammon -- Associating Shallow and Selective Global Tree Search with Monte Carlo for 9 × 9 Go -- Learning to Estimate Potential Territory in the Game of Go -- An Improved Safety Solver for Computer Go -- Searching for Compound Goals Using Relevancy Zones in the Game of Go -- Rule-Tolerant Verification Algorithms for Completeness of Chinese-Chess Endgame Databases -- An External-Memory Retrograde Analysis Algorithm -- Generating an Opening Book for Amazons -- Building a World-Champion Arimaa Program -- Blockage Detection in Pawn Endings -- Dao: A Benchmark Game -- Incremental Transpositions -- Kayles on the Way to the Stars -- Searching over Metapositions in Kriegspiel -- The Relative History Heuristic -- Locally Informed Global Search for Sums of Combinatorial Games -- Current Challenges in Multi-player Game Search -- Preventing Look-Ahead Cheating with Active Objects -- Strategic Interactions in the TAC 2003 Supply Chain Tournament.
Record Nr. UNISA-996466158303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui