Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 10 dokumen yang sesuai dengan query
cover
First international conference on administrative science, policy and governance studies (1st ICAS-PGS 2017)
Paris: Atlantis Press, 2017
352.2 FIR
Buku Teks  Universitas Indonesia Library
cover
Kahraman, Cengiz
Computational intelligence systems in industrial engineering: with recent theory and applications
" This book will include most of the application areas of industrial engineering through these computational intelligence systems. In the literature, there is no book including many real and practical applications of Computational Intelligence Systems from the point of view of Industrial Engineering. Every chapter will include explanatory and didactic applications. ... "
Paris: Atlantis Press, 2012
e20406530
eBooks  Universitas Indonesia Library
cover
Ismail Khalil, editor
Trustworthy ubiquitous computing
" The goal of this book is to provide a state the art of trustworthy ubiquitous computing to address recent research results and to present and discuss the ideas, theories, technologies, systems, tools, applications and experiences on all theoretical and practical issues ... "
Paris: Atlantis Press, 2012
e20406536
eBooks  Universitas Indonesia Library
cover
Pei Wang, editor
Theoretical foundations of artificial general intelligence
" This book is the very first collection in the field of Artificial General Intelligence (AGI) focusing on theoretical, conceptual, and philosophical issues in the creation of thinking machines. All the authors are researchers actively developing AGI projects, thus distinguishing the book from much of the theoretical cognitive science and AI literature, which is generally quite divorced from practical AGI system building issues. And the discussions are presented in a way that makes the problems and ... "
Paris: Atlantis Press, 2012
e20406538
eBooks  Universitas Indonesia Library
cover
Jeroen Janssen, editor
Answer set programming for continuous domains: a fuzzy logic approach
" We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. ... "
Paris: Atlantis Press, 2012
e20406539
eBooks  Universitas Indonesia Library
cover
Ovchinnikova, Ekaterina
Integration of world knowledge for natural language understanding
" This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given. ... "
Paris: Atlantis Press, 2012
e20406540
eBooks  Universitas Indonesia Library
cover
Ramachandran, Kandethody M.
Stochastic differential games : theory and applications
" This book will expose the reader to some of the fundamental methodology in non-cooperative game theory, and highlight some numerical methods, along with some relevant applications. Since the early development days, differential game theory has had a significant impact in such diverse disciplines as applied mathematics, economics, systems theory, engineering, operations, research, biology, ecology, environmental sciences, among others. Modern game theory now relies on wide ranging mathematical and computational methods, and relevant applications that are ... "
Paris: Atlantis Press, 2012
e20419582
eBooks  Universitas Indonesia Library
cover
Bergstra, Jan A.
Instruction sequences for computer science
" This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in ... "
Paris: Atlantis Press, 2012
e20420463
eBooks  Universitas Indonesia Library
cover
Diacu, Florin
Relative equilibria of the curved N-body problem
" This monograph provides a mathematical proof that, for distances of the order of 10 AU, space is Euclidean. This result is, of course, not surprising for such small cosmic scales. But it is good to finally have a mathematical confirmation in this sense. This book shed some light on the dynamics of N point masses that move in spaces of non-zero constant curvature according to an attraction law that naturally extends classical Newtonian gravitation beyond ... "
Amsterdam: Atlantis Press, 2012
e20420524
eBooks  Universitas Indonesia Library
cover
Arnoldus, B.J.
Code generation with templates
" This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model. Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the ... "
Paris: Atlantis Press, 2012
e20420662
eBooks  Universitas Indonesia Library