Miracle-dz/UniFAR-FTUs huggingface dataset:
Natural Language Semantics Term Project

Representing natural language semantics through vector based techniques has become a common practice, but most of these methods come with heavy limitations. Few of these vector based methods contain enough structure to naturally allow operations such as the composition of phrases to be passed into the representation in any consistent way. Such issues can be seen in the example of a “red ball”. Even if we have vectors representing “red”, “ball”, and “red ball” in general there are few representations that can naturally combine the vectors for“red” and “ball” to reproduce the vector for “red ball”. Additionally these models cannot extrapolate from the representation of a “red ball” that we are dealing with a ball or that this ball is red. Another issue that frequently occurs is data scarsity, the longer a phrase is the less frequently we expect to see it. The application of such vector space representations is therefore limited to shorter terms, as data sparsity quickly comes into play when we try to represent the meaning of longer tokens such as phrases or sentences. Thus, it would be convenient to have a method that naturally allows for composing our vector representations of phrases. Such methods would allow for us to represent the composition of the phrases themselves, rather than to try to create a new vector for the composition of phrases directly from corpora and have to deal with sparsity.
MicroRNAs in heart failure: Small molecules with major impact

MicroRNAs (miRNAs) have emerged as potent modulators of mammalian gene expression, thereby broadening the spectrum of molecular mechanisms orchestrating human physiological and pathological cellular functions. Growing evidence suggests that these small non-coding RNA molecules are pivotal regulators of cardiovascular development and disease. Importantly, multiple miRNAs have been specifically implicated in the onset and progression of heart failure, thus providing a new platform for battling this multi-faceted disease. This review introduces the basic concepts of miRNA biology, describes representative examples of miRNAs associated with multiple aspects of HF pathogenesis, and explores the prognostic, diagnostic and therapeutic potential of miRNAs in the cardiology clinic.
Porcine Endogenous Retroviruses in Xenotransplantation—Molecular Aspects

In the context of the shortage of organs and other tissues for use in human transplantation, xenotransplantation procedures with material taken from pigs have come under increased consideration. However, there are unclear consequences of the potential transmission of porcine pathogens to humans. Of particular concern are porcine endogenous retroviruses (PERVs). Three subtypes of PERV have been identified, of which PERV-A and PERV-B have the ability to infect human cells in vitro. The PERV-C subtype does not show this ability but recombinant PERV-A/C forms have demonstrated infectivity in human cells. In view of the risk presented by these observations, the International Xenotransplantation Association recently indicated the existence of four strategies to prevent transmission of PERVs. This article focuses on the molecular aspects of PERV infection in xenotransplantation and reviews the techniques available for the detection of PERV DNA, RNA, reverse transcriptase activity and proteins, and anti-PERV antibodies to enable carrying out these recommendations. These methods could be used to evaluate the risk of PERV transmission in human recipients, enhance the effectiveness and reliability of monitoring procedures, and stimulate discussion on the development of improved, more sensitive methods for the detection of PERVs in the future.
Towards Secure the Multi-Cloud using Homomorphic Encryption Scheme

Cloud computing is a model to acces shared pool of configurable computing resources which include servers, storage, applications, and also services to network effort or service interaction provider . This cloud model promotes availability and is composed of five essential fetures, in that service models are three, and four are deployment models. However, as the shape of the cloud computing is emerging and developing rapidly both conceptually and legal in reality economic, quality service, interoperability to exchange, security and privacy issues still pose significant challenges. we describe various service and deployment models of cloud computing and identify grater important challenges. In specific, we examine three crucial challenges: regulatory, security and privacy issues in Multi cloud computing. We use AES scheme for encryption of the data. As with any MAC (Medium Access Control), it is used to simultaneously verify both the data integrity and the authentication of a message. Erasure coding is used for rebuilding lost encoded fragments from existing encoded fragments. Objective-The scope of our project is it’s provides a survey on the achievable security merits by making use of multiple distinct clouds simultaneously. Various distinct architectures are introduced and discussed according to their security and privacy capabilities and prospects KeywordsCloud, Security, Privacy, Multiple clouds, Application Partitioning, Tier Partitioning, Data Partitioning, Multi-party Computation,encapsulation, Polymorphism.
Blind separation of three binary sources from one nonlinear mixture

This paper presents a blind method for the separation of three binary sources from a single, nonlinear mixture. Since the problem is intractable, in general, we focus on the special case where the nonlinearity is an odd function. The proposed method is based on clustering of the observed data and the geometry of the cluster centers. The separation algorithm is analytical, it does not involve iterative optimization and it is computationally efficient since it involves the inversion of a small matrix. Due to the structure of the problem, the true sources are extracted together with spurious signals adding one more indeterminacy to the usual sign and order indeterminacy of the sources. However, in some applications, eg. the separation of binary images, this indeterminacy can be resolved by visual inspection.
Improving Space Time Diversity In a Fixed Point-to-Point link Using LMS Based Interference Cancellers

