Miracle-dz/UniFAR-FTUs huggingface dataset:
Metabolomic changes in patients with chronic obstructive pulmonary disease with abnormal Savda syndrome

The aim of this study was to determine the metabolic biomarkers for abnormal Savda syndrome in patients with chronic obstructive pulmonary disease (COPD). Based on Traditional Uyghur Medicine (TUM) theory, a total of 103 patients with COPD were classified into abnormal Savda and non-abnormal Savda syndrome groups and 52 healthy volunteers acted as the control group. Blood samples from the three groups were analyzed using nuclear magnetic resonance (NMR) spectroscopy combined with orthogonal projection to latent structure-discriminant analysis. NMR tests showed that the regional distributions of the patients with COPD with abnormal Savda syndrome, those with non-abnormal Savda syndrome and the control group were completely separate (P>0.05). The patients with COPD with abnormal Savda syndrome exhibited relatively low levels of amino acids, glycoproteins and unsaturated lipids (P<0.05) but significantly higher levels of lactic acid, carnitine, acetone and acetoacetate (P<0.05) compared with the healthy controls. Abnormal Savda syndrome was one of the main types of syndrome among the patients with COPD; increased age, a longer duration of illness and a higher disease severity were characteristic of this type of syndrome. In addition, the present study provided biochemical evidence for the TUM theory-based classification of patients with COPD; these biomarkers can be used in the clinic for the diagnosis of COPD with abnormal Savda syndrome. The study also demonstrated that the plasma metabolic disorder in patients with COPD with abnormal Savda syndrome was more serious than that in the control and COPD with non-abnormal Savda syndrome groups. The plasma metabolic disorder was also associated with a low immune function of the body and endocrine and energy metabolism disorders.
From partial consistency to global broadcast

This paper considers unconditionally secure protocols for reliable broadcast among a set of players, some of which may be corrupted by an active (Byzantine) adversary. In the standard model with a complete, synchronous network of pairwise authentic communication channels among the players, broadcast is achievable if and only if the number of corrupted players is less than . We show that, by extending this model only by the existence of a broadcast channel among three players, global broadcast is achievable if and only if the number of corrupted players is less than . Moreover, for this an even weaker primitive than broadcast among three players is sufficient. All protocols are efficient.
Belief function to probability: A tradeoff between easy decision-making and high risk

The problem of probability transformation is crucial for decision-making in Dempster-Shafer Theory of evidence. In this paper, a compromise method has been proposed for transforming basic probability assignment to probability function. The novel transformation method can acquire better balance between easy decision-making and high risk. Numerical examples are used to illustrate the rationality and efficiency of the proposed method.
Fast and accurate calculations of structuralparameters for suspensionsyBy

The calculation of eeective properties of periodic suspensions is often problematic. Particularly diicult are calculations involving unit cells with many, close to touching, inclusions and high desired accuracy. In this paper we apply the conjugate gradient method and the fast multipole method to simplify calculations of this kind. We show how to dramatically speed up the computation of the eeec-tive conductivities and structural parameters for suspensions of disks and spheres. This enables accurate treatment of unit cells with thousands of inclusions. Direct estimates of the eeective conductivity are compared with estimates via bounds. Accuracy of twelve digits is obtained for a suspension of disks which has been studied previously, but for which no accurate digit has been determined.
The Prevalence and Predictors of an Abnormal Ankle-Brachial Index in the Bypass Angioplasty Revascularization Investigation 2 Diabetes (BARI 2D) Trial

OBJECTIVE To examine ankle-brachial index (ABI) abnormalities in patients with type 2 diabetes and coronary artery disease (CAD). RESEARCH DESIGN AND METHODS An ABI was obtained in 2,240 patients in the Bypass Angioplasty Revascularization Investigation 2 Diabetes (BARI 2D) Trial. ABIs were classified as: normal, 0.91–1.3; low, ≤0.9; high, >1.3; or noncompressible artery (NC). Baseline characteristics were examined according to ABI and by multivariate analysis. RESULTS ABI was normal in 66%, low in 19%, and high in 8% of patients, and 6% of patients had NC. Of the low ABI patients, 68% were asymptomatic. Using normal ABI as referent, low ABI was independently associated with smoking, female sex, black race, hypertension, age, C-reactive protein, diabetes duration, and lower BMI. High ABI was associated with male sex, nonblack race, and higher BMI; and NC artery was associated with diabetes duration, higher BMI, and hypertension. CONCLUSIONS ABI abnormalities are common and often asymptomatic in patients with type 2 diabetes and CAD.
Suppression of Foxo1 Activity and Down-Modulation of CD62L (L-Selectin) in HIV-1 Infected Resting CD4 T Cells

