Study Logs

This has everything (well, not everything) about my PhD study at Wright State. Actually, there is an internal wiki at Knoesis that allows me to do the same thing there. But at least for now, I prefer to jot things here.

Course List

Fall Quarter 2010

CS605 Introduction to Data Base Management Systems – Soon M. Chung (Mon, Wed: 20.00 – 21.15)

  • I attended almost exactly the same class  10 years ago at Fasilkom UI. Besides for refreshing my memory, I took this class  because it’s a prerequisite to one of the core course CS701 which is needed for PhD qualifying.
  • It covers basics of database systems, ER diagrams, relational algebra (for database) and SQL.
  • Three choices of project: (1) small database design & programming (with MS Access); or (2) programming project: simulation of extendible hashing — I chose this; or (3) paper-review project
  • Status: technical elective; prerequisite for the core course CS701.

CS610 Theoretical Foundations of Computing – Pascal Hitzler (Tue, Thu: 16.10 – 17.50)

  • Turing Machines & its variations, recursive & recursively enumerable languages, Turing-computable functions, Church-Turing thesis, (Un) decidability, Halting problem, Rice’s theorem, Word Problem for Semi-Thue systems, Post Correspondence problem, Domino problem
  • Status: technical elective; prerequisite for the core course CS740.

Winter Quarter 2011

CEG633 Operating Systems – Thomas Wischgoll (Tue, Thu: 18.05 – 19.20)

  • It covers foundational aspects of operating systems with emphasis on problems of file-system design, process scheduling, memory allocation, protection, and tools needed for solutions. The topics include signals and threads, process synchronization, file-system interface, file-system implementation,  main memory, and virtual memory.
  • Two (programming) assignments are given. The first must be submitted 5 days after the midterm; whereas the second must be submitted 7 days before the final. The projects’ objective is to implement (on a simulated disk) a file system based on the design explored in the lectures. All programming is done in C/C++ and run under UNIX environment.
    • Project 1: Extending the Shell
    • Project 2: Subdirectories and Moving Files
  • Status: not included in program of study; prerequisite for CEG730.

CS680 Comparative Languages – Michael L. Raymer (Mon, Wed: 16.10 – 17.25)

  • Here, we study programming languages: what different types of languages have in common, and what differs; how programming language features are implemented.  The topics cover language specification; functional languages and Scheme;  Scheme parameters, variables and scope; Scheme macros, structures and I/O; object-oriented language and Ruby; containers, blocks and iterators; inheritance, mixins, and regular expressions; exceptions and Ruby I/O; writing an interpreter; Scheme interpreter in Ruby
  • Status: technical elective; prerequisite for the core course CS784.

CS701 Database Systems and Design – Soon M. Chung (Mon, Wed: 20.00 – 21.15)

  • This course introduces database design concepts and operating principles of database systems. It covers the following topics: file structures and hashing; indexing structures for files; relational database design theory and normalization; query processing and optimization; transaction processing, concurrency control and recovery; enhanced entity-relationship (ER) modeling; object-oriented databases; distributed databases; database security.
  • Two choices for project: (1) paper-review; or (2) database transaction programming — which I chose.
  • Status: required core course.

Spring Quarter 2011

CS740 Computational Complexity and Algorithm Analysis – Pascal Hitzler (Mon, Wed: 18:05 – 19:20)

  • This course covers fundamentals in computational complexity; formal models for measuring complexity of computational problems; P vs. NP question; NP-completeness; some excursion beyond NP.
  • Status: required core course.

CS784 Programming Languages – T.K.Prasad (Tue, Thu: 16:10 – 17:25)

  • This course introduces concepts related to the specification and design of high-level programming languages. It discusses different programming paradigms, algebraic specification and implementation of data types, and develops interpreters for specifying operationally the various programming language features/constructs. It also introduces attribute grammar formalism and axiomatic semantics briefly. The programming assignments will be coded in Scheme.
  • Status: required core course.

CS875 Semantic Web – Amit Sheth (Tue, Thu: 16:10 – 17:25)

  • This course is a graduate research course discussing recent research in semantic web. No exam will be taken. Evaluations will be done through presentations and discussions as well as a course project: implementation of some semantic web technologies.
  • Status: 700/800 level formal coursework.

Summer Quarter 2011

CS895 Independent Study – Pascal Hitzler

  • Independent study on ontology-rule integration.

Fall Quarter 2011

CS705 Data Mining – Guozhu Dong (Mon, Wed: 16:10 – 17:25)

  • Data mining is concerned with the extraction of novel and useful knowledge from large amounts of data. This course introduces and studies the fundamental concepts, issues, tasks and techniques of data mining. Topics include data preparation and feature selection, association rules, classification, clustering, evaluation and validation, scalability, mining of spatial/text/sequence/graph/time-series etc data, privacy, data mining applications, and other topics of interest.
  • Status: 700/800 level formal coursework.

CS784 Compiler Design and Construction I – T.K.Prasad (Mon, Wed: 18:05 – 19:20)

  • This course deals with the theory and practice of compiler design. Topics emphasized are scanning and parsing. If time permits, semantic analysis will also be covered.
  • Status: 700/800 level formal coursework.

3 Comments (+add yours?)

  1. Remmy Augusta Menzata
    Jun 04, 2011 @ 22:47:05

    wah Pak Adila apa kabar Pak? hehe
    kuliahnya banyak yang mirip di fasilkom yaa Pak :-p

    btw, kayaknya summa cum laude nih Pak *aamiin* 😀


  2. Mario Ray Mahardhika
    Jun 05, 2011 @ 00:51:38

    Hail Mr. Adila (worship)
    * itu nilai A semua gimana dapetinnya pak?


  3. krisnadhi
    Jun 05, 2011 @ 01:04:48

    Amiin… :-).


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: