• Formal Verification of Bit-Vector Invertibility Conditions in Coq 

  Ekici, Burak; Viswanathan, Arjun; Zohar, Yoni; Tinelli, Cesare; Barrett, Clark Stanford University, (Springer Science and Business Media Deutschland GmbH, 2023)

  We prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors—used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver cvc5— in the Coq proof assistant. ...

• Investigations of the Friction and Wear Resistance of the Natural Fiber-Reinforced Polyamide Composites 

  Doğru, Alperen; Can Kaymaz, İbrahim; Kandemir, Miray Batikan; Seydibeyoğlu, Mehmet Özgür (wiley, 2023)

  The search for natural and biobased materials to create a sustainable future has led many scientists to conduct research on natural-fiber-reinforced composites. Natural fibers have been used for thousands of years, but in ...

• Economic Operation of a Multi-Energy System Considering the Impacts of Micro-Mobility 

  Taşçıkaraoğlu, Akın; Noorzad, Najmuddin; Catalao, Joao P. S (Institute of Electrical and Electronics Engineers Inc., 2023)

  The increasing and uncontrolled demand for energy has led to the emergence of a multi-energy system (MES), which is a promising and efficient way of providing multiple energy services to end-users, such as electricity, ...

• Mass movement evaluation in deformed clastic rock with InSAR technique 

  Gül, Murat; Bayık, Çağlar; Abdikan, Saygın (WILEY, 2023)

  This study uses multitemporal InSAR images to assess different types of mass movements occurring in the Seydikemer (Mugla, SW Turkiye) district. A major highway connecting the Fethiye district and Antalya province and ...

• Predicting the Ultimate Properties of Engineered Cementitious Composites by Maturity Method 

  Kasap Keskin, Özlem; Keskin, Süleyman B.; Tekin, Kamil (Japan Concrete Institute, 2023)

  This study examines the application of the maturity method to obtain the ultimate properties of ECC. Within the scope of the study, the maturity method according to the Arrhenius equation was applied to four different ECC ...

• The 12 November 2017 Mw 7.4 earthquake in Sarpol-e-Zahab (Iran–Iraq): a complex fault rupture in the Zagros Mountains 

  Saleh M; Meghraoui M.; Çetin, Esra (Springer Nature, 2023)

  On 12 November 2017, the NW–SE-trending fold-and-thrust Zagros Mountains (Iran–Iraq) border region experienced a large (Mw 7.4) and damaging earthquake. Using seismotectonic investigations coupled with InSAR and GPS data ...

• İnternet Sıkça Sorulan Sorular ve Wiki Yaklaşımı 

  Bekçibaşı, Uğur; Karaarslan, Enis (internet teknolojileri derneği (inetd), 2010)

  Bilgiye mümkün oldukça farklı kaynaklardan ve hızlı olarak ulaşmak gerekmektedir. Günümüzde bu bilgiye ulaşmamız için gerekli araştırma ve öğrenme yöntemlerine destek olabilecek en etkili, en kolay ulaşılabilir kaynak; ...

• Is ChatGPT Leading Generative AI What is Beyond Expectations? 

  Aydın, Ömer; Karaarslan, Enis (Akademik Perspektif Derneği, 2023)

  Generative AI has the potential to change the way we do things. The chatbot is one of the most popular implementation areas. Even though companies like Google and Meta had chatbots, ChatGPT became popular as it was made ...

• Magnetic properties of the FCC and BCC phases of (MnFeCoNi)(80)Cu(20_x)Z(x()Z(1)& nbsp;Al, Ga) high-entropy alloys 

  Orbay, Yaşar; Rao, Ziyuan; Çakır, Aslı; Tavşanoğlu, Tolga; Farle, Michael; Acet, Mehmet (PERGAMON-ELSEVIER SCIENCE LTD, 2023)

  In this work, the FCC-BCC phase transition in (MnFeCoNi)80Cu20 (Al, Ga) high entropy alloys were investigated on the basis of structural, magnetic, hardness and thermal expansion properties. It is found that the equiatomic ...

• Tracing the protoliths of the garnet amphibolitic and retrogressed eclogitic slices and a conceptual tectonic model for their emplacement onto the Central Menderes Massif, Turkey: New geochemical data and laser ablation-inductively coupled plasma-mass spectrometry U-Pb zircon and rutile ages 

  Gürsu, Semih; Möller, Andreas; Inglis, Jeremy D.; Göncüoğlu, M. Cemal; Hefferan, Kevin (Geological Society of America, 2023)

  The age, emplacement, and metamorphic history of the garnet amphibolitic and retrogressed eclogitic slices in the Menderes Massif (Eastern Aegean) have been a matter of debate since the 1990’s. Late Cretaceous garnet ...

