Results 1 to 10 of about 86,353 (166)
Internal Parametricity for Cubical Type Theory [PDF]
Logical Methods in Computer Science, 2021 We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Evan Cavallo, Robert Harper
doaj +7 more sources
Ancient Chinese architecture in the future –An investigation with parametric modeling tools [PDF]
E3S Web of Conferences, 2021 With the flexibility and modularity of the construction system, the ancient Chinese architecture was a configurative system until the modern time when it became figurative with nationalistic symbolism, and lost its flexibility to adapt in different ...
Li Yuan, Li Zhi, Xu Chang
doaj +1 more source
Analytic Theory for Parametric Amplification in High-Q Micro-Ring Resonators
IEEE Photonics Journal, 2023 Optical parametric amplifiers (OPAs) are optical amplifiers based on four-wave mixing processes, showing great potential for applications in communications, optical signal processing, quantum optics, etc.
Shiqi He +8 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
A Parametric Functional Equation Originating from Number Theory
Annales Mathematicae Silesianae, 2022 Let S be a semigroup and α, β ∈ ℝ. The purpose of this paper is to determine the general solution f : ℝ2 → S of the following parametric functional equation f(x1+x2+αy1y2,x1y2+x2y1+βy1y2)=f(x1,y1)f(x2,y2),f\left( {{x_1} + {x_2} + \alpha {y_1}{y_2},{x_1 ...
Mouzoun Aziz +2 more
doaj +1 more source
Hull-shape parametric for minimising wave energy
Energy Reports, 2023 This study presents a hull-ship parametric in reducing drag for minimising wave energy by comparing various numerical methods. The methods are Thin-ship theory, Rankine method, and Computational Fluid Dynamics (CFD).
Wiwin Sulistyawati +2 more
doaj +1 more source
Parametric Resonance in Quantum Field Theory [PDF]
Physical Review Letters, 2003 We present the first study of parametric resonance in quantum field theory from a complete next-to-leading order calculation in a 1/N-expansion of the 2PI effective action, which includes scattering and memory effects. We present a complete numerical solution for an O(N)-symmetric scalar theory and provide an approximate analytic description of the ...
Berges, J., Serreau, J.
openaire +3 more sources
Item Response Models in Psychometrika and Psychometric Textbooks
Frontiers in Education, 2020 Item response theory modeling articles from 83 years of Psychometrika are sorted based on the taxonomy by Thissen and Steinberg (1986). Results from 377 research and review articles indicate that the usual unidimensional parametric item response theory ...
Seock-Ho Kim +12 more
doaj +1 more source
Parametric estimation. Finite sample theory [PDF]
The Annals of Statistics, 2012 Published in at http://dx.doi.org/10.1214/12-AOS1054 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)
openaire +5 more sources
A Review of Shannon and Differential Entropy Rate Estimation
Entropy, 2021 In this paper, we present a review of Shannon and differential entropy rate estimation techniques. Entropy rate, which measures the average information gain from a stochastic process, is a measure of uncertainty and complexity of a stochastic process. We
Andrew Feutrill, Matthew Roughan
doaj +1 more source