Doktora Dersleri

Doktora Dersleri

Ders Kodu Ders Adı Tanım Önkoşul(lar)
CENG 501 İstatistiksel Veri İşleme Giriş

Bilgisayar ve istatistik tekniklerinin veri işleme uyarlaması ve uygulanması. Kodlama hazırlığı, veri toplama (bilgisayarlı olan ve olmayan), eleme, özetleme, tablolama ve analiz, olasılık ve şans değişkenleri, istatistiksel tahminleme ve hipotez kontrolları, sayımla elde edilen verilerin analizi. Doğrusal modeller (regresyon, korelasyon, varyans analizi).

Konu
Temel tanımlamalar, değişkenler, frekans tabloları, yer ve dağılış istatistikleri.
Örnek uzayı, olaylar, olasılık
Bağımsızlık, şans değişkenleri ve olasılık dağılışları. Beklenen değer.
Kesikli uniform, binom, geometrik, n.binom, poisson dağılışları.
Sürekli Uniform, normal, gamma, üssel ve weibull dağılışları.
Vize
İstatistiksel yorumlamaya giriş. Nokta ve aralık tahminleri.
Hipotez kontrolları: Temel kavramlar, hipotez kontrollarının felsefesi, büyük örnek testleri (z)
Hipotez kontrolları: Küçük örnekler. Bir ve iki örnek testler.
Hipotez kontrolları: Küçük örnekler. Bir ve iki örnek testler(devam).
Sayımla elde edilen verilerin analizi. Chi kare testleri.
Basit doğrusal regresyon. Korelasyon.
Çoklu regresyona giriş.
Deneme planlamaya ve desenlerine giriş. Varyans analizi.
CENG 502 Sistem Modelleme ve Bilgisayarlı Benzetim

Giriş, Sistem kavramı, Sistem Modelleme, Monte Carlo tekniği, Sistem Girdi değişkenlerinin tanımlanması ve seçilmesi, şans sayıları türetimi ve incelenmesi, şans değişkenleri türetilmesi, ayrık sistem benzetimi, ayrık sistem benzetim yazılımları.

Konu
Simulasyon ve Monte Carlo Simulasyonu, Simulasyon hangi durumlarda kullanılır.
Sistem ve Model
Temel İstatistik bilgisi tekrarı
Tahminleme ve Hipotez kontrolları tekrarı
İyi uyum testleri
Girdi değişkeni seçilmesi
Şans sayıları, Şans sayıları türetme, Şans sayısı türeticilerinin testleri
Ara Sınav
Şans Değişkenleri türetme yöntemleri, ters transformasyon ve diğer yöntemler
Normal dağılıştan şans değişkenleri türetme yöntemleri
Diğer sürekli dağılışlardan şans değişkenleri türetme yöntemleri
Kesikli dağılışlardan şans değişkenleri türetme yöntemleri
Discrete sistem simulasyonu kavramları
Simulasyon dilleri
CENG 503 Tıp ve Biyolojide Bilgisayar Uygulamaları

Hastane bilgi sistemlerinin analiz ve tasarımı. Biyolojik modelleme ve tıbbi görüntü işleme algoritmalarının matematiksel, fiziksel ve fizyolojik temelleri. Beyin, kalp, sinir sistemi ve duyu organları gibi organların bilgisayarda modellemesine ilişkin konular.

Konu
Tıpta ve biyolojide bilgisayar kullanım alanları
Tıbbi veri ve bilgi
Tıpra bilgisayar ağları
Biyo-sinyal işleme
Hasta merkezli bilgi sistemleri
Klinik destek sistemleri
Hastane bilgi sistemlerinin planlanması, modellenmesi ve geliştirilmesi
Tıbbi karar destek sistemleri
Süreçler ve diferansiyel denklemler
Tıpta bilgisayar görüsü görüntüleme
Sistem teorisi
Tıbbi görüntüleme sistemleri
Tıbbi ham verinin sınıflandırılması ve işlenmesi
Elektronik tıbbi kayıtlar
CENG 504 Eniyileme Yöntemleri

Doğrusal programlama, doğrusal olmayan programlama, sınama-yanılma yöntemleri ve dinamik programlama tanıtılarak özellikle optimal denetim problemlerine uygulanacak. Dinamik programlama yaklaşımından kesikli ve sürekli optimal düzenleyiciler türetilecek. Doğrusal gözlemci ve ayırma teoremleri geri beslemeli denetleyici uygulamaları için geliştirecek.

Konu
Optimizasyona giriş
Matematiksel gözden geçirme I: vektörler ve matrisler
Matematiksel gözden geçirme II: yüksek matematik
Kısıtsız optimizasyon, one-dimensional search
“golden section”, “Fibonacci”, “Newton s method”
gradient arama metotları: “Steepest-descent”, “conjugate-gradient”, En küçük kareler analizi
Kısıtlı optimizasyon
Lineer programlama
Değerlendirme ve gözden geçirme
Derivatif olmayan metotlar, sezgisel optimizasyon metotları
Yapay sinir ağları, benzetimli tavlama yöntemi
Proje sunumları ve tartışmaları I
Proje sunumları ve tartışmaları II
Proje sunumları ve tartışmaları III
CENG 505 İleri Bilgisayar Ağları

Bilgisayar ağları, kablosuz ağlar, OSI katmanları, Internet modeli, TCP-UDP/IP, kablosuz TCP, mobil IP, Ipv6, tıkanma kontrolü, servis kalitesi hizmetleri, “multicast” yönlendirme, gerçek-zamanlı haberleşme için destekler ve protokoller, ağ güvenliği, gelecek kuşak ağlar.

