Web Applications have become a critical component of the global information infrastructure, and it is important that they be validated to ensure their reliability. Exploiting user session data is a promising approach to testing Web applications. However, the effectiveness of user session testing technique depends on the set of collected user session data: The wider this set, the greater the capability of the approach to detect failures, but the wider the user session data set, the greater the cost of collecting, analyzing and storing data. In this paper, a technique for reducing a set of user sessions to an equivalent smaller one is implemented. This technique allows reducing of a wider set of user sessions to an equivalent reduced user session and pages, sufficient to test a Web application effectively. Reduction of a user session for several web applications like TCENet Web application, Portal application, Social Networking, Online shopping, Online Library is carried out in order to validate the proposed technique; and our technique is compared with HGS, Random Reduction technique and the Concept Lattice technique to evaluate its efficiency.
The problem of decomposing a given covariance matrix as the sum of a positive semi-definite matrix of given rank and a positive semi-definite diagonal matrix, is considered. We present a projection-type algorithm to address this problem. This algorithm appears to perform extremely well and is extremely fast even when the given covariance matrix has a very large dimension. The effectiveness of the algorithm is assessed through simulation studies and by applications to three real benchmark datasets that are considered. A local convergence analysis of the algorithm is also presented.
The ŁII and ŁII1/2 logics were introduced by Godo, Esteva and Montagna in [4] and further developed in my work [2]. These types of logic unite many other known propositional and predicate logics, including the three mainly investigated ones (Godel, Product and Łukasiewicz logic).
The aim of this paper is to show a tight connection between the ŁII logic and the product involutive logic. This logic was introduced by Esteva, Godo, Hájek and Navara in their paper [3].
We will see that all the connectives of the ŁII logic are definable from the connectives of this logic. In addition we show that the ŁII logic is an schernatic extension of this logic by a single axiom. We also make some simplification of the axiomatic system of this logic.
CD163 is a marker of macrophages with anti-inflammatory properties and its soluble form (sCD163) is considered a prognostic predictor of several diseases including type 2 diabetes mellitus (T2DM). We explored sCD163 levels at baseline and after very low-calorie diet (VLCD) or bariatric surgery in 32 patients with obesity (20 undergoing VLCD and 12 bariatric surgery), 32 obese patients with T2DM (22 undergoing VLCD and 10 bariatric surgery), and 19 control subjects. We also assessed the changes of CD163 positive cells of monocyte-macrophage lineage in peripheral blood and subcutaneous adipose tissue (SAT) in subset of patients. Plasma sCD163 levels were increased in obese and T2DM subjects relative to control subjects (467.2±40.2 and 513.8±37.0 vs. 334.4±24.8 ng/ml, p=0.001) and decreased after both interventions. Obesity decreased percentage of CD163+CD14+ monocytes in peripheral blood compared to controls (78.9±1.48 vs. 86.2±1.31 %, p=0.003) and bariatric surgery decreased CD163+CD14+HLA-DR+ macrophages in SAT (19.4±2.32 vs. 11.3±0.90 %, p=0.004). Our data suggest that increased basal sCD163 levels are related to obesity and its metabolic complications. On the contrary, sCD163 or CD163 positive cell changes do not precisely reflect metabolic improvements after weight loss., A. Cinkajzlová, Z. Lacinová, J. Kloučková, P. Kaválková, P. Trachta, M. Kosák, J. Krátký, M. Kasalický, K. Doležalová, M. Mráz, M. Haluzík., and Obsahuje bibliografii
For sequences of rational functions, analytic in some domain, a theorem of Montel’s type is proved. As an application, sequences of rational functions of the best $L_p$-approximation with an unbounded number of finite poles are considered.
This paper deals with basic stability properties of a two-term linear autonomous fractional difference system involving the Riemann-Liouville difference. In particular, we focus on the case when eigenvalues of the system matrix lie on a boundary curve separating asymptotic stability and unstability regions. This issue was posed as an open problem in the paper J. Čermák, T. Kisela, and L. Nechvátal (2013). Thus, the paper completes the stability analysis of the corresponding fractional difference system.
An analytical formula for the time transformation TDB-TDT valid over a few thousand years around J2000 has been computed with an accuracy at the 1 ns level. This computation was carried out by integrating the differential equation derived from a general metric.
The transformation TDB-TDT is independent of the PPN parameters, γ and β, and of the 3 most commonly-used coordinate systems (standard, isotropic, Painlevé), at least at the 1 ns level.
The analytical theories ELP2000 and VSOP82 developped at the Bureau des Longitudes were used for the motions pf the solar systém bodies, Furthermore, the numerical procedures described by Hellings and Davis to calculate this transformation yield different results to our own procedure. These differences are due to the long-period terms of the planetary theories which are averaged out
in the numerical procedures. These terms are generated by resonances in the Solar System.
This study aims at developing an artificial intelligence-based (ANN based) analytical method to analyze earthquake performances of the reinforced concrete (RC) buildings. In the scope of the present study, 66 real RC buildings with four to ten storeys were subject to performance analysis according to 19 parameters considered effective on the performance of RC buildings. In addition, the level of performance of these buildings in case of an earthquake was determined on the basis of the 4-grade performance levels specified in Turkish Earthquake Code-2007 (TEC-2007). Thus, an output performance data group was created for the analyzed buildings, in accordance with the input data. Thanks to the ANN-based fast evaluation algorithm mentioned above and developed within the scope of the proposed project study, it will be possible to make an economic and rapid evaluation of four to ten-storey RC buildings in Turkey with great accuracy (about 80%). Detection of post-earthquake performances of RC buildings in the scope of the present study will facilitate reaching important results in terms of buildings, which will be beneficial for Civil Engineers of Turkey and similar countries.
Over a 7-year period, parasites have been collected from 28 species of groupers (Serranidae, Epinephelinae) in the waters off New Caledonia. Host-parasite and parasite-host lists are provided, with a total of 337 host-parasite combinations, including 146 parasite identifications at the species level. Results are included for isopods (5 species), copepods (19), monogeneans (56), digeneans (28), cestodes (12), and nematodes (12). When results are restricted to those 14 fish species for which more than five specimens were examined and to parasites identified at the species level, 109 host-parasite combinations were recorded, with 63 different species, of which monogeneans account for half (32 species), and an average of 4.5 parasite species per fish species. Digenean records were compared for 16 fish species shared with the study of Cribb et al. (2002); based on a total of 90 parasite records identified at the species level, New Caledonia has 17 new records and only seven species were already known from other locations. We hypothesize that the present results represent only a small part of the actual biodiversity, and we predict a biodiversity of 10 different parasite species and 30 host-parasite combinations per serranid. A comparison with a study on Heron Island (Queensland, Australia) by Lester and Sewell (1989) was attempted: of the four species of fish in common and in a total of 91 host-parasite combinations, only six parasites identified at the species level were shared. This suggests strongly that insufficient sampling impairs proper biogeographical or ecological comparisons. Probably only 3% of the parasite species of coral reef fish are already known in New Caledonia.