Miracle-dz/UniFAR-FTUs huggingface dataset:
Contributions to the Functional Analysis of Single-Trial Free Recall

An extensive body of research generated by the now outmoded dual store model has produced a set of functional principles of single-trial free recall. One principle, termed the ratio rule, describes the properties of the recency effect, while several others based upon laws of rehearsal have been advanced to account for the primacy effect. These principles, which may eventually establish the foundation for a more comprehensive theory of list memory, were tested in three experiments. The first two experiments showed that when rehearsal is eliminated (Experiment 1) or equated (Experiment 2), reliable primacy and recency effects are obtained. The third experiment demonstrated that the effectiveness of rehearsal during list presentation declines monotonically as a function of serial position. These results contrast with the prevailing functional account of both
Stretched knee walking with novel inverse kinematics for humanoid robots

A four degrees of freedom (DoF) waist and trunk mechanism, as well as human-like foot, enable the humanoid robot WABIAN-2R to perform human-like walk with stretched knees, and heel-contact and toe-off gait phases. The inverse kinematics (IK) method, used in the present system, requires specification of not only task space reference trajectories, but also reference trajectories for all redundant DoFs. In this paper, we propose a novel, unified inverse kinematics method significantly simplifying the pattern generation. The method enables generation of the above described gait by specifying only the task space trajectories. We divide the forward locomotion task into subtasks with different priorities and combine them in the single IK equation. We also perform experiments in simulation environment as well as on WABIAN-2R, which prove that the method can be used to calculate IK for human-like gait. The equation evaluated in this paper is applied to the forward locomotion task, however it can be easily modified to perform other tasks on humanoid robots with different kinematic structures.
Integer-forcing architectures: An overview

This short note gives an overview of the concept of integer-forcing architectures for MIMO systems. Such architectures employ a linear receiver structure, i.e., a static linear transform followed by separate single-stream decoders, thus enjoying a significant complexity advantage over joint decoding of all streams. In standard linear receivers, the component single-stream decoders each decode one of the original data streams. In the integer-forcing architecture, each component decoder decodes an integer linear combination of several streams. Finally, these integer linear combinations are inverted to recover the original messages. Integer-forcing architectures can significantly outperform other linear MIMO receivers, including receivers that employ successive interference cancellation.
Fission in the Evolution of a Lizard Karyotype

The lizard Anolis monticola has a diploid chromosome number of 48 (24 macrochromosomes and 24 micrcchromosomes). More primitive members of the genus, as determined by bone morphology, have 12 macrochromosomes and 24 microchromosomes. Since the higher chromosome number is the derived condition, this is a case of karyotypic change by centric fission.
Estimating Genome-Wide Significance for Whole-Genome Sequencing Studies

Although a standard genome‐wide significance level has been accepted for the testing of association between common genetic variants and disease, the era of whole‐genome sequencing (WGS) requires a new threshold. The allele frequency spectrum of sequence‐identified variants is very different from common variants, and the identified rare genetic variation is usually jointly analyzed in a series of genomic windows or regions. In nearby or overlapping windows, these test statistics will be correlated, and the degree of correlation is likely to depend on the choice of window size, overlap, and the test statistic. Furthermore, multiple analyses may be performed using different windows or test statistics. Here we propose an empirical approach for estimating genome‐wide significance thresholds for data arising from WGS studies, and we demonstrate that the empirical threshold can be efficiently estimated by extrapolating from calculations performed on a small genomic region. Because analysis of WGS may need to be repeated with different choices of test statistics or windows, this prediction approach makes it computationally feasible to estimate genome‐wide significance thresholds for different analysis choices. Based on UK10K whole‐genome sequence data, we derive genome‐wide significance thresholds ranging between 2.5 × 10−8 and 8 × 10−8 for our analytic choices in window‐based testing, and thresholds of 0.6 × 10−8–1.5 × 10−8 for a combined analytic strategy of testing common variants using single‐SNP tests together with rare variants analyzed with our sliding‐window test strategy.
Representing Coordination Relationships with Influence Diagrams

It is well know the necessity of managing relationships among agents in a multi-agent system to achieve coordinated behavior. One approach to manage such relationships consists of using an explicit representation of them, allowing each agent to choose its actions based on them. Previous work in the area have considered ideal situations, such as fully known environments, static relationships and shared mental states. In this paper we propose to represent relationships among agents and entities in a multi-agent system by using influence diagrams. The advantages of the representation are twofold. First, it enables agents to better reason how to achieve their goals in an uncertain environment inhabited by multiple agents. Second, it can be used to learn new coordination relationships from past experiences.
The model of E-learning based on affective computing