Konu
Bilgisayar Ağlarına Giriş
Bilgisayar Ağlarının Gözden Geçirilmesi
OSI Katmanları, Internet Modeli, 1. ve 2. Katmanlar
Kablosuz Ağlar
TCP-UDP, Kablosuz TCP ve Diğer Eklemeler
IP, Mobil IP, IPv6
Yönlendirme – I
Yönlendirme – II
Performans Ölçümü, Trafik Analizi, Simülasyon
Trafik Sıkışıklık Kontrolü ve Servis Kalitesi Konuları
Çokluiletim, Gerçek-Zamanlı Haberleşme Protokolleri
Güvenlik Konuları
Geleceğin Ağları ve Prokolleri
Dönem Projesi Sunumları ve Tartışmalar
CENG 507 Biyometrik Tanımaya Giriş

Bu ders biyometrik tanıma ve kimlik doğrulama yöntem ve sistemlerini konu alır. Ders içeriğinde biyometrik tanımanın geçmişten günümüze gelişimi, biyometrik tanıma sistemlerinin temel çalışma prensipleri ve temel yüz ve parmak izi tanıma algoritmaları yer almaktadır.

Konu
Kişi tanıma tarihçesi ve biyometriye giriş
Biyometrik sistemler
Biyometrik işlevler
Biyometrik performans ölçümleri
Parmakizi tanımaya giriş
Parkmakizi öznitelikleri çıkarma
Parmakizi eşleştirme
Yüz tanımaya giriş
Yüz imgeleri elde etme yöntemleri ve önişleme
Yüz tespiti
Yüz öznitelikleri çıkarma
Yüz eşleştirme
Yüz değişimleri ile başetme yöntemleri
Yüz modelleme
CENG 508 Sayısal Görüntü İşleme

Bu ders fotoğraf, uzaktan algılama, tarayıcılar gibi yollarla elde edilmiş görüntüleri işlemek ve zenginleştirmek için gerekli konuları kapsar. Transformasyon teknikleri, kayıtlar ve ayırım fonksiyonlarını içerir.

Konu
Görüntü İşlemede Kavramlar
Sayısal İmge Temsili
MATLAB Bilgilendirmesi ve MATLAB da İmge Temsili
İmgede Gürültü ve Filtreleme
İkili Değer İmge İşleme
İmge Bölütleme
Fourier Çevrimi ve Uygulamaları
İmge Zenginleştirme
Dönem arası sınav
Kenar Tespiti
Köşe Tespiti
Kamera Geometrisi ve Kalibrasyonu
Nokta Eşleme ve Epipolar Geometri
Proje sunumları
CENG 509 Görü Tabanlı Takip ve Modelleme

Bu ders bilgisayarlı görü teknikleriyle imge ve videolarda nesnelerin ve kameraların konumlarının bulunması ve takip edilmesini konu alır. Ders içeriği takip edilecek nesne ve sahnenin modellenmesi için gerekli matematiksel teoriyi ve kullanılan algoritmaları da kapsar.

Konu
Takibe Giriş
Optik Akış ve Lucas-Kanade Takip Yöntemi
Şablon Takibin Temelleri
İleri Şablon Takibi
Kalman Süzgeci I
Kalman Süzgeci II
Parçacık Süzgeçleri
Modellemeye Giriş
Seyrek Modeller
3B Modelleme
Yarı-Seyrek Modeller
Aynı Anda Konumlama ve Haritalama I
Aynı Anda Konumlama ve Haritalama II
Yeniden Konulama Yaklaşımları
CENG 511 İleri Bilgi Kuramı

Bu ders, tiplere ait metodları ortaya koyarak başlayacaktır. Ardından çarpıklık oranı kuramı ele alınacaktır. Ayrıca çok sayıda-kullanıcı kanalları ve rastgele parametreli kanallar işlenecektir. Son olarak ilintili kaynak kodlaması kavramı verilecektir.

Konu
Tipler yöntemi
Tipler yöntemi, geniş sapma teoremi
Geniş sapma teoremi, şartlı limit teoremi
Şartlı limit teoremi, ortak ve şartlı tipler
Güçlü karakteristik kümeler
Güçlü karakteristik kümeler, oran sapması teoremi
Oran sapması teoremi
Oran sapması teoremi
Oran sapması fonksiyonu
Çoklu tanımlar
Wyner-Ziv problemi
Slepian-Wolf problemi
Çoklu-erişim kanalı
Çoklu-erişim kanalı
CENG 512 İleri Hesaplama Kuramı

Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church-Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir.

Konu
Giriş ve Genel Bakış
Matematik Tekrarı
Sonlu Otomata ve Düzenli Diller
Bağlamdan Bağımsız Diller ve Pushdown Otomata
Turing Makineleri ve Church-Turing Tezi
Karar Verilebilirlik
Gözden Geçirme
İndirgenebilirlik
Zaman Karmaşıklığı, P ve NP
NP-tamlık
Gözden Geçirme
Yer karmaşıklığı
Rastgeleleştirme
Paralel karmaşıklık
CENG 513 Derleyici Tasarımı ve Gerçekleştirimi

Bu ders derleyici tasarımının teorisi ve uygulaması üzerine odaklanmaktadır. Tarama ve çözümleme konuları işlenecektir. Ayrıca semantik analiz de ele alınacaktır.

