Miracle-dz/UniFAR-FTUs huggingface dataset:
RASSF10 suppresses colorectal cancer growth by activating P53 signaling and sensitizes colorectal cancer cell to docetaxel

RASSF10 has previously been reported to be frequently methylated in a number of malignancies. To understand the importance of RASSF10 inactivation in colorectal carcinogenesis, eight colorectal cancer cell lines, 89 cases of primary colorectal cancer and 5 cases of normal colorectal mucosa were examined. Methylation specific PCR, western blot, siRNA, gene expression array and xenograft mice were employed. The expression of RASSF10 was regulated by promoter regional methylation in colorectal cancer cells. RASSF10 was methylated in 60.7% (54/89) of primary colorectal cancers and was positively associated with tumor stage (p < 0.05) and metastasis (p < 0.05). Restoration of RASSF10 led to inhibition of colorectal cancer cell proliferation in vitro and in vivo and increased apoptosis. Gene expression arrays discovered RASSF10 inhibition of MDM2 expression as a mediator of these effects, which was confirmed with RT-PCR and western blot. RASSF10 was shown to activate P53 signaling in RKO and HCT116 cells after UV exposure, and sensitized these cells to docetaxel. In conclusion, our study demonstrates RASSF10 is frequently methylated in human colorectal cancer leading to loss of expression. RASSF10 normally suppresses human colorectal cancer growth by activating P53 signaling in colorectal cancer, and restored expression sensitizes colorectal cancer to docetaxel.
Novel passivity-based controller design for STATCOM

This paper presents the design of the passivity-based control (PBC) for type 2 static synchronous compensator (STATCOM). The PBC controller, which consists of a desired control input and a new control input considering the performance of all states, are designed. PBC guarantees the exponentially stability of equilibrium point of the system. The PBC controller's the performance is compared with input-output linearization (IOL) controller's. Simulation results show that better performances of capacitive voltage and active current are achieved using PBC than IOL.
A social tag-based dimensional model of emotions: Building cross-domain folksonomies

We present an emotion computational model based on social tags. The model is built upon an automatically generated lexicon that describes emotions by means of synonym and antonym terms, and that is linked to multiple domain-specific emotion folksonomies extracted from entertainment social tagging systems. Using these cross-domain folksonomies, we develop a number of methods that automatically transform tag-based item profiles into emotion-oriented item profiles, which may be exploited by adaptation and personalization systems. To validate our model, we show that its representation of a number of core emotions is in accordance with the well known psychological circumplex model of affect. We also report results from a user study that show a high precision of our methods to infer the emotions evoked by items in the movie and music domains.
Comparative Effects of Guided and Unguided Multiple Choice Objective Questions Tests on Students’ Mathematics Academic Achievement According to Gender

Students’ low or poor academic achievement in mathematics at all levels in Nigerian educational system is very worrisome. This study, therefore, investigated, using pretest-posttest quasi-experimental research design, the extent which Guided and Unguided Multiple Choice Objective Questions Tests (GMCOQT and UMCOQT) improved the academic achievement of students in Senior School Mathematics in Delta State Capital Territory, Nigeria. The sample comprised 640 Students from four co-education secondary schools, randomly assigned to control and experimental groups. Four research questions and four null hypotheses guided this study. Three instruments, Comparative Achievement Test (CAT) 1, 2, and 3 were used to collect data. Difference in Mean Academic Achievement was subjected to z-test statistic and was significant in favor of the experimental group. Implications and recommendations for future research were advanced. DOI: 10.5901/jesr.2016. v6n2p193
Outsourcing the Decryption of ABE Ciphertexts

Attribute-based encryption (ABE) is a new vision for public key encryption that allows users to encrypt and decrypt messages based on user attributes. For example, a user can create a ciphertext that can be decrypted only by other users with attributes satisfying ("Faculty" OR ("PhD Student" AND "Quals Completed")). Given its expressiveness, ABE is currently being considered for many cloud storage and computing applications. However, one of the main efficiency drawbacks of ABE is that the size of the ciphertext and the time required to decrypt it grows with the complexity of the access formula. In this work, we propose a new paradigm for ABE that largely eliminates this overhead for users. Suppose that ABE ciphertexts are stored in the cloud. We show how a user can provide the cloud with a single transformation key that allows the cloud to translate any ABE ciphertext satisfied by that user's attributes into a (constant-size) El Gamal-style ciphertext, without the cloud being able to read any part of the user's messages. To precisely define and demonstrate the advantages of this approach, we provide new security definitions for both CPA and replayable CCA security with outsourcing, several new constructions, an implementation of our algorithms and detailed performance measurements. In a typical configuration, the user saves significantly on both bandwidth and decryption time, without increasing the number of transmissions.
Interactive Walkthroughs and Higher Order Global Illumination

