Yüksek Lisans Dersleri
Course Code | Ders Adı | Tanım | Ön Koşul(lar) | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
CENG 500 | Yüksek Lisans Tezi | Yüksek Lisans derecesi için araştırma yönetimi programı, öğrenci ve fakülte üyesi arasında ayarlanmaktadır. 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 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).
|
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 506 | Derin Öğrenme | Bu ders derin yapay sinir ağları oluşturma ve eğitme yöntemlerini ele almaktadır. Ders içeriğinde derin yapay sinir ağlarının geçmişten günümüze gelişimi, temel çalışma prensipleri, konvolüsyonel sinir ağları ile görüntü sınıflandırma ve imgede nesne tespit ve tanıma konuları yer almaktadır.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
CENG 515 | Bilgisayar Bilimlerinde Çeşitli Konular | Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 517 | Bilgisayar Bilimlerinde Klasikleşmiş Çalışmalar | 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ığı.
|
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 525 | Hata Toleranslı Hesaplama | Hata modelleme, test, bilgisayar sistemlerindeki hata toleransı sağlayan çoklama yöntemleri, hata tespit etme, hatayı düzeltme, hata kapsamı, alandaki güncel araştırma konuları.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 533 | Olasılıksal Çıkarsama | Çizgesel Olasılık Modelleri. Bayes Çıkarsaması. Bayes Ağları. Bayes Ağlarında Öğrenme. Bilgi Mühendisliği. Zamansal Modeller. Dinamik Bayes Ağlarında Çıkarsama. Markov Karar Verme Süreçleri.
|
|||||||||||||||||||||||||||||||
CENG 534 | Doğal Dil İşleme için Derin Öğrenme | Doğal dil işleme, bilgi çağının en önemli teknolojilerinden biridir. Geleneksel doğal dil işlemede göreve özel öznitelik mühendisliği ve dile özel çözümler yaygındı. Son zamanlarda birçok farklı doğal dil işleme görevinde derin öğrenme yaklaşımları ile çok yüksek başarım elde edilmiş ve çok dilli çözümler ortaya konmuştur. Bu ders doğal dil işlemeye uygulanan derin öğrenmede ileri araştırmaları kapsamaktadır. Ele alınacak konular arasında sözcük vektör gösterimleri, pencere tabanlı sinir ağları, yinelemeli sinir ağları, uzun ömürlü kısa-dönem bellek modelleri, özyinelemeli ağlar, evrişimsel sinir ağları, bellek bileşeni içeren çok yeni modeller bulunmaktadır. Geniş ölçekli bir doğal dil işleme problemi üzerinde özel bir yapay sinir ağı çözümünün gerçekleştirimi, eğitilmesi, test edilmesi ve görselleştirilmesini içeren bir dönem projesi verilecektir.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 544 | Büyük Ölçekli Veri Yönetimi | Bu ders öğrencilere geniş ölçekli veri yönetimi ve büyük veri yönetiminin temel kavramları ve işlemsel yaklaşımlarını tanıtır. Bunlar veri depolama, güncelleme ve sorgulamanın yanısıra veri yoğun işlemeyi içermektedir. Ders kavram, algoritma ve zorluklara odaklanırken, dağıtık ve parallel veritabanı yönetim sistemleri, eşler arası veri yönetimi, MapReduce ve bileşenleri, Spark ve veri akışları, veri gölleri ve NoSQL veritabanları konuları kapsanacaktır.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 555 | Mikroservis Tabanlı Sistemlerin Analiz ve Tasarımı | Bu ders öğrencilere servis tasarımı ve mühendisliği konusunda bilgi ve uzmanlık kazandırmaktadır. Öğrenciler servis odaklı mimariler ile tasarımı çeviklik, uyumluluk ve maliyet-etkinlik olarak gerçekleştirmeyi öğrenecektir. Özellikle mikroservis tabanlı mimariler ve reaktif sitemler olay odaklı modelleme vurgulanacaktır. Öğrenciler bu bilgileri uygulayacakları bir proje gerçekleştireceklerdir.
|
|||||||||||||||||||||||||||||||
CENG 556 | Yazılım Yönetimi | Bu ders yazılım yönetiminin ileri düzeyde iki boyutuna yoğunlaşmaktadır: kurumsal değişim ve yazılım ölçümü. Temel konular yazılım süreç iyileştirme çerçeveleri, çevik değişim modelleri, süreç modelleme notasyonları ve yazılım projelerinde ölçüm ve tahminleme modellerinden oluşmaktadır. Öğrenciler hem modelleme ve kurumsal değerlendirme projesi gerçekleştirmekte ve hem de yazılım ölçümü ve tahminleme ile ilgili deneyim kazanmaktadırlar.
|
|||||||||||||||||||||||||||||||
CENG 557 | İleri Yazılım Tasarım Şablonları | Bu ders ileri yazılım tasarım şablonları üzerine odaklanmıştır. Dersin ana konularını; ileri nesneye dayalı programlama presipleri, nesneye dayalı tasarım şablonları, kurumsal uygulama mimarisi şablonları, kurumsal uygulama bütünleştirme şablonları ve alana dayalı tasarım şablonları oluşturmaktadır. Bu derste öğrenciler tasarım şablonları kullanarak modern yazılım geliştirme kavramlarını öğrenecek ve bu kavramları kullanarak orta büyüklükteki bir yazılımı takım olarak geliştirecektir.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 566 | Mahremiyeti Koruyan Teknolojiler | Veri gizliliği, bilim topluluğu ve endüstri için son derece önemli bir konudur. Bu ders, gizlilik kavramları ve terminolojisinin yanı sıra, mahremiyeti artıran teknolojilerin (PET) ve bazı uygulamalarının somut örneklerini verecektir.
|
|||||||||||||||||||||||||||||||
CENG 590 | Seminer | Bu 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. |
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
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.
|
|||||||||||||||||||||||||||||||
CENG 643 | Pattern Discovery in Data Mining | Bu ders öğrencileri büyük ölçekli veride sık bulunan örüntüleri bulmayı amaçlayan, veri madenciliği alanının en erken bulunan ve en çok kullanılan işi olan örüntü keşfi (örüntü madenciliği veya sık örüntü madenciliği veya kural madenciliği) ile tanıştırır. Sık örüntüler market-sepet verisi analizi, yazılım hataları madenciliği, web tıklarının analizi, metin işleme, resim işleme gibi birçok alanda önemlidir. Bu ders, bu alanı algoritmik, değişim, ölçeklenebilirlik, veri tipleri ve uygulamalar açısından ele alacaktır. İncelenecek konular; sık örüntü madenciliği, sıkıştırmada örüntüler, devingen veride (akış, dizi ve uzaysal zamansal) örüntüler, büyük veride sık örüntü madenciliği, sınıflandırma ve kümelemede örüntü madenciliği ve örüntü madenciliğinde gizliliktir. |
|||||||||||||||||||||||||||||||
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ı.
|
|||||||||||||||||||||||||||||||
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. |