HIV-1 hijacks and disrupts many processes in the cells it infects in order to suppress antiviral immunity and to facilitate its replication. Resting CD4 T cells are important early targets of HIV-1 infection in which HIV-1 must overcome intrinsic barriers to viral replication. Although resting CD4 T cells are refractory to infection in vitro, local environmental factors within lymphoid and mucosal tissues such as cytokines facilitate viral replication while maintaining the resting state. These factors can be utilized in vitro to study HIV-1 replication in resting CD4 T cells. In vivo, the migration of resting naïve and central memory T cells into lymphoid tissues is dependent upon expression of CD62L (L-selectin), a receptor that is subsequently down-modulated following T cell activation. CD62L gene transcription is maintained in resting T cells by Foxo1 and KLF2, transcription factors that maintain T cell quiescence and which regulate additional cellular processes including survival, migration, and differentiation. Here we report that HIV-1 down-modulates CD62L in productively infected naïve and memory resting CD4 T cells while suppressing Foxo1 activity and the expression of KLF2 mRNA. Partial T cell activation was further evident as an increase in CD69 expression. Several other Foxo1- and KLF2-regulated mRNA were increased or decreased in productively infected CD4 T cells, including IL-7rα, Myc, CCR5, Fam65b, S1P1 (EDG1), CD52, Cyclin D2 and p21CIP1, indicating a profound reprogramming of these cells. The Foxo1 inhibitor AS1842856 accelerated de novo viral gene expression and the sequella of infection, supporting the notion that HIV-1 suppression of Foxo1 activity may be a strategy to promote replication in resting CD4 T cells. As Foxo1 is an investigative cancer therapy target, the development of Foxo1 interventions may assist the quest to specifically suppress or activate HIV-1 replication in vivo.
Pixelated Lenses and H0 from Time-Delay Quasars

Observed time delays between images of a lensed QSO lead to the determination of the Hubble constant by Refsdal's method, provided the mass distribution in the lensing galaxy is reasonably well known. Since the two or four QSO images usually observed are woefully inadequate by themselves to provide a unique reconstruction of the galaxy mass, most previous reconstructions have been limited to simple parameterized models, which may lead to large systematic errors in the derived H0 by failing to consider enough possibilities for the mass distribution of the lens. We use nonparametric modeling of galaxy lenses to better explore physically plausible but not overly constrained galaxy mass maps, all of which reproduce the lensing observables exactly, and derive the corresponding distribution of H0's. Blind tests—in which one of us simulated galaxy lenses, lensing observables, and a value for H0 and the other applied our modeling technique to estimate H0—indicate that our procedure is reliable. For four simulated lensed QSOs, the distributions of inferred H0 have an uncertainty of ≃10% at 90% confidence. Application to published observations of the two best-constrained time-delay lenses, PG 1115+080 and B1608+656, yields H0 = 61 ± 11 km s-1 Mpc-1 at 68% confidence and 61 ± 18 km s-1 Mpc-1 at 90% confidence.
A novel sphere detection algorithm for MQAM MIMO systems

This article derives a new sphere decoding algorithm based on the list sphere decoder(LSD), called improved multistage sphere decoding (IMSD) algorithm. The new algorithm divides the higher-order modulation into several stages of lower-order modulation, uses searching algorithm stage by stage, and defines a new adjustable coefficient r to decrease the effect of the misjudgment of lager weight stages. Besides, we combine the IMSD with the MAP algorithm, and acquire the IMSD-MAP algorithm in allusion to the soft detector of MIMO systems with higher-order modulation. The simulation results show that the IMSD-MAP performs close to the LSD-MAP but has lower complexity.
Convergence of Adaptive Discontinuous Galerkin Approximations of Second-Order Elliptic Problems