Konu
Derleyicilere giriş
Derleyici projesini tanıtma
Sözlüksel analiz
Lexer gerçekleştirimi
FLEX
Bağlamdan bağımsız gramerler
Anlam karmaşası, soyut sözdizim ağaçları
Yukarıdan-aşağıya çözümleme
Yukarıdan-aşağıya çözümleme
Aşağıdan-yukarıya çözümleme
Aşağıdan-yukarıya çözümleme
LR çözümleme
Semantik analize genel bakış
Tip kontrolü ve çıkarım
CENG 514 Bilgisayar Tabanlı Sayılar Teorisi

Temeller, Kongruans, Denklem ve Üstler İçin Algoritmalar, Euler’in Φ Fonksiyonu ve Kodlanması, İkinci Derece Kongruanslar, Asal Sayılar, Kuadratik Kalanlar, Sürekli Kesirler, Asal Sayı Testi Algoritmaları, Büyük Asal Sayı Bulma, Eliptik Eğriler, Faktörizasyon Algoritmaları, Tamsayı Faktörizasyonunda Üstel Metotlar İçin Algoritmalar, Subeksponansiyel Faktörizasyon Algoritmaları, Ayrık Logaritma Hesaplamaları.

Konu
Giriş
Tamsayıların temel özellikleri
Moduler arithmetik
Moduler arithmetik
Temel tamsayı aritmetiği, hızlı tamsayı aritmetiği
Büyük tam sayılarla arithemetik
Makine modelleri ve karmaşa kuramı
Euclid algoritmaları
Asal Sayılar; dağılışları, üretilmesi ve testleri
Abelian Grouplar
Rings
Sonlu ve ayrık olasılık dağılışı
Hash fonksiyonlar
Olasılık tabanlı algoritmalar
CENG 515 Bilgisayar Bilimlerinde Çeşitli Konular

Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır.

Konu
Kimlik doğrulamada biyometrikler
CMMI, The capability maturity model
Yeni nesil bilgisayar ağları
Yazılım değerlendirme
SQA, Yazılım kalite yönetimi
WAP, Kablosuz uygulama protokolü
Uzaktan eğitim
Bulanık mantık
Genetik algoritmalar
Yapar sinir ağları ile sızıntı kontrolü
FPS robotlarında genetik algoritmalar
Bulut bilişimi
Sanal gerçeklik
Yapay zeka
CENG 516 İleri Programlama Dilleri

Yeni programlama dilleri tasarlamak ve geliştirmek, modern programlama dillerinin var olan özelliklerini incelemek ve kavramak, programlama dili tasarım kararlarının gerçekleştirimler üzerindeki etkisini anlamak.

Konu
Programlama dillerine giriş
Sentaks ve semantik I
Sentaks ve semantik II
Gösterimsel semantik
Yazım teorisi I
Yazım teorisi II
Lambda hesaplama I
Lambda hesaplama II
Fonksiyonlar
Aksiyomatik semantik I
Aksiyomatik semantik II
Program özelliklerini teorik söylemlerle doğrulama
Mantık programlama I
Mantık programlama II
CENG 517 Bilgisayar Bilimleri Klasikleri

Gödel karar verilemezlik teoremi, hesaplanabilirlik, oyun kuramı üzerine görüşler, bilgi kuramı temelleri, çizgeler, bilgisayar ağları, kriptografide yeni yönelimler, Antikythera mekanizması, “declarative” programlama, ilişkisel veritabanı modeli, makineler ve zeka, hesaplama karmaşıklığı.

Konu
Gödel Karar Verilemezlik Teoremi
Hesaplanabilirlik üzerine, Entscheidungsproblem’ine bir uygulama ile-Alan M. Turing
Fiziğin Bilgisayarlar ile Benzetimi-Richard P. Feynman
İşbirlikçi Olmayan Oyunlar-John Nash
İletişimin Matematiksel Bir Teorisi-Claude E. Shannon
Patikalar, Ağaçlar ve Çiçekler-Jack Edmonds
Kriptografide Yeni yönelimler-Whitfield Diffie ve Martin E. Hellman
Vize
Düşünebilirken-Vannevar Bush
Sembolik İfadelerin ve Hesaplamalarının Özyinelemeli Fonksiyonları-John McCarthy
Hesaplama Makineleri ve Zeka-A.M. Turing
Öğrenilebilenin Bir Teorisi-L.G. Valiant
Güvenli Bilgi Akışının Kafes Modeli-Dorothy E. Denning
Eski Yunan’dan Yüksek Teknoloji ve Astronomik Hesaplama Makinesi Antikythera Mekanizması
CENG 518 Bilimsel Araştırma Metodolojisine ve Etiğe Giriş

Deneysel bilgisayar bilimleri. Temel bilimsel araştırma metodolojisi. Araştırma soruları ve deneysel sorular. Deneysel değerlendirme. Bilim etiği. Bilgisayar muhendisliginin sosyal boyutunu ve modern dünyadaki yerini konumlandırmak. Mahremiyet ve bilgisayar güvenilirliği konularının teorisi ve pratiği. Etik teorilerin irdelenmesi ve bilgisayar alanındaki uygulama alanları.

Konu
Bilimsel araştırma yöntemlerine giriş
Bilgisayar bilimlerinde bilim, deneysel bilgisayar bilimleri
Deneysel araştırma
Keşifçi veri analizi
Deneysel tasarımda temel konular
Hipotez testi ve tahminleme
Bilgisayar yoğun istatistiksel yöntemler
Etiğe giriş
Bilgisayar etiğinde sosyoteknik bakış açısına giriş
Bilim etiği
Bilgisayar bilimlerinde mesleki etik
Bilgisayarın güvenilirliği ilkeleri ve vaka analizleri
Mahremiyet
Genel Özet
CENG 521 İleri İşletim Sistemleri