The subtle lighting effects, which can be simulated by global illumination, are important to make virtual worlds look realistic. Higher order global illumination methods, like Wavelet Radiosity, have proven to be very efficient, but do not directly lead to solutions that can be used by the hardware used to display walkthroughs. In this paper, we discuss methods to efficiently map these higher order radiosity solutions to representations suitable for hardware acceleration. Additionally, we discuss similar methods to deal with directionally-depended solutions generated for example by Wavelet Radiance algorithms. CR Descriptors: I.3. 7 [Computer Graphics]: Three-dimensional Graphics and Realism — radiosity; virtual reality;
Predicting in-memory database performance for automating cluster management tasks

In Software-as-a-Service, multiple tenants are typically consolidated into the same database instance to reduce costs. For analytics-as-a-service, in-memory column databases are especially suitable because they offer very short response times. This paper studies the automation of operational tasks in multi-tenant in-memory column database clusters. As a prerequisite, we develop a model for predicting whether the assignment of a particular tenant to a server in the cluster will lead to violations of response time goals. This model is then extended to capture drops in capacity incurred by migrating tenants between servers. We present an algorithm for moving tenants around the cluster to ensure that response time goals are met. In so doing, the number of servers in the cluster may be dynamically increased or decreased. The model is also extended to manage multiple copies of a tenant's data for scalability and availability. We validated the model with an implementation of a multi-tenant clustering framework for SAP's in-memory column database TREX.
By Any Other Name: Heterologous Replacement of the Escherichia coli RNase P Protein Subunit Has In Vivo Fitness Consequences

Bacterial RNase P is an essential ribonucleoprotein composed of a catalytic RNA component (encoded by the rnpB gene) and an associated protein moiety (encoded by rnpA). We construct a system that allows for the deletion of the essential endogenous rnpA copy and for its simultaneous replacement by a heterologous version of the gene. Using growth rate as a proxy, we explore the effects on fitness of heterologous replacement by increasingly divergent versions of the RNase P protein. All of the heterologs tested complement the loss of the endogenous rnpA gene, suggesting that all existing bacterial versions of the rnpA sequence retain the elements required for functional interaction with the RNase P RNA. All replacements, however, exact a cost on organismal fitness, and particularly on the rate of growth acceleration, defined as the time required to reach maximal growth rate. Our data suggest that the similarity of the heterolog to the endogenous version — whether defined at the sequence, structure or codon usage level — does not predict the fitness costs of the replacement. The common assumption that sequence similarity predicts functional similarity requires experimental confirmation and may prove to be an oversimplification.
Centre for the Study of Economic and Social Change in Europe Do Institutions Matter for Technological Change in Transition Economies ? The Case of Russia ’ s 89 regions and republics

We explore the impact of institutions on technological change in a transition economy. We use regional panel data for Russia’s 89 regions and republics during the period of recovery and growth from 1998 to 2004 to show the impact of large variation in institutional development, ranging from full enforcement of property rights in the Northwest to red belt Communist regimes in the southeast. We find an unambiguous relationship between strong and sustained institutional development and technological change. We provide one model proxying the quality of institutions by the investment risk rating compiled by the rating agency ExpertRA Regions. (JEL: 030, P37, R11)
MASS-TO-LIGHT RATIOS FOR M31 GLOBULAR CLUSTERS: AGE DATING AND A SURPRISING METALLICITY TREND

We have obtained velocity dispersions from Keck high-resolution integrated spectroscopy of 10 M31 globular clusters (GCs), including three candidate intermediate-age GCs. We show that these candidates have the same V-band mass-to-light (M/LV) ratios as the other GCs, implying that they are likely to be old. We also find a trend of derived velocity dispersion with wavelength, but cannot distinguish between a systematic error and a physical effect. Our new measurements are combined with photometric and spectroscopic data from the literature in a re-analysis of all M31 GC M/LV values. In a combined sample of 27 GCs, we show that the metal-rich GCs have lower M/LV than the metal-poor GCs, in conflict with predictions from stellar population models. Fragmentary data for other galaxies support this observation. The M31 GC fundamental plane is extremely tight, and we follow up an earlier suggestion by Djorgovski to show that the fundamental plane can be used to estimate accurate distances (potentially 10% or better).
Formal Verification, Engineering and Business Value