A residual-type a posteriori error estimator is introduced and analyzed for a discontinuous Galerkin formulation of a model second-order elliptic problem with Dirichlet-Neumann-type boundary conditions. An adaptive algorithm using this estimator together with specific marking and refinement strategies is constructed and shown to achieve any specified error level in the energy norm in a finite number of cycles. The convergence rate is in effect linear with a guaranteed error reduction at every cycle. Results of numerical experiments are presented.
Master Stability Functions for Synchronized Coupled Systems

We show that many coupled oscillator array configurations considered in the literature can be put into a simple form so that determining the stability of the synchronous state can be done by a master stability function, which can be tailored to one’s choice of stability requirement. This solves, once and for all, the problem of synchronous stability for any linear coupling of that oscillator. [S0031-9007(98)05387-3]
Remote retail monitoring and stock assessment using mobile robots

This paper describes a Virtual Reality (VR) based system for automating data collection and surveying in a retail store using mobile robots. The manpower cost for surveying and monitoring the shelves in retail stores are high, because of which these activities are not repeated frequently causing reduced customer satisfaction and loss of revenue. Further, the accuracy of data collected may be improved by avoiding human related factors. We use a mobile robot platform with on-board cameras to monitor the shelves either autonomously or through tele-operation. A remote operator can control the robot from a console which shows a 3D of view of the store as well as, capture real images and videos of the store. The robot is designed to facilitate automatic detection of Out-of-Stock (OOS) situations. It would be possible for a single operator to control multiple robots placed at different stores thus optimizing the available resources. As the deployment of the proposed system does not require modifying existing infrastructure of the store, the cost of the entire solution is cheaper with shorter return-on-investment (ROI) period.
Designing Seamless Mobile Augmented Reality Location Based Game Interfaces

The majority of mobile devices nowadays harness location and orientation-sensing capabilities, permitting for sensor based Mixed Reality (MR) gaming experiences such as Augmented Reality (AR) games. Nonetheless, only few entertainment implementations of sensor based AR systems emerged, predominantly due to low precision of sensory information causing crude and jerky augmentation, significantly impacting meaningful augmentation that inevitably affects gameplay experience. In this paper, we present a novel pervasive mobile AR Location Based Game (LBG) named Time-wARpXplorer (TARX) where a seamless design approach is used in order to address the quality of augmentation. TARX comprises of a mobile client and an online authoring tool, created to encourage visitors and locals to explore the city of Lancaster by travelling back in time and space to discover their immediate and distant surroundings. Within the game, time travel is linked to present day through the implementation of Foursquare's checkin platform to further raise awareness of historic sites. This paper focuses on the design considerations implemented through an iterative design process and prototyping of the mobile client, of which a novel interface emerged.
On further generalization of the rigidity theorem for spacetimes with a stationary event horizon or a compact Cauchy horizon

A rigidity theorem that applies to smooth electrovacuum spacetimes which represent either (A) an asymptotically flat stationary black hole or (B) a cosmological spacetime with a compact Cauchy horizon ruled by closed null geodesics was given in a recent paper by Friedrich et al (1999 Commun. Math. Phys. 204 691-707). Here we enlarge the framework of the corresponding investigations by allowing the presence of other types of matter fields. In the first part the matter fields are involved merely implicitly via the assumption that the dominant energy condition is satisfied. In the second part Einstein-Klein-Gordon (EKG), Einstein-[non-Abelian]-Higgs (E[nA]H), Einstein-[Maxwell]-Yang-Mills-dilaton (E[M]YMd) and Einstein-Yang-Mills-Higgs (EYMH) systems are studied. The black hole event horizon or, respectively, the compact Cauchy horizon of the considered spacetimes is assumed to be a smooth non-degenerate null hypersurface. It is proved that there exists a Killing vector field in a one-sided neighbourhood of the horizon in EKG, E[nA]H, E[M]YMd and EYMH spacetimes. This Killing vector field is normal to the horizon, moreover, the associated matter fields are also shown to be invariant with respect to it. The presented results provide generalizations of the rigidity theorems of Hawking (for case A) and of Moncrief and Isenberg (for case B) and, in turn, they strengthen the validity of both the black hole rigidity scenario and the strong cosmic censor conjecture of classical general relativity.
Comparative network analysis via differential graphlet communities

