Search Results for Machines.

Deep reinforcement learning: fundamentals, research and applications

Yazar

Dong, Hao.

Format:

Kitap

Alıntı:

Machine learning.

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Yazar

Beklemishev, Lev D. editor.

http://dx.doi.org/10.1007/978-3-319-23534-9

Format:

Electronic Resources

Alıntı:

theory of order, abstract state machines, formal methods, foundations of computer science, security, and

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

machines and structural operational semantics. Programming Languages and Operational Semantics gives an

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Yazar

Dathan, Brahma. author.

http://dx.doi.org/10.1007/978-3-319-24280-4

Format:

Electronic Resources

Alıntı:

-- Exploring Inheritance -- Modelling with Finite State Machines -- Interactive Systems and the MVC

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

Yazar

Pop, Florin. editor.

http://dx.doi.org/10.1007/978-3-319-28448-4

Format:

Electronic Resources

Alıntı:

Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications -- Implementing the

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Yazar

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

https://doi.org/10.1007/978-3-030-30690-8

Format:

Electronic Resources

Alıntı:

, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements

Introduction to HPC with MPI for Data Science

Yazar

Nielsen, Frank. author.

http://dx.doi.org/10.1007/978-3-319-21903-5

Format:

Electronic Resources

Alıntı:

clusters, followed by machine learning classification, and an introduction to graph analytics. This part

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor.

http://dx.doi.org/10.1007/978-3-319-40648-0

Format:

Electronic Resources

Alıntı:

Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings

Yazar

Chatterjee, Mainak. editor.

http://dx.doi.org/10.1007/978-3-642-45249-9

Format:

Electronic Resources

Alıntı:

Reconfiguration for Paxos State Machines -- A Causal Checkpointing Algorithm for Mobile Computing Environments

	{displayName}	{count}
{error}