共查询到20条相似文献,搜索用时 171 毫秒
1.
The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or
without strong negation.
We would like to thank the referees for their valuable comments and suggestions. This research was supported by the Alexander
von Humboldt Foundation. The second author is grateful to
the Foundation for providing excellent working conditions and generous support of this research.
This work was also supported by the Japanese Ministry of Education, Culture, Sports, Science
and Technology, Grant-in-Aid for Young Scientists (B) 20700015, 2008. 相似文献
2.
Jeffrey B. Vancouver Charles A. Scherbaum 《Computational & Mathematical Organization Theory》2008,14(1):1-22
Self-regulation theories in applied psychology disagree about whether action or perceptions are the focus of regulation. Computational
models based on the two conceptualizations were constructed and simulated. In one scenario, they performed identically and
in conjunction with participants in a study of the goal-level effect (Vancouver et al., Organ Res Methods 8:100–127, 2005). In another scenario they created differentiating predictions and only the computational model based on the self-regulation
of perceptions matched the data of participants. Implications for research and practice are discussed.
相似文献
Jeffrey B. VancouverEmail: |
3.
In this paper, we first consider difference equations with several delays in the neutral term of the form * $$\Delta\left(y_{n}+\sum_{i=1}^{L}p_{i}y_{n-{k_{i}}}-\sum_{j=1}^{M}r_{j}y_{n-{\rho_{j}}}\right)+q_{n}y_{n-\tau}=0\quad \mbox{for}\ n\in\mathbb{Z}^{+}(0),$$ study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution of (*) under some hypotheses. Moreover, we consider reaction-diffusion difference equations with several delays in the neutral term of the form $$\begin{array}{l}\Delta_{1}\left(u_{n,m}+\displaystyle \sum_{i=1}^{L}p_{i}u_{n-{k_{i}},m}-\displaystyle \sum_{j=1}^{M}r_{j}u_{n-{\rho_{j}},m}\right)+q_{n,m}u_{n-\tau,m}\\[18pt]\quad {}=a^{2}\Delta_{2}^{2}u_{n+1,m-1}\end{array}$$ for (n,m)∈?+(0)×Ω, study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution under some hypotheses. 相似文献
4.
Barbara H. Jasiulis 《Journal of Theoretical Probability》2010,23(1):315-327
We denote by ? \((\mathcal{P_{+}})\) the set of all probability measures defined on the Borel subsets of the real line (the positive half-line [0,∞)). K. Urbanik defined the generalized convolution as a commutative and associative ?+-valued binary operation ? on ? + 2 which is continuous in each variable separately. This convolution is distributive with respect to convex combinations and scale changes T a (a>0) with δ 0 as the unit element. The key axiom of a generalized convolution is the following: there exist norming constants c n and a measure ν other than δ 0 such that \(T_{c_{n}}\delta_{1}^{\bullet n}\to\nu\).In Sect. 2 we discuss basic properties of the generalized convolution on ? which hold for the convolutions without the key axiom. This rather technical discussion is important for the weak generalized convolution where the key axiom is not a natural assumption. In Sect. 4 we show that if the weak generalized convolution defined by a weakly stable measure μ has this property, then μ is a factor of strictly stable distribution. 相似文献
5.
In this work, we consider the function pod(n), the number of partitions of an integer n wherein the odd parts are distinct (and the even parts are unrestricted), a function which has arisen in recent work of Alladi.
Our goal is to consider this function from an arithmetic point of view in the spirit of Ramanujan’s congruences for the unrestricted
partition function p(n). We prove a number of results for pod(n) including the following infinite family of congruences: for all α≥0 and n≥0,
pod(32a+3n+\frac23×32a+2+18) o 0 (mod 3).\mathrm{pod}\biggl(3^{2\alpha+3}n+\frac{23\times3^{2\alpha+2}+1}{8}\biggr)\equiv 0\ (\mathrm{mod}\ 3). 相似文献
6.
Dalibor Volný 《Journal of Theoretical Probability》2010,23(3):888-903
Let (X i ) be a stationary and ergodic Markov chain with kernel Q and f an L 2 function on its state space. If Q is a normal operator and f=(I?Q)1/2 g (which is equivalent to the convergence of \(\sum_{n=1}^{\infty}\frac{\sum_{k=0}^{n-1}Q^{k}f}{n^{3/2}}\) in L 2), we have the central limit theorem [cf. (Derriennic and Lin in C.R. Acad. Sci. Paris, Sér. I 323:1053–1057, 1996; Gordin and Lif?ic in Third Vilnius conference on probability and statistics, vol. 1, pp. 147–148, 1981)]. Without assuming normality of Q, the CLT is implied by the convergence of \(\sum_{n=1}^{\infty}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}\), in particular by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=o(\sqrt{n}/\log^{q}n)\), q>1 by Maxwell and Woodroofe (Ann. Probab. 28:713–724, 2000) and Wu and Woodroofe (Ann. Probab. 32:1674–1690, 2004), respectively. We show that if Q is not normal and f∈(I?Q)1/2 L 2, or if the conditions of Maxwell and Woodroofe or of Wu and Woodroofe are weakened to \(\sum_{n=1}^{\infty}c_{n}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}<\infty\) for some sequence c n ↘0, or by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=O(\sqrt{n}/\log n)\), the CLT need not hold. 相似文献
7.
8.
Torsten Schöneborn 《Bl?tter der DGVFM》2010,31(1):79-90
We give an overview of the dissertation “Trade execution in illiquid markets: Optimal stochastic control and multi-agent equilibria” (Schöneborn, PhD thesis, TU Berlin, 2008). The dissertation focuses on two questions in the field of optimal trade execution strategies: First, how should traders best sell an illiquid asset position if they want to maximize the expected utility of liquidation proceeds? And second, in a situation where one market participant needs to liquidate a position, what is the effect of other market participants obtaining advance information of this impending liquidation? 相似文献
9.
Ioannis Parissis 《Journal of Geometric Analysis》2010,20(3):771-785
Let ℳ denote the maximal function along the polynomial curve (γ
1
t,…,γ
d
t
d
):
|