While current protein interaction data provides a rich resource for molecular biology, it mostly lacks condition‐specific details. Abundance of mRNA data for most diseases provides potential to model condition‐specific transcriptional changes. Transcriptional data enables modeling disease mechanisms, and in turn provide potential treatments. While approaches to compare networks constructed from healthy and disease samples have been developed, they do not provide the complete comparison, evaluations are performed on very small networks, or no systematic network analyses are performed on differential network structures. We propose a novel method for efficiently exploiting network structure information in the comparison between any graphs, and validate results in non‐small cell lung cancer. We introduce the notion of differential graphlet community to detect deregulated subgraphs between any graphs such that the network structure information is exploited. The differential graphlet community approach systematically captures network structure differences between any graphs. Instead of using connectivity of each protein or each edge, we used shortest path distributions on differential graphlet communities in order to exploit network structure information on identified deregulated subgraphs. We validated the method by analyzing three non‐small cell lung cancer datasets and validated results on four independent datasets. We observed that the shortest path lengths are significantly longer for normal graphs than for tumor graphs between genes that are in differential graphlet communities, suggesting that tumor cells create "shortcuts" between biological processes that may not be present in normal conditions.
A new test data compression method for system-on-a-chip

This paper presents a new test data compression method which simultaneously reduces test data volume, test application time and test power for system-on-a-chip (SoC). The proposed approach is based on the use of alternating variable run-length code and the decompression architecture is also presented. For data streams that are composed of both runs of 0's and runs of 1's, alternating run-length codes can be used to reduce the test data volume. The don't care bit will be set to 0 or 1 according to the input data stream. Experimental results for ISCAS'89 benchmark circuits show that greatly reduced test data volume, test application time and scan shifting power in all cases.
Examination of different adder structures concerning di/dt in a 180nm technology

In the presented paper we examine and compare different adder structures for their EMC behavior. On the one hand the analysis is carried out for different topologies as Ripple Carry Adder and Kogge Stone Adder. And on the other hand these topologies are realized in different logic styles as standard CMOS, complementary pass transistor logic, buffered NMOS pass transistor and complementary buffered NMOS pass transistor logic. All these variations are compared over di/dt, power consumption, speed / performance and transistor count. Additionally a new topology for the Kogge Stone Adder is introduced.
Rensch's rule is not verified in melanopline grasshoppers (Acrididae)

Sexual size dimorphism (SSD) is almost universal in animals. Rensch’s rule proposes that SSD increases with increasing average body size in taxa where males are larger than females (male- biased SSD; MBSSD) and decreases when females are larger (female-biased SSD; FBSSD). Although it was proposed that both patterns are part of the same evolutionary trend, there is more evidence for Rensch’s rule in the first case. We analysed SSD in the acridid subfamily Melanoplinae in a sample of 718 species and subspecies covering all tribes and representative genera. As in all Orthopera, SSD is female/biased. Body length was used as a proxy for body size. Mean body size within the subfamily varied between 9 and 34.5 mm in males (N= 812) and 12.75 and 44.0 mm in females (N= 735). Except for five species (0.7%) all taxa (from subfamily to subspecies) showed moderate to strong FBSSD (mean= 1.27). The lowest SSD was observed in Melanoplus chumasch (SSD= 1.01), and the highest in Phaedrotettix aptera coquinae (SSD= 1.83). To test Rensch’s rule we performed reduced major axis (RMA) regressions between log10 (male body length) and log10 (female body length). In no case RMA slopes were significantly higher than 1.0 which would signal Rensch’s rule. Thus, Melanoplinae represents a new case of FBSSD where Rensch’s rule is not verified. The proximate causes of FBSSD and the non-occurrence of Rensch’s rule in the Orthoptera are discussed as well as the relationship between SSD patterns at the intra- and supraspecific levels.
The Optimization of Share Price Prediction Model Based on Support Vector Machine

