Compiling with Non-Parametric Polymorphism.

1994 ◽  
Author(s):  
Robert Harper ◽  
Greg Morrisett
Keyword(s):  
Parametric Polymorphism ◽  
Non Parametric

scholarly journals Non-parametric parametricity

2011 ◽  
Vol 21 (4-5) ◽  
pp. 497-562 ◽  
Author(s):  
GEORG NEIS ◽  
DEREK DREYER ◽  
ANDREAS ROSSBERG
Keyword(s):  
Logical Relation ◽  
Type Analysis ◽  
Parametric Relation ◽  
Dynamic Type ◽  
Parametric Polymorphism ◽  
Independence Results ◽  
Non Parametric

AbstractType abstraction and intensional type analysis are features seemingly at odds—type abstraction is intended to guarantee parametricity and representation independence, while type analysis is inherently non-parametric. Recently, however, several researchers have proposed and implemented “dynamic type generation” as a way to reconcile these features. The idea is that, when one defines an abstract type, one should also be able to generate at runtime a fresh type name, which may be used as a dynamic representative of the abstract type for purposes of type analysis. The question remains: in a language with non-parametric polymorphism, does dynamic type generation provide us with the same kinds of abstraction guarantees that we get from parametric polymorphism?Our goal is to provide a rigorous answer to this question. We define a step-indexed Kripke logical relation for a language with both non-parametric polymorphism (in the form of type-safe cast) and dynamic type generation. Our logical relation enables us to establish parametricity and representation independence results, even in a non-parametric setting, by attaching arbitrary relational interpretations to dynamically generated type names. In addition, we explore how programs that are provably equivalent in a more traditional parametric logical relation may be “wrapped” systematically to produce terms that are related by our non-parametric relation, and vice versa. This leads us to develop a “polarized” variant of our logical relation, which enables us to distinguish formally between positive and negative notions of parametricity.

ESTIMATION OF PRESSURE DROP FOR NON-NEWTONIAN LIQUID FLOW THROUGH BENDS USING ADAPTIVE NON-PARAMETRIC MODEL

2020 ◽  
Vol 47 (1) ◽  
pp. 59-69
Author(s):  
Suman Debnath ◽  
Anirban Banik ◽  
Tarun Kanti Bandyopadhyay ◽  
Mrinmoy Majumder ◽  
Apu Kumar Saha
Keyword(s):  
Pressure Drop ◽  
Liquid Flow ◽  
Parametric Model ◽  
Newtonian Liquid ◽  
Flow Through ◽  
Non Parametric

Contrast-Enhanced MRI with Magnetization Transfer Effect in the Imaging of Brain Metastatic Lesions

2017 ◽  
pp. 8-17
Author(s):  
A. A. Ermakova ◽  
O. Yu. Borodin ◽  
M. Yu. Sannikov ◽  
S. D. Koval ◽  
V. Yu. Usov
Keyword(s):  
Comparative Analysis ◽  
Roc Analysis ◽  
Magnetization Transfer ◽  
Metastatic Lesion ◽  
Transfer Effect ◽  
Wilcoxon Test ◽  
Post Contrast ◽  
Metastatic Lesions ◽  
The Brain ◽  
Non Parametric

Purpose: to investigate the diagnostic opportunities of contrast  magnetic resonance imaging with the effect of magnetization transfer effect in the diagnosis of focal metastatic lesions in the brain.Materials and methods.Images of contrast MRI of the brain of 16  patients (mean age 49 ± 18.5 years) were analysed. Diagnosis of  the direction is focal brain lesion. All MRI studies were carried out  using the Toshiba Titan Octave with magnetic field of 1.5 T. The  contrast agent is “Magnevist” at concentration of 0.2 ml/kg was  used. After contrasting process two T1-weighted studies were  performed: without T1-SE magnetization transfer with parameters of pulse: TR = 540 ms, TE = 12 ms, DFOV = 24 sm, MX = 320 × 224  and with magnetization transfer – T1-SE-MTC with parameters of pulse: ΔF = −210 Hz, FA(МТС) = 600°, TR = 700 ms, TE = 10 ms,  DFOV = 23.9 sm, MX = 320 x 224. For each detected metastatic  lesion, a contrast-to-brain ratio (CBR) was calculated. Comparative  analysis of CBR values was carried out using a non-parametric  Wilcoxon test at a significance level p < 0.05. To evaluate the  sensitivity and specificity of the techniques in the detection of  metastatic foci (T1-SE and T1-SE-MTC), ROC analysis was used. The sample is divided into groups: 1 group is foci ≤5 mm in size, 2  group is foci from 6 to 10 mm, and 3 group is foci >10 mm. Results.Comparative analysis of CBR using non-parametric Wilcoxon test showed that the values of the CBR on T1-weighted  images with magnetization transfer are significantly higher (p  <0.001) that on T1-weighted images without magnetization transfer. According to the results of the ROC analysis, sensitivity in detecting  metastases (n = 90) in the brain on T1-SE-MTC and T1-SE was  91.7% and 81.6%, specificity was 100% and 97.6%, respectively.  The accuracy of the T1-SE-MTC is 10% higher in comparison with  the technique without magnetization transfer. Significant differences (p < 0.01) between the size of the foci detected in post-contrast T1- weighted images with magnetization transfer and in post-contrast  T1-weighted images without magnetization transfer, in particular for  foci ≤5 mm in size, were found. Conclusions1. Comparative analysis of CBR showed significant (p < 0.001)  increase of contrast between metastatic lesion and white matter on  T1-SE-MTC in comparison with T1-SE.2. The sensitivity, specificity and accuracy of the magnetization transfer program (T1-SE-MTC) in detecting foci of  metastatic lesions in the brain is significantly higher (p < 0.01), relative to T1-SE.3. The T1-SE-MTC program allows detecting more foci in comparison with T1-SE, in particular foci of ≤5 mm (96% and 86%, respectively, with p < 0.05).

