Results 51 to 60 of about 7,612,569 (200)
Disjunctive form and the modal μ alternation hierarchy [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation
Karoliina Lehtinen
doaj +1 more source
International Journal of Applied Mechanics and Engineering, 2022 In this research work, the finite element software, ABAQUS is used to study by simulations the influence of form defect on mechanical behavior of a shrink-fitted assembly presenting internal radial cracks.
Hamid Boutoutaou +2 more
doaj +1 more source
Equivalence and the Cartan form [PDF]
Acta Applicandae Mathematicae, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Kuhn's equivalence theorem for games in product form
Games and Economic Behavior, 2022 We propose an alternative to the tree representation of extensive form games. Games in product form represent information with $σ$-fields over a product set, and do not require an explicit description of the play temporality, as opposed to extensive form games on trees.
Heymann, Benjamin +2 more
openaire +5 more sources
Equivalent Permeability of Step-Lap Joints of Transformer Cores: Computational and Experimental Considerations [PDF]
, 2011 The paper develops an efficient computational method for establishing equivalent characteristics of magnetic joints of transformer cores, with special emphasis on step-lap design.
Napieralska-Juszczak, E. +14 more
core +2 more sources
A reverse Mulholland-type inequality in the whole plane
Journal of Inequalities and Applications, 2018 We present a new reverse Mulholland-type inequality in the whole plane with a best possible constant factor by introducing multiparameters, applying weight coefficients, and using the Hermite–Hadamard inequality.
Jianquan Liao, Bicheng Yang
doaj +1 more source
On form-equivalence of deterministic pure grammar forms
Theoretical Computer Science, 1982 AbstractPure grammars are grammars without non-terminals. In this paper we show as one main result that any two acyclic deterministic pure (dP) grammars that generate the same finite language are isomorphic. Furthermore, the notion of a pure grammar form is investigated. As the second main result we show that the form-equivalence problem for dP grammar
openaire +1 more source
Pondering over Focus on Form and Focus on FormS: Are There “Equivalent and Large Effects”?
Studies in Applied Linguistics & TESOL, 2007 It is reassuring that Norris and Ortega's (2000) study echoes Long's (1983, as cited in Han, 2004) finding that instruction does positively impact classroom L2 acquisition, provided that appropriate instruction is implemented.
Adrienne Wai Man Lew
doaj +1 more source
The strong Popov form of nonlinear input–output equations; pp. 193–206 [PDF]
Proceedings of the Estonian Academy of Sciences, 2018 The equivalence transformations are applied to bring a system of nonlinear inputâoutput (i/o) equations into a nonlinear equivalent of the Popov form, called the strong Popov form, under the assumption that the i/o equations already are in the strong ...
Zbigniew Bartosiewicz +4 more
doaj +1 more source
Equivalent Forms of the Multivariate Portmanteau Statistic [PDF]
Journal of the Royal Statistical Society Series B: Statistical Methodology, 1981 SUMMARY The Box-Pierce portmanteau test for univariate autoregressive moving-average (arma) time-series models has been generalized to multivariate time-series models by several authors, and several different definitions of the test statistic have resulted.
openaire +2 more sources