Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

2017 - 20194

Settings

Author: search.filters.author.Çine, Ersin

Search Results

Now showing 1 - 4 of 4
  • Conference Object
    Deep Convolutional Neural Networks for Viability Analysis Directly From Cell Holograms Captured Using Lensless Holographic Microscopy
    (The Chemical and Biological Microsystems Society (CBMS), 2019) Delikoyun, Kerem; Çine, Ersin; Anıl İnevi, Müge; Özçivici, Engin; Özuysal, Mustafa; Tekin, Hüseyin Cumhur
    Cell viability analysis is one of the most widely used protocols in the fields of biomedical sciences. Traditional methods are prone to human error and require high-cost and bulky instrumentations. Lensless digital inline holographic microscopy (LDIHM) offers low-cost and high resolution imaging. However, recorded holograms should be digitally reconstructed to obtain real images, which requires intense computational work. We introduce a deep transfer learning-based cell viability classification method that directly processes the hologram without reconstruction. This new model is only trained once and viability of each cell can be predicted from its hologram. © 2019 CBMS-0001.
  • Conference Object
    Citation - WoS: 2
    Citation - Scopus: 2
    An Extended Syllogistic Logic for Automated Reasoning
    (Institute of Electrical and Electronics Engineers, 2017) Çine, Ersin; Kumova, Bora İsmail
    In this work, we generalise the categorical syllogistic logic in several dimensions to a relatively expressive logic that is sufficiently powerful to encompass a wider range of linguistic semantics. The generalisation is necessary in order to eliminate the existential ambiguity of the quantifiers and to increase expressiveness, practicality, and adaptivity of the syllogisms. The extended semantics is expressed in an extended syntax such that an algorithmic solution of the extended syllogisms can be processed. Our algorithmic approach for deduction in this logic allows for automated reasoning directly with quantified propositions, without reduction of quantifiers.
  • Conference Object
    Syllogistic Knowledge Bases With Description Logic Reasoners
    (IEEE, 2018) Çine, Ersin
    Reasoning is a core topic both for natural intelligence and for artificial intelligence. While syllogistic logics (SLs) are often studied by cognitive scientists for understanding human reasoning, description logics (DLs) are usually studied by computer scientists for performing automated reasoning. Although the studies on both of these logics are extensive, their literatures are interestingly isolated from each other. Firstly, we formally define a practical family of SLs with different levels of expressivity, including a logic which has recently been introduced for automated reasoning. Then, we reveal their theoretical properties either by defining direct algorithms for deductive reasoning or by translation rules for them into relevant DLs. These algorithms and rules prove that (i) two of our SLs (namely PolSyl and NegSyl) are tractable fragments of DLs, and (ii) other two SLs (namely ComSyl and ComSyl+) are categorical fragments of DL AEC and DL AEC:0 with general TBoxes, respectively. These findings bridge the gap between (ancient) SLs and (modern) DLs. An immediate result is that it is possible to combine powerful features of both logics, for example, intuitional user interface of an SL and efficient reasoning algorithms for a DL. Finally, we propose a framework for knowledge representation in SLs and link it to sound and complete DL reasoners for automated deduction.
  • Conference Object
    Citation - WoS: 5
    Citation - Scopus: 8
    Lensless Digital In-Line Holographic Microscopy for Space Biotechnology Applications
    (Institute of Electrical and Electronics Engineers Inc., 2019) Delikoyun, Kerem; Çine, Ersin; Anıl İnevi, Müge; Özuysal, Mustafa; Özçivici, Engin; Tekin, Hüseyin Cumhur
    Biomechanical changes at cellular level can dramatically affect living organisms in both aviation and space applications. Weightlessness induces morphological alteration of cells, which leads to tissue loss. Therefore, scientists have been studying the effect of weightlessness using cell culture based biological experiments using conventional microscopes. However, strict requirements regarding cost, weight and functionality limit the use of conventional microscopes in space environment. Lensless digital in-line holographic microscopy enables to use low-weight, low-cost and robust elements, such as a light emitting diode (LED), an aperture and an imaging sensor, instead of bulky, expensive and fragile optical elements, such as lenses, mirrors and filters. This technology offers a high field of view compared to conventional microscopes without affecting the resolution and it is also suitable for remote sensing applications with automated imaging capabilities. Here, we present a portable digital in-line holographic microscopy platform that allows to visualize cells and to analyze their viability in a microfluidic chip. The platform offers microscopic imaging with 1.55 mu m spatial resolution, 21.7 mm(2) field of view and image coloring capability. This platform could potentially play an important role in space biotechnology applications by enabling low-cost, high-resolution and portable monitoring of cells.