Results 61 to 70 of about 1,458 (174)
Source Code Verification for Embedded Systems using Prolog [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Frank Flederer +3 more
doaj +1 more source
Characterization of Bimodal Particle Size Distribution of Ground Coffee Powder
Journal of Food Process Engineering, Volume 49, Issue 6, June 2026.A combined modeling approach was established for bimodal PSD of coffee grounds, and their fitting performance was assessed. The PSD characteristics were well established by the LW, WB, and GW combination models. PSD model parameters can guide future data‐based coffee extraction modeling.
Mahima Bora, Heiko Briesen
wiley +1 more source
Παναγιά Τσαμπίκα Tsambika, Ρόδος Rodos. Interior niche, north side.
, 2018 Παναγιά Τσαμπίκα Tsambika, Ρόδος Rodos.
Anon
core +1 more source
, 2022 Weinig hedendaagse bezoekers zullen het zich realiseren. Het Rodos of Kos dat zij tijdens hunzonvakantie bezoeken mag voor hen dan door en door ‘Grieks’ ogen, maar de eilanden behoren pas sinds 1947 daadwerkelijk tot Griekenland. Daarvoor waren ze meer dan drie decennia koloniaal bezit van Italië.
openaire +1 more source
Hydas; Bozburun Yarımadasında Müstahkem Bir Yerleşim Yeri
Belleten, 2010 Sur duvarları ile çevrelenmiş yüksek bir yerleşim yeri olan Hydas/Hygassos, Güney-Batı Anadolu'nun kıyı kesiminde bulunan, antik dönemde Karya olarak adlandırılan bölge içinde, yaklaşık 300 km² büyüklüğe sahip olan Bozburun ...
Mathias Benter
doaj +1 more source
GeoHealth, Volume 10, Issue 5, May 2026.Abstract Understanding how climate modulates infectious disease dynamics is critical for anticipating epidemic patterns. After a hot debate on potential facilitation of population spread by climate factors during the first 2 years of the COVID‐19 pandemics, not much attention has been devoted to assess whether the ensuing SARS‐CoV‐2 waves also ...
Leonardo López +3 more
wiley +1 more source
Rodos Ρόδος, Lindos Λίνδος, Άγιος Ιωάννης, from the north west.
, 2018 Rodos Ρόδος, Lindos Λίνδος, Άγιος Ιωάννης, from the north ...
Anon
core +1 more source
RODOS HAFIZ AHMET AĞA KÜTÜPHANESİNDE BULUNAN 01 ENVANTER NUMARALI KUR’AN-I KERİM TEZHİBİ
Konya Sanat, 2019 Günümüzde yazma eserler kütüphaneleri ve müzelerde bulunan pek çok Kur’an-ı Kerim nüshası kıymetli tezhipler ihtiva etmesi ile dikkat çeker. Meşakkatli ve uzunca bir sürecin ürünü olan özenle bezenmiş bu eserler İslam medeniyetinin ilme verdiği önemin ...
Naciye Detseli, Ali Fuat Baysal
doaj
Święcenia kapłańskie kobiet z perspektywy prawosławnej
Polonia Sacra, 2015 Celem niniejszego artykułu jest prezentacja aktualnego stanowiska prawosławia w sprawie możliwości święceń kapłańskich kobiet. Z problemem święceń (ordynacji) kobiet Kościoły prawosławne zetknęły się w latach 60.
Tadeusz Kałużny
doaj +1 more source
Review of Development Economics, Volume 30, Issue 2, Page 695-715, May 2026.ABSTRACT In the present study, we examined the impact of the net effects of foreign direct investment (FDI) on biodiversity and ecological footprint productivity in 21 Latin American countries over a 32‐year period from 1990 to 2022. Additionally, we propose the hypothesis of ecological transition (ETH), which conceptualizes the asymmetric impact on ...
Gonzalo H. Soto +2 more
wiley +1 more source