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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|