Results 21 to 30 of about 1,953,234 (294)
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
What is the most sensitive measure of water maze probe test performance?
Frontiers in Integrative Neuroscience, 2009 The water maze is commonly used to assay spatial cognition, or, more generally, learning and memory in experimental rodent models. In the water maze, mice or rats are trained to navigate to a platform located below the water’s surface.
Hamid R Maei +11 more
doaj +1 more source
Energies, 2020 The analyzed research issue provides a model for Carbon Footprint estimation at an early design stage. In the context of climate neutrality, it is important to introduce regenerative design practices in the architect’s design process, especially in early
Mateusz Płoszaj-Mazurek +2 more
doaj +1 more source
Broadband stimulated four-wave parametric conversion on a tantalum pentoxide photonic chip [PDF]
, 2011 We exploit the large third order nonlinear susceptibility (?(3) or “Chi 3”) of tantalum pentoxide (Ta2O5) planar waveguides and realize broadband optical parametric conversion on-chip.
Chaneliere +20 more
core +1 more source
Parametric autoresonance [PDF]
Physical Review E, 2001 We investigate parametric autoresonance: a persisting phase locking which occurs when the driving frequency of a parametrically excited nonlinear oscillator slowly varies with time. In this regime, the resonant excitation is continuous and unarrested by the oscillator nonlinearity.
Khain, Evgeniy, Meerson, Baruch
openaire +3 more sources
ARTEKS : Jurnal Teknik Arsitektur, 2021 The annual growth of energy consumption in both residential and public buildings has been established globally as been significantly increasing. Therefore, the proposed active and passive building designs are intended to provide convenience and greatly ...
Aldhi Nugraha Anantama, Agus Hariyadi
doaj +1 more source
Window from East to West: Blending Mandala Units with Contemporary Interior Design and Furniture [PDF]
Journal of Architecture, Art & Humanistic Science, 2022 Art is one of the means that express the environment and individuals to understand human civilizations. India is considered one of the Far Eastern countries with rich artistic heritage and many myths, and magic that are reflected in the customs and ...
Lina Nageb Fewella
doaj +1 more source
Integrated model for genomic prediction under additive and non-additive genetic architecture
Frontiers in Plant Science, 2022 Using data from genome-wide molecular markers, genomic selection procedures have proved useful for estimating breeding values and phenotypic prediction. The link between an individual genotype and phenotype has been modelled using a number of parametric ...
Neeraj Budhlakoti +6 more
doaj +1 more source