Results 1 to 10 of about 90,366 (260)
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
Centering: A Parametric Theory and Its Instantiations
Computational Linguistics, 2021 Centering theory is the best-known framework for theorizing about local coherence and salience; however, its claims are articulated in terms of notions which are only partially specified, such as “utterance,” “realization,” or “ranking.” A great deal of research has attempted to arrive at more detailed specifications of these parameters of the theory;
Massimo Poesio +3 more
doaj +3 more sources
Representing Parametric Concepts with Situation Theory [PDF]
Annals of computer science and information systems, 2015 We use higher-order, type-theoretic Situation Theory to model semantic concepts as situation-theoretic objects consisting of parametric information. Situation Theory contributes by representing concepts as classes of parametric objects, in a computational way.
Roussanka Loukanova
doaj +3 more sources
Parametric Representation of Noncommutative Field Theory [PDF]
Communications in Mathematical Physics, 2007 31 pages,10 ...
Răzvan Gheorghe Gurau +2 more
exaly +4 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
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
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
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