İşletim sistemleri, süreç senkkronizasyonu, dağıtık sistemler iletişimi, dağıtık sistemlerde senkronizasyon, dağıtık algoritmalar, dağıtık sistemlerde statik ve dinamik iş dağıtımı, grup iletişimi, hata toleransı, dağıtık gerçek-zamanlı sistemler.

Konu
“Daha kötü daha iyidir”in yükselişi
“Silici: Çok thread li programlarda veriye erişim yarışlarını dinamik tespit edici”
Mesa da süreçler ve monitörlerle deneyim
Thread ler kütüphane olarak uygulanamazlar
Elle yığın yönetimi olmadan birlikte yürütülen görevlerin yönetimi
Supersayfaları destekleyen pratik, şeffaf işletim sistemi
VMware ESX Sunucularında bellek kaynak yönetimi
Hata-habersiz hesaplama aracılığıyla sunucu kullanılabilirliği ve güvenliği arttırmak
x86 sanallaştırmada yazılım ve donanım tekniklerinin karşılaştırılması
Log-yapısında dosya sistem tasarım ve uygulaması
Senkronizasyonun tekrar düşünülmesi
Kesme-sürücülü çekirdekte kilitlenmenin eliminasyonu
Dağıtık cache bellek tutarlılığı için etkin hata tolerans mekanizması
Düşük-bant genişliğinde ağ dosya sistemi
CENG 522 İleri Gömülü Sistem Tasarımı

Gömülü sistemler, bilgisayar mühendisliğindeki rolü; özel ve genel amaçlı mikroişlemci tasarımı, mikrodenetleyiciler, gömülü yazılım; gerçek-zamanlı sistemler, planlama ve zamanlama problemleri; test ve performans; güvenilirlik; tasarım metodolojileri, yazılım geliştirme ortamları; süreklilik ve güncelleme problemleri;uygulamaya özel entegre devre tasarımına giriş, VHDL.

Konu
Gömülü Sistem Tasarımına Giriş
Sayısal Mantık ve Bilgisayar Mimarisi Kavramlarının Gözden Geçirilmesi
FPGA Tasarımı; VHDL Programlama Dili
Tek ve çok amaçlı Veriyolu Tasarımı
Mikroişlemci Konseptleri ve Tasarımı
Mikrodenetleyicilerle Gömülü Sistem Tasarımı
Gerçek-Zamanlı Çekirdekler
Gerçek-Zamanlı Gömülü Sistemlerin Modellenmesi ve Doğrulanması
Veri Toplama ve Sayısal Sinyal İşleme Uygulamaları
Kontrol Sistemleri
Gömülü Yazılım Geliştirme
Dökümantasyon, Yeniden Kullanım, Sürekli Geliştirme
Hata-Tolerans Teknikleri
Güncel Gelişmeler ve Araştırmalar
CENG 523 Gerçek-Zamanlı Sistemlerde İleri Konular

Gerçek-Zamanlı yazılım tasarımı konuları, gerçek-zamanlı işletim sistemleri, gerçek-zamanlı görev planlama algoritmaları, yazılım spesifikasyonlarında kullanılan formal metotlar, zaman otomatlarını kullanarak modelleme ve doğrulama, yazılım tasarımı, programlama dilleri, test, performans çözümlemesi ve eniyilemesi, belgeleme, yazılımın yeniden kullanımı, hataya dayanıklılık.

Konu
Gerçek-Zamanlı Sistemlere Giriş
Gerçek-Zamanlı Sistemler için Yazılım Geliştirmenin Temelleri
Gerçek-Zamanlı İşletim Sistemleri I
Gerçek-Zamanlı İşletim Sistemleri II
Yazılım Gereksinimleri Mühendisliği
“Model Checking”
Yazılım Tasarımı
Özet ve Yoklama
Programlama Dilleri
Test
Yüksek Performanslı Analiz ve Eniyileme
Güvenlik-Kritik Sistemler ve Hata-Toleransı
Dökümantasyon, Yeniden Kullanım ve Sürekli Geliştirme
Dönem Projesi Sunumları ve Tartışma
CENG 524 İleri Bilgisayar Mimarisi

Mikroişlemci tasarımının temelleri, komut seti mimarisi, “pipelining”, ileri bellek hiyerarşilerinin tasarımı, “multithreading”, proses seviyesinde ve komut seviyesinde parallelleştirme, işlemciler arası haberleşme modelleri, çoklu işemciler, gelecekte beklenen gelişmeler.

Konu
Bilgisayar Sistemlerine Genel Bakış
Komut Seti Mimarisi: Veriyolu ve Kontrol Ünitesi
“Pipelining”, “Instruction-Level Parallel” (ILP) Mimarisi
Laboratuvar Çalışması: Genel Amaçlı Mikroişlemci Tasarımı
Yük Planlama
“Thread-Level Parallelism”
Bilgisayar Sistemlerinde Zamanlama Konuları
Çok İşlemcili Sistemler
Çok İşlemcili Sistemler
Laboratuvar Çalışması: Çokluişlemciler
Arabellekler ve Bellek Hiyerarşisi
Ağlar
Gözden Geçirme ve Güncel Gelişmeler
Sunumlar ve Ödevlerin Tartışılması
CENG 531 İleri Yapay Us

Yapay us yaklaşımları; yüksek düzenli mantık; tasarlama; uzman dizgeler; yapay us dizgelerin çevresi; yapay us dizgelerde esnek hesaplama; simgesel olmayan öğrenme; doğal dil işleme; akıllı aracı; çoklu aracı dizgesi; anlamsal örgü; robot bilimi.

