161
Hands-on reinforcement learning with Python : master reinforcement and deep reinforcement learning using OpenAI Gym and TensorFlow [E-Book] /
Table of Contents: ... Fundamentals -- Chapter 8: Atari Games with Deep Q Network -- Chapter 9: Playing Doom with a Deep Recurrent Q Network -- Chapter 10: The Asynchronous Advantage Actor Critic Network -- Chapter 11: Policy Gradients and Optimization -- Chapter 12: Capstone Project...

Full text 
162
Deep reinforcement learning hands-on : apply modern RL methods, with deep Q-networks, value iteration, policy gradients, TRPO, AlphaGo zero and more [E-Book] /
Table of Contents: ... -- 3. Deep Learning with PyTorch -- 4. The Cross-Entropy Method -- 5. Tabular Learning and the Bellman Equation -- 6. Deep Q-Networks -- 7. DQN Extensions -- 8. Stocks Trading Using RL -- 9. Policy Gradients - An Alternative -- 10. The Actor-Critic Method...

Full text 
163
Learning concurrency in Kotlin : build highly efficient and robust applications [E-Book] /
Table of Contents: ... Functions and the Coroutine Context -- 5. Iterators, Sequences, and Producers -- 6. Channels - Share Memory by Communicating -- 7. Thread Confinement, Actors, and Mutexes -- 8. Testing and Debugging Concurrent Code -- 9. The Internals of Concurrency in Kotlin...

Full text 
164
Environmental management of the media : policy, industry, practice [E-Book] /
Table of Contents: ...The material implications of media -- The network -- Media policy in actor networks -- Material rhetoric -- The sustainability rhetoric of film and television organizations -- Regulatory infrastructure -- The media in the Nordic countries : broadcasting...

Full text 
165
Physics: The Ultimate Adventure [E-Book] /
Table of Contents: ...The Whats and Wherefores of Physics -- Dramatis Personae (The Actors) -- Is Physics an Exact Science? -- Newton and Beyond -- Statistical Mechanics and Thermodynamics -- Electromagnetism and Cracks in the Edifice of Classical Physics -- Relativity...

Full text 
166
Coordination Models and Languages [E-Book] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
167
Distributed Applications and Interoperable Systems [E-Book] : 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
Table of Contents: ...Enhanced Energy Efficiency with the Actor Model on Heterogeneous Architectures -- Evaluating the Cost and Robustness of Self-organizing Distributed Hash Tables -- Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed...

Full text 
168
Scala: From a Functional Programming Perspective [E-Book] : An Introduction to the Programming Language /
169
Glial Cells: Managers of Neuro-immunity [E-Book] /
170
Theory and Practice of Formal Methods [E-Book] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
Table of Contents: ... by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort....

Full text 
171
Programming Languages and Systems [E-Book] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Table of Contents: ... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...

Full text 
172
Independent stardom : freelance women in the Hollywood studio system [E-Book] /
Subject (ZB): ...Motion picture actors and actresses California Los Angeles History....

Full text 
173
Disaster Forensics [E-Book] : Understanding Root Cause and Complex Causality /
Table of Contents: ... Safety and Disaster Forensics: understanding complex causality through Actor Network ethnography -- The Fog of Battle in risk and crisis communication: Towards the goal of interoperability in the digital age -- Disaster Forensics: Governance, Adaptivity...

Full text 
174
Integrated Formal Methods [E-Book] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Table of Contents: ... -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety...

Full text 
175
Perspectives of System Informatics [E-Book] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
Table of Contents: ... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...

Full text 
176
Model Checking Software [E-Book] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
Table of Contents: ... Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box...

Full text 
177
Architecture of Computing Systems -- ARCS 2016 [E-Book] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
Table of Contents: ... in Canny Edge Detector -- Analysis and Exploitation of CTU-Level Parallelism in the HEVC Mode Decision Process Using Actor-based Modeling -- Low-Cost Hardware Infrastructure for Runtime Thread Level Energy Accounting -- Allocation: From Memories to FPGA Hardware...

Full text 
178
Chemistry and Chemists in Florence [E-Book] : From the Last of the Medici Family to the European Magnetic Resonance Center /
179
The Practice of Cost Estimation for Decommissioning of Nuclear Facilities [E-Book] /
180
Back to Work: Sweden [E-Book]: Improving the Re-employment Prospects of Displaced Workers /
2015
Table of Contents: ...Foreword -- Acronyms and abbreviations -- Executive summary -- Assessment and recommendations -- Job displacement in Sweden and its consequences -- Key actors and institutions involved in managing displacement in Sweden -- Anticipating and responding...

Full text