Technology Innovation in Education Research

No Abstract

Type Targeted Testing

We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. The key insight behind our approach is that through the lens of SMT solvers, refinement types can also be viewed as a high-level, declarative, test generation technique, wherein types are converted to SMT queries whose models can be decoded into concrete program inputs. Our approach enables the systematic and exhaustive testing of implementations from high-level declarative specifications, and furthermore, provides a gradual path from testing to full verification. We have implemented our approach as a Haskell testing tool called TARGET, and present an evaluation that shows how TARGET can be used to test a wide variety of properties and how it compares against state-of-the-art testing approaches

Laser Ablation Inductively Coupled Plasma Mass Spectrometry U-Pb Dating of Detrital and Magmatic Zircons of Glacial Diamictites and Pebbles in Late Ordovician Sediments of the Taurides and Southeast Anatolian Autochthon Belt, Turkey: Indications for Their Arabian-Nubian Provenance

Late Ordovician (Hirnantian) glacio-marine deposits in the Central and Eastern Taurides and Southeast Anatolian Autochthon Belt (SAAB) in Turkey are mainly composed of diamictites, subrounded granitic pebbles, and rounded/subrounded lonestone pebbles. The granitic pebbles are dated as 576.5 ± 3.3, 576.7 ± 5.7, 598.4 ± 7.5, 717.5 ± 8.0, 789.5 ± 3.7, and 964.6 ± 4.6 Ma. The geochemical signatures and dated granitic pebbles in the Central and Eastern Taurides are interpreted to have been derived from the Late Neoproterozoic granitoids/metagranitic rocks of the Arabian-Nubian Shield (ANS; the Sinai Peninsula and the Eastern Desert of Egypt). The youngest 206Pb/238U ages in the diamictites (499.1 ± 4.2 Ma in the SAAB, 530.5 ± 5.3 Ma in the Eastern Taurides, and 562.5 ± 5.4 Ma in the Central Taurides) and in the lonestones (528.2 ± 4.5 Ma in the Central Taurides, 530.8 ± 5.2 Ma in the Eastern Taurides) indicate that detrital zircons were directly transported mainly from the northern margin of Gondwana and/or Arabia during the Late Ordovician, not from peri-Gondwanan parts of the European margin. Kernel/probability density diagrams of zircon ages from the lonestone pebbles in the Eastern and Central Taurides are interpreted as evidence for their derivation from Late/Middle Cambrian siliciclastic rocks in the Israeli part of the Sinai Peninsula. The provenance of detrital zircon populations in the diamictites in the Central and Eastern Taurides is directly correlated with magmatic activity of the Elat (Taba)–Feiran island arc, the Sa’al island arc, and the postcollisional magmatic suites in the Sinai Peninsula (Egypt). However, the corresponding successions in the SAAB have more abundant Late Cryogenian age components, suggesting the Ha’il/Afif/Ad Dawadimi/Ar-Rayn terranes of the eastern Arabian Shield as their provenance. These distinctive age patterns indicate that glacio-marine successions in the SAAB had different paleogeographic positions than their equivalent units in the Central and Eastern Taurides during deposition of the Late Ordovician glacio-marine units

Software Developed for Dynamic Analysis of Structures With Local Str"uctural Modification and Its Application to Aircraft Structures

Bu çalışmada; bölgesel değişikliğe uğrayan yapıların dinamik cevaplarını hesaplayabilmek amacıyla geliştirilen, biri yazarlar tarafından yakın zamanda geliştirilmiş bir yöntem olmak üzere üç farklı yöntemi kullanabilen bir yazılım tanıtılmıştır. Yapısal Değişiklik Araç Kutusu olarak adlandırılan bu yazılım, yapının dinamik analizi için MSC Nastran© programının titreşim biçim analizi sonuçlarını kullanmakta, yapıdaki bölgesel değişikliklerin yapının frekans tepki fonksiyonlarını nasıl değiştireceği, programlanan üç yöntemden istenilen biriyle hesaplanabilmektedir. Yöntemlerin hepsi kesin sonuçları verdikleri için, bu yöntemler sadece çözüm süreleri açısından karşılaştırılmışlardır. Geliştirilen yazılımın uygulaması literatürde kullanılan ölçekli bir uçak modeli için verilmiştir. Yapısal değişiklik analizi sonuçları, değiştirilmiş uçak yapısının deneysel olarak elde edilen sonuçları ile karşılaştırılmıştır.In this study; a software which is developed for the calculation of the dynamic response of structures with local structural modifications by using three different methods, one of which has been recently developed by the authors, is presented. This software, named as Structural Modification Toolbox, uses the modal analysis result files of MSC.Nastran© for the dynamic analysis of a structure and can be used to study the change in the frequency response functions due to local structural modifications by employing one of the three methods. Since all the methods are exact, they are compared in terms of computational efficiency only. Application of the software developed is given for a scaled aircraft structure that is used in the literature. The structural modification analysis results are compared with the experimental results obtained on the modified structure

