Computer Engineering / Bilgisayar Mühendisliği
Permanent URI for this collectionhttps://hdl.handle.net/11147/10
Browse
7 results
Search Results
Now showing 1 - 7 of 7
Article Citation - WoS: 1Citation - Scopus: 3Ignoring Internal Utilities in High-Utility Itemset Mining(MDPI, 2022) Oğuz, DamlaHigh-utility itemset mining discovers a set of items that are sold together and have utility values higher than a given minimum utility threshold. The utilities of these itemsets are calculated by considering their internal and external utility values, which correspond, respectively, to the quantity sold of each item in each transaction and profit units. Therefore, internal and external utilities have symmetric effects on deciding whether an itemset is high-utility. The symmetric contributions of both utilities cause two major related challenges. First, itemsets with low external utility values can easily exceed the minimum utility threshold if they are sold extensively. In this case, such itemsets can be found more efficiently using frequent itemset mining. Second, a large number of high-utility itemsets are generated, which can result in interesting or important high-utility itemsets that are overlooked. This study presents an asymmetric approach in which the internal utility values are ignored when finding high-utility itemsets with high external utility values. The experimental results of two real datasets reveal that the external utility values have fundamental effects on the high-utility itemsets. The results of this study also show that this effect tends to increase for high values of the minimum utility threshold. Moreover, the proposed approach reduces the execution time.Article Citation - Scopus: 1Model-Based Ideal Testing of Hardware Description Language (hdl) Programs(Springer, 2021) Kılınççeker, Onur; Türk, Ercüment; Belli, Fevzi; Challenger, MoharramAn ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory, that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques.Article Citation - WoS: 2Citation - Scopus: 2Incorporating Concreteness in Multi-Modal Language Models With Curriculum Learning(MDPI, 2021) Sezerer, Erhan; Tekir, SelmaOver the last few years, there has been an increase in the studies that consider experiential (visual) information by building multi-modal language models and representations. It is shown by several studies that language acquisition in humans starts with learning concrete concepts through images and then continues with learning abstract ideas through the text. In this work, the curriculum learning method is used to teach the model concrete/abstract concepts through images and their corresponding captions to accomplish multi-modal language modeling/representation. We use the BERT and Resnet-152 models on each modality and combine them using attentive pooling to perform pre-training on the newly constructed dataset, which is collected from the Wikimedia Commons based on concrete/abstract words. To show the performance of the proposed model, downstream tasks and ablation studies are performed. The contribution of this work is two-fold: A new dataset is constructed from Wikimedia Commons based on concrete/abstract words, and a new multi-modal pre-training approach based on curriculum learning is proposed. The results show that the proposed multi-modal pre-training approach contributes to the success of the model.Article Citation - WoS: 5Citation - Scopus: 7Public Personnel Management Process Capability Assessment(SAGE Publications, 2020) Gökalp, Ebru; Demirörs, Onur; Eren, P. ErhanPersonnel management plays a critical role in the success of public organizations. Our literature review shows that there is a lack of systematic guidance on how to improve Public Personnel Management Process (PPMP) quality. Software Process Improvement and Capability Determination (SPICE) is a process assessment framework that is successfully used by software organizations during the past two decades. The framework can also be used as a baseline to generate process capability models for different specific domains/sectors. We have utilized this approach for the government domain and we developed the process definition of PPMP. To observe the benefits and usability of the model, we have performed a multiple case study, including the assessments of three organizations' PPMP capability levels and the development of action plans for PPMP improvement. The findings show that the proposed approach is applicable for identifying the PPMP capability levels and is capable of providing a roadmap for moving to the next level.Article Citation - WoS: 17Citation - Scopus: 19Pro-Metastatic Functions of Notch Signaling Is Mediated by Cyr61 in Breast Cells(Elsevier, 2020) Küçükköse, Cansu; Efe, Eda; Günyüz, Zehra Elif; Fıratlıgil, Burcu; Doğan, Hülya; Yalçın Özuysal, Özden; İlhan, MustafaMetastasis is the main cause of cancer related deaths, and unfolding the molecular mechanisms underlying metastatic progression is critical for the development of novel therapeutic approaches. Notch is one of the key signaling pathways involved in breast tumorigenesis and metastasis. Notch activation induces pro-metastatic processes such as migration, invasion and epithelial to mesenchymal transition (EMT). However, molecular mediators working downstream of Notch in these processes are not fully elucidated. CYR61 is a secreted protein implicated in metastasis, and its inhibition by a monoclonal antibody suppresses metastasis in xenograft breast tumors, indicating the clinical importance of CYR61 targeting. Here, we aimed to investigate whether CYR61 works downstream of Notch in inducing pro-metastatic phenotypes in breast cells. We showed that CYR61 expression is positively regulated by Notch activity in breast cells. Notch1-induced migration, invasion and anchorage independent growth of a normal breast cell line, MCF10A, were abrogated by CYR61 silencing. Furthermore, upregulation of core EMT markers upon Notch1-activation was impaired in the absence of CYR61. However, reduced migration and invasion of highly metastatic cell line, MDA MB 231, cells upon Notch inhibition was not dependent on CYR61 downregulation. In conclusion, we showed that in normal breast cell line MCF10A, CYR61 is a mediator of Notch1-induced pro-metastatic phenotypes partly via induction of EMT. Our results imply CYR61 as a prominent therapeutic candidate for a subpopulation of breast tumors with high Notch activity.Article Citation - WoS: 5Citation - Scopus: 9Modeling Cultures of the Embedded Software Industry: Feedback From the Field(Springer Verlag, 2021) Akdur, Deniz; Say, Bilge; Demirörs, OnurEngineering of modern embedded systems requires complex technical, managerial and operational processes. To cope with the complexity, modeling is a commonly used approach in the embedded software industry. The modeling approaches in embedded software vary since the characteristics of modeling such as purpose, medium type and life cycle phase differ among systems and industrial sectors. The objective of this paper is to detail the use of a characterization model MAPforES ("Modeling Approach Patterns for Embedded Software"). This paper presents the results of applying MAPforES in multiple case studies. The applications are performed in three sectors of the embedded software industry: defense and aerospace, automotive and transportation, and consumer electronics. A series of both structured and semi-structured interviews with 35 embedded software professionals were conducted as part of the case studies. The characterization model was successfully applied to these cases. The results show that identifying individual patterns provides insight for improving both individual behavior and the behavior of projects and organizations.Article Citation - WoS: 6Citation - Scopus: 9Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations(Association for Computing Machinery (ACM), 2008) Ayav, Tolga; Fradet, Pascal; Girault, AlainWe present a formal approach to implement fault-tolerance in real-time embedded systems. The initial fault-intolerant system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors connected by a reliable communication network. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates one failure at a time (transient or permanent). Failure detection is implemented using heartbeating, and failure masking using checkpointing and rollback. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformations highlights the benefits of separation of concerns. It allows us to establish correctness properties and to compute optimal values of parameters to minimize fault-tolerance overhead. We also present an implementation of our method, to demonstrate its feasibility and its efficiency.