Browsing M.S. Theses by Title

Sort by: Order: Results:

  • Mixture of experts learning in automated theorem proving 
    Erkek, Cemal Acar. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2010., 2010.)
    The main challenge of automated theorem proving is to find a way to shorten the search process. Therefore using a good heuristic method is essential. Although there are several heuristics that improve the search techniques, ...
  • Model checking of ambient calculus specifications against ambient logic formulas 
    Akar, Ozan. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    Formal methods are mathematical techniques applied in specification and verification of concurrent interactive systems. Model checking is a widely used formal method for formal verification of systems. In model checking, ...
  • Model selection for multi-class support vector machines 
    Karaç, Evrim Itır. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2005., 2005.)
    Support Vector Machines (SVMs) are widely used, powerful learning algorithmsbased on statistical learning theory. In SVM learning, the data are mapped to a highdimensional space via a non-linear kernel function and a maximal ...
  • Model selection for relational data factorization models 
    Hızlı, Çağlar. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2020., 2020.)
    For relational data factorization, generative models provide a statistically principled approach that allows for extending the factorization task in the probabilistic framework of Bayesian statistics. The most well-known ...
  • Model-based design of a roadside unit for emergency and disaster management 
    Hilal, Nur. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2020., 2020.)
    Every year, a massive number of deaths happen because of traffic accidents. In order to increase the traffic victim’s survival rates, it is important to reduce the arrival time of trauma intervention teams to accidents’ ...
  • Modeling and performance analysis of cognitive radio networks 
    Çavdar, Derya. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    Cognitive radio heralds the next step in the evolution of wireless communications. Cognitive radio networks are inherently priority based and preemptive. Hence, keeping track of each resource in each cell is mandatory. In ...
  • Modeling bounded data with sum conditioned poisson factorization 
    Ceritli, Taha Yusuf. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    Non-negative matrices appears in many domains from item recommendation, audio signal processing to computer vision in which data instances have a bounded non-negative range. For various tasks in these areas, probabilistic ...
  • Modelling wave transformations using extended mild-slope equation and the radial basis function colloaction method 
    Manat, Onur. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    In this study, the extended mild-slope equation is modelled over different topogra phies using the Radial Basis Function Collocation Method. In the numerical model, the equation preserved its elliptic form and two related ...
  • Molecular communications in vessel-like diffusive channels 
    Turan, Meriç. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    Molecular communication via diffusion is based on relaying information over a diffusive channel. The design of this diffusive channel is a vital issue. In this thesis, diffusion in the vessel-like environment, which is composed ...
  • Morphological annotation of a corpus with a collaborative multiplayer game 
    Güngör, Onur. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    In most of the natural language processing tasks, state of the art systems usually rely on machine learning methods for building their mathematical models. Given that the majority of these systems employ supervised learning ...
  • Morphologically motivated input variations in Turkish - English neural machine translation 
    Yirmibeşoğlu, Zeynep. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    Success of neural networks in natural language processing has paved the way for neural machine translation (NMT), which rapidly became the mainstream approach in machine translation. Tremendous improvement in translation ...
  • Moving object information for location based services 
    Kantar, Sabri. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2008., 2008.)
    Delivering personalized services to subscribers is a relatively new challenging area for GSM content providers. One of the most effective ways to personalize mobile services is to make use of the location of the mobile ...
  • Multi-document summarization using dependency grammars 
    Bilgin, Şaziye Betül. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
    Information overload is one of the greatest challenges in recent years, especially due to the rapid increase of data produced on the Internet. Automatic summarization of documents about similar topics is a salient solution ...
  • Multi-layer network appoach in modeling epidemics in an urban town 
    Türker, Melikşah. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2022., 2022)
    The last two years have been an extraordinary time with the Covid-19 pandemic killing millions, affecting and distressing billions of people worldwide. Authorities took various measures such as turning school and work to ...
  • Multilingual identification of verbal multiword expressions using bidirectional long short-term memory based architectures 
    Berk, Gözde. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    Verbal multiword expression (VMWE) identi cation is a challenging task for many natural language processing studies. In this study, sequence tagging approach accompanied with stochastic models and variants of IOB tagging ...
  • Multimodal biometric verification and identification using face and hand 
    Sürer, Elif. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2007., 2007.)
    The goal of this thesis is to develop user interfaces that identify and verify legitimate users in real-time due to their biometric characteristics. Face and hand geometry were the biometric identifiers that were used in ...
  • Multivariate decision trees for machine learning 
    Yıldız, Olcay Taner. (Thesis (M.S.)- Bogazici University. Institute for Graduate Studies in Science and Engineering, 2000., 2000.)
    In this thesis, we detail and compare univariate, linear decision tree methods using a set of simulations on twenty standard data sets. For univariate decision tree methods, we have used the ID3 algorithm and for multivariate ...
  • Multivariate product demand forecasting with neural networks 
    Şahin, Çağatay. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    In retail, there are plenty of use cases that would benefit from predicting the future amount of product sales. Those use cases include cash ow management, campaign execution and inventory planning, all of which are the ...
  • Mutation testing of concurrent programs 
    Köse, Mehmet. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    As software testing becomes a more established discipline, the need for quality assurance of software test suites arises. It has been decades since mutation testing was rst introduced into the literature for this purpose. ...
  • Mutual information based feature selection for acoustic autism diagnosis 
    Yüzsever, Şefika. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2015., 2015.)
    Pervasive Developmental Disorders (PDD) are known to a ect children's social interactions and mental development. Prosodic and linguistic cues can be used to diagnose the disorders at early ages. Computational paralinguistics ...

Search Digital Archive


Browse

My Account