Boğaziçi'nin Avrupa Sahili’nde İnşa Edilmiş Kat Apartmanları ve Koruma Değerleri
نویسندگان
چکیده
منابع مشابه
Türkiye’nin Avrupa Yakasından Toplanan Kenelerde Borrelia burgdorferi s.l. ve Rickettsia spp. Varlığı
This study was performed in ticks collected with the flagging method from localities situated along Anatolian side of Istanbul to the Bulgarian border of Turkey which is under the effect of Black Sea climate. All ticks which were collected seasonally were screened for the presence of B. burgdorferi s.l. and Rickettsia spp. in pools. As a result, indicated agents were revealed to be common in ti...
متن کاملRigid fixation of the lumbar spine alters the motion and mechanical stability at the adjacent segment level Lomber omurgada rijit tespit komşu segment seviyesinde hareket ve mekanik stabiliteyi değiştirir
Gereç ve yöntemler: Bu çalışmada 17 taze donmuş kuzu lomber omurgası (sakrum T12’yi içeren) kullanıldı. Biyomekanik test aksiyel kompresyon test cihazı ile yapıldı. Aksiyel kompresyon tüm numunelere 5 mm/dk. yükleme hızı ile uygulandı. Özel dizayn edilmiş fikstür ile 8400 Nmm tork oluşturuldu. Fikstür aksiyel yönde fleksiyon, ekstansiyon, sağ ve sola eğilme pozisyonlarında yüklenme uygulanacak ...
متن کاملEvaluation of The Radiopacity of a MTA- Based Root-Canal Filling Material using Digital Radiography
Amaç: Bu çalışmanın amacı son zamanlarda kullanıma giren mineral trioksit agregat (MTA) esaslı bir kök-kanal dolgu materyali olan MTA Fillapex’in radyo-opasitesinin dört farklı kök-kanal dolgu materyali ile dijital görüntüleme yöntemi kullanılarak karşılaştırılmasıdır. Yöntemler: Çalışmada kök-kanal dolgu maddesi olarak MTA Fillapex, Adseal, AH Plus, Endomethasone ve güta-perka kon kullanılmışt...
متن کاملAutomata for KAT Expressions
Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...
متن کاملKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MEGARON / Yıldız Technical University, Faculty of Architecture E-Journal
سال: 2019
ISSN: 1309-6915
DOI: 10.14744/megaron.2019.91259