This paper is concerned with the Improving Space Time Diversity In a Fixed Point-to-Point link Using LMS Based Interference Cancellers, carrying SDH signals with 30 MHz channel spacing. A system model is presented based on a proposal to achieve higher spectral efficiency and data rates. Signals are modulated with 8 QAM & with 64 schemes, and Reed Solomon codes are used for error control coding. The paper discusses these effects on transmission and presents methods to counter them. Specially, cross-polar interference are investigated in detail. The performance of the system is observed through simulation results and is compared with analytical results presented in different text and publications.
Differential transmission line interconnect for high speed and low power global wiring

This paper proposes transmission line interconnect, which achieves high speed and low power consumption for global interconnects. The delay time and power consumption are evaluated at 4 Gbps signal frequency. RLC differential transmission line is faster than RC line when interconnect length is over 2.4 mm. RLC line has lower power consumption than RC line over 7.0 mm. Increasing interconnect area can be suppressed by using the diagonal-pair line structure as the differential transmission line.
Reducing the Barriers to ~nterorgan~zat~onal Elec~ron~c Data ~nterchange

Increasingly state and federal agencies in the United States in their regulatory roles use electronic data interchange as a means to interact with individuals and firms. Motor carriers are an industry group over which state and federal agencies have such oversight in addressing safety on the highway. Each truck used by motor carriers must be licensed to operate in the states through which it passes in transporting commodities, and the motor carriers have to also pay federal taxes based on their transport mileage. Thus each motor carrier deals with licensing agencies in each state in which it operates creating an enormous paper work burden. Using Electronic Data Interchange (EDI) the motor carriers and the state licensing agencies could transmit, receive, process, and retrieve license data electronically which would change the way the states and the motor carriers currently do business. This paper examines the process for creating such an ED1 system. Barriers to successful ED1 implementation are numerous. Licensing in each state is governed by a set of laws and regulations for that state. For example, many states require that the license with an original signature be displayed in the truck cab. These mandated barriers usually result from legislation, executive orders, or popular demand. Organizational issues reflect problems with how the state or camer is structured to implement the ED1 technology. These organizational issues , can result from jurisdictional overlaps, unclear responsibilities, conflicting operating and administrative policies and priorities, and cultural differences. The socioltechnical interface of the technology with its users (states and carriers) can pose an additional barrier to adoption of the ED1 technology. If the ED1 technology is to be used nationally, it must fit the work styles and needs of the states and carriers. An important corpponent in developing an ED1 technology is the success of the carriers and states in removing these barriers. Her current research interest are in the areas of innovation, computer mediated communication channels, and the impact of technology onfirm performance and sentice quality. She received the Ph.D. degree in business administration from the University of North Carolina at Chapel Hill in 1988. Prior to graduate school, she workedfor ten years as a systems analyst in the management information systems field.
Dopamine, appetitive reinforcement, and the neuropsychology of human learning: An individual differences approach

Personality research is usually perceived as lying towards the “softer” end of psychological inquiry, seemingly far from the “harder” neural mechanisms, processes, and neurological lesions which are the daily stuff of neuropsychology. As biologically-oriented personality psychologists, however, we have always tried to couch our proposals in brain- behavioural terms and have even offered suggestions as to the “neuropsychology” of personality traits such as anxiety and their related clinical conditions (e.g., Gray, 1982). Furthermore, several other personality theorists have also drawn from the rich materials of behavioural neuroscience (e.g., Cloninger, Svracik, & Przybeck, 1993; Depue & Collins, 1999; Zuckerman, 1991). In this chapter we continue to apply our neuropsychological approach to personality: specifically focusing on the effects of personality traits on learning tasks.
Towards Automatic Distinction between Specialized and Non-Specialized Occurrences of Verbs in Medical Corpora

The medical field gathers people of different social statuses, such as students, pharmacists, managers, biologists, nurses and mainly medical doctors and patients, who represent the main actors. Despite their different levels of expertise, these actors need to interact and understand each other but the communication is not always easy and effective. This paper describes a method for a contrastive automatic analysis of verbs in medical corpora, based on the semantic annotation of the verbs nominal co-occurents. The corpora used are specialized in cardiology and distinguished according to their levels of expertise (high and low). The semantic annotation of these corpora is performed by using an existing medical terminology. The results indicate that the same verbs occurring in the two corpora show different specialization levels, which are indicated by the words (nouns and adjectives derived from medical terms) they occur with.
The Spouse Selection Model and Its Affection Factors of Floating Population Use Floating Population in XiaMen As An Example

