A software system for the data retrieval sublanguage for a dynamic DBMS

Elçi, Alev


A graphical tool for schema intergation in a multidatabase system
Mançuhan, Sema; Doğaç, Asuman; Department of Computer Engineering (1995)
A Fact Checking and Verification System for FEVEROUS Using a Zero-Shot Learning Approach
Temiz, Orkun; Kılıç, Özgün Ozan; Kızıldağ, Arif Ozan; Taşkaya Temizel, Tuğba (2021-01-01)
In this paper, we propose a novel fact checking and verification system to check claims against Wikipedia content. Our system retrieves relevant Wikipedia pages using Anserini, uses BERT-large-cased question answering model to select correct evidence, and verifies claims using XLNET natural language inference model by comparing it with the evidence. Table cell evidence is obtained through looking for entity-matching cell values and TAPAS table question answering model. The pipeline utilizes zero-shot capabi...
A software for analysis and design optimization of switched reluctance motor
Yalçıner, Levent Burak; Ertan, Hulusi Bülent; Department of Electrical and Electronics Engineering (2004)
In this study, development of software, which can analyze and optimize an SRM by accurately calculating its performance, is aimed. Existing methods in the literature are investigated. Some studies for the calculation of performance use 2D field solutions and are known to be accurate; however, using field solutions is not feasible for the optimization purpose. So, a method based on a set of normalized permeance and force data are chosen for prediction of magnetizing characteristics. Selected methods are prog...
A computer aided tool for relational database normalization
Şengezer, Tuğrul; Alpaslan, Ferda; Department of Computer Engineering (1996)
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, M. Nedim (2015-11-01)
This paper proposes a software engineering solution for implementing simulations via the composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology uses Event-B as the formal specification language and Dis...
Citation Formats
A. Elçi, “A software system for the data retrieval sublanguage for a dynamic DBMS,” Middle East Technical University, 1981.