In recent years, the prediction for variation trend of share price is a hot issue which has drawn people' attention. For share price is a group of non-linear time series data, the prediction accuracy of traditional prediction method is not high enough. The paper tries to bring the technology of support vector machine to the prediction model of share price to forecast the closing price on the third day. Besides, it optimizes the selection for each kind of parameter in the model by particle swarm optimization (PSO). The experiment result shows that the model of share price based on support vector machine which is optimized by particle swarm can predict the closing price of the stock on the third day precisely. This method has high actual value.
VILIP-1 Downregulation in Non-Small Cell Lung Carcinomas: Mechanisms and Prediction of Survival

VILIP-1, a member of the neuronal Ca++ sensor protein family, acts as a tumor suppressor gene in an experimental animal model by inhibiting cell proliferation, adhesion and invasiveness of squamous cell carcinoma cells. Western Blot analysis of human tumor cells showed that VILIP-1 expression was undetectable in several types of human tumor cells, including 11 out of 12 non-small cell lung carcinoma (NSCLC) cell lines. The down-regulation of VILIP-1 was due to loss of VILIP-1 mRNA transcripts. Rearrangements, large gene deletions or mutations were not found. Hypermethylation of the VILIP-1 promoter played an important role in gene silencing. In most VILIP-1-silent cells the VILIP-1 promoter was methylated. In vitro methylation of the VILIP-1 promoter reduced its activity in a promoter-reporter assay. Transcriptional activity of endogenous VILIP-1 promoter was recovered by treatment with 5′-aza-2′-deoxycytidine (5′-Aza-dC). Trichostatin A (TSA), a histone deacetylase inhibitor, potently induced VILIP-1 expression, indicating that histone deacetylation is an additional mechanism of VILIP-1 silencing. TSA increased histone H3 and H4 acetylation in the region of the VILIP-1 promoter. Furthermore, statistical analysis of expression and promoter methylation (n = 150 primary NSCLC samples) showed a significant relationship between promoter methylation and protein expression downregulation as well as between survival and decreased or absent VILIP-1 expression in lung cancer tissues (p<0.0001). VILIP-1 expression is silenced by promoter hypermethylation and histone deacetylation in aggressive NSCLC cell lines and primary tumors and its clinical evaluation could have a role as a predictor of short-term survival in lung cancer patients.
A Survey of Various Methods for Text Summarization

Document summarization means retrieved short and important text from the source document. In this paper, we studied various techniques. Plenty of techniques have been developed on English summarization and other Indian languages but very less efforts have been taken for Hindi language. Here, we discusses various techniques in which so many features are included such as time and memory consumption, efficiency, accuracy, ambiguity, redundancy.
Noncollinear parametric amplification in the near-infrared based on type-II phase matching

Noncollinear parametric amplification based on type-II phase matching for the generation of ultrabroadband and tunable spectra in the near infrared is investigated. In a noncollinear geometry the group velocity matching condition between signal and idler can be obtained in frequently used crystals such as β-barium borate (BBO) even for wavelengths fully located in the anomalous dispersion region. The extremely broadband operation, peculiar tuning possibilities and straightforward experimental implementation with the standard BBO crystal pave the way for a versatile NIR source in ultrafast spectroscopy.
Architecture for supporting Hardware Collectives in Output-Queued High-Radix Routers

Collective communication performance is critical for many applications. In this paper, we present an architecture to efficiently support collective operations (like multicasts and reductions) in the switches of parallel computer interconnects. We present an output queuing switch architecture with cross-point buffering. Output queuing architectures have been less popular in the past as they require more internal speedup and buffering. However, with current technology it is straightforward to build output-queued switches. We demonstrate in this paper that output-queued architectures make multicasts and reductions fairly easy to implement efficiently. We show the scalability of our schemes to a large number of switch ports. We present performance of multicasts and reductions on individual switches and networks of switches. We assume a fat-tree topology for the networks of switches. We also present simulation results based on synthetic workloads that emulate a molecular dynamics application.