Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Kemal Inan"'
Autor:
Yunus DEMİR, Kemal İNAN
Publikováno v:
Volume: 32, Issue: 1 24-36
Textile and Apparel
Textile and Apparel
As in all sectors, fierce competition across the world deeply affects the textile industry. With the addition of new players to the market day by day, the competition is getting more and more intense. In today's world, where the price is determined b
Publikováno v:
Formal Aspects of Computing. 26:1153-1167
We study the relation between synchronizing sequences and preset distinguishing sequences which are some special sequences used in finite state machine based testing. We show that the problems related to preset distinguishing sequences can be convert
Publikováno v:
The Journal of Tepecik Education and Research Hospital.
Publikováno v:
Volume: 30, Issue: 2 129-131
İzmir Göğüs Hastanesi Dergisi
İzmir Göğüs Hastanesi Dergisi
Konjenital aort anomalileri çoğunlukla hayatın ilk yıllarında semptomatik olmasına rağmen, bazen erişkin yaşlara kadar asemptomatik seyredebilmektedir. Sağ aortik ark anomalisi oldukça nadir görülen bir durum olup, aort anomalileri aras
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=tubitakulakb::3a3b140955e4e42fe6d1a5dacf365adc
https://dergipark.org.tr/tr/pub/ighd/issue/43146/523234
https://dergipark.org.tr/tr/pub/ighd/issue/43146/523234
Publikováno v:
Information Sciences and Systems 2014 ISBN: 9783319094649
ISCIS
ISCIS
In an earlier work, we have studied a special class of FiniteState Machines (FSMs) called Distinguished Merging FSMs (DMFSMs) and showed that one can construct a Preset Distinguishing Sequence (PDS) for a DMFSM with \(n\) states, \(p\) input symbols,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f839bb93f121e6fdd845a1eb3c5b5dc0
https://doi.org/10.1007/978-3-319-09465-6_34
https://doi.org/10.1007/978-3-319-09465-6_34
Autor:
Kemal Inan, Hasan Ural
Publikováno v:
Information and Software Technology. 41:799-812
A general model for constructing minimal length checking sequences is proposed. The model is based on the characteristics of checking sequences and sets of state identification and verification sequences. Some existing methods are shown to be special
Autor:
M. Kemal Inan, Robert P. Kurshan
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both log
Autor:
Kemal Inan
Publikováno v:
Discrete Event Dynamic Systems: Theory and Applications. 5:83-96
A hybrid timer system with different timer rates and idling timer feature operating in dense time is modeled as an event-driven nondeterministic automaton and it is shown that the system is weak bisimulation equivalent to a finite state nondeterminis
Publikováno v:
Journal of Interdisciplinary Histopathology. 4:41
Idiopathic inflammatory myopathies (IIM) are a heterogeneous group of disease with complex clinical features. It has been sub-classified as: (1) Dermatomyositis, (2) Polymyositis, and (3) Inclusion body myositis (IBM). Nowadays, there are some studie
Autor:
Kemal Inan
Publikováno v:
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems ISBN: 3540198962
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e95b9da3908c2b9a3699192c1a65b6a3
https://doi.org/10.1007/bfb0033530
https://doi.org/10.1007/bfb0033530