Konu
Giriş
Değişik Yapay Us Yaklaşımları
Hüksek Düzeyli Mantıklar
Planlama
Uzman Sistemler
Çevre Modelleme
Özet
Esnek Hesaplama
Sembolik Olmayan Öğrenme
Doğal Dil İşleme
Akıllı Aracılar
Çok Aracılı Dizgeler
Semantik Web
Robotik
CENG 532 Uzman Sistemler ve Bilgi Mühendisliği

Uzman sistem geliştirilmesindeki çeşitli tekniklere giriş. Bilgi tanıtma yöntemleri, üretim sistemleri, yorum yöntemleri, belirsizlik ve ipucu kombinasyonları, uzman sistem mimarisi ve kontrolu, bilgi edinme, uzman sistem programlama dilleri, çeşitli durum analizleri.

Konu
Giriş
Bilgi Gösterimi
Kitaplık
Belirsizlik
Dil İşleme
Bilgi Toplama
Uzman Dizge Yapıları
Üretici Dizgeler
Özetleme
Varlık Bilimi
Akıllı Aracı
Bilgi Düzenleme
Karar Destek Dizgeleri
Robot Bilimi
CENG 533 Olasılıksal Çıkarsama

Akıllı bilgisayar etmenlerinin karmaşık, belirsizlik içeren ve dinamik ortamlarda hedeflerine yönelik davranışları göstermeleri beklenmektedir. Bu bağlamda, karmaşık problemlere atanan etmenlerin belirsizlik altında karar verebilme yetisine sahip olmaları gerekmektedir. Etmenin doğru kararları verebilmesi için bulunduğu ortam hakkında sahip olduğu bilginin yanında ortam üzerinde değişikliğe neden olabilecek hareketlerinin, hedeflerinin ve tercihlerinin iyi tanımlanmış olması gerekmektedir. Bu ders kapsamında belirsizliğin modellenmesi ve belirsizlik altında karar verme sürecinde karşılaşılan sorunlarda kullanılabilecek olasılıksal çıkarsamaya dayalı çözüm yaklaşımları tartışılmaktadır.

Konu
Giris
Olasilikta cizgesel modeller
Belirsizliklerin oldugu bir ortamda bilginin temsil edilmesi
Bayes cikarsamasi
Bayes aglarinda cikarsama
Bayesa aglarinda ogrenme
Ozet ve Vize
Bilgi Muhendisligi
Bayes aglarinda cesitli uygulamalar
Zaman bazli modeller
Dinamik Bayes Aglarinda Cikarsama
Markov Karar Verme Surecleri
Kismen gozlemlenebilen Markov karar verme surecleri
Proje Sunumlari
CENG 541 İleri Veritabanı Yönetim Sistemleri

İlişkisel kuramı ve uzantıları: ilişkisel hesap, ilişkisel cebir, üst dereceli normal biçimler; ileri veri taban yönetim dizge kavramları: bütünlük, kurtulma, koşul zamanlı, güvenlik, sorgu eniyileştirme; nesneye dayalı veritabanları; dağıtık veri tabanları, ilgili uygulamalar ve tutanaklar: veri çoklama, veri parçalama, eşgüdümleme, yük dağılımı; koşut veritabanları; çıkarsamalı veritabanları; birleştirilmiş veritabanları ve türdeş/türdeş olmayan.

Konu
İlişkisel Model
Sorgu İşleme
Sorgu Eniyileme
Sorgu Eniyileme
İndeksleme
Indeksleme
Kilitler ve Koşut Zamanlılık
Koşut Zamanlılık Yönetimi
Paralel Verştabanları
Dağıtık Veritabanları
Zamansal Veritabanları
Veri Madenciliği
Veri Küpleri
Arama Motorları
CENG 542 Stratejik Bilgi Çıkarımı

Bilgi keşfi ve veri madenciliği, veri ambarcılığı, veri hazırlama ve veri madenciliği ilkelleri, kavram tanımlama, ilişki kuralları madenciliği, sınıflandırma ve tahminleme, küme analizi, web madenciliği, veri madenciliği uygulamaları.

Konu
Stratejik Bilgi Çıkarımı
Veri Madenciliğine Giriş
Veri Ambarı Modelleri ve Teknikleri
Veri Hazırlama
Veri Madenciliği Temelleri
Kavram Tanımlama
İlişki Kuralları Madenciliği
İlişki Kuralları Madenciliği
Sınıflandırma ve Kestirim
Sınıflandırma ve Kestirim
Kümeleme Analizi
Kümeleme Analizi
Web Madenciliği
Veri Madenciliği Uygulamaları
CENG 543 Bilgi Erişim Sistemleri

Bu ders düzensiz yapıda bilgi içeren belge koleksiyonlarında arama yapılmasını sağlayan bilgi erişim sistemlerinin bileşenleri ile ilgili konuları kapsar. Hem metin hem de resim ve video gibi zengin içerik taşıyan belge koleksiyonlarında bilgi erişimi ders içeriğinde yer almaktadır.

Konu
Boole’ca Erişim
Sözlükler ve Toleranslı Erişim
Dizin Oluşturma ve Sıkıştırma
Puanlama, Terim Ağırlıklama ve Yöney Uzayı Modeli
Bilgi Erişimde Değerlendirme
İlgililik Geribildirimi ve Sorgu Açılımı
Olasılıksal Bilgi Erişimi
Dil Modelleri
Metin Sınıflandırma
Belge Kümeleme
Ağda Aramanın Temelleri
Bağlantı Analizi
Görüntü ve Video Verisi Dizinleme
Bilginin Görselleştirilmesi
CENG 551 İleri Yazılım Mühendisliği

