共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
《International Journal of Approximate Reasoning》2014,55(9):1843-1865
In this paper we present the proof-theoretical approach to p-adic valued conditional probabilistic logics. We introduce two such logics denoted by and . Each of these logics extends classical propositional logic with a list of binary (conditional probability) operators. Formulas are interpreted in Kripke-like models that are based on p-adic probability spaces. Axiomatic systems with infinitary rules of inference are given and proved to be sound and strongly complete. The decidability of the satisfiability problem for each logic is proved. 相似文献
3.
4.
5.
We show that shuffle, the problem of determining whether a string w can be composed from an order preserving shuffle of strings x and y, is not in , but it is in . The fact that shuffle is not in is shown by a reduction of parity to shuffle and invoking the seminal result of Furst et al., while the fact that it is in is implicit in the results of Mansfield. Together, the two results provide a lower and upper bound on the complexity of this combinatorial problem. We also explore an interesting relationship between graphs and the shuffle problem, namely what types of graphs can be represented with strings exhibiting the anti-Monge condition. 相似文献
6.
7.
Jos M.F. Ten Berge Alwin Stegeman Mohammed Bennani Dosse 《Linear algebra and its applications》2009,430(2-3):818-829
The Candecomp/Parafac algorithm approximates a set of matrices by products of the form , with diagonal, . Carroll and Chang have conjectured that, when the matrices are symmetric, the resulting and will be column wise proportional. For cases of perfect fit, Ten Berge et al. have shown that the conjecture holds true in a variety of cases, but may fail when there is no unique solution. In such cases, obtaining proportionality by changing (part of) the solution seems possible. The present paper extends and further clarifies their results. In particular, where Ten Berge et al. solved all cases, now all cases, and also the cases for , and 9 are clarified. In a number of cases, and necessarily have column wise proportionality when Candecomp/Parafac is run to convergence. In other cases, proportionality can be obtained by using specific methods. No cases were found that seem to resist proportionality. 相似文献
8.
9.
Camille Male 《Journal of Functional Analysis》2017,272(1):1-46
A heavy Wigner matrix is defined similarly to a classical Wigner one. It is Hermitian, with independent sub-diagonal entries. The diagonal entries and the non-diagonal entries are identically distributed. Nevertheless, the moments of the entries of tend to infinity with N, as for matrices with truncated heavy tailed entries or adjacency matrices of sparse Erdös–Rényi graphs. Consider a family of independent heavy Wigner matrices and an independent family of arbitrary random matrices with a bound condition and converging in ?-distribution in the sense of free probability. We characterize the possible limiting joint ?-distributions of , giving explicit formulas for joint ?-moments. We find that they depend on more than the ?-distribution of and that in general and are not asymptotically ?-free. We use the traffic distributions and the associated notion of independence [21] to encode the information on and describe the limiting ?-distribution of . We develop this approach for related models and give recurrence relations for the limiting ?-distribution of heavy Wigner and independent diagonal matrices. 相似文献
10.
11.
Andrew D. Brooke-Taylor Benedikt Löwe Birgit Richter 《Journal of Pure and Applied Algebra》2018,222(8):2292-2298
In 1979, Bousfield defined an equivalence relation on the stable homotopy category. The set of Bousfield classes has some important subsets such as the distributive lattice DL of all classes which are smash idempotent and the complete Boolean algebra cBA of closed classes. We provide examples of spectra that are in DL, but not in cBA; in particular, for every prime p, the Bousfield class of the Eilenberg–MacLane spectrum is in . 相似文献
12.
13.
14.
It is known that some optimality criteria of experimental designs are functionals of the eigenvalues of their information matrices. In this context we study the problem of maximizing the determinant of , , over the class of t-by-t permutation matrices, and the determinant of , , over the class of t-by-t permutation matrices with zero diagonal (derangement matrices). The results are used to characterize D-optimal complete block designs under an interference model. 相似文献
15.
16.
17.
18.
Kyung-Tae Kang Seok-Zun Song LeRoy B. Beasley 《Linear algebra and its applications》2012,436(7):1850-1862
The term rank of a matrix over a semiring is the least number of lines (rows or columns) needed to include all the nonzero entries in . In this paper, we study linear operators that preserve term ranks of matrices over . In particular, we show that a linear operator on matrix space over preserves term rank if and only if preserves term ranks and if and only if preserves two consecutive term ranks in a restricted condition. Other characterizations of term-rank preservers are also given. 相似文献
19.
In a previous work, it was shown how the linearized strain tensor field can be considered as the sole unknown in the Neumann problem of linearized elasticity posed over a domain , instead of the displacement vector field in the usual approach. The purpose of this Note is to show that the same approach applies as well to the Dirichlet–Neumann problem. To this end, we show how the boundary condition on a portion of the boundary of Ω can be recast, again as boundary conditions on , but this time expressed only in terms of the new unknown . 相似文献
20.