Ditemukan 483 dokumen yang sesuai dengan query
Stephen H. Muggleton, editor
This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are five extended abstracts and three invited talks....
Berlin: [, Springer-Verlag], 2012
e20410170
eBooks Universitas Indonesia Library
Nick Bezhanishvili, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin: [, Springer-Verlag], 2012
e20410243
eBooks Universitas Indonesia Library
Daniel Lassiter, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
Tiziano Villa, editor
The problem of the unknown component : theory and applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when...
New York: [, Springer], 2012
e20418583
eBooks Universitas Indonesia Library
Rosen, Kenneth H., author
New York : McGraw-Hill Medica, 2013
511 ROS d
Buku Teks Universitas Indonesia Library
This paper discusses the classical paradox of schrodinger's cat. Based on the nation of standard quantum logic. This paper does not claim that the discussion given is the right one, but, it will directs its points of view more towards the truth-value (given...
JURFIN 8:25 (2004)
Artikel Jurnal Universitas Indonesia Library
Winarsita Gilang Sotyaji, author
ABSTRAK
Dalam skripsi ini, dibuat pengendali otomasi prototipe sistem penjernihan air Reverse Osmosis berskala menengah yang dapat diaplikasikan untuk memenuhi kebutuhan air pada daerah berpenduduk yang tidak terlalu luas, rumah sakit, hotel, atau gedung perkantoran pada wilayah yang sulit mendapatkan akses air bersih. Sistem yang diajukan menggunakan fitur Human Machine Interface...
2017
S67153
UI - Skripsi (Membership) Universitas Indonesia Library
Ahmad Fauzi Arief, author
ABSTRAK
Seluruh dunia, rumah kaca digunakan untuk membudidayakan pertumbuhan asing dari lingkungan. Dengan mengendalikan suhu dan jumlah air pada pertumbuhan suatu rumah kaca, tumbuhan dapat dikembangkan pada lingkungan ideal. Rumah kaca zaman sekarang dapat dikendalikan dengan sistem komputer tanpa butuh bantuan fisik dari manusia. Pada skripsi ini, dibuatkan rancangan sistem rumah...
2017
S67442
UI - Skripsi (Membership) Universitas Indonesia Library
Dhia Rahmi Putri, author
ABSTRAK
Penelitian ini bertujuan melihat apakah arah pikiran kontrafaktual yang berbeda memberikan pengaruh berbeda pada kepuasan jurusan dan afek mahasiswa yang tidak berkuliah di jurusan pilihan utamanya. Penelitian ini dilakukan pada 81 mahasiswa semester 2 Universitas Indonesia. Peneliti menstimulasi pikiran kontrafaktual dengan stimulus dari Kray et al. 2010 yang diadaptasi dengan...
2017
S68031
UI - Skripsi (Membership) Universitas Indonesia Library