Bu ders yazılım mühendisliği kavramını ortaya koyarak başlayacaktır. Ardından yazılım geliştirme süreci anlatılacaktır. Ders kapsamında yazılım gereksinimleri, yazılım spesifikasyonu, yazılım analizi ve biçimsel analiz konuları işlenecektir. Ayrıca kalite yönetimi, ürün metrikleri, süreç metrikleri, COTS ve yazılım psikolojisi konuları da ele alınacaktır.

Konu
Problem
Süreç ve Yaşam Döngüsü Modelleri
Gereksinimler ve Spesifikasyonu I
Gereksinimler ve Spesifikasyonu II
Tasarım I
Tasarım II
Güven Tesis Etme (Sınama, Analiz, Kalite Güvencesi, Gözden Geçirmeler)
Metrikler ve Güvenilirlik Değerlendirmesi
COTS ve Yeniden Kullanım
Biçimsel Doğrulama
Takım Organizasyonu ve İnsan Yönetimi
Programlama Dillerinin Yazılım Mühendisliği Bakış Açıları
Yazılım Emniyeti ve Genel Özetleme
Örnek Olaylar
CENG 552 Yazılım Sınama

Yazılım sınamanın temelleri, yazılım sınama süreci ve sürekli kalite arttırımı, sonlu durum modelleri ile sınama olgularının oluşturulması, beyaz kutu ve siyah kutu yaklaşımları ile sınama yeterliliği değerlendirmesi, model temelli yazılım sınama.

Konu
Yazılım doğrulama ve onaylamaya giriş
Yazılım test etmeye genel bakış ve sınıflamalar
Fonksiyonel (kara kutu) test etme I
Fonksiyonel (kara kutu) test etme II
Yapısal (beyaz kutu) test etme I
Yapısal (beyaz kutu) test etme II
Mutasyon test etme
Model-tabanlı test etme
Entegrasyon test etme
Regresyon test etme
Test durumu oluşturmaya genel bakış
Test süreçlerine genel bakış
Test etme araçları ve test otomasyonu
Yazılım güvenilirlik modelleme
CENG 561 İleri Bilgi Güvenliği

Veri güvenliği ile ilgili kavramlar ve uygulamalar, risk ve zayıflıkların analizi, politika oluşturma, kontrol ve koruma metotları, veritabanı güvenliği, kimlik denetleme teknolojileri, hukuk ve mahremiyet gibi konular ders kapsamında incelenecektir.

Konu
Modül 1: Bilgisayar Güvenliği ve Güvencesine Giriş
Modül 1: Bilgisayar Güvenliği ve Güvencesine Giriş
Modül 1: Bilgisayar Güvenliği ve Güvencesine Giriş
Modül 2: Politikalar
Modül 2: Politikalar
Modül 3: Kriptografi ve Anahtar Yönetimi
Modül 3: Kriptografi ve Anahtar Yönetimi
Modül 3: Kriptografi ve Anahtar Yönetimi
Modül 4: Yetkilendirme ve Erişim kontrolü
Modül 4: Yetkilendirme ve Erişim kontrolü
Modül 5: Ağ Güvenliği ve Sızma Tespiti
Modül 5: Ağ Güvenliği ve Sızma Tespiti
Ders Projesinin Tamanlanması
Ders Projesinin Tamanlanması
CENG 562 İnternet Güvenliği

İnternet güvenliğine giriş, Temel şifreleme teknikleri, TCP/IP güvenliği, Elektronik posta güvenliği, Web güvenliği, Ağ yönetim güvenliği, Güvenlik duvarları, Saldırı tespit sistemleri, İnternet güvenlik yönetim araçları.

Konu
Bilgisayar ağları güvenliğine giriş
Simetrik şifreleme
Asimetrik şifreleme
Erişim denetimi
Dağıtık erişim denetimi
E-posta güvenliği
IPSEC ile IP güvenliği
Ağ yönetiminde güvenlik
Bilgisayar ağlarına saldırılar
Güvenlik duvarı
Güvenlik duvarı politikaları
Güvenlik duvarı ile kullanılan teknolojiler (NAT, VPN)
Saldırı ve nüfuz tespit sistemleri 1
Saldırı ve nüfuz tespit sistemleri 2
CENG 563 Veritabanı ve Yazılım Güvenliği

Güvenli veritabanları ve güvenli yazılım uygulamaları konuları, geliştirim yöntemleri ve araştırma alanları. Veritabanları ve yazılımlar için güvenlik modelleri, temelleri ve pratikleri.

Konu
Yazılım güvenliğine giriş
Yazılım zayıflıkları I
Yazılım zayıflıkları II
Güvenli yazılım geliştirme metodolojisi
Güvenli yazılım analiz ve tasarımı
Güvenli yazılım gerçekleştirme, test etme ve denetleme
Kod denetleme
Statik analiz
Ortak Kriterler
Veritabanı güvenliğine giriş
Erişim denetimi
Rol-tabanlı erişim denetimi
Şebekeler
Etiket güvenliği
CENG 564 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu

Strateji, Güvenlik, Ulusal/Uluslararası Kripto Strateji ve Politikası, Kripto Cihazları İthalat/İhracat Rejimleri, Bilgi Yönetimi ve Politikası Geliştirme, Bilgi Sistemleri Stratejisi/Güvenliği Standart ve Politikaları, Bilgisayar Güvenliği Acil Durum Kurumları (CERTs), Süreklilik Planlaması, Beklenmeyen Durum ve Sonrası Standart ve Politikalarının Belirlenmesi, Organizasyonlar, NGO-Think Tanks, Bilgi Sistemleri ve Açık Kaynak İstihbaratı, Strateji/Politika Belirleyici Yazılımlar-Simülatörler, Elektronik Ticaret, Onay Kurumları, Elektronik Noter, Elektronik Para.