How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might have no background in formal verification? And how to convince business managers to actually pay for such a software? This work addresses a number of those questions. Based on our own experience on developing and distributing the Goanna source code analyzer for detecting software bugs and security vulnerabilities in C/C++ code, we explain the underlying technology of model checking, static analysis and SMT solving, steps involved in creating industrial-proof tools.
A theoretical contribution to the fast implementation of null linear discriminant analysis method using random matrix multiplication with scatter matrices

The null linear discriminant analysis method is a competitive approach for dimensionality reduction. The implementation of this method, however, is computationally expensive. Recently, a fast implementation of null linear discriminant analysis method using random matrix multiplication with scatter matrices was proposed. However, if the random matrix is chosen arbitrarily, the orientation matrix may be rank deficient, and some useful discriminant information will be lost. In this paper, we investigate how to choose the random matrix properly, such that the two criteria of the null LDA method are satisfied theoretically. We give a necessary and sufficient condition to guarantee full column rank of the orientation matrix. Moreover, the geometric characterization of the condition is also described.
Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification

Constructive learning algorithms o er an attractive approach for incremental construction of potentially near-minimal neural network architectures for pattern classi cation tasks. These algorithms help overcome the need for ad-hoc and often inappropriate choice of network topology in the use of algorithms that search for a suitable weight setting in an a-priori xed network architecture. Several such algorithms proposed in the literature have been shown to converge to zero classi cation errors (under certain assumptions) on nite, non-contradictory training sets in 2category classi cation tasks. The convergence proofs for each of these algorithms (with the exception of the Upstart and Perceptron Cascade ) rely on the assumption that the pattern attributes are either binary or bipolar valued. This paper explores multi-category extensions of several constructive neural network learning algorithms for classi cation tasks where the input patterns may take on real-valued attributes. In each case, we establish the convergence to zero classi cation errors on a multi-category classi cation task. Results of experiments with non-linearly separable multi-category datasets demonstrate the feasibility of this approach and suggest several interesting directions for future research. This research was partially supported by the National Science Foundation grants IRI-9409580 and IRI-9643299 to Vasant Honavar.
Asymmetric Price Adjustment in the Small: An Implication of Rational Inattention

Analyzing scanner price data that cover 27 product categories over an eight-year period from a large Mid-western supermarket chain, we uncover a surprising regularity in the data—small price increases occur more frequently than small price decreases. We find that this asymmetry holds for price changes of up to about 10 cents, on average. The asymmetry disappears for larger price changes. We document this finding for the entire data set, as well as for individual product categories. Further, we find that the asymmetry holds even after excluding from the data the observations pertaining to inflationary periods, and after allowing for various lengths of lagged price adjustment. The findings are insensitive also to the measure of price level used to measure inflation (the PPI or the CPI). To explain these findings, we extend the implications of the literature on rational inattention to individual price dynamics. Specifically, we argue that processing and reacting to price change information is a costly activity. An important implication of rational inattention is that consumers may rationally choose to ignore—and thus not to respond to—small price changes, creating a "range of inattention" along the demand curve. This range of consumer inattention, we argue, gives the retailers incentive for asymmetric price adjustment "in the small. " These incentives, however, disappear for large price changes, because large price changes are processed by consumers and therefore trigger their response. Thus, no asymmetry is observed "in the large. " An additional implication of rational inattention is that the extent of the asymmetry found "in the small " might vary over the business cycle: it might diminish during recessions and strengthen during expansions. We find that the data are indeed consistent with these predictions. An added contribution of the paper is that our theory may offer a possible explanation for the presence of small price changes, which has been a long-standing puzzle in the literature. chain, we find significantly higher retail price rigidity for private label products than for nationally branded products during the Christmas and Thanksgiving holiday periods relative to the rest of the year. The finding cannot be explained by changes in holiday period promotional practices because we find that private label promotions appear to diminish at least as much as national brands. The increased rigidity of private label products relative to national brands is only partially accounted for by increased rigidity of wholesale prices. After ruling out other potential explanations, we suggest that the higher private label price rigidity might be due to the increased emphasis on social consumption during holiday periods, raising the customers’ value of nationally branded products relative to the private labels.
Mining unit tests for code recommendation

Developers spend a significant portion of their time understanding and learning the correct usage of the APIs of libraries they want to integrate in their projects. However, learning how to effectively use APIs is complex and time consuming. Code recommendation systems play a crucial role facilitating developers in this task by providing to them relevant examples while they code. This paper proposes a novel approach to code recommendation in which code examples are automatically obtained by mining and manipulating unit tests. In this paper we discuss the theoretical and practical implications that underpin this idea. The discussion leads to a series of fascinating research challenges that we organized in a research agenda.
An intelligent concept based search engine with cross linguility support

