Explanatory Value in Context : The Curious Case of Hotelling’s Location Model

There is a striking contrast between the significance of Harold Hotelling’s contribution to industrial economics and the fact that his location model was invalid, unrealistic and non-robust. It is difficult to make sense of the explanatory value of Hotelling’s model based on philosophical accounts that emphasize logical validity, representational adequacy, and robustness as determinants of explanatory value. However, these accounts are misleading because they overlook the context within which the explanatory value added of a model is apprehensible. We present Hotelling’s model in its historical context and show why it is an important and explanatory model despite its apparent deficiencies.Peer reviewe

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

THE INVESTIGATION OF HIGH TEMPERATURE OXIDATION IN ALUMINIUM COATINGS USING HOT DEEP METHOD ON STEEL MATERIALS

Bu çalışmada, genel yapı çeliği (Ç1020) ve paslanmaz çelik (AISI 316) malzemelerin yüzeyine sıcak daldırma yöntemiyle alüminyum (Al) kaplama uygulanmıştır. Yüzeyde oluşan Al kaplamanın mikroyapısı incelenerek, yüksek sıcaklık oksitlenmesine karşı gösterdiği direnç incelenmiştir. Numuneler 750 °C'deki sıvı Al içinde 10 dakika süreyle bekletilerek yüzeyleri Al ile kaplanmıştır. Daha sonra bu numunelere 800 °C sıcaklıkta 1 ve 6 saat süre ile nötr ortamda difüzyon tavlaması uygulanmıştır. Elementlerin difüzyonu, difüzyon tabakası kalınlığı ve oksitlenmeye karşı gösterdiği direnç incelenmiştir. Al kaplama yapılan ve yapılmayan numuneler 900 °C sıcaklıkta ve farklı sürelerde yüksek sıcaklık oksidasyonuna maruz bırakılarak yüzeyde oluşan ağırlık değişimleri ölçülmüştür. Al kaplanmış çelik numunelerde önemli miktarda ağırlık değişimi olmaması, Al kaplamanın çeliği oksitlenmeden koruduğunu göstermiştir. Malzemelerin bileşimindeki Fe, C, Al, Ni ve Cr elementlerinin Al kaplama ve difüzyon tabakasındaki değişimleri mikroprob analizi ile incelenmiştir. In this study, the surface of SAE 1020 and AISI 316 were applied to aluminium (Al) coating by hot deep method. The oxidation resistance and microstructures were investigated of Al coating applied to the surface of different steels. Sample surfaces were coated with Al at the temperature of 750 °C in 10 minutes durations. Experimental samples were subjected to at the 800 °C temperature and diffusion tempering with 1 and 6 hours durations. The changes in the thickness of diffusion layer and microstructure of the surface, as a result of the processes applied, were examined. Weight variations in the samples oxidized in atmospheric conditions under the temperature of 900 °C with varying durations have also been measured. It was found that steel material which changes of little weight of the samples coated with Al resisted more than without coated Al for oxidation. It was indicated that coated with Al surface of steel protected from oxidation The changes of elements Fe, C, Al, Ni and Cr were investigated by microprobe analyses in surface region

DIFFERENCES IN MECHANICAL PROPERTIES OF STEELS OF DIFFERENT CARBON CONCENTRATION BY HEAT TREATMENT