Konu
Bilgi sistemleri yönetimine giriş
Bilgi sistemleri yönetiminin evrimi
Bilgi sistemleri yönetim modelleri ve yapıları
Bilgi teknolojileri idaresi
Bilgi sistemleri planlama I
Bilgi sistemleri planlama II
Bilgi sistemleri için organizasyonel modeller
Standartlar ve prosedürler
Yasal konular
Finansal konular
Bilgi sistemlerinde kalite yönetimi
Bilgi sistemlerinin politika bazlı yönetimi I
Bilgi sistemlerinin politika bazlı yönetimi II
Bilgi sistemlerinde güven yönetimi
CENG 565 C4I ve Bilgi Savaşları

Kavramlar, Terminoloji, Komuta-Kontrol-İletişim-Bilgisayar ve İstihbarat ( Command-Control-Communications-Computers and Intelligence – C4I ) Yapısı, Hedefler ve Tehditler, Siber Uzayda Saldırı ve Önlemler, Ekonomik – Psikolojik ve İstihbarat Savaşları, Bilgi Savaşları Stratejisi, Siber Uzayda İstihbarat ve İstihbarata Karşı Koyma, Siber Terörizm.

Konu
Giriş
Bilgi Savaşları Kavramları
Bilgi ve Savaş: Bir Devrim mi Gerçekleşti?
Savaşın Yeni Yüzü, Sibersavaş: Siber İstihbaratta Olaylar Arasında Bağlantıların Kurulması.
Savaş Sanatı: Sun Zi nin Askeri Yöntemleri
Düşmanını Tanı
Düşmanından Öğrenme
Komünikasyon Kayıtlarından Kurumsal Yapının Çıkarılması
Araçlar ve Yöntemler: Rakip Karar Verme Süreçlerini Etkilemek Üzere Pratik Yaklaşımlar
Komutanın Kırılması: Kurumsal Karar Vermede Görülen Yaygın Aksaklıklar
Yenilginin Yayılması-Parçalanmanın Kendi Kendini Sağlamlaştırması
Dedikodu Önemlidir-Şüphe Sokularak İstikrarın Bozulması
Kristal Küre
Kurumsal Zırh-Saldırılara Karşı Dayanıklı Kurumların Tasarlanması
CENG 600 Doktora Tezi

Doktora derecesi için araştırma yönetimi programı, öğrenci ve fakülte üyesi arasında ayarlanmış. Tez araştırmasını veya tezin yazımını başlamasının ikinci döneminden itibaren her dönem öğrenciler bu dersi alır.

CENG 111
CENG 608 3 Boyutlu Fotoğraf

Bu ders, imgelerden 3 boyutlu bilgi (özellikle şekil) çıkarımı ile ilgili algoritma ve uygulamaları kapsar. Öncelikle kamera modeli ve kalibrasyonu, 2B ve 3B projektif geometri ve ilgi noktası çıkarımı konuları işlenir. Ardından, tek imgeden geriçatım, hareketten yapı çıkarımı, siluetlerden şekil çıkarımı gibi edilgen 3B geriçatım teknikleri görülür. Ayrıca, doğrudan 3B veri elde eden aktif algılama teknikleri (uçuş süresi kameralar, yapısal ışık, lazer tarayıcılar) de işlenir.

Konu
Kamera modeli ve kalibrasyonu
İlgi noktası çıkarımı ve nokta eşleme
İlgi noktası takibi ve optik akış
2 Boyutlu projektif geometri
RANSAC ve ilgi noktaları kullanarak imge hizalama (imge bükme)
3 Boyutlu projektif geometri ve epipolar geometri
İki imgeli ve çoklu imgeli hareketten yapı çıkarımı
3 Boyutlu eşzamanlı konumlama ve haritalama
Stereo eşleme ile derinlik çıkarımı
İmge bölütleme
X’ten şekil çıkarımı
3 Boyutlu geriçatım
Aktif algılama teknikleri
CENG 611 İleri Algoritmaların Tasarım ve Analizi

Ders içeriğinde paralel ve seri algoritmaların karmaşıklık analizlerinin öğretilmesi ve tasarım kuram ve modellerinin çalışılıp, kritik değerlendirmelerinin yapılabilir bir seviyeye öğrencilerin getirilmesi bulunmaktadır.

CENG 612 Bilgisayar Bilimlerinde Kategori Kuramı

Bu ders kapsamında öğrenciler kategori kuramının ispat tekniklerinde kullanımını öğrenecek ve bilgisayar bilimlerinde sunulan araştırmaları değerlendirme ve bilimsel olarak kendi araştırma sonuçlarını sunabilecek bir temel bilgi ve deneyim altyapısına sahip olacaklardır.

CENG 613 Bilgisayar Bilimlerinde Bilimsel Araştırma Yöntemleri

Bilimsel araştırmaya giriş, Bilimsel araştırma süreç modelleri, Entellektüel buluş, Bilimsel araştırma yöntemleri, Bilgisayar Bilimlerinde Bilimsel Araştırıcılar, Bilimsel araştırma yazıları okuma yöntemleri, Bilimsel araştırma yazılarının yapısı, Literatür tarama yöntemleri, Bibliyografi ve atıflar, Bilimsel araştırma sunumları, Bilimsel araştırma proje önerileri, Bilimsel araştırma proje planlama, Risk yönetimi, Yasal, sosyal ve etik konuları.

CENG 631 Bilişsel Hesaplama