• DEVOUR: Deleterious Variants on Uncovered Regions in Whole-Exome Sequencing 

  Türk, Erdem; Ayaz, Akif; Yüksek, Ayhan; Süzek, Barış Ethem (PMC, 2023)

  The discovery of low-coverage (i.e. uncovered) regions containing clinically significant variants, especially when they are related to the patient's clinical phenotype, is critical for whole-exome sequencing (WES) based ...

• Effect of different hydrogen Fugacities on the microstructure of additively manufactured Ti-6Al-4V 

  Kaya, Ali Arslan; Metalnikov, Polina; Ben-Hamu, Guy; Eliezer, Dan (Elsevier Inc., 2023)

  In this study we compared the microstructural changes in the presence of hydrogen of Ti-6Al-4V alloy prepared by two different additive manufacturing (AM) methods: electron beam melting (EBM) and selective laser melting ...

• A comparative study to estimate the mode I fracture toughness of rocks using several soft computing techniques 

  Köken, Ekin; Kadakçı Koca, Tümay (Turkish Journal of Engineering, 2023)

  Fracture toughness is an important phenomenon to reveal the actual strength of fractured rock materials. It is, therefore, crucial to use the fracture toughness models principally for simulating the performance of fractured ...

• Thermal plasma synthesis of (La,Sr)CoO3-(La,Sr)2CoO4 composite cathodes for intermediate temperature solid oxide fuel cells (IT-SOFC) 

  Aysal, Havva Eda; Kılıç, Fahrettin; Çakmak, Gülhan; Öztürk, Tayfur (Elsevier Ltd, 2023)

  (La,Sr)CoO3 and (La,Sr)2CoO4 dual phase powders were synthesized via thermal plasma to be used as cathodes for intermediate temperature solid oxide fuel cells (IT-SOFC). This covered pure (La,Sr)CoO3 as well as the composites ...

• Adaptive MIMO fuzzy PID controller based on peak observer 

  Uçak, Kemal; Arslantürk, Beyza Nur (RAMAZAN YAMAN, 2023)

  In this paper, a novel peak observer based adaptive multi-input multi-output (MIMO) fuzzy proportional-integral-derivative (PID) controller has been introduced for MIMO time delay systems. The adaptation mechanism proposed ...

• Response spectrum shapes implied by earthquakes in Turkey: comparisons with design spectra 

  Gülkan, H. Polat; Akansel, Vesile Hatun; Kalkan, Erol (Springer Science and Business Media B.V., 2023)

  Design spectrum shape in many recent standards and codes is defined by spectral accelerations for two periods, Ts,(~0.2s) and T1,(~1 s), modified by multiplicative factors that account for the site class and strength of ...

• Mid to late Holocene water level and inferred climate changes of Lake Salda (SW Anatolia/Turkey): evidence from high-resolution seismic and sediment-core records 

  Sabuncu, Asen; Eriş, Kürşad Kadir; Uçarkuş, Gülsen; Acar, Dursun; Akçer-Ön, Sena; Balcı, Nurgül (Springer Science and Business Media B.V., 2023)

  The sedimentary sequence in Lake Salda has been first documented in detail by analyses of high-resolution seismic profiles and sediment cores together with onshore outcrops along the present shoreline of the lake. Such a ...

• A Bayesian change point analysis re-examines the 4.2 ka BP event in southeast Europe and southwest Asia 

  Ön, Zeki Bora (PERGAMON-ELSEVIER SCIENCE LTD, 2023)

  The 4.2 ka BP event is a hypothesized global drought and cooling event and is claimed to be supported by proxy records from a wide range of geographical locations. However, recent studies have presented contradictory data ...

• Optimum usage of waste marble powder to reduce use of cement toward eco-friendly concrete 

  Özkılıç, Yasin Onuralp; Zeybek, Öze; Bahrami, Alireza; Çelik, Ali İhsan (Elsevier Editora Ltda, 2023)

  In this study, waste marble powder (WMP) was used to replace cement of concrete in specific amounts. To accomplish this aim, WMP was replaced at 10%, 20%, 30%, and 40% of the cement weight, and a reference concrete sample ...

• Enhanced injectability of aqueous β-tricalcium phosphate suspensions through PAA incorporation, gelling and preshearing 

  Şahin, Erdem (Elsevier Ltd, 2023)

  The major shortcoming of aqueous calcium phosphate suspensions used in biomedical applications is their unstable flow during delivery by mechanical means. In this study, microstructural changes and the resulting flow ...

View more