共查询到20条相似文献,搜索用时 31 毫秒
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.
We study discrete curvatures computed from nets of curvature lines on a given smooth surface and prove their uniform convergence
to smooth principal curvatures. We provide explicit error bounds, with constants depending only on properties of the smooth
limit surface and the shape regularity of the discrete net. 相似文献
3.
With a plane curve singularity one associates a multi-index filtration on the ring of germs of functions of two variables
defined by the orders of a function on irreducible components of the curve. The Poincaré series of this filtration turns out
to coincide with the Alexander polynomial of the curve germ. For a finite set of divisorial valuations on the ring corresponding
to some components of the exceptional divisor of a modification of the plane, in a previous paper there was obtained a formula
for the Poincaré series of the corresponding multi-index filtration similar to the one associated with plane germs. Here we
show that the Poincaré series of a set of divisorial valuations on the ring of germs of functions of two variables defines
“the topology of the set of the divisors” in the sense that it defines the minimal resolution of this set up to combinatorial
equivalence. For the plane curve singularity case, we also give a somewhat simpler proof of the statement by Yamamoto which
shows that the Alexander polynomial is equivalent to the embedded topology. 相似文献
4.
Theodore Tachim Medjo 《Applied Mathematics and Optimization》2010,62(1):1-26
We consider a class of stochastic impulse control problems of general stochastic processes i.e. not necessarily Markovian.
Under fairly general conditions we establish existence of an optimal impulse control. We also prove existence of combined
optimal stochastic and impulse control of a fairly general class of diffusions with random coefficients. Unlike, in the Markovian
framework, we cannot apply quasi-variational inequalities techniques. We rather derive the main results using techniques involving
reflected BSDEs and the Snell envelope. 相似文献
5.
Given a set of vectors F={f
1,…,f
m
} in a Hilbert space H\mathcal {H}, and given a family C\mathcal {C} of closed subspaces of H\mathcal {H}, the subspace clustering problem consists in finding a union of subspaces in C\mathcal {C} that best approximates (is nearest to) the data F. This problem has applications to and connections with many areas of mathematics, computer science and engineering, such
as Generalized Principal Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of
innovation. In this paper, we characterize families of subspaces C\mathcal {C} for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an
augmented set C+\mathcal {C}^{+}. In infinite dimensions, however, the characterization is in terms of a new but related notion; that of contact half-spaces.
As an application, the existence of best approximations from π(G)-invariant families C\mathcal {C} of unitary representations of Abelian groups is derived. 相似文献
6.
Daniel M. Oberlin 《Journal of Geometric Analysis》2010,20(2):422-438
We study lower bounds for the Minkowski and Hausdorff dimensions of the algebraic sum E+K of two sets E,K⊂ℝ
d
. 相似文献
7.
Andrzej Derdzinski 《Journal of Geometric Analysis》2009,19(2):301-357
The local structure of the manifolds named in the title is described. Although curvature homogeneous, they are not, in general,
locally homogeneous. Not all of them are Ricci-flat, which answers an existence question about type III Jordan-Osserman metrics,
raised by Díaz-Ramos, García-Río and Vázquez-Lorenzo (J. Geom. Anal. 16, 39–52, 2006).
Work begun during the author’s visit to the University of Santiago de Compostela, supported by Grant MTM2006-01432 (Spain). 相似文献
8.
Let M be a generic CR manifold in
\BbbCm+d\Bbb{C}^{m+d} of codimension d, locally given as the common zero set of real-valued functions r
1,…,r
d
. Given an integer δ=1,…,d, we find a necessary and sufficient condition for M to contain a real submanifold of codimension δ with the same CR structure. We also find a necessary and sufficient condition and several sufficient conditions for M to admit a complex submanifold of complex dimension n, for any n=1,…,m. We use the method of prolongation of an exterior differential system. The conditions are systems of partial differential
equations on r
1,…,r
d
of third order. 相似文献
9.
Donald St. P. Richards 《The Ramanujan Journal》2010,23(1-3):397-407
We establish a positivity property for the difference of products of certain Schur functions, s λ (x), where λ varies over a fundamental Weyl chamber in ? n and x belongs to the positive orthant in ? n . Further, we generalize that result to the difference of certain products of arbitrary numbers of Schur functions. We also derive a log-convexity property of the generalized hypergeometric functions of two Hermitian matrix arguments, and we show how that result may be extended to derive higher-order log-convexity properties. 相似文献
10.
In this paper we study the possible orders of a non-abelian representation group of a slim dense near hexagon. We prove that
if the representation group R of a slim dense near hexagon S is non-abelian, then R is a 2-group of exponent 4 and |R|=2
β
, 1+NPdim(S)≤β≤1+dimV(S), where NPdim(S) is the near polygon embedding dimension of S and dimV(S) is the dimension of the universal representation module V(S) of S. Further, if β=1+NPdim(S), then R is necessarily an extraspecial 2-group. In that case, we determine the type of the extraspecial 2-group in each case. We
also deduce that the universal representation group of S is a central product of an extraspecial 2-group and an abelian 2-group of exponent at most 4.
This work was partially done when B.K. Sahoo was a Research Fellow at the Indian Statistical Institute, Bangalore Center with
NBHM fellowship, DAE Grant 39/3/2000-R&D-II, Govt. of India. 相似文献
11.
In the paper we obtain an explicit formula for the intrinsic diameter of the surface of a rectangular parallelepiped in 3-dimensional
Euclidean space. As a consequence, we prove that an parallelepiped with relation
for its edge lengths has maximal surface area among all rectangular parallelepipeds with given intrinsic diameter. 相似文献
12.
We study the effect of a magnetic field on the behaviour of a slender conducting elastic structure, motivated by stability
problems of electrodynamic space tethers. Both static (buckling) and dynamic (whirling) instability are considered and we
also compute post-buckling configurations. The equations used are the geometrically exact Kirchhoff equations. Magnetic buckling
of a welded rod is found to be described by a surprisingly degenerate bifurcation, which is unfolded when both transverse
anisotropy of the rod and angular velocity are considered. By solving the linearised equations about the (quasi-) stationary
solutions, we find various secondary instabilities. Our results are relevant for current designs of electrodynamic space tethers
and potentially for future applications in nano- and molecular wires. 相似文献
13.
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). 相似文献
14.
How to get the timing right. A computational model of the effects of the timing of contacts on team cohesion in demographically diverse teams 总被引:1,自引:0,他引:1
Lau and Murnighan’s faultline theory explains negative effects of demographic diversity on team performance as consequence of strong demographic faultlines. If demographic differences between group members are correlated across various dimensions, the team is likely to show a “subgroup split” that inhibits communication and effective collaboration between team members. Our paper proposes a rigorous formal and computational reconstruction of the theory. Our model integrates four elementary mechanisms of social interaction, homophily, heterophobia, social influence and rejection into a computational representation of the dynamics of both opinions and social relations in the team. Computational experiments demonstrate that the central claims of faultline theory are consistent with the model. We show furthermore that the model highlights a new structural condition that may give managers a handle to temper the negative effects of strong demographic faultlines. We call this condition the timing of contacts. Computational analyses reveal that negative effects of strong faultlines critically depend on who is when brought in contact with whom in the process of social interactions in the team. More specifically, we demonstrate that faultlines have hardly negative effects when teams are initially split into demographically homogeneous subteams that are merged only when a local consensus has developed. 相似文献
15.
Jean-Christophe Breton 《Journal of Theoretical Probability》2010,23(1):21-38
We investigate the regularity of shot noise series and of Poisson integrals. We give conditions for the absolute continuity
of their law with respect to the Lebesgue measure and for their continuity in total-variation norm. In particular, the case
of truncated series in addressed. Our method relies on a disintegration of the probability space based on a mere conditioning
by the first jumps of the underlying Poisson process. 相似文献
16.
Francisco Javier Gallego Miguel González Bangere P. Purnaprajna 《Inventiones Mathematicae》2010,182(1):1-46
In this article we study the deformation of finite maps and show how to use this deformation theory to construct varieties
with given invariants in a projective space. Among other things, we prove a criterion that determines when a finite map can
be deformed to a one-to-one map. We use this criterion to construct new surfaces of general type with birational canonical
map, for different c12c_{1}^{2} and χ (the canonical map of the surfaces we construct is in fact a finite, birational morphism). Our general results enable us
to describe some new components of the moduli of surfaces of general type. We also find infinitely many moduli spaces having one component whose general point corresponds to a canonically embedded surface and another component whose general
point corresponds to a surface whose canonical map is a degree 2 morphism. 相似文献
17.
We describe the so-called method of virtual components for tight wavelet framelets to increase their approximation order and vanishing moments in the multivariate setting. Two examples of the virtual components for tight wavelet frames based on bivariate box splines on three or four direction mesh are given. As a byproduct, a new construction of tight wavelet frames based on box splines under the quincunx dilation matrix is presented. 相似文献
18.
19.
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.
20.
Andreas Philipp 《Semigroup Forum》2010,81(3):424-434
The investigation and classification of non-unique factorization phenomena have attracted some interest in recent literature.
For finitely generated monoids, S.T. Chapman and P. García-Sánchez, together with several co-authors, derived a method to
calculate the catenary and tame degree from the monoid of relations, and they applied this method successfully in the case
of numerical monoids. In this paper, we investigate the algebraic structure of this approach. Thereby, we dispense with the
restriction to finitely generated monoids and give applications to other invariants of non-unique factorizations, such as
the elasticity and the set of distances. 相似文献
|