fg-loginf.gi.de
Links - Fachgruppe Logik in der Informatik
http://fg-loginf.gi.de/links.html
Skip to the navigation. Skip to the content. Hauptseite der Gesellschaft für Informatik. Fachgruppe Logik in der Informatik. Einige Links zur Logik in der Informatik:. Logical Methods in Computer Science. Die IEEE Konferenz zu. Logic in Computer Science. Eine Liste mit weiteren Konferenzen. Zum Thema Logik in der Informatik. European Association for Computer Science Logic. Die ua. die Konferenz. Association of Symbolic Logic. Die die ASL Meetings organisiert und Journale wie z.B. das. Http:/ www.info...
krisnadhi.blogspot.com
Timbuktu!: Microsoft's corporate culture from an open-source backer's point of view
http://krisnadhi.blogspot.com/2011/05/microsoft-corporate-culture-from-open.html
Connecting from the middle of nowhere. Thursday, May 26, 2011. Microsofts corporate culture from an open-source backers point of view. Http:/ www.zdnet.com/blog/microsoft/can-an-open-source-backer-thrive-inside-microsoft-this-one-says-no/9545? While I do agree that some competition is needed based on a meritocracy system, but too much competition may indeed be destructive, especially if this is within the scope of one organization. Posted by Adila A. Krisnadhi. Subscribe to: Post Comments (Atom).
krisnadhi.blogspot.com
Timbuktu!: Quotes from Edgar W. Dijkstra
http://krisnadhi.blogspot.com/2011/06/quotes-from-edgar-w-dijkstra.html
Connecting from the middle of nowhere. Friday, June 03, 2011. Quotes from Edgar W. Dijkstra. The other day, I stumbled upon the Memorial Resolution about Edgar Wybe Dijkstra, whom you may have known as the creator of the now-famous Dijkstra shortest path algorithm. Dijkstra was a professor at the Eindhoven University of Technology, and later at University of Texas at Austin (1984 - 2002). He was the winner of 1972's ACM Turing Award. On his project of "Streamlining Mathematical Arguments", he said:.
krisnadhi.blogspot.com
Timbuktu!: Hans Rosling's Washing Machine and World's Energy Consumption
http://krisnadhi.blogspot.com/2011/05/hans-rosling-washing-machine-and-world.html
Connecting from the middle of nowhere. Thursday, May 26, 2011. Hans Roslings Washing Machine and Worlds Energy Consumption. Http:/ www.youtube.com/watch? Another interesting video on washing machine and the world's energy consumption. And it's funny too! Like money, out of all the world's energy, the richest people consume the most. Thus, until they have the same energy consumption per person, they shouldn't give an advice to others, what to do and what to not to do. Posted by Adila A. Krisnadhi.
krisnadhi.blogspot.com
Timbuktu!: Rules of Brainstorming
http://krisnadhi.blogspot.com/2011/05/rules-of-brainstorming.html
Connecting from the middle of nowhere. Tuesday, May 24, 2011. Finally, an update after a while. I just read an interesting article on how can an innovation be killed easily in any organizations. One interesting point in the article is that brainstorming is good and recommended, but often times, brainstorming just ends up killing good ideas. The reason is that because we often do brainstorming while ignoring the rules behind it. So what are the rules? There is no such thing as a bad idea. Acquaintance, fr...
krisnadhi.blogspot.com
Timbuktu!: Classical Programming vs. Knowledge-based Programming
http://krisnadhi.blogspot.com/2011/06/classical-programming-vs-knowledge.html
Connecting from the middle of nowhere. Tuesday, June 21, 2011. Classical Programming vs. Knowledge-based Programming. I just read again Prof. Franz Baader. S old lecture manuscript of Logic Based Knowledge Representation course. He taught this course in the International Master Programme in Computational Logic. At Technische Universität Dresden. During 2005's Summer Semester. There is an interesting passage that compares the so-called classical programming against knowledge-based programming. Cla...Class...
krisnadhi.blogspot.com
Timbuktu!: Teaching Experiences
http://krisnadhi.blogspot.com/p/teaching-experiences.html
Connecting from the middle of nowhere. I have taught several undergraduate level courses in the Faculty of Computer Science, Universitas Indonesia since 2003. Most of them in Bahasa Indonesia. The list is given below (in no particular order). Object-oriented Design and Programming. Design and Analysis of Algorithms. Cryptography and Information Security. Theory of Languages and Automata. Introduction to Programming in C. Data Structures and Algorithms. Internet Design and Programming. Book and other media.
krisnadhi.blogspot.com
Timbuktu!: May 2010
http://krisnadhi.blogspot.com/2010_05_01_archive.html
Connecting from the middle of nowhere. Tuesday, May 18, 2010. Solution for “Kuis 2 DPBO”. Since I wont be able to give back the result of quiz 2 in time, I guess it would be fair in the short time left for the DPBO exam that I provide solution for the quiz. Solution is due to Ms. Ika Alfina. Posted by Adila A. Krisnadhi. Friday, May 14, 2010. Posted by Adila A. Krisnadhi. Wishlist for the next Compfest. Now to the wishlist for the next year's Compfest:. I (or we, the faculty) would like that Compfest sho...
krisnadhi.wordpress.com
Reading List | Timbuktu
https://krisnadhi.wordpress.com/reading-list
Connecting from the middle of nowhere …. The Description Logic Handbook 2nd ed. Baader, et.al.), borrowed from Pascal. Now is put on the lab’s shelf). Handbook on Ontologies (Staab and Studer), borrowed from Pascal. Computational Complexity (Papadimitriou), borrowed from Fasilkom’s library. Computability, Complexity and Languages (Davis and Weyuker), borrowed from Fasilkom’s library. Introduction to the Theory of Complexity (Bovet and Crescenzi), borrowed from Fasilkom’s library. The Well of Ascension.
krisnadhi.wordpress.com
Teaching | Timbuktu
https://krisnadhi.wordpress.com/teaching
Connecting from the middle of nowhere …. I have taught several undergraduate level courses in the Faculty of Computer Science, Universitas Indonesia since 2003. Most of them are in Bahasa Indonesia. The list is given below. Object-oriented Design and Programming. Design and Analysis of Algorithms. Cryptography and Information Security. Theory of Languages and Automata. Introduction to Programming in C. Data Structures and Algorithms. Internet Design and Programming. Oct 31, 2010. Oct 31, 2010. Classical ...