Zobrazeno 1 - 10
of 840
pro vyhledávání: '"M Erkan"'
Autor:
Kaya, T.Gülfem, Karagüler, M. Erkan
Publikováno v:
In Construction and Building Materials 12 January 2024 411
Autor:
Su Güneş KABAKLI, M. Erkan KARAMAN
Publikováno v:
Bulletin of the Mineral Research and Exploration, Vol 161, Iss 161, Pp 71-79 (2020)
The effects of geological events that occurred in ancient times, on ancient cities are undeniably great, so geoarchaeology has become an important mutidisciplinary science. Using geological methods in archaeological researchs offers a much more compr
Externí odkaz:
https://doaj.org/article/ec321480556b4bf2bd3549db2d4c3304
Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests its
Externí odkaz:
http://arxiv.org/abs/1109.6926
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-flow graph of the program. Traditionally, a transition of the ART repre
Externí odkaz:
http://arxiv.org/abs/0904.4709
Autor:
Beyer, Dirk, Keremoglu, M. Erkan
Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAchecker, a tool and framework that aims at easy integration of new verifica
Externí odkaz:
http://arxiv.org/abs/0902.0019
Autor:
SOYKAN, M. Erkan1 mehmeterkan.soykan@kayseri.edu.tr
Publikováno v:
Anadolu University Journal of Social Sciences / Anadolu Üniversitesi Sosyal Bilimler Dergisi. 2022, Vol. 22 Issue 2, p695-712. 18p.
Publikováno v:
Tehnički Glasnik, Vol 12, Iss 3, Pp 181-187 (2018)
An optimization study with kinetostatic analysis is performed on hybrid seven-bar press mechanism. This study is based on previous studies performed on planar hybrid seven-bar linkage. Dimensional synthesis is performed, and optimum link lengths for
Externí odkaz:
https://doaj.org/article/94f095af58f14e8d94fdbb92dd9dbf5f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
D.C. Oran, T. Lokumcu, Y. Inceoglu, M.B. Akolpoglu, O. Albayrak, T. Bal, M. Kurtoglu, M. Erkan, F. Can, T. Bagci-Onder, S. Kizilel
Publikováno v:
Materials Today Bio, Vol 2, Iss , Pp - (2019)
Type 1 diabetes (T1D) is an autoimmune disease characterized by destruction of pancreatic β cells. One of the promising therapeutic approaches in T1D is the transplantation of islets; however, it has serious limitations. To address these limitations
Externí odkaz:
https://doaj.org/article/841beb1ea83445e5846c5fcd0f74fe54
Autor:
Kütük, M. Erkan, Dülger, L. Canan *
Publikováno v:
In Engineering Science and Technology, an International Journal June 2016 19(2):846-856