Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7148
Browse
6 results
Search Results
Article Citation - Scopus: 5Unifying Behavioral and Feature Modeling for Testing of Software Product Lines(World Scientific Publishing, 2023) Belli, Fevzi; Tuğlular, Tuğkan; Ufuktepe, EkincanExisting software product line (SPL) engineering testing approaches generally provide positive testing that validates the SPL's functionality. Negative testing is commonly neglected. This research aims to unify behavioral and feature models of an SPL, enable testing before and after variability binding for domain-centric and product-centric testing, and combine positive and negative testing for a holistic testing view. This study suggests behavioral modeling with event sequence graphs (ESGs). This heterogeneous modeling strategy supports bottom-up domain testing and top-down product testing with the feature model. This new feature-oriented ESG test creation method generates shorter test sequences than the original ESG optimum test sequences. Statechart and original ESG test-generating methods are compared. Positive testing findings are similar. The Statechart technique generated 12 test cases with 59 events, whereas the ESG technique created six test cases with 60 events. The ESG technique generated 205 negative test cases with 858 events with the Test Suite Designer tool. However, the Conformiq Designer tool for the Statechart technique does not have a negative test case generation capability. It is shown that the proposed ESG-based holistic approach confirms not only the desirable (positive) properties but also the undesirable (negative) ones. As an additional research, the traditional ESG test-generating approach is compared to the new feature-oriented method on six SPLs of different sizes and features. Our case study results show that the traditional ESG test generation approach demonstrated higher positive test generation scores compare to the proposed feature-oriented test generation approach. However, our proposed feature-oriented test generation approach is capable of generating shorter test sequences, which could be beneficial for reducing the execution time of test cases compared to traditional ESG approach. Finally, our case study has also shown that regardless of the test generation approach, there has been found no significant difference between the Bottom-up and Top-down test strategies with respect to their positive test generation scores. © World Scientific Publishing Company.Article Citation - WoS: 7Citation - Scopus: 9Parity, Virtual Closure and Minimality of Knotoids(World Scientific Publishing, 2021) Güğümcü, Neslihan; Kauffman, Louis H.In this paper, we study parity in planar and spherical knotoids in relation to virtual knots. We introduce a planar version of the parity bracket polynomial for planar knotoids. We show that the virtual closure map (a map from the set of knotoids in S-2 to the set of virtual knots of genus at most one) is not surjective, by utilizing the surface bracket polynomial of virtual knots. We give specific examples of virtual knots that are not in the image of the virtual closure map. Turaev conjectured that minimal diagrams of knot-type knotoids have zero height. We prove this conjecture by using the results of Nikonov and Manturov induced by parities of virtual knots.Article Citation - WoS: 1Citation - Scopus: 1Viability of 3t3-L1 Preadipocytes Is Modulated by the Applied Frequency but Not the Exposure Duration of Low Intensity Vibratory Stimulation(World Scientific Publishing, 2022) Baskan, Öznur; Özçivici, EnginMechanical forces are the integral determinants in cell and tissue homeostasis and regeneration, and they can affect numerous biological process from proliferation to fate determination. Mechanical forces that possess low magnitude and high frequency characteristics are also known as low intensity vibrations (LIVs). These signals were studied widely on many cell types for regenerative purposes, however most of these studies select components of LIV signals (e.g., magnitude, frequency, duration, etc.) arbitrarily. Here, we addressed the effect of LIV applied frequency, LIV daily exposure time and fate induction on the viability of preadipocyte 3T3-L1 cells. For this, we performed a frequency sweep that was ranging from 30Hz to 120Hz with 15Hz increments applied for 5, 10 or 20min during quiescent growth or adipogenesis for up to 10 days. Results suggest that the applied frequency and fate induction was an important determinant of cell viability while daily exposure time had no effect. These findings contribute to the effort of optimizing a relevant mechanical stimulus that can inhibit adipogenesis.Article Citation - WoS: 2Citation - Scopus: 6Towards Integration of the Finite Element Modeling Technique Into Biomedical Engineering Education(World Scientific Publishing, 2022) Mihçin, Şenay; Çıklaçandır, SametBiomedical engineering (BME) is a multidisciplinary field, resulting in a heavy course load from different fields. We hypothesize that the engineering curriculum be tailored according to the requirements of the BME profession. In this study, we focus on the teaching of the finite element modeling (FEM) technique by redesigning the course to address the needs of the BME profession by some custom-made changes to meet the unmet needs. After the completion of the course, evaluation methods of the students were analyzed and detailed over a survey providing feedback from the students. The surveys were related to the teaching the theory of FEM, the laboratory sessions, and the project sessions. The survey results were evaluated using statistical methods. The Pearson correlation coefficient showed a linear agreement between theoretical and practical sessions indicating efficient blending of skills because of the custom-made changes. The survey analysis showed that the students were in favour of the changes, allowing them to be more resourceful and confident with their skills. The positive results indicate a positive attitude among the students towards their profession. As the course design addresses the needs of the profession allowing students to fit in better, the students might follow their own profession after graduation. A wider follow-up study might be planned next to compare the results between who received tailor-designed courses and those who did not.Article Citation - WoS: 2Citation - Scopus: 3Biquandle Brackets and Knotoids(World Scientific Publishing, 2021) Güğümcü, Neslihan; Nelson, Sam; Oyamaguchi, NatsumiBiquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper, we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in (N. Gügümcü and S. Nelson, Biquandle coloring invariants of knotoids, J. Knot Theory Ramif. 28(4) (2019) 1950029). We provide examples to illustrate the method of calculation and to show that the new invariants are stronger than the previous ones. As an application we show that the trace of the biquandle bracket matrix is an invariant of the virtual closure of a knotoid.Article Citation - WoS: 17Citation - Scopus: 17Quantum Calculus of Fibonacci Divisors and Infinite Hierarchy of Bosonic-Fermionic Golden Quantum Oscillators(World Scientific Publishing, 2021) Pashaev, OktayStarting from divisibility problem for Fibonacci numbers, we introduce Fibonacci divisors, related hierarchy of Golden derivatives in powers of the Golden Ratio and develop corresponding quantum calculus. By this calculus, the infinite hierarchy of Golden quantum oscillators with integer spectrum determined by Fibonacci divisors, the hierarchy of Golden coherent states and related Fock-Bargman representations in space of complex analytic functions are derived. It is shown that Fibonacci divisors with even and odd kappa describe Golden deformed bosonic and fermionic quantum oscillators, correspondingly. By the set of translation operators we find the hierarchy of Golden binomials and related Golden analytic functions, conjugate to Fibonacci number F-kappa. In the limit. kappa -> 0, Golden analytic functions reduce to classical holomorphic functions and quantum calculus of Fibonacci divisors to the usual one. Several applications of the calculus to quantum deformation of bosonic and fermionic oscillator algebras, R-matrices, geometry of hydrodynamic images and quantum computations are discussed.