Özet. NATO güçleri 2002 yılından beri Amerika’nın Afganistan üzerinde başlatmış olduğu bölgede kalıcı barışı sağlama amaçlı mücadelesine destek vermektedir. Bölgede devam eden mücadele öncelikli olarak her ne kadar asker gücü ile devam ettirilse de arka planda karar ve destek verme amaçlı çalışan bir çok yazılım sistemi bulunmaktadır. Bu yazılım sistemleri farklı zamanlarda farklı taraflar tara...

Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed AltGr-Ergo, an interactive graphical interface for the SMT solver Alt-Ergo which allows users and tool developers to help the solver finish some proofs. Alt...

objectives: diabetes mellitus is associated with biochemical, physiological and pathological alterations in the liver. the aim of this study was to investigate the effects of hydroalcoholic extract of prangos ferulacea (l.) lindle (p.f) on changes in rats´ liver structure and serum activities of alanin and aspartate aminotransferases after alloxan injection. materials and methods: in this study...

Özetçe. Yetenek yönelimli olarak modellenen bir yazılım ürün ailesindeki farklı yazılım ürünleri tarafından ortak olarak kullanılan yazılım yapıtaşlarının belirlenmesi büyük önem taşımaktadır. Yazılım yapıtaşlarının; ürün ailesine ait belirli bir fonksiyonel yeteneği gerçekler, birbirleri aralarındaki bağımlılıkların en aza indirilmiş, birbirinden bağımsız olarak geliştirilebilecek ve idame ett...