WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

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

Browse

Filters

20243

Settings

Department: search.filters.department.Izmir Institute of TechnologyPublisher: search.filters.publisher.World Scientific Publ Co Pte Ltd

Search Results

Now showing 1 - 3 of 3
  • Article
    On the Rings Whose Injective Right Modules Are Max-Projective
    (World Scientific Publ Co Pte Ltd, 2024) Alagoz, Yusuf; Büyükaşık, Engin; Buyukasik, Engin; Alagöz, Yusuf; Yurtsever, Haydar Baran; 01. Izmir Institute of Technology; 04.02. Department of Mathematics; 04. Faculty of Science
    Recently, right almost-QF (respectively, max-QF) rings that is the rings whose injective right modules are R-projective (respectively, max-projective) were studied by the first two authors. In this paper, our aim is to give some further characterizations of these rings over more general classes of rings, and address several questions about these rings. We obtain characterizations of max-QF rings over several classes of rings including local, semilocal right semihereditary, right non-singular right Noetherian and right non-singular right finite dimensional rings. We prove that for a ring R being right almost-QF and right max-QF are not left-right symmetric. We also show that right almost-QF and right max-QF rings are not closed under factor rings. This leads us to consider the rings all of whose factor rings are almost-QF and max-QF.
  • Article
    Citation - WoS: 4
    Citation - Scopus: 4
    The Bell-Based Super-Coherent States: Uncertainty Relations, Golden Ratio and Fermion-Boson Entanglement
    (World Scientific Publ Co Pte Ltd, 2024) Pashaev, Oktay; Kocak, Aygul; 04.02. Department of Mathematics; 04. Faculty of Science; 01. Izmir Institute of Technology
    The set of maximally fermion-boson entangled Bell super-coherent states is introduced. A superposition of these states with separable bosonic coherent states, represented by points on the super-Bloch sphere, we call the Bell-based super-coherent states. Entanglement of bosonic and fermionic degrees of freedom in these states is studied by using displacement bosonic operator. It acts on the super-qubit reference state, representing superposition of the zero and the one super-number states, forming computational basis super-states. We show that the states are completely characterized by displaced Fock states, as a superposition with non-classical, the photon added coherent states, and the entanglement is independent of coherent state parameter alpha alpha and of the time evolution. In contrast to never orthogonal Glauber coherent states, our entangled super-coherent states can be orthogonal. The uncertainty relation in the states is monotonically growing function of the concurrence and for entangled states we get non-classical quadrature squeezing and representation of uncertainty by ratio of two Fibonacci numbers. The sequence of concurrences, and corresponding uncertainties hF(n)/Fn+1, in the limit n ->infinity n ->infinity, convergent to the Golden ratio uncertainty h/phi, where phi=1+root 5/2 is found.
  • Article
    Citation - WoS: 5
    Unifying Behavioral and Feature Modeling for Testing of Software Product Lines
    (World Scientific Publ Co Pte Ltd, 2024) Ufuktepe, Ekincan; Tuğlular, Tuğkan; Belli, Fevzi; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
    Existing 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.