Browsing Fen Bilimleri Enstitüsü by Title

Sort by: Order: Results:

  • 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 driven security framework for software design and verification 
    Deveci, Engin. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2015., 2015.)
    Information system security is receiving increasing attention every day because a security problem can cause serious nancial loss or even loss of lives. Some of these security problems occur as a result of poor design ...
  • Model predictive control of diesel engine air path with actuator delays 
    Kekik, Betul. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    In recent years, emission regulations of the countries have been tightened with the increase in the number of cars. Nevertheless, reducing the emissions of diesel engines is a difficult technical issue. Since the Diesel ...
  • 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 study of piles driven into sand 
    Nedjib, A. Güven. (A. Güven Nedjib thesis-Robert College, 1936., 1936.)
  • Model-based and model-free control algorithms for textile processes 
    Çom, Mustafa. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2022., 2022)
    Textile processes consist of several control loops that require accurate reference tracking. One of the most crucial control loops is the temperature control where the temperature of the corresponding medium must track the ...
  • 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 analysis of a decentralized electricity market: an integrated simulation / optimization approach 
    Sarıca, Kemal. (Thesis (Ph.D.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2010., 2010.)
    In this study, it is aimed to investigate electricity market restructuring and deregulation and understand the implications of a competitive power market based on hourly biddings. An alternating current (AC) transmission ...
  • Modeling and analysis of a kit management problem 
    Kızılcık, Güler. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2007., 2007.)
    In this study, we consider a multi-item inventory system in which customers may order different but possibly overlapping kits. Customer demand for a kit follows a Poisson process where there is a fixed probability for each ...
  • Modeling and analysis of employee performance management based on system dynamics approach 
    Ulutaş, Samet. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2013., 2013.)
    Since human capital is gaining importance as a key driver of competitive advantage, there is an increasing interest for the value of Human Resources (HR). Thus, decision makers in the HR field need to focus on the critical ...
  • Modeling and analysis of peer-to-peer video-on-demand system 
    Özdemir, Ersin. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    Peer-to-peer video-on-demand (P2P-VoD) system has been recently a promising platform for delivery of multimedia streaming services. In this system, optimal selection of peer groups to be jointly dedicated for the requested ...
  • Modeling and analysis of sustainable product development 
    Gökyıldız, Saliha Sena. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    In this thesis, a methodological approach for sustainable product development is proposed. It consists of three fundamental phases which employ Life Cycle Assessment (LCA) and Life Cycle Costing (LCC), Quality Function ...
  • Modeling and analysis of the historical masonry structures 
    Şen, Betül. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2006., 2006.)
    The modeling and the analysis of the historical masonry structures are difficult and complex tasks. Modeling and analysis procedures can be adequately carried out provided that deep knowledge is collected about the history ...
  • Modeling and evaluation of incident detection algorithms 
    Boyacıoğlu, Pelin. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    Traffic congestion is a growing problem for Istanbul. The application of Intelligent Transportation System (ITS) is aimed at reducing traffic delays due to recurrent and non-recurrent congestions. The non-recurrent congestions ...
  • Modeling and optimal control of range extended electric vehicles 
    Buğur, Orhan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    Over the last few years, the world has started to witness a change in vehicular technology due to increasing gasoline prices and environmental concerns. Hybrid and Electric vehicles have been introduced to society. The ...
  • 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 and simulation of CO2-rich synthesis gas to dimethyl ether conversion in microchannel reactors 
    Tozar, Uğurcan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    Dimethyl ether (DME) is considered as a strong counterpart of oil derivative fuels, such as liquid petroleum gas (LPG) and diesel fuel, due to its environmentally friendly combustion characteristics and compatibility with ...
  • Modeling and simulation of interaction between light sources and living biological tissues 
    Çitkaya, Ahmet Yasin. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2013., 2013.)
    The assessment of exposure level due to commonly used light sources needs specific attention in today's technology of lighting. The main reason behind this concern is that if exposure levels are not known, the biological ...
  • Modeling and simulation of oxidative coupling of methane in a heat-exchange integrated microchannel reactor 
    Tezcan, Funda İdil. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2013., 2013.)
    Oxidative coupling of methane (OCM) involves catalytic conversion of methane into C2 hydrocarbons (ethane and ethylene) and offers an alternative oil-free production of important feedstock used in petrochemical industry. ...

Search Digital Archive


Browse

My Account