Browsing TEZLER by Subject "Computer Engineering and Computer Science and Control"
Now showing items 1-17 of 17
-
A comparative study of theorem provers
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Teorem ispatlayıcılar ve ispat yardımcıları genellikle matematiksel problemleri çözmek için ya da yazılım ve donanımların formal olarak doğrulanmasında kullanılır. Yazılımların bakım işleminin yüksek maliyetli olmasını ... -
Design of a wireless network infrastructure for a university campus
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Güvenilir bir kablosuz internet hizmeti üniversite kampüsleri için çok önemlidir. Hem öğrenciler hem de çalışanlar kampüsün bütün alanlarında sürekli ve sağlıklı bir kablosuz internet hizmeti beklemektedir. Kullanıcılar ... -
Evaluating techniques to reduce errors made by novice programmers
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Araştırmalar programlama becerilerinin öyle kolay kazanılmadığını göstermektedir. Eğitmenler, öğrencilere bilgi iletmek için çok fazla zaman harcamalarına rağmen öğrenciler hala programlamayı anlamakta zorlanmaktadırlar. ... -
Evaluation of online translation services` output quality
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Sosyal, çoklu ortam ve eğitim gibi pek çok sahada insanlar yabancı kaynaklardaki yeni bilgilere her zamankinden daha fazla öğrenme ihtiyacı duyuyorlar. Her insan yabancı bir dile bir uzman kadar hâkim olamayabilir. Bu durum ... -
Evaluation of recognition algorithms on embedded systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bir video veya resim kaynağından alınan resimlerin tanımlanması, yüz bulma ve yüz tanıma olarak bilinen bilgisayarla görü çalışmalarıdır. Son yıllarda bilgisayarların hesaplama gücünün artmasıyla yüz bulma ve tanıma daha ... -
Evaluation of semantic web search engines
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Kullanıcı sorgularına direk cevaplar verebilmek ve kullanıcı sorgularını daha iyi anlayıp daha doğru sonuçlar üretebilmek için, Google ve Bing arama motorları anlamsal arama motorlarını geliştirmişlerdir. Bunun için büyük ... -
Evaluation of web image search engines
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Günümüzde internetde bir çok resim var ve bu sayı her geçen gün hızla artıyor. Çok çeşitli resimleri internetde insanlar paylaşıyorlar. Yığın halini oluşturmuş bu resimleri uygun bir görsellikte sunmak önemli bir araştırma ... -
Generating libraries of highly correct and safe functions by using proof-based formal methods
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tezde, büyük ölçekli yazılım oluşturabilmek için kullanılabilecek yüksek düzeyde doğruluğa sahip ve güvenilir fonksyonların formal tanımlarından oluşan bir kütüphane üretildi. Büyük programların doğruluğunu ve güvenliğini ... -
Managing the human factors in information security through computational intelligence methods
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bilgi güvenliğinde en zayıf halkanın insan olduğu kabul edilmektedir. Bireysel farklılıklar, kişisel özellikler ve kavrama yeteneği gibi faktörler, insan davranışlarını etkilemektedir ve insan davranışlarını bilgi güvenliğinde ... -
Matching day and night location images using sift and logistic regression
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tez çalışmanın amacı gece ve gündüz çekilen aynı lokasyon imgelerinin eşleştirilmesidir. Benzerliğe bağlı imge eşleştirme bilgisayar görmesinde nesne tanıma, lokasyon tanıma ve robotik gezintide karşılaştığımız gibi ... -
Modelling and simulation of a cascaded H-bridge multilevel single source inverter
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Çok seviyeli eviriciler olan uçan kapasitör, diyot-kenetli ve kaskad H-köprü eviriciler özellikle orta ve yüksek güç uygulamalarında çok popülerdirler. Bu çalışma, on bir - seviyeli çıkış gerilimi üretmek ve 11. mertebeden ... -
On a greedy heuristic for the multicommodity rent-or-buy problem
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tez, ünlü Steiner Ormanı Probleminin genelleştirilmiş bir hali ve önemli bir ağ tasarım problemi olan Çoklu Eşya Kirala veya Satın Al Problemi için üç yeni algoritma öne sürmektedir. Bu algoritmalar Kruskal, Boruvka ve ... -
On a greedy heuristic for the Steiner forest problem
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Steiner ormanı problemi onlarca yıldır yaklaştırma algoritmaları ve kombinatoryel optimizasyon alanındaki önemli NP-Tam problemlerden biridir. Bu çalışmada, Steiner ormanı problemi için minimum bir tarayan ağaç bulma ... -
Predicting relative job placement potentials and mining skill sets by analyzing online job ads
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)İş ilanları oldukça değerli bilgiler içeriyor. Özellikle web'deki çok sayıda iş ilanı, birlikte analiz edilerek önemli istatistiklere ulaşma imkanı sunuyor. Bu çalışmada mühendislikle ilgili online iş ilanları, veri ... -
Selecting an effective information and communication technology (ICT) architecture for an education system based on non-functional requirements
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bilgi ve iletişim teknolojileri (BİT) son yıllardaki gelişmeler sonucu sağlamış olduğu avantajlar nedeniyle eğitim alanına adapte edilmiştir. Farklı milletler, eğitim sistemi için doğru altyapının seçiminde farklı başarı ... -
Tweet and user recommendation in twitter
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bilgi çağında, ağ üzerinden bilgiyi çok kolay bir şekilde elde edebiliriz. Bu tezde sosyal ağdaki bilgi üzerinde çalıştık. Küreselleşen dünyada, Twitter sosyal medyanın son trendlerinden biridir. Twitter 2006'dan ... -
Yan cephe iris tanıma sistemleri için galeri yaklaşımı
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2020-04-21)Günümüzde, iris tanıma sistemleri diğer biometrik sistemlerle karşılaştırıldığında en doğru, en güvenilir ve bireyleri diğerlerinden daha iyi tespit etmede kullanılabilecek en uygun biometrik sistem olarak daha çok ilgi ...