After analyzing the traditional E-learning education system, emotional loss problem is prevalent in it. The paper aims at using affective computing (facial expression recognition technology) in E-learning education system, constructing the intelligent E-learning system model based on affective computing, and making use of personal guidance agent timely to capture the emotional state of information and learning in order to adjust teaching strategies timely.
SlickFeel: sliding and clicking haptic feedback on a touchscreen

We present SlickFeel, a single haptic display setup that can deliver two distinct types of feedback to a finger on a touchscreen during typical operations of sliding and clicking. Sliding feedback enables the sliding finger to feel interactive objects on a touchscreen through variations in friction. Clicking feedback provides a key-click sensation for confirming a key or button click. Two scenarios have been developed to demonstrate the utility of the two haptic effects. In the first, simple button-click scenario, a user feels the positions of four buttons on a touchscreen by sliding a finger over them and feels a simulated key-click signal by pressing on any of the buttons. In the second scenario, the advantage of haptic feedback is demonstrated in a haptically-enhanced thumb-typing scenario. A user enters text on a touchscreen with two thumbs without having to monitor the thumbs' locations on the screen. By integrating SlickFeel with a Kindle Fire tablet, we show that it can be used with existing mobile touchscreen devices.
Temporal and spatial coding in auditory prostheses

While the great majority of profoundly-totally deaf patients using multiple-channel auditory prostheses receive considerable benefit from their device (Brown et al., 1987), a greater understanding of the basic response properties of the auditory nerve to electrical stimulation should result in the development of improved electrical stimulation regimes and electrode array designs. It is the purpose of this chapter to review these basic neural response properties
ElectricDeel A Scalable , Modular Product Recommendation System For Consumer Electronics Dept . of CIS-Senior Design 2010-2011

The consumer electronics market has a large number of novice shoppers who are not familiar with industry jargon and do not have the knowledge required to make informed decisions about which products to purchase. There is significant demand for a service that gathers data from consumers about their needs and preferences by asking simple english-language questions, and recommends products that match these needs. The current alternatives to this are physically traveling to a store or examining jargon-filled online reviews, both of which are tedious, untrustworthy, and generally unattractive options. Many existing recommendation systems do not provide users with adequate descriptions of how recommendations were computed. Others provide recommendations that are not sufficiently (a) trustworthy, (b) accurate, or (c) tailored to the individual customer. ElectricDeel is a scalable, extensible platform for providing accurate product recommendations through a user interface that instills trust in the user. The system is also sufficiently modular to allow future updates, enhancements, and product additions. The web application asks the user a series of simple english questions and passes the answers to a recommendation system that uses these answers to compute a ranking for a set of relevant products. Each of the ranked products is presented along with a link to the online retailer that sells the product at the lowest price. Product data is collected using a distributed web crawler and processed in parallel using Hadoop MapReduce [20][6].
Highlights of the Latest Advances in Research on CDK Inhibitors

Uncontrolled proliferation is the hallmark of cancer and other proliferative disorders and abnormal cell cycle regulation is, therefore, common in these diseases. Cyclin-dependent kinases (CDKs) play a crucial role in the control of the cell cycle and proliferation. These kinases are frequently deregulated in various cancers, viral infections, neurodegenerative diseases, ischemia and some proliferative disorders. This led to a rigorous pursuit for small-molecule CDK inhibitors for therapeutic uses. Early efforts to block CDKs with nonselective CDK inhibitors led to little specificity and efficacy but apparent toxicity, but the recent advance of selective CDK inhibitors allowed the first successful efforts to target these kinases for the therapies of several diseases. Major ongoing efforts are to develop CDK inhibitors as monotherapies and rational combinations with chemotherapy and other targeted drugs.
Understanding and improving relational matrix factorization in recommender systems

Matrix factorization techniques such as the singular value decomposition (SVD) have had great success in recommender systems. We present a new perspective of SVD for constructing a latent space from the training data, which is justified by the theory of hypergraph model. We show that the vectors representing the items in the latent space can be grouped into (approximately) orthogonal clusters which correspond to the vertex clusters in the co-rating hypergraph, and the lengths of the vectors are indicators of the representativeness of the items. These properties are used for making top-$N$ recommendations in a two-phase algorithm. In this work, we provide a new explanation for the significantly better performance of the asymmetric SVD approaches and a novel algorithm for better diversity in top-N recommendations.
Compensatory ability to null mutation in metabolic networks