Based upon spot survey of married families of floating population, we described the main features of spouse selection model of floating population. We also processed multiple integration analysis on desire, purpose, timing, standard and methods of spouse selection model of floating population into XiaMen. We have provided some suggestions for optimizing spouse selection model of floating population. The results showed that such population emphasized more and more on self-needs and experiences in terms of spouse selection model; In all the hypothesized factors, the effects of education, gender and Age are the most significant, on the contrast, the effects of floating time and income level are relatively weak. We also proposed a few suggestions for the difficulty of spouse selection.
The Effect of Coach Stability on the Performance of Football Teams in Iran Pro League

The purpose of the present research was to examine the effect of coach stability on the performance of the football teams in Iran Pro League (IPL). The population of the research consisted of 18 football teams in the 20092010 season of IPL and the required data was collected from archival documents of the league department of Iran’s Football Federation. The difference in the performance of teams with and without coach stability was analyzed using Mann-Whitney U test. Performance was examined with respect to eight measures: points, rank, wins, draws, losses, goals for, goals against, goal difference, and coach stability (i.e. whether or not the coach has been fired during the studied season). From the 18 studied teams, 33.33% had coach stability, while 66.67% of the teams had changed their coaches at least once during the season. The mean coaching life in the studied season is 16.1 weeks. Coach stability has been effective for the performance of teams in terms of points (z=-2.29, p=0.022), rank (z=-2.34, p=0.019), wins (z=-2.13, p= 0.033), draws (z=-54.2, p=0.011), and goal difference (z=-1.96, p=0.049). The findings of the research show that instability and coach turnover is a common issue in IPL. Although managers change the coach in order to get better results, the results of the research suggest the ineffectiveness of this strategy. [Farideh Hadavi, Mohhammad Soltani, Lila Sabbaghian Rad Khalil Alavi. The Effect of Coach Stability on the Performance of Football Teams in Iran Pro League. Life Sci J 2012;9(4):2613-2616] (ISSN:1097-8135). http://www.lifesciencesite. com. 389
Parallax: Implicit Code Integrity Verification Using Return-Oriented Programming

Parallax is a novel self-contained code integrity verification approach, that protects instructions by overlapping Return-Oriented Programming (ROP) gadgets with them. Our technique implicitly verifies integrity by translating selected code (verification code) into ROP code which uses gadgets scattered over the binary. Tampering with the protected instructions destroys the gadgets they contain, so that the verification code fails, thereby preventing the adversary from using the modified binary. Unlike prior solutions, Parallax does not rely on code checksumming, so it is not vulnerable to instruction cache modification attacks which affect checksumming techniques. Further, unlike previous algorithms which withstand such attacks, Parallax does not compute hashes of the execution state, and can thus protect code with non-deterministic state. Parallax limits performance overhead to the verification code, while the protected code executes at its normal speed. This allows us to protect performance-critical code, and confine the slowdown to other code regions. Our experiments show that Parallax can protect up to 90% of code bytes, including most control flow instructions, with a performance overhead of under 4%.
Spindle checkpoint proteins Mad1 and Mad2 are required for cytostatic factor–mediated metaphase arrest

In cells containing disrupted spindles, the spindle assembly checkpoint arrests the cell cycle in metaphase. The budding uninhibited by benzimidazole (Bub) 1, mitotic arrest-deficient (Mad) 1, and Mad2 proteins promote this checkpoint through sustained inhibition of the anaphase-promoting complex/cyclosome. Vertebrate oocytes undergoing meiotic maturation arrest in metaphase of meiosis II due to a cytoplasmic activity termed cytostatic factor (CSF), which appears not to be regulated by spindle dynamics. Here, we show that microinjection of Mad1 or Mad2 protein into early Xenopus laevis embryos causes metaphase arrest like that caused by Mos. Microinjection of antibodies to either Mad1 or Mad2 into maturing oocytes blocks the establishment of CSF arrest in meiosis II, and immunodepletion of either protein blocked the establishment of CSF arrest by Mos in egg extracts. A Mad2 mutant unable to oligomerize (Mad2 R133A) did not cause cell cycle arrest in blastomeres or in egg extracts. Once CSF arrest has been established, maintenance of metaphase arrest requires Mad1, but not Mad2 or Bub1. These results suggest a model in which CSF arrest by Mos is mediated by the Mad1 and Mad2 proteins in a manner distinct from the spindle checkpoint.
Psycho-social Related Factors of Junior High School Students with Internet Addiction Disorder

