Search results for "interpretation"
showing 10 items of 1061 documents
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Statistical analysis of latency outcomes in behavioral experiments
2011
In experimental designs of animal models, memory is often assessed by the time for a performance measure to occur (latency). Depending on the cognitive test, this may be the time it takes an animal to escape to a hidden platform (water maze), an escape tunnel (Barnes maze) or to enter a dark component (passive avoidance test). Latency outcomes are usually statistically analyzed using ANOVAs. Besides strong distributional assumptions, ANOVA cannot properly deal with animals not showing the performance measure within the trial time, potentially causing biased and misleading results. We propose an alternative approach for statistical analyses of latency outcomes. These analyses have less distr…
Od symbolu animozji polsko-niemieckich do retoryki pojednania. Obraz Góry św. Anny w XX i XXI wieku
2021
The article describes the way St. Anne’s Mountain has been presented over time by giving it different meanings and (re)interpretations on religious and historical-political levels. The religious description of this place is defined by a pompous narrative style and appealing to readers’ emotions. In the historical-political dimension, the mechanism of national mythologization and instrumentalization of St. Anne’s Mountain were shown. It was also pointed out that after 1989 another reinterpretation took place, taking the form of the reconciliation rhetoric. The role of the Catholic Church in the process is presented and the dangers are indicated: reducing reconciliation to a vapid expression …
How can mental models theory account for content effects in conditional reasoning? A developmental perspective
1998
Abstract This article proposes a modification to Johnson-Laird's mental models theory applied to the interpretation of conditional statement of the form `if...then'. The model suggests that this interpretation is based on the construction of mental models supplied by establishing a correspondence between the semantic spaces associated with the antecedent and consequent of the statements. The construction of the models and the interpretation of the statements would depend on the nature of the semantic spaces involved, the interpretative context and the subject's knowledge and processing capacity. Three experiments show that the interpretation of conditional rules depends, for example, on whe…
Detection of spatial disease clusters with LISA functions.
2011
Detection of disease clusters is an important tool in epidemiology that can help to identify risk factors associated with the disease and in understanding its etiology. In this article we propose a method for the detection of spatial clusters where the locations of a set of cases and a set of controls are available. The method is based on local indicators of spatial association functions (LISA functions), particularly on the development of a local version of the product density, which is a second-order characteristic of spatial point processes. The behavior of the method is evaluated and compared with Kulldorff's spatial scan statistic by means of a simulation study. It is shown that the LI…
Testing for homogeneity in meta-analysis I. The one-parameter case: standardized mean difference.
2010
Meta-analysis seeks to combine the results of several experiments in order to improve the accuracy of decisions. It is common to use a test for homogeneity to determine if the results of the several experiments are sufficiently similar to warrant their combination into an overall result. Cochran's Q statistic is frequently used for this homogeneity test. It is often assumed that Q follows a chi-square distribution under the null hypothesis of homogeneity, but it has long been known that this asymptotic distribution for Q is not accurate for moderate sample sizes. Here, we present an expansion for the mean of Q under the null hypothesis that is valid when the effect and the weight for each s…
Cluster-Localized Sparse Logistic Regression for SNP Data
2012
The task of analyzing high-dimensional single nucleotide polymorphism (SNP) data in a case-control design using multivariable techniques has only recently been tackled. While many available approaches investigate only main effects in a high-dimensional setting, we propose a more flexible technique, cluster-localized regression (CLR), based on localized logistic regression models, that allows different SNPs to have an effect for different groups of individuals. Separate multivariable regression models are fitted for the different groups of individuals by incorporating weights into componentwise boosting, which provides simultaneous variable selection, hence sparse fits. For model fitting, th…
Multiple testing in candidate gene situations: a comparison of classical, discrete, and resampling-based procedures.
2011
In candidate gene association studies, usually several elementary hypotheses are tested simultaneously using one particular set of data. The data normally consist of partly correlated SNP information. Every SNP can be tested for association with the disease, e.g., using the Cochran-Armitage test for trend. To account for the multiplicity of the test situation, different types of multiple testing procedures have been proposed. The question arises whether procedures taking into account the discreteness of the situation show a benefit especially in case of correlated data. We empirically evaluate several different multiple testing procedures via simulation studies using simulated correlated SN…
The multichoice consistent value
2000
We consider multichoice NTU games, i.e., cooperative NTU games in which players can participate in the game with several levels of activity. For these games, we define and characterize axiomatically the multichoice consistent value, which is a generalization of the consistent NTU value for NTU games and of the multichoice value for multichoice TU games. Moreover, we show that this value coincides with the consistent NTU value of a replicated NTU game and we provide a probabilistic interpretation.
A weighted combined effect measure for the analysis of a composite time-to-first-event endpoint with components of different clinical relevance
2018
Composite endpoints combine several events within a single variable, which increases the number of expected events and is thereby meant to increase the power. However, the interpretation of results can be difficult as the observed effect for the composite does not necessarily reflect the effects for the components, which may be of different magnitude or even point in adverse directions. Moreover, in clinical applications, the event types are often of different clinical relevance, which also complicates the interpretation of the composite effect. The common effect measure for composite endpoints is the all-cause hazard ratio, which gives equal weight to all events irrespective of their type …