In [6] we proved that tlie monoidal t-norm logic MTL introduced by
Esteva and Godo in [4] is the logic of left-continuons t-norms and their residuals. Recently, the Ruinenian school, P. Hájek and others investigated in deep noncommutative t-norms. Tlins it is natural to look for the logic of left-continuons non-commutative t-norms. This is precisely what we do in this paper. The proof is a combination of the inethod used in [6] and of results by .J. Kühn in [13] and by P. Hájek in [9].
Let \Omega \subset {{\Bbb C}^n} be a bounded, simply connected \mathbb{C} -convex domain. Let \alpha \in \mathbb{Z}_{+}^{n} and let f be a function on Ω which is separately {C^{2{\alpha _j} - 1}} -smooth with respect to zj (by which we mean jointly {C^{2{\alpha _j} - 1}} -smooth with respect to Rezj, Imzj). If f is α-analytic on Ω\f−1(0), then f is α-analytic on Ω. The result is well-known for the case a_{i}=1, 1\leqslant i\leqslant n even when f a priori is only known to be continuous., Abtin Daghighi, Frank Wikström., and Obsahuje seznam literatury
Invertebrate diversity has rapidly declined throughout Europe during the last century. Various reasons for this decrease have been proposed including human induced factors like climate change. Temperature changes alter distributions and occurrences of butterflies by determining habitat conditions at different scales. We evaluated changes in the composition of butterfly communities recorded at nine areas of fallow ground in south-western Germany in 1973, 1986, 2010 and 2012 using Pollard’s transect technique. To demonstrate the importance of climatic changes in affecting butterfly communities, we calculated the community temperature index (CTI) for each butterfly community in each year. Although they increased slightly, the CTI-values did not match the temperature trends recorded in the study region. However, the reduction in the standard deviations of the CTIs over time is reflected in the marked loss of cold- and warm-adapted species due to their inability to cope with temperature and land-use induced habitat changes. Results of our butterfly surveys indicate a marked decline in species richness and striking changes in the composition of the butterfly communities studied. This trend was most pronounced for habitat specialists, thus mirroring a depletion in trait diversity. Our results indicate that, in the course of large-scale anthropogenic changes, habitat degradation at smaller scales will continuously lead to the replacement of habitat specialists by ubiquitous species., Katharina J. Filz ... [et al.]., and Obsahuje seznam literatury
The formerly monotypic genus Blissia is given a wider definition, in order to include a second new species, Blissia robusta, from the Ogilvie Mts, Yukon Territory, northwestern Canada. Some additional characters separating the genera Blissia and Tetracanthella are described.
In this article we produce a refined version of the classical Pohozaev identity in the radial setting. The refined identity is then compared to the original, and possible applications are discussed.
In this paper, we present a new type of attack on iterated chaotic ciphers using related keys. Based on the fact that a chaotic sequence is not sensitive to the less significant bits of initial conditions and parameters, a divide-and-conquer attack on iterated chaotic ciphers was presented by us before, which significantly reduces the computing complexity of attacks. However, if the information leaked is significant according to the distribution of the coincidence degrees, a measure for the information leakage of chaotic ciphers, or the size of the key is large, then it is difficult for the divide-and-conquer attack to reduce its computing complexity into a realizable level. The related-key attack we present in this paper simultaneously uses the information leaked from different chaotic sequences generated by related keys and combines the ideas of linear cryptanalysis and divide-and-conquer attack together, hence greatly enhances the efficiency of divide-and-conquer attack. As an example, we test the related-key attack on the ZLL chaotic cipher with a 64-bit key on a Pentium IV 2.5 GHz PC, which takes only 8 minutes and 45 seconds to recover all bits of the key successfully.
The subprime mortgage crisis and subsequent financial tsunami have raised considerable concerns about financial risk management and evaluation. This is nowhere more apparent than in new economic firms (NEFs) with large economic targets and heavy R&D expenses, such as firms in the electronics industries. With its potential for extreme growth and superior profitability, the electronic industries in Taiwan have been in the financial stock market spotlight. Recently, the relevance vector machine (RVM) was reported to have considerably less computation complexity than support vector machines (SVM) models, since it uses fewer kernel functions. Another emerging technique is rough set theory (RST), which derives rules from data. Based on the corporation life cycle theory (CLC), this study developed a relevance vector machine with rough set theory (RVMRS) to predict the status of a corporation in the decline stage. To demonstrate the performance of the designed RVMRS model, the study used electronic industries data from the Taiwan Economic Journal data bank, Taiwan Security Exchange, and Securities and Futures Institute in Taiwan. Experimental results revealed that the presented RVMRS model can predict the decline stage in a firm's life cycle with satisfactory accuracy, and generate rules for investors, managers, bankers and regulators that enable them to make suitable judgments. In addition, this study proved that the transparency and information disclosure index (TDI) is crucial to predicting the financial decline of corporations.
Let T be a tree, let u be its vertex. The branch weight b(u) of u is the maximum number of vertices of a branch of T at u. The set of vertices u of T in which b(u) attains its minimum is the branch weight centroid B(T) of T. For finite trees the present author proved that B(T) coincides with the median of T, therefore it consists of one vertex or of two adjacent vertices. In this paper we show that for infinite countable trees the situation is quite different.