Ditemukan 1172 dokumen yang sesuai dengan query
Alexander Artikis, editor
The festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
...
Berlin: Springer, 2012
e20406456
eBooks Universitas Indonesia Library
Russo, Claudio, editor
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical papers presented together with 3 application papers...
Berlin: Springer-Verlag, 2012
e20408094
eBooks Universitas Indonesia Library
Antonis Bikakis, editor
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks...
Berlin: [Springer-Verlag, ], 2012
e20409485
eBooks Universitas Indonesia Library
Fithor Muhammad, author
Semakin banyak developer yang mengembangkan perumahan dalam satu wilayah, maka lahan prospektif yang bisa dibangun perumahan akan semakin sedikit. Hal ini menyebabkan munculnya persaingan harga. Penelitian ini mencoba membahas sebuah strategi untuk tetap memenangkan persaingan harga properti di Kecamatan Cileungsi, Bogor dengan tetap mempertahankan keuntungan yang optimal, dengan menggunakan model...
Depok: Universitas Indonesia, 2015
S60307
UI - Skripsi (Membership) Universitas Indonesia Library
Dina Sulthoni, author
ABSTRAK
Ketika merancang sebuah website, sangat diperlukanlah antarmuka yang sesuai dengan konsep Human and Computer Interaction (HCI). Antarmuka tersebut merupakan bagian yang sangat penting dari suatu sistem komputer. Antarmuka merupakan wajah dari sebuah sistem atau sebuah pintu gerbang masuk ke sistem yang diwujudkan ke dalam sebuah aplikasi perangkat lunak. Oleh karena...
2015
S59750
UI - Skripsi (Membership) Universitas Indonesia Library
Abyan Pratama Tjahya, author
ABSTRAK
Skripsi ini membahas mengenai bagaimana perkembangan Esports di Jepang. Teori yang digunakan dalam skripsi ini adalah konteks fanatisme oleh Paul Long dan Tim Wall, bagaimana bentuk fanatisme yang ditunjukan oleh pemuda di Jepang seperti fanart, fanbook, dan besarnya bentuk fanatisme pemuda Jepang dalam kejuaraan-kejuaraan Esports di Jepang. Skripsi ini merupakan...
2015
S60932
UI - Skripsi (Membership) Universitas Indonesia Library
Azis Rizky Prawira, author
ABSTRAK
PT. Tridaya Kreasi merupakan sebuah perusahaan yang bergerak di industri kertas yang memproduksi kertas Kraft Liner. Penelitian ini dilakukan pada bulan April 2016 dengan menggunakan data masa lampau pada periode Januari 2015 sampai dengan Maret 2016, dimana proses produksi untuk pencampuran komposisi bahan baku masih menggunakan metode trial and error...
2016
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Hubert, Lawrence, 1944- , author
Combinatorial data analysis (CDA) refers to a wide class of methods for the study of relevant data sets in which the arrangement of a collection of objects is absolutely central. The focus of this monograph is on the identification of arrangements, which are then further restricted to where the combinatorial...
Philadelphia: Society for Industrial and Applied Mathematics, 2001
e20449095
eBooks Universitas Indonesia Library
Boutell, Thomas
Reading, Mass: Addison-Wesley, 1996
005BOUC001
Multimedia Universitas Indonesia Library
Ben-Tal, Aharon, author
Here is a book devoted to well-structured and thus efficiently solvable convex optimization problems, with emphasis on conic quadratic and semidefinite programming. The authors present the basic theory underlying these problems as well as their numerous applications in engineering, including synthesis of filters, Lyapunov stability analysis, and structural design. The...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442917
eBooks Universitas Indonesia Library