In this paper, an intelligent concept based search engine has been presented that can be used as a multilingual platform for different search queries. It retrieves those results pages also which don't have directly the keywords but contains the synonyms or related words. In response to a query for the word “car” it will also retrieve web pages which don't have directly the word “car” but have the semantically related words such as “automobile”, “motorcar”, “gondola”, “van” etc. As a cross lingual support it retrieves the pages of other languages which have semantic presence of the searched keyword. These pages are presented to user in the original query language after necessary translation/transliteration. Spell-check support is also provided for giving suggestions in respect of misspelled queries. For the search engine implementation, JSP (Java Server Pages) has been used to integrate the Front-end (webpage) and Back-end (crawler and indexer). LUCENE (a very popular open source information retrieval library) and WordNet library has been used for getting the synonyms list of the queried words. The search engine has been successfully tested for the agricultural domain.
A path planning study of autonomous mobile robot in dynamic environment

In the dynamic environment, a path planning method of autonomous mobile robot based on fusing and genetic simulated annealing approach is introduced. In this paper, the accurate dynamic environment data is acquired firstly by building ultrasonic data predictive model and the method based on multisensor fusing. Finally, on the based of path planning by using genetic algorithms, forming a genetic simulated annealing approach by inducting simulated annealing approach to search the global optimal path.
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and hash-tables). However, many concurrent applications require custom synchronization constructs with special-purpose behavior. These constructs present a significant challenge for verification. Like standard constructs, they rely on subtle racy behavior, but unlike standard constructs, they may not have well-understood abstract interfaces. As they are custom built, such constructs are also far more likely to be unreliable. This article examines the formal specification and verification of custom synchronization constructs. Our target is a library of channels used in automated parallelization to enforce sequential behavior between program statements. Our high-level specification captures the conditions necessary for correct execution; these conditions reflect program dependencies necessary to ensure sequential behavior. We connect the high-level specification with the low-level library implementation to prove that a client’s requirements are satisfied. Significantly, we can reason about program and library correctness without breaking abstraction boundaries. To achieve this, we use a program logic called iCAP (impredicative Concurrent Abstract Predicates) based on separation logic. iCAP supports both high-level abstraction and low-level reasoning about races. We use this to show that our high-level channel specification abstracts three different, increasingly complex low-level implementations of the library. iCAP’s support for higher-order reasoning lets us prove that sequential dependencies are respected, while iCAP’s next-generation semantic model lets us avoid ugly problems with cyclic dependencies.
Richness evaluation of blogs on its topics using a generative model and probabilistic analysis

Nowadays, blogs are one of important web services to publish and share various information. Accordingly, evaluation of various keywords in blogs is one of the important research topics for effective and efficient classification and retrieval of blogs in the blogosphere. In this paper, we propose a method to identify important keywords in a blog. In order to identify such keywords, we consider web context, assuming that the blogs documents are generated from web contexts by proposed generative model. Therefore, if the contexts of keyword on the web are reflected well in the blog, then we may regard the keyword is essential because the blog is rich on the keyword. We clustered the blog articles on the given keyword by several subtopics using LDA (Latent Dirichlet Analysis), and compared the clusters with the web context documents obtained by web search. Finally, we evaluated the richness of blog on each keyword.
On load balancing equilibria in multiqueue systems with multiclass traffic

We consider a queueing system with two non identical FCFS servers together serving two classes of customers. All customers have i.i. d service requirements. One of the queues may charge an admission price, say c. Arrivals are randomly routed to one of the servers and the routing probabilities are determined centrally to optimise a global objective, or from a local mechanism minimising a local—class or individual—objective. Our interest is to analyse the use of c to achieve a target distribution of loads among the servers. We first analyse the structure of the optimal allocation and then consider (1) a system with a dispatcher for each class, (2) a non atomic system, and (3) a system where one of the classes has a dispatcher.
Force-reflecting servo-manipulators for remote handling task in a radioactive environment

Mechanical master-slave manipulator (MSM) is a common device for a remote handling of nuclear materials in a radioactive environment such as a hot cell. However, since the master and the slave manipulator are directly connected through a wall, the slave manipulator cannot access all the process operation and maintenance areas. Also, the ratio of the slave to master force reflection is fixed at about 1:1, so the slave can only apply forces within the range of an operator's capacity. To overcome the deficiencies of the MSM, a servo-manipulator mounted on an overhead bridge is a preferred option. In this paper, we investigated the performance specifications of existing force reflecting servo-manipulators used for a remote handling of process equipment in a radioactive environment.