Robustness is an inherent property of biological system. It is still a limited understanding of how it is accomplished at the cellular or molecular level. To this end, this article analyzes the impact degree of each reaction to others, which is defined as the number of cascading failures of following and/or forward reactions when an initial reaction is deleted. By analyzing more than 800 organism's metabolic networks, it suggests that the reactions with larger impact degrees are likely essential and the universal reactions should also be essential. Alternative metabolic pathways compensate null mutations, which represents that average impact degrees for all organisms are small. Interestingly, average impact degrees of archaea organisms are smaller than other two categories of organisms, eukayote and bacteria, indicating that archaea organisms have strong robustness to resist the various perturbations during the evolution process. The results show that scale‐free feature and reaction reversibility contribute to the robustness in metabolic networks. The optimal growth temperature of organism also relates the robust structure of metabolic network. Biotechnol. Bioeng. 2009;103: 361–369. © 2008 Wiley Periodicals, Inc.
PERSONALIZED SUMMARIZATION OF CUSTOMER REVIEWS BASED ON USER’S BROWSING HISTORY

Every e-commerce web site today has the product review feature which allows customers to express their opinions and comments about the product they have purchased. These comments are important for potential customers when deciding which product to buy. However, reading large amounts of customer reviews available for each product is a time consuming process. For this reason, customers usually tend to read small pieces of topmost comments and skip the rest of them. Also, depending on personal preferences and needs, customers might be interested in different features of various products. Therefore, a feature based summarization of the products is very helpful for potential customers in selecting the best product option. Existing feature based review summarization methods create a product summary for a common user profile ignoring the individual preferences. In this paper, we propose a novel feature based approach for personalized review summarization by giving importance to potential individual customer preferences. In order to evaluate our method, a dataset has been collected from a popular Turkish e-commerce web site. The experimental results show that our method is successful in finding and summarizing the most relevant reviews for the active user.
Towards A Dynamic Object-Oriented Design Metric Plug-in Framework

Problem Statement: The evolution of software is made difficult by the need to integrate new features with all previously implemented features in software applications. Approach: present study introduced a general-purpose, platform-independent object-oriented design metric plug-in framework called jmetric intended to help building scalable, extendable object-oriented design metric plug-ins. jmetric seeks to address problem by providing the plug-in developer a structured way to separately develop and incrementally integrate independent object-oriented design metrics as plug-ins to a domain specific object-oriented design metrics framework. jmetric was engineered to provide functional building blocks to accelerate the adding, removing and updating of object-oriented design metric plug-ins in tools such as Eclipse, JDeveloper, NetBeans, JBuilder and other Java-based tools. Dependency injection is heavily used in jmetric to accelerate the adding, removing and updating of object-oriented metrics plug-ins. We studied several commonly used integrated development environments and software metrics tools to identify the extendibility of the tools to provide additional object-oriented design metric functionalities as plug-ins. Results: We demonstrate a tool called jmetric tool that had developed as a reference implementation to validate the plug-in capabilities of jmetric. Conclusion: Extending other tools such as Eclipse, JDeveloper and NetBeans to include metric functionalities is possible by wiring plug-ins through dependency injection mechanism in jmetric.
Semitopological BL-Algebras and MV -Algebras

Abstract In this paper, by considering the notion of upsets, for any element x of a BL-algebra L, we construct a topology Tx on L and show that L-algebras with this topology formes a semitopological BL-algebras. Then we obtain some of the topological aspects of this structure such as connectivity and compactness. Moreover, we introduced two kinds of semitopological MV -algebra by using two kinds of definition of MV -algebra and show that they are equivalent.
Formal Modeling and Reconfiguration of User Interfaces

The paper at hand introduces a new formal approach to user interface modeling. This approach is mainly motivated by a lack of formal methods for modeling interaction logic of interactive user interfaces. Based on formal methods, various verification, alidation, transformation and reconfiguration techniques can be applied directly to user interfaces in the context of adaptation as well as usability issues. To address these points, we introduce a new modeling language called FILL, which has been developed specifically for modeling interaction logic and can be easily transformed to reference nets, a special form of Petri nets offering a formal semantics for FILL. Finally, we present several case studies we are working on to identify the impact of user interface reconfiguration on the control of complex processes.
Chaos-Based Signal Processing

Given a time series measured (or generated) by a known or an unknown dynamical system we address a series of problems which can be considered as advanced signal processing tasks, namely: (1) section-wise approximation of the measured signal by pieces of trajectories from a chosen nonlinear dynamical system (model); (2) signal restoration when the measured signal has been corrupted e.g. by quantization; (3) signal coding and compression. These tasks can be addressed using a new approach to the shadowing problem based on nonlinear observability problem. Its goal is to reproduce initial conditions for a dynamical system under consideration (approximating waveform generator) giving rise to an orbit which is optimal in the sense of average distance from the measured (or prescribed) transient output waveform. We present the results obtained using the Chua's circuit as approximating waveform generator.
Ontological approach to mammographic knowledge representation

