Results 11 to 20 of about 591,132 (266)
Non-parametric parametricity [PDF]
Journal of Functional Programming, 2009 Abstract Type 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 ...
Neis, G., Dreyer, D., Rossberg, A.
openaire +4 more sources
Parametric Prediction from Parametric Agents [PDF]
ACM SIGMETRICS Performance Evaluation Review, 2015 We consider a problem of prediction based on opinions elicited from heterogeneous rational agents with private information. Making an accurate prediction with a minimal cost requires a joint design of the incentive mechanism and the prediction algorithm.
Yuan Luo 0005 +3 more
openaire +3 more sources
Parametric updates in parametric timed automata [PDF]
Logical Methods in Computer Science, 2019 We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?&
Étienne André 0001 +2 more
openaire +9 more sources
PARC: Pesquisa em Arquitetura e Construção, 2011 The focus of this paper is that we want to give a brief introduction about the idea of Parametric Design (PD) and the use of data to inform the design process. The digital fabrication is not covered in detail in this document.
Ferdinand Facklam +1 more
doaj +1 more source
Entropy, 2022 Restricted Mean Survival Time (RMST), the average time without an event of interest until a specific time point, is a model-free, easy to interpret statistic.
Szilárd Nemes +2 more
doaj +1 more source
On the Parametrization of Clapping [PDF]
, 2009 For a Reactive Virtual Trainer(RVT), subtle timing and lifelikeness of motion is of primary importance. To allow for reactivity, movement adaptation, like a change of tempo, is necessary. In this paper we investigate the relation between movement tempo, its synchronization to verbal counting, time distribution, amplitude, and left-right symmetry of a ...
van Welbergen, Herwin +5 more
openaire +2 more sources
Genomic Selection for Drought Tolerance Using Genome-Wide SNPs in Maize
Frontiers in Plant Science, 2017 Traditional breeding strategies for selecting superior genotypes depending on phenotypic traits have proven to be of limited success, as this direct selection is hindered by low heritability, genetic interactions such as epistasis, environmental-genotype
Thirunavukkarasu Nepolean +6 more
doaj +1 more source
Subtyping and parametricity [PDF]
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002 We study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic supports the formal definition and use of relational parametricity. We give two models for it, and compare it with other formal systems for the same language.
Plotkin, Gordon +2 more
openaire +2 more sources
Comparison of Parametric Indices of Anthropometric and Biomechanical Characteristics of Female Basketball Players, Volleyball Players and Handball Players [PDF]
Biyumikānīk-i varzishī, 2021 Objective: This study aimed to Compare parametric indices of anthropometric and biomechanical characteristics of female basketball, volleyball, and handball players. Methods: This research is purposive comparative-descriptive study. A total of 100 female
Ali Fatahi +2 more
doaj +2 more sources
Risks, 2018 There has been much discussion in the literature about how central measures of equity risk such as standard deviation fail to account for extreme tail risk of equities.
Robert J. Powell +2 more
doaj +1 more source