| Issue Date | Title | Author(s) |
201 | Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
202 | 2019 | Towards uniform modeling and holistic testing of hardware and software | Kılınççeker, Onur; Belli, Fevzi |
203 | Jan-2010 | Tracking fast moving targets in wireless sensor networks | Alaybeyoğlu, Ayşegül; Erciyeş, Kayhan ; Kantarcı, Aylin; Dağdeviren, Orhan |
204 | 2011 | Trafik kazalarının önlenmesinde dinamik veri yönetimi ile erken uyarı sistemi: İzmir'in kaza yoğun caddelerinde pilot çalışma | Duvarcı, Yavuz ; Geçer Sargın, Feral ; Kumova, Bora |
205 | 2016 | Trafik sahnelerinde tümyönlü ve Ptz kameralar ile araç tespiti ve sınıflandırması | Baştanlar, Yalın |
206 | Apr-2018 | Training CNNs with image patches for object localisation | Orhan, Semih ; Baştanlar, Yalın |
207 | 2-Dec-2016 | Transforming VHDL to timed automata | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
208 | 2015 | Truth ratios of syllogistic moods | Zarechnev, Mikhail; Kumova, Bora İsmail |
209 | 2016 | Tümyönlü ve PTZ kameralar ile taşıt sınıflandırması | Barış, İpek; Baştanlar, Yalın |
210 | 2017 | Türkçe manzara metni veri kümesi | Erdoğmuş, Nesli |
211 | 2019 | Türkçe tweetler üzerinden yapay sinir ağları ile cinsiyet tahminlemesi | Sezerer, Erhan ; Polatbilek, Ozan; Tekir, Selma |
212 | 2018 | Unilateral teleoperation design for a robotic endoscopic pituitary surgery system | Dede, Mehmet İsmet Can ; Maaroof, Omar Waleed Najm; Ateş, Gizem ; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin |
213 | 2019 | A user-assisted thread-level vulnerability assessment tool | Öz, Işıl ; Topçuoğlu, Haluk Rahmi; Tosun, Oğuz |
14 | 2010 | Utilization of timed automata as a verification tool for security protocols | Koltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat |
15 | 2019 | Utilizing modeling approach patterns in the embedded software industry | Akdur, Deniz; Demirörs, Onur |
16 | 2018 | UYMS 2018: Önsöz | Tarhan, Ayça; Erten, Murat |
17 | 2017 | Üç boyutlu sahneler ve nesne tanıma için gürbüz anahtar nokta eşleştirilmesi | Köksal, Ali ; Uzyıldırım, Furkan Eren ; Özuysal, Mustafa |
18 | 2017 | Vertical pattern mining algorithm for multiple support thresholds | Darrab, Sadeq; Ergenç, Belgin |
19 | 2014 | Within- and cross- database evaluations for face gender classification via befit protocols | Erdoğmuş, Nesli ; Vanoni, Matthias; Marcel, Sebastien |
20 | 2016 | Yaya yolu tasarımı ve uygulamaları kaynaklı yaya-taşıt çatışmasının incelenmesi | Şengöz, Burak; Koç, Hülya; Sharıf, Haidar; Çubukçu, Ebru; Özuysal, Mustafa |