Farklı karbon oranlarındaki çeliklere, su verme işleminin ardından 100, 200, 400 ve 600 oC sıcaklıklarda temperleme işlemi uygulanmış ve malzemelerin mekanik özelliklerinin değişimi araştırılmıştır. Karbon içerikleri ağırlıkça % 0.20 - 0.50 olarak değişen bu çeliklere çekme deneyi uygulanarak F-Δl eğrileri elde edilmiştir. Eğriler yardımıyla mukavemet katsayısı (K), deformasyon sertleşmesi üssü (n), akma (Reh) ve çekme (Rm) dayanımı değerleri bulunmuştur. Malzemelerde ısıl işlemlerle oluşan sertlik değerleri (HV) değişiminin saptanması için, Vickers sertlik deneyleri yapılmıştır. Karbon oranındaki artış, akma ve çekme dayanımı değerlerini artırmıştır. Mukavemet katsayısı (K) ve deformasyon sertleşmesi üssü (n) su verme sıcaklığının artışı ile önemli derecede azaldıkları görülmüştür. Özellikle Ç1040 ve Ç1050 çeliklerde, akma ve çekme dayanımını belirgin bir şekilde azalmıştır. Steels contaning different carbon concentration were tempered at 100, 200, 400 and 600 0C after quenching, and were investigated for changes in mechanical properties. F-Δl curves were plotted after testing these steels. strength coefficent (K), hardening exponent (n), yield and tensile stresses were obtanied from these curves. For determining changes in hardness values by heat treatment were done Vickers hardness measurents Increase in carbon concentration also increased tensile and yield stresses. Also changes in strength coefficent (K) and hardening exponent (n) were related to temperature, and it was seen that they had decreased in consiredable amount, by increasing temperature. Increase in tempering temperature decrases yield and tensile stresses especially in Ç1040 and Ç1050 by significant amount

A search on the Nikiforov-Uvarov formalism

An alternative treatment is proposed for the calculations carried out within the frame of Nikiforov-Uvarov method, which removes a drawback in the original theory and by pass some difficulties in solving the Schrodinger equation. The present procedure is illustrated with the example of orthogonal polynomials. The relativistic extension of the formalism is discussed.Comment: 10 page

Nutritional status in Turkish cystic fibrosis patients

Digitalitzat per Artypla

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

Search for CP Violation in the Decay Z -> b (b bar) g

About three million hadronic decays of the Z collected by ALEPH in the years 1991-1994 are used to search for anomalous CP violation beyond the Standard Model in the decay Z -> b \bar{b} g. The study is performed by analyzing angular correlations between the two quarks and the gluon in three-jet events and by measuring the differential two-jet rate. No signal of CP violation is found. For the combinations of anomalous CP violating couplings, ${\hat{h}}_b = {\hat{h}}_{Ab}g_{Vb}-{\hat{h}}_{Vb}g_{Ab}$ and $h^{\ast}_b = \sqrt{\hat{h}_{Vb}^{2}+\hat{h}_{Ab}^{2}}$, limits of \hat{h}_b < 0.59$and$h^{\ast}_{b} < 3.02$ are given at 95\% CL.Comment: 8 pages, 1 postscript figure, uses here.sty, epsfig.st

Normative data and discriminative properties of short form 36 (SF-36) in Turkish urban population

BACKGROUND: SF-36 has been both translated into different languages and adapted to different cultures to obtain comparable data on health status internationally. However there have been only a limited number of studies focused on the discriminative ability of SF-36 regarding social and disease status in developing countries. The aim of this study was to obtain population norms of the short form 36 (SF-36) health survey and the association of SF-36 domains with demographic and socioeconomic variables in an urban population in Turkey. METHODS: A cross-sectional study. Face to face interviews were carried out with a sample of households. The sample was systematically selected from two urban Health Districts in Izmir, Turkey. The study group consisted of 1,279 people selected from a study population of 46,290 people aged 18 and over. RESULTS: Internal consistencies of the scales were high, with the exception of mental health and vitality. Physical health scales were associated with both age and gender. On the other hand, mental health scales were less strongly associated with age and gender. Women reported poorer health compared to men in general. Social risk factors (employment status, lower education and economic strain) were associated with worse health profiles. The SF-36 was found to be capable of discriminating disease status. CONCLUSION: Our findings, cautiously generalisable to urban population, suggest that the SF-36 can be a valuable tool for studies on health outcomes in Turkish population. SF-36 may also be a promising measure for research on health inequalities in Turkey and other developing countries