Derailer: interactive security analysis for web applications

Derailer is an interactive tool for finding security bugs in web applications. Using symbolic execution, it enumerates the ways in which application data might be exposed. The user is asked to examine these exposures and classify the conditions under which they occur as security-related or not; in so doing, the user effectively constructs a specification of the application's security policy. The tool then highlights exposures missing security checks, which tend to be security bugs. We have tested Derailer's scalability on several large open-source Ruby on Rails applications. We have also applied it to a large number of student projects (designed with different security policies in mind), exposing a variety of security bugs that eluded human reviewers.National Science Foundation (U.S.) (Grant 0707612

Nutritional status in Turkish cystic fibrosis patients

Digitalitzat per Artypla

Nutritional status in Turkish cystic fibrosis patients

n/

Diagnostic value of combined serum biomarkers for the evaluation of liver fibrosis in chronic hepatitis C infection: A multicenter, noninterventional, observational study

Background/Aims: The hepatitis C virus (HCV) infection is important cause of chronic hepatitis. Liver biopsy is considered the gold standard for assessment of fibrosis but this procedure is an invasive procedure. We aimed to evaluate the diagnostic efficiency of non-invasive serum biomarkers, separately and in combinations, on liver fibrosis in treatment-naive chronic hepatitis C (CHC) patients. Materials and Methods: Two hundred and sixteen treatment-naive CHC patients were enrolled from 32 locations across Turkey in this open-labelled, non-interventional prospective observational study. FibroTest®, aspartate aminotransferase-to-platelet ratio index(APRI), aspartate aminotransferase and alanine aminotransferase ratio (AAR), fibrosis index based on four factors (FIB-4), Age-platelet(AP) index and Forns index were measured and compared with Metavir scores got from liver biopsies. Results: Data from 182 patients with baseline liver biopsy were suitable for analysis. One hundred and twenty patients (65.9%) had F0-F1 fibrosis and 62 patients (34.1%) had F2-F4 fibrosis. APRI 0.732 area under the curve(AUC) indicated advanced fibrosis with 69% sensitivity and 77% specificity. FIB-4 0.732 AUC and FibroTest 0.715 AUC indicated advanced fibrosis with 69% and 78.4% sensitivity, and 75% and 71.4% specificity, respectively. The combined use of tests also led to an increase in AUC and specificity. Combinations of FibroTest with APRI and/or FIB-4, and FIB-4 with APRI were optimal for the evaluation of liver fibrosis. Conclusion: Fibrotest, FIB-4, APRI, AP index and Forns index exhibit good diagnostic performance for determining liver fibrosis in CHC patients, and the use of at least two tests together will increase their diagnostic value still further. © Copyright 2018 by The Turkish Society of Gastroenterology

New insights on commemoration of the dead through mortuary and architectural use of pigments at Neolithic Çatalhöyük, Turkey

The cultural use of pigments in human societies is associated with ritual activities and the creation of social memory. Neolithic Çatalhöyük (Turkey, 7100–5950 cal BC) provides a unique case study for the exploration of links between pigments in burials, demographic data and colourants in contemporary architectural contexts. This study presents the first combined analysis of funerary and architectural evidence of pigment use in Neolithic Anatolia and discusses the possible social processes underlying the observed statistical patterns. Results reveal that pigments were either applied directly to the deceased or included in the grave as a burial association. The most commonly used pigment was red ochre. Cinnabar was mainly applied to males and blue/green pigment was associated with females. A correlation was found between the number of buried individuals and the number of painted layers in the buildings. Mortuary practices seem to have followed specific selection processes independent of sex and age-at-death of the deceased. This study offers new insights about the social factors involved in pigment use in this community, and contributes to the interpretation of funerary practices in Neolithic Anatolia. Specifically, it suggests that visual expression, ritual performance and symbolic associations were elements of shared long-term socio-cultural practices

New insights on commemoration of the dead through mortuary and architectural use of pigments at Neolithic Çatalhöyük, Turkey.

The cultural use of pigments in human societies is associated with ritual activities and the creation of social memory. Neolithic Çatalhöyük (Turkey, 7100-5950 cal BC) provides a unique case study for the exploration of links between pigments in burials, demographic data and colourants in contemporary architectural contexts. This study presents the first combined analysis of funerary and architectural evidence of pigment use in Neolithic Anatolia and discusses the possible social processes underlying the observed statistical patterns. Results reveal that pigments were either applied directly to the deceased or included in the grave as a burial association. The most commonly used pigment was red ochre. Cinnabar was mainly applied to males and blue/green pigment was associated with females. A correlation was found between the number of buried individuals and the number of painted layers in the buildings. Mortuary practices seem to have followed specific selection processes independent of sex and age-at-death of the deceased. This study offers new insights about the social factors involved in pigment use in this community, and contributes to the interpretation of funerary practices in Neolithic Anatolia. Specifically, it suggests that visual expression, ritual performance and symbolic associations were elements of shared long-term socio-cultural practices