{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":44,"n_cols":5,"rows_kept":44,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[20,2,20,3],[21,2,21,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[38,2,38,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISOBE600200051621"]
[null,null,"Autore",null,"Bianchi Fossati Vanzetti, Maria"]
[null,null,"Titolo",null,"1: Fonti / Maria Bianchi Fossati Vanzetti"]
[null,null,"Pubbl/distr/stampa",null,"Padova : CEDAM, 1988"]
[null,null,"ISBN",null,"8813164483"]
[null,null,"Descrizione fisica",null,"XIV, 229 p. ; 24 cm"]
[null,null,"Collana",null,"Dipartimento di scienze giuridiche , Università di Trento ; 1"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","(mm)"]
[null,"2.","Record Nr.",null,"UNINA9910694881003321"]
[null,null,"Autore",null,"Pausina Frank"]
[null,null,"Titolo",null,"Investigation of loss of well control, East Cameron block 23, OCS-G 02853, February 17, 2004 : Gulf of Mexico off the Louisiana coast / / Frank Pausina [and three others]"]
[null,null,"Pubbl/distr/stampa",null,"New Orleans : , : U.S. Department of the Interior, Minerals Management Service, Gulf of Mexico Regional Office, , 2004"]
[null,null,"Descrizione fisica",null,"1 online resource (27 unnumbered pages) : illustrations (some color), map"]
[null,null,"Collana",null,"OCS report"]
[null,null,"Soggetti",null,"Offshore oil well drilling - Accidents - Mexico, Gulf of"]
[{"$nulls":4},"Oil wells - Accidents - Mexico, Gulf of"]
[{"$nulls":4},"Offshore oil industry - Accidents - Mexico, Gulf of"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title from title screen (viewed on Feb. 22, 2006)."]
[{"$nulls":4},"\"MMS 2004-075.\""]
[{"$nulls":4},"\"November 2004.\""]
[null,"3.","Record Nr.",null,"UNISA996587860603316"]
[null,null,"Autore",null,"Hartisch Michael"]
[null,null,"Titolo",null,"Advances in Computer Games : 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer, , 2024"]
[{"$nulls":4},"©2024"]
[null,null,"ISBN",null,"3-031-54968-6"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (176 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science Series ; ; v.14528"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Contents -- Chess and Its Variants -- Making Superhuman AI More Human in Chess -- 1 Introduction -- 2 Background -- 3 Methodology -- 3.1 Training Our Baseline Engines -- 3.2 Experimental Procedure -- 3.3 Performance Metrics -- 4 Implementation and Results -- 4.1 Fixed-Depth Search -- 4.2 Depth Ensemble Model -- 4.3 Evaluation Window Model -- 5 Discussion -- 6 Conclusions and Future Work -- References -- Merging Neural Networks with Traditional Evaluations in Crazyhouse -- 1 Introduction -- 2 Implementation of CrazyRabbit -- 2.1 Monte Carlo Tree Search -- 2.2 Deep Neural Network -- 2.3 Training Data and Supervised Learning -- 2.4 Evaluation Function and Hybrid Approach -- 3 Self-play Experiment -- 4 Experiment with Fairy-Stockfish -- 5 Go-Deep Experiment -- 6 Average Move Score Deviations -- 7 Conclusion -- References -- Stockfish or Leela Chess Zero? A Comparison Against Endgame Tablebases -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Endgame Tablebases -- 3.2 Stockfish -- 3.3 Leela Chess Zero -- 4 Dataset and Evaluation Method -- 4.1 Dataset Generation and Preprocessing -- 4.2 Engine Settings -- 5 Experimental Results -- 5.1 Wrong Play Analysis -- 5.2 Improvement Analysis After Incorporating Search -- 5.3 Engine Behaviour Analysis in Positions with a Single Pawn for the Weaker Side -- 6 Conclusion and Future Work -- References -- Solving Games -- Solving NoGo on Small Rectangular Boards -- 1 Introduction -- 2 Related Work -- 3 Sorted Bucket Hash and Its Use in Solving Games -- 3.1 Boolean Negamax Search and Heuristics -- 3.2 A Transposition Table with Perfect Hashing -- 4 NoGo Results and Solution Analysis -- 4.1 44 NoGo -- 4.2 55 NoGo -- 4.3 "]
[{"$nulls":4},"Solutions of Rectangular NoGo Boards -- 5 Summary and Future Work -- References -- Optimal Play of the Great Rolled Ones Game -- 1 Introduction -- 2 Rules."]
[{"$nulls":4},"3 Optimality Equations and Solution Method -- 4 Optimal Policy -- 5 Komi -- 6 Human-Playable Policies -- 6.1 Roll with 4 or 5 Dice Policy -- 6.2 Fixed Hold-At Policy -- 6.3 Simple Player and Ones Cases -- 6.4 Keep Pace, End Race, by Case -- 7 Future Work -- 8 Conclusions -- References -- Board Games and Card Games -- MCTS with Dynamic Depth Minimax -- 1 Introduction -- 2 Background -- 3 Dynamic Depth Minimax -- 3.1 Analysis of Terminal Lines -- 3.2 Analysis and Discussion -- 4 Dynamic Depth Models and Benchmarks -- 4.1 Strongest Fixed Depth Model -- 4.2 Adjusting Dynamic Depth Models -- 4.3 Analysis of Results -- 5 Conclusion -- References -- Can We Infer Move Sequences in Go from Stone Arrangements? -- 1 Introduction -- 2 Problem Formulation -- 3 Background -- 3.1 Related Work -- 3.2 Simulated Annealing -- 4 Simulated Annealing for Inferring Go Move Sequences -- 5 Experiments -- 5.1 Experiment Settings -- 5.2 Main Results -- 5.3 Selected Move Sequences -- 5.4 Ablation Studies -- 6 Conclusions -- References -- Quantifying Feature Importance of Games and Strategies via Shapley Values -- 1 Introduction -- 2 Notation and Background -- 2.1 Extensive-Form Games -- 2.2 Exploitability -- 2.3 Counterfactual Regret Minimization (CFR) -- 2.4 Abstraction -- 2.5 Feature Importance and Shapley Value -- 3 Related Work -- 4 Descriptions of Our Methods -- 4.1 Shapley Game Feature Importance -- 4.2 Shapley Strategy Feature Importance -- 5 Experiments -- 5.1 Goofspiel -- 5.2 SGFI of Goofspiel -- 5.3 SSFI of Goofspiel AI -- 6 Conclusion -- References -- Player Investigation -- The Impact of Wind Simulation on Perceived Realism of Players -- 1 Introduction -- 1.1 Wind Simulation in Games -- 2 The Game -- 2.1 Game Design -- 3 Study -- 3.1 Method -- 3.2 Result -- 3.3 Discussion -- 4 Conclusion -- References."]
[{"$nulls":4},"Hades Again and Again: A Study on Frustration Tolerance, Physiology and Player Experience -- 1 Introduction -- 2 Related Work -- 3 Methods and Materials -- 3.1 The Game -- 3.2 Protocol -- 4 Results -- 4.1 Features Extraction -- 4.2 Analysis -- 5 Discussion and Conclusions -- References -- Math, Games, and Puzzles -- Analysis of a Collatz Game and Other Variants of the 3n+1 Problem -- 1 Introduction -- 2 The 3n1 Game -- 3 Game Variants -- 4 Collatz Variants and a General Conjecture on Convergence -- 5 Convergence in a Stochastic Variant of the Collatz Problem -- 6 Discussion, Open Problems, Prizes -- A Random Walks with Drift -- References -- Implicit QBF Encodings for Positional Games -- 1 Introduction -- 2 Preliminaries -- 3 Maker-Breaker Explicit-Board Encodings -- 3.1 Explicit-Board, All-Goals: (EA) -- 3.2 Implicit-Goal Representations -- 4 Implicit-Board Encodings -- 4.1 Lifted Neighbor-Based Encoding (LN) -- 4.2 Lifted Transversal-Based Encoding (LT) -- 4.3 Stateless Neighbor-Based (SN) -- 5 Implementation and Evaluation -- 5.1 Size of the QBF Encodings -- 5.2 Solver Performance for Various Encodings -- 6 Conclusion and Future Work -- References -- The Mathematical Game -- 1 Introduction -- 2 Holophrasm and Metamath -- 2.1 Metamath -- 2.2 Classical Holophrasm -- 3 Classical Tree Search Algorithm for Metamath Theorem Proving -- 3.1 Minimax -- 3.2 PUCT -- 3.3 Product Propagation -- 3.4 Proof Number Search -- 3.5 HyperTree Proof Search -- 4 New Tree Search Algorithm for Metamath Theorem Proving -- 4.1 Production Propagation Combined with PUCT -- 5 Conclusion -- References -- Slitherlink Art -- 1 Introduction -- 2 Prior Work -- 2.1 Deductive Search -- 2.2 Difficulty -- 2.3 Interestingness -- 3 Approach -- 3.1 Boundary Repair -- 3.2 ASCII Art "]
[{"$nulls":4},"Sources -- 4 Challenge Generation -- 4.1 Repeated Hint Patterns -- 4.2 Radial Hint Patterns."]
[{"$nulls":4},"4.3 Spiral Hint Patterns -- 4.4 Subtractive Hint Patterns -- 4.5 Pictorial Hint Patterns -- 5 Summary -- 6 Conclusion -- References -- Author Index."]