KEBANGGAAN TERHADAP BATIK MADURA BAGI WARGA SUMENEP

2014 ◽  
Vol 4 (2) ◽  
Author(s):  
Sayyida Sayyida ◽  
Nurdody Zakki
Keyword(s):  
Logistic Regression ◽  
Rural Areas ◽  
Research Method ◽  
Community Group ◽  
Parametric Regression ◽  
Logit Function ◽  
The Village ◽  
The City ◽  
Level Of Risk ◽  
Non Parametric

Diversity of Indonesian Batik hanging area. One of the very well-known Indonesian batik is Batik Madura. Batik Madura has become a pride for Indonesia, especially for Madura. The purpose of the study is to model the Sumenep pride to Batik Madura and to see the level of risk or tendency of batik madura pride for the community group Sumenep. This research method uses a non parametric regression used a non-parametric regression because the dependent variable in this study is the variable Y are variables not normally distributed. The results of this study states that the level of risk of the village in Sumenep proud of batik is almost 5 times higher than the islands while people in this city who live in the district town at risk Sumenep proud of Batik Madura 8-fold compared to the archipelago. So it can be concluded that the city is much more proud of batik than those who reside in rural areas especially those who reside in the islands. This study uses data from 100 questionnaires were analyzed using logistic regression analysis. The conclusion of this study is the pride of the batik model as follows: Function logistic regression / logit function: g (x) = 0,074 + 1,568X4(1)+2,159X4(2 this is case the islands as a comparison, X4(1)  is the place to stay in the village and X4(2)  is the place to stay in town, so the Model Opportunities p(x) = EXP(g(x))/1+EXP(g(x)).  Hopes for further research is to conduct research on the development of batik in an integrated region, the need to be disseminated to potential areas of particular potential in Madura batik, especially for residents who reside in the Islands.Keywords: Pride, Batik, Sumenep.

A Non-Parametric Microsimulation Approach to Assess Changes in Inequality and Poverty

2009 ◽  
Vol 3 (1) ◽  
pp. 8-23
Author(s):  
John Cockburn ◽  
Erwin Corong ◽  
Bernard Decaluwé ◽  
Ismaël Fofana ◽  
Véronique Robichaud
Keyword(s):  
Non Parametric

MENGEMBANGKAN PENGETAHUAN DAN KETERAMPILAN PARENTAL EMPATHY IBU-IBU BHAYANGKARI MELALUI PELATIHAN “MENGASUH DENGAN EMPATI, MENGASUH DENGAN HATI”

2019 ◽  
Vol 1 (2) ◽  
pp. 31-45
Author(s):  
Nindia Nahardita ◽  
Puji Lestari Suharso
Keyword(s):  
Signed Rank ◽  
Post Test ◽  
Parental Empathy ◽  
Non Parametric

Penelitian ini bertujuan untuk mengetahui apakah pelatihan “mengasuh dengan empati, mengasuh dengan hati” dapat meningkatkan pengetahuan dan keterampilan parental empathyibu-ibu bhayangkari. Penelitian ini berbentuk pelatihan dengan dasar pikiran experiential learningyang diberikan pada sekelompok ibu-ibu bhayangkari yang memiliki anak usia 3 sampai 5 tahun, dan merupakan penelitian dengan one group pretestdan posttest design. Penelitian ini dilakukan di Jakarta Timur dengan melibatkan partisipan sebanyak 13 orang ibu yang memiliki anak usia 3-5 tahun dengan diberikan pelatihan sebanyak 10 sesi dalam waktu 4 hari. Pretest dan posttest diberikan sebelum dan setelah pelatihan dengan instrumen yang mengukur kemampuan parental empathy berdasarkan Eagle dan Bylund Makoul yang dirancang oleh peneliti. Hasil pretestdan post testdiuji dengan uji non parametric Wilcoxon Signed Rank menunjukkan level signifikansi p.value0,003 (<0,05). Hasil ini berarti terdapat perbedaan yang signifikan antara nilai pre-testdan post-test. Dengan demikian dapat disimpulkan bahwa pelatihan “Mengasuh dengan Empati, Mengasuh dengan Hati” dapat meningkatkan pengetahuan dan keterampilan parental empathyibu. Rekomendasi untuk penelitian selanjutnya adalah melakukan kunjungan rumah kepada partisipan agar partisipan memperoleh umpan balik langsung dan kemampuan parental empathy akan lebih meningkat. Kata kunci: Pelatihan, Mengasuh dengan empati, Empati, Pengasuhan, Parental empathy, Ibu

Sign in / Sign up

Export Citation Format

Share Document