Results 11 to 20 of about 6,471,570 (118)
Çanakkale’de yeşil kurt Helicoverpa armigera (Lepidoptera: Noctuidae) popülasyonun genetik çeşitliliği [PDF]
ÇOMÜ Ziraat Fakültesi dergisi, 2022 The cotton bollworm, Helicoverpa armigera (Hübner) (Lepidoptera: Noctuidae) is a commonly known polyphagous pest in agricultural areas all over the world.
Seda Yücel, H. Genç
semanticscholar +2 more sources
Sosyal Bilgiler Dersinde Tartışmalı Konuların Etkili Öğretimine Yönelik Bir Meta Sentez
İnönü Üniversitesi Eğitim Fakültesi Dergisi, 2023 Bu çalışmada tartışmalı konuların etkili öğretimine ilişkin olarak, nitel araştırmalardan damıtılan ve Türkiye’nin konu ile ilgili sorunlarına çözüm getirecek özgün bir sentez ortaya koymak amaçlanmıştır.
Yağmur Bahar, Nilay Bumen
semanticscholar +2 more sources
, 2020 Acik ve uzaktan ogretim alani kendisine has dinamiklere, sureclere ve hatta sorunlara sahip bir alan olup, bunlar geleneksel ogretimden onemli olcude farklilasir.
Kamil Çekerol
semanticscholar +2 more sources
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties [PDF]
Proc. ACM Program. Lang., 2023 Hoare logics are proof systems that allowone to formally establish properties of computer programs. Traditional Hoare logics prove properties of individual program executions (such as functional correctness).
Thibault Dardinier, P. Muller
semanticscholar +1 more source
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation [PDF]
Proc. ACM Program. Lang., 2023 A key challenge in example-based program synthesis is the gigantic search space of programs. To address this challenge, various work proposed to use abstract interpretation to prune the search space. However, most of existing approaches have focused only
Yongho Yoon, Woosuk Lee, K. Yi
semanticscholar +1 more source
Nüsha Şarkiyat Araştırmaları Dergisi, 2022 Bu araştırmada, öğretmenlerin proje imam hatip liseleri hakkındaki görüşleri ile bu okullarda görev yapan okul yöneticisi ve öğretmen niteliklerinin belirlenmesi amaçlanmıştır.
Ümit Kalkan
semanticscholar +1 more source
DİJİTAL YAYIN PLATFORMLARI VE DEĞİŞİM GEÇİREN DİZİLER: ON BİN ADIM DİZİSİ ÖRNEĞİ
Akdeniz Üniversitesi İletişim Fakültesi Dergisi, 2022 Son yıllarda yaşanan teknolojik gelişmeler, geleneksel yayıncılık yerine internet yayıncılığının daha çok tercih edilmesinde etkili olmuştur. Bireylerin günlük yaşamlarında sağladığı kolaylıklar sonucu internet kullanımının yaygınlaşması, televizyon ...
Şebnem CEYLAN APAYDIN
semanticscholar +1 more source
Automated transpilation of imperative to functional code using neural-guided program synthesis [PDF]
Proc. ACM Program. Lang., 2022 While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no effective techniques that can be used to automatically translate existing ...
Benjamin Mariano +4 more
semanticscholar +1 more source
Substrate preferences of epiphytic mosses in Göreme national park (Nevşehir) [PDF]
, 2021 Bu çalışmada Göreme Milli Parkı içerisinde yayılış gösteren epifitik karayosunlarının substrat tercihleri ordinasyon yöntemleri kullanılarak araştırılmıştır.
Hatice TAŞPINAR +3 more
core +1 more source
Rekreasyonel Spor Tesisleri Üyelerinin Algılanan Hizmet Kalitesi Düzeylerinin İncelenmesi
OPUS Uluslararası Toplum Araştırmaları Dergisi, 2021 Bu calismanin amaci spor merkezi uyelerinin beklentilerini ve algilanan hizmet kalitesi duzeylerini ongoren degiskenlerin arastirilmasidir. Arastirmanin orneklemini spor tesisleri uyeleri arasinda gonullu olarak katilan %64 kadin (n: 238) ve %36 erkek (n:
Arif Çetin, A. Demi̇r
semanticscholar +1 more source