Results 11 to 20 of about 1,953,234 (294)
Non-parametric parametricity [PDF]
Journal of Functional Programming, 2009 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 ...
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é +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
How parametric resonance mechanism follows quench mechanism in disoriented chiral condensate [PDF]
, 2001 We show how parametric resonance mechanism follows quench mechanism in the classical linear sigma model. The parametric resonance amplifies long wavelength modes of the pion for more than $10 fm/c$.
Anselm +15 more
core +3 more sources
Maximal uniform convergence rates in parametric estimation problems [PDF]
, 2008 This paper considers parametric estimation problems with independent, identically nonregularly distributed data. It focuses on rate efficiency, in the sense of maximal possible convergence rates of stochastically bounded estimators, as an optimality ...
Akahira +10 more
core +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
Parametric oscillator tuning curve from observations of total parametric fluorescence [PDF]
, 1972 Measurements of total emitted parametric fluorescence power are presented and used to fix one point on the predicted tuning curve of a parametric oscillator.
Ganiel, U., Pearson, J. E., Yariv, A.
core +1 more source