İnsan beyni; ussal kavramlar, örneklemeler ve yapılar; ussal kavramlar için matematiksel örneklemeler; bilinç evrimin örneklenmesi; iş birlikçi us; ussal makinalar.

Konu
Özet
İnsan Beyni
Problem Decomposition
Belirtmeli Matematik
Bilişsel Çevre
Bilişsel Kavramlar
Davranışsal Yapılar
Bilişsel Yapılar
Sınav
Bilinç Evrimi
Hesaplamalı Us
Öğrenme
Etkileşim
Bilişsel Makinalar
CENG 632 Hesaplamalı Us

Bayes ağları; kargaşa kuramı; akıllı davranışlar; karma yapma ve karma düzenler.

CENG 641 Veri Tümleme

Bu ders veri tümlemedeki sistem, mantık ve sosyal farklılıklar gibi zorlukları ortaya koyarak başlayacaktır. Ders ardından türdeş olmamaya çözüm olan diller, otomatik şema eşleştirme teknikleri, türdeş olmayan sistemlerde sorgu işleme ve veri tümleme için kullanılan mimariler gibi temel konuları ele alacaktır. Son olarak, ticari sistemlerde bu konuda gelinen nokta ve very uzayları tartışılacaktır.

Konu
Veri Tümleme Nedir?
Veri Tümlemenin Zorlukları
Veri Kaynaklarının Modellenmesi
Veri Kaynaklarının Modellenmesi
Otomatik Şema Eşleştirme
Veri Tümleme Sistemlerinde Sorgu İşleme
Veri Tümleme Sistemlerinde Sorgu İşleme
Veri Tümleme Sistemlerinde Sorgu En İyileme
Veri Tümleme Sistemlerinde Sorgu En İyileme
Veri Tümleme Sistemleri Mimarileri
Veri Tümleme Sistemleri Mimarileri
Veri Alanları
Ticari Veri Tümleme Sistemleri
Veri Tümleme Sistemlerinin Evrimi

 

CENG 642 Gizliliği Koruyan Veri Madenciliği

Bu alanda önerilen yöntemler, basit, zaman ve bellek etkin sezgisel tekniklerden, hesaplama karmaşıklığı yüksek, gizlemeyi kesin yapan algoritmalara kadar varan geniş bir yelpazede yeralmaktadır.

Konu
Gizliliği Koruyan Veri Madenciliğine ve İlişkisel Kural Saklamaya Giriş
Arka Plan (Terminoloji ve Temel Bilgiler)
İlişkisel Kural Saklama Yöntemleri
Diğer Bilgi Saklama Yöntemleri
Sezgisel Yaklaşımlar
Sınır Tabanlı Yaklaşımları
Max–Min Algoritmaları (BBA Algoritması)
Max–Min Algoritmaları (Diğer)
Kesin Saklama Yaklaşımları (Menon Algoritması)
Kesin Saklama Yaklaşımları (Inline Algoritması)
Kesin Saklama Yaklaşımları (İki Aşamalı Yaklaşma Algoritması)
Kesin Saklama Yaklaşımları (Melez Algoritma)
Kesin Saklama Yaklaşımları (Koşut Zamanlama Çerçevesi)
Kesin Gizleme Algoritmalarının Ölçülendirilmesi
CENG 651 Güvenlik İçin Formal Yöntemler

Biçimsel Yöntemlere Giriş, Önerme ve Betimleme Mantıkları, Program Doğrulama, CSP süreç algebrası, Protokol Doğrulama, Model Denetimi, Otomata ile Sistem Modelleme, Zamansal Mantık ile Sistem Özellikleri Tanımlama, Model Denetimi Algoritmaları, Sembolik Model Denetimi, Soyutlama Yöntemleri, SPIN Model Denetim Aracı.

Konu
Biçimsel Yöntemlere Giriş
Önerme ve Betimleme Mantıkları
Program Doğrulama
Program Doğrulama
CSP süreç algebrası
Protokol Doğrulama
Model Denetimi
Otomata ile Sistem Modelleme
Zamansal Mantık ile Sistem Özellikleri Tanımlama
Model Denetimi Algoritmaları
Model Denetimi Algoritmaları
Sembolik Model Denetimi
Soyutlama Yöntemleri
SPIN Model Denetim Aracı
CENG 661 İleri Asimetrik Kriptosistemler

Asimetrik kripto sistemlere ilişkin temel matematik konuları ve uygulama koşul ve prensipleri değerlendirilecektir. Dönem sonunda öğrencilerin güvenlik problemini analiz ederek, en uygun protokolü seçme ve uygulayabilme yeterliliğinde olması için çalışmalar kuramsal ve uygulamalı olarak yürütülecektir.

CENG 662 İleri Simetrik Kriptosistemler

Ders içeriğinde kriptosistem türleri ve bu kriptosistemlere yönelik, kriptanaliz yöntemleri incelenecektir.

CENG 663 Kriptanaliz

Ders içeriğinde kriptosistem türleri ve bu kriptosistemlere yönelik, kriptanaliz yöntemleri incelenecektir.

CENG 690 İleri Seminer

Bu dersin amacı, öğrencilerin literatür taraması yaparak bilgi toplamasını ve topladığı bilgiyi raporlayarak seminer olarak sunabilmesini sağlamaktır. Ayrıca öğrencinin, sunum teknikleri, sunum formatı ve içeriği hakkında bilgi sahibi olması amaçlanmaktadır. Ders, öğrencinin danışmanının gözetiminde çalışmak istediği konuya yönelik olarak literatür çalışması, veri derleme, analiz etme ve sonuçları raporlayarak sunmayı kapsayan faaliyetlerden oluşur.