Objective:To investigate the prevalence of internet addiction disorder(IAD) in junior high school students in Changsha,and to explore the differences between addicts and non-addicts in family function,attitude to school,coping style and emotional state.Methods:An inventory investigation was administered to 580 junior high school students in Changsha by Young's Diagnostic Questionnaire for Internet Addiction,family APGAR questionnaire,Quality of Life Inventory(school factor),Scale of Coping Style for Middle School Students,Self-Rating Anxiety Scale(SAS) and Self-Rating Depression Scale(SDS). Results:①38 students(30 male,8 female) were diagnosed as having IAD in 580 junior high school students,the prevalence of IAD was 6.55%. ②Significant difference was found between students with IAD and those without IAD in their family function,attitude to school and coping style(P0.05). ③Students with IAD showed higher scores in SAS and SDS than those without IAD(P0.05). Conclusion:Those junior high school students with disrupted family function,unsatisfactory school life,negative coping style,anxiety and depression may be vulnerable to IAD.
Decomposable Income Inequality Measures

A decomposable inequality measure is defined as a measure such that the total inequality of a population can be broken down into a weighted average of the inequality existing within subgroups of the population and the inequality existing between them. Thus, decomposable measures differ only by the weights given to the inequality within the subgroups of the population. It is proven that the only zero-homogeneous "income-weighted" decomposable measure is Theil's coefficient (T) and that the only zero-homogeneous "population-weighted" decomposable measure is the logarithm of the arithmetic mean over the geometric mean (L). More generally, it is proved that T and L are the only decomposable inequality measures such that the weight of the "within-components" in the total inequality of a partitioned population sum to a constant. More general decomposable measures are also analyzed.
K-Means on the Graphics Processor: Design And Experimental Analysis

—Apart from algorithmic improvements many intensive machine learning algorithms can gain performance by parallelization. Programmable graphics processing units (GPU) offer a highly data parallel architecture that is suitable for many computational tasks in machine learning. We present an optimized k-means implementation on the graphics processing unit. NVIDIA’s Compute Uniﬁed Device Architecture (CUDA), available from the G80 GPU family onwards, is used as the programming environment. Emphasis is placed on optimizations directly targeted at this architecture to best exploit the computational capabilities available. Additionally drawbacks and limitations of previous related work, e.g. maximum instance, dimension and centroid count are addressed. The algorithm is realized in a hybrid manner, parallelizing distance calculations on the GPU while sequentially updating cluster centroids on the CPU based on the results from the GPU calculations. An empirical performance study on synthetic data is given, demonstrating a maximum 14x speed increase to a fully SIMD optimized CPU implementation. We present detailed empirical data on the runtime behavior of the various stages of the implementation, identify bottlenecks and investigate potential discrepancies arising from different rounding modes on the GPU and CPU based. We extend our previous work in [1] by giving a more in depth description of CUDA as well as including previously omitted experimental data.
On Nonconvex Quadratic Programming with Box Constraints

Nonconvex quadratic programming with box constraints is a fundamental $\mathcal{NP}$-hard global optimization problem. Recently, some authors have studied a certain family of convex sets associated with this problem. We prove several fundamental results concerned with these convex sets: we determine their dimension, characterize their extreme points and vertices, show their invariance under certain affine transformations, and show that various linear inequalities induce facets. We also show that the sets are closely related to the Boolean quadric polytope, a fundamental polytope in the field of polyhedral combinatorics. Finally, we give a classification of valid inequalities and show that this yields a finite recursive procedure to check the validity of any proposed inequality.
Path planning for industrial robots; Lazy Significant Edge Algorithm (LSEA)

This paper presents a new sampling based path planning algorithm, called the Lazy Significant Edge Algorithm (LSEA). LSEA utilises roadmap connectivity information to bias its sampling strategy towards objects in a robots workspace that have not yet been navigated by the robot. This allows LSEA to avoid redundant sampling of configuration space. The robotic system used in this paper to test LSEA consists of an articulated industrial manipulator mounted on a linear rail. LSEA was tested on this system with a series of different path planning problems in order to judge its overall effectiveness. When compared to a number of other popular sampling based path planning algorithms, it was concluded that LSEA had the best overall performance. It was observed to solve the various path planning problems more quickly than its counterparts, utilising fewer clash checks in order to reach the various solutions.
Energy Aware Model for Sensor Network : A Nature Inspired Algorithm Approach

In this paper we are proposing to develop energy aware model for sensor network. In our approach, first we used DBSCAN clustering technique to exploit the spatiotemporal correlation among the sensors, then we identified subset of sensors called representative sensors which represent the entire network state. And finally we used nature inspired algorithms such as Ant Colony Optimization, Bees Colony Optimization, and Simulated Annealing to find the optimal transmission path for data transmission. We have conducted our experiment on publicly available Intel Berkeley Research Lab dataset and the experimental results shows that consumption of energy can be reduced.