Facing the huge and complex amount of data in the mammography domain, and due to the necessity of having a reliable, exhaustive and complete knowledge base; we have to choose the right strategy for the knowledge formalization. For that, we have opted for the use of ontology which creates not merely a hierarchical class for a vocabulary but a full formal representation. The main goal behind the design of the mammography ontology is to be manipulated by decision support systems. So to build the intend ontology, we have studied the shortcomings of existing ontologies related to the domain in terms of classes, properties and the way to model radiology findings interpretations. So, in this paper, we describe the development process and the main contributions with regard to the current related domain propositions.
Efficient algorithm for test vector decompression using an embedded processor

A new algorithm for implementing test vector compression in software is presented. It is based on a compression procedure recently invented by Melhem, et al., called RDIS (recursively defined invertible set) [Melham 12]. While RDIS was originally proposed for a memory correction application, it is shown here to be very well suited for the problem of compressing test vectors. When the inputs that are unassigned during ATPG are left as don't cares (forming “test cubes”), typically only 1-2% of the remaining bits are care bits. It is shown that the RDIS procedure is very efficient when the number of care bits is small and is able to achieve large amounts of compression. The RDIS procedure works by recursively constructing invertible sets and efficiently encoding the information with row and column counts. The compressed data is stored on the tester. The tester then transfers this data to an embedded processor's memory, and a simple decompression program is executed on the embedded processor which uses this information to reconstruct the original test cubes which can then be used for testing a chip, board, or system. Experimental results are shown which indicate that significant amounts of compression can be achieved independent of the dimensions of the test cube matrix.
Broadening teacher training: playful learning in non-formal contexts for science and mathematics education

Currently, new ways of learning to develop skills such as creativity and scientific and mathematical thinking are needed. Teachers need to be prepared to face this challenge by engaging with education in any context, including non-formal ones. Moreover, in such a changing world, non-formal education could be a rich source of jobs. Work opportunities may arise if teachers in training begin to see themselves as entrepreneurial professionals. We might ask: Are future teachers prepared to educate future generations in today’s world? In this shifting scenario, would an approach for teacher training concerning non-formal contexts, based on playful learning and specially focused on science and mathematics education, be worthwhile? As part of the higher education of pre-service kindergarten teachers, we undertook such an approach with the aim of broadening their training at the university. We sought the perceptions of the teachers in training, after the development of our approach, regarding its usefulness for their future professional development, giving them the opportunity to express their own reflections in writing. We studied the participants’ reflections following the qualitative-interpretive technique of content analysis of the speech. The results of the qualitative analysis provided the emergence of 19 units of meaning (subcategories). The study of the interrelationships among these units revealed the existence of 3 interrelated joined cores (categories). Those cores are: science and mathematics education, playful learning, and non-formal education, and around them the discourse of the educators in training was articulated. © 2016 Published by Future Academy www.FutureAcademy. org.uk
Improving Word Alignment with Bridge Languages

We describe an approach to improve Statistical Machine Translation (SMT) performance using multi-lingual, parallel, sentence-aligned corpora in several bridge languages. Our approach consists of a simple method for utilizing a bridge language to create a word alignment system and a procedure for combining word alignment systems from multiple bridge languages. The final translation is obtained by consensus decoding that combines hypotheses obtained using all bridge language word alignments. We present experiments showing that multilingual, parallel text in Spanish, French, Russian, and Chinese can be utilized in this framework to improve translation performance on an Arabic-to-English task.
On soliton-type solutions of equations associated with N-component systems

The algebraic geometric approach to N-component systems of nonlinear integrable PDE’s is used to obtain and analyze explicit solutions of the coupled KdV and Dym equations. Detailed analysis of soliton fission, kink to anti-kink transitions and multi-peaked soliton solutions is carried out. Transformations are used to connect these solutions to several other equations that model physical phenomena in fluid dynamics and nonlinear optics.
Procedural Generation of Triangulation-Based Visualizations

Author(s): Weber, Gunther H. ; Heckel, Bjoern; Hamann, Bernd; Joy, Ken | Editor(s): Varshney, A. ; Wittenbrink, Craig M. ; Hagen, Hans | Abstract: We present a new visualization approach based on procedural grid generation for scattered data sets. Instead of pre-computing triangulations for a given set of levels in a data hierarchy, a triangulation within a specified region of interest (ROI) is computed by considering scattered data of a pre-computed scattered data hierarchy. By choosing an appropriate level in the hierarchy the number of samples representing the data set in the ROI can be kept sufficiently small to interactively generate a triangulation and a visualization of the data within the ROI. This allows one to generate the triangulation on-the-fly during the visualization process.