Miracle-dz/UniFAR-FTUs huggingface dataset:
Exact learning of read-k disjoint DNF and not-so-disjoint DNF

A polynomial-time algorithm is presented for exactly learning the class of <italic>read-k disjoint DNF formulas</italic>—boolean formulas in disjunctive normal form where each variable appears at most <italic>k</italic>) and every assignment to the variables satisfies at most one term of <italic>F</italic>. The (standard) protocol used allows the learning algorithm to query whether a given assignment of boolean variables satisfies the DNF formula to be learned (membership queries), as well as to obtain counterexamples to the correctness of its current hypothesis which can be any arbitrary DNF formula (equivalence queries). The formula output by the learning algorithm is logically equivalent to the formula to be learned. We show that this result also applies for a generalization of read-<italic>k</italic> disjoint DNF which we call read-<italic>k</italic> sat-<italic>j</italic> DNF; these are DNF formulas in which every variable appears at most <italic>k</italic> times and every assignment satisfies at most <italic>j</italic> terms.
LOOP INTEGRALS, ℛ-FUNCTIONS AND THEIR ANALYTIC CONTINUATION

To determine entirely the resulting functions of one-loop integrals it is necessary to find the correct analytic continuation to all relevant kinematical regions. We argue that this continuation procedure may be performed in a general and mathematical accurate way by using the ℛ-function notation of these integrals. The two- and three-point cases are discussed explicitly in this manner.
Such Stuff as Dreams Are Made On: Dream Language, LIWC Norms, and Personality Correlates

We describe the language features of dream narratives from 3 large samples of normal persons using Linguistic Inquiry Word Count (LIWC), a computer text analysis program. Compared with LIWC norms from waking narratives, LIWC dream narratives showed more use of function words in general, common words, past tense verbs, relativity (particularly space), inclusion, leisure, friend, and home words, and less use of second-person pronouns, present and future verbs, causation words, large words, and assent words. Dream narratives did not contain more negative emotion words. These patterns were consistent across investigators, samples gathered at different times from student and online sources, and instructions for dream reports (i.e., recent dream vs. important dream). Statistically significant correlations between dream language features and personality (as measured by the Ten-Item Personality Inventory and the Big Five Inventory) were few in number and small in effect sizes. We conclude with discussing the implications of computer text analysis of dreams in more systematic studies comparing linguistic features with dream themes in cross-cultural clinical populations, and the implications of these features for scientific understanding of the continuum of consciousness.
Sum-rate optimization for the MIMO IC under imperfect CSI: A deterministic equivalent approach

A new method is proposed to determine precoding matrices that achieve local maxima of the expected sum rate in a multiple input multiple output interference channel (MIMO IC), in the realistic scenario where only partial channel state information (CSI) is available at the transmitters. Relying on a random matrix analysis of the capacity of large dimensional Ricean channels introduced in [1], the expected sum rate of the K-user MIMO IC is approximated by a deterministic equivalent to which an iterative gradient scheme is applied to find local maxima of the approximated sum rate.
The Axiom General Purpose Game Playing System

A general game playing system, Axiom, was developed to overcome the limitations inherent in an existing commercial general purpose game playing system which incorporates a generic AI. Axiom extends the range of possible games via an extensible language, thereby allowing for a high degree of game-specific customization within the AI as well as in defining complex game behaviors. This paper provides an overview of the Axiom system and discusses some important aspects of the customizable AI. It also answers the question “Can a powerful game definition language be developed to enhance a popular general game platform? ”
A novel method for quick hearing assessment of children

Hearing impairment is one of the most common disorders in children. However, the hearing impairment is difficult to be monitored due to the limited availability of test equipments and trained specialists in many developing countries. The purpose of this study is to develop a novel method for quick hearing assessment of school-aged children. The proposed method is easy use and does not need to be operated by trained staff. Therefore, the parents or school nurses can routinely monitor the hearing level for the school-aged children. The proposed method could therefore be useful in monitoring progressive hearing change in a home-care setting.
Study of electro-hydraulic force servo control system based on fuzzy control

Because there is flexible load in electro-hydraulic force servo control system, and there is second-order differential section whose oscillation frequency is low in the numerator of the transfer function, the frequency range of the electro-hydraulic force servo control system is influenced badly and the system may oscillate easily even is instability. Aiming at this characteristic of electro-hydraulic force servo control system and the characteristic of the system whose open loop gain is small; the fuzzy control theory is applied to electro-hydraulic force servo control system this typical nonlinear system in order to improve the performance of the system. The models of the system with the fuzzy control theory and without it are built and the simulation and experiment study is done. Comparing the control result of the controller with the fuzzy control theory to the control result of the controller with the traditional PID, and from the results of simulation and experiment, we can find that the controller with the fuzzy control theory can not only increase the frequency range of system, but also improve the precision of system, and the controller can quicken the response ability of the system obviously.
How Many Species Have Mass M?

Within large taxonomic assemblages, the number of species with adult body mass M is characterized by a broad but asymmetric distribution, with the largest mass being orders of magnitude larger than the typical mass. This canonical shape can be explained by cladogenetic diffusion that is bounded below by a hard limit on viable species mass and above by extinction risks that increase weakly with mass. Here we introduce and analytically solve a simplified cladogenetic diffusion model. When appropriately parameterized, the diffusion‐reaction equation predicts mass distributions that are in good agreement with data on 4,002 terrestrial mammals from the late Quaternary and 8,617 extant bird species. Under this model, we show that a specific trade‐off between the strength of within‐lineage drift toward larger masses (Cope’s rule) and the increased risk of extinction from increased mass is necessary to produce realistic mass distributions for both taxa. We then make several predictions about the evolution of avian species masses.
Extending the Mean-Value Analysis Algorithm According to the Thread Pool Investigation

Web-based information systems play an important role in computer science. The most common consideration is performance. With the help of a proper performance model and evaluation algorithm, the performance metrics can be determined at the early stages of the development process. In our work, the response time and the throughput of multi-tier Web applications have been predicted based on a queueing model. The goal of our work is to extend the mean-value analysis (MVA) algorithm according to the investigation of the thread pool. The MVA and the proposed extended MVA evaluation algorithms have been implemented with the help of MATLAB. The input parameters have been estimated based on one measurement, and the model has been evaluated to predict performance metrics. Moreover, a Web application has been tested with concurrent user sessions in order to validate the proposed algorithm in ASP.NET environment.
A Theory of Child Targeting∗

There is a large empirical literature on policy measures targeted at children but surprisingly very little theoretical foundation to ground the debate on the optimality of the different instruments. In the present paper, we examine the merit of targeting children through two general policies, namely selective commodity taxation and cash transfer to family with children. We consider a household that comprises an adult and a child. The household behavior is described by the maximization of the adult’s utility function, which depends on the child’s welfare, subject to a budget constraint. The relative effects of a price subsidy and of a cash benefit on child welfare are then derived. In particular, it is shown that ‘favorable’ distortions from the price subsidies may allow to redistribute toward the child. The framework is extended to account for possible paternalistic preferences of the State. Finally, it is shown that, in contrast to the traditional view, well-chosen subsidies can be more cost effective than cash transfers in alleviating child poverty.
Compress-and-forward relaying with polar codes for LTE-A system

Deploying compress-and-forward relay nodes is a promising and better solution for LTE-A networks to meet the capacity and coverage requirements of 4G and beyond systems. However, selecting a relay plays an important role in enhancing the benefits. In this paper, a compress-and-forward relay is proposed using polar codes which achieves better performance than turbo codes, but more importantly with less time complexity and reduced processing delay. Simulation results proved a major improvement of the system performance in terms of block error rate and processing delay.
ROSETTA -- A Rough Set Toolkit for Analysis of Data

Fields pertaining to the construction of models on the basis of empirical data necessarily have a high experimental content, thus rendering the need for a suitable set of (cid:13)exible tools. This paper presents the Rosetta system, a toolkitfor pattern recognition and data mining within the framework of rough set theory. The system comprises both a general C++ class library as well as a GUI front-end running under Windows NT, and has been constructed using well-proven object-oriented design patterns with maintainability, exten-sibility and (cid:13)exibility and ease of use as principal de-sign parameters. Together, the kernel and the front-end constitute a powerful vehicle for practical rough set related research and applications in data mining.
Molecular regulation of auditory hair cell death and approaches to protect sensory receptor cells and/or stimulate repair following acoustic trauma

Loss of auditory sensory hair cells (HCs) is the most common cause of hearing loss. This review addresses the signaling pathways that are involved in the programmed and necrotic cell death of auditory HCs that occur in response to ototoxic and traumatic stressor events. The roles of inflammatory processes, oxidative stress, mitochondrial damage, cell death receptors, members of the mitogen-activated protein kinase (MAPK) signal pathway and pro- and anti-cell death members of the Bcl-2 family are explored. The molecular interaction of these signal pathways that initiates the loss of auditory HCs following acoustic trauma is covered and possible therapeutic interventions that may protect these sensory HCs from loss via apoptotic or non-apoptotic cell death are explored.
NEIWalk: Community Discovery in Dynamic Content-Based Networks

Recently, discovering dynamic communities has become an increasingly important task. Many algorithms have been proposed, most of which only use linkage structure. However, rich information is encoded in the content of social networks such as node content and edge content, which is essential to discover topically meaningful communities. Therefore, to detect both structurally and topically meaningful communities, linkage structure, node content and edge content should be integrated. The main challenge lies in how to integrate them dynamically in a seamless way. This paper proposes a novel transformation of content-based network into a Node-Edge Interaction (NEI) network where linkage structure, node content and edge content are embedded seamlessly. A differential activity based approach is proposed to incrementally maintain the NEI network as the content-based network evolves. To capture the semantic effect of different edge types, a transition probability matrix is devised for the NEI network. Based on this, heterogeneous random walk is applied to discover dynamic communities, leading to a new dynamic community detection method termed NEIWalk (NEI network based random Walk). Theoretical analysis shows that the proposed NEIWalk method gets a bounded accuracy loss due to the random walk sampling. Experimental results demonstrate the effectiveness and efficiency of NEIWalk.
Intercultural Dialogue In The Education Space Of The Information Age

In this study the authors characterize modern post-industrial society and the related global changes in culture, innovation, intellectual creativity. The article analyzes the factors that shape the culture of the information society, puts forward new approaches to understanding culture through intercultural dialogue. The principles of multicultural education that are based on intercultural dialogue are described. The goal of intercultural (multicultural) education is represented, which is the development of intercultural competence of students, which will allow to successfully carry out a dialogue with representatives of other cultures. It is demonstrated that in the formation of competences related to intercultural dialogue, literary education is of particular importance. The object of this research is the problem of studying mythology, classical and contemporary literature in terms of the dialogue between cultures. The article presents the new ways in which learners perceive the text. The particular attention is given to the specific features of reading in present-day world, when literary text is perceived as a source of information and means of mass communication. It is concluded that the dialogue of literatures is one of the ways to create a comprehensive readers' perception with the possibility of eventually establishing personal contacts in the present-day formats of communication. © 2017 Published by Future Academy www.FutureAcademy. org.UK
Signal Detection with Noise Power Variation Between the Hypotheses

Detecting a known signal in additive noise is a widespread problem. Two different cases have been processed in the literature whether the noise power is known or not. Here we consider the case where the noise power could vary between the null and alternative hypothesis. This situation occurs if the receiver electronic behave differently if the signal of interest (SOI) is present or when the signal signature is not perfectly known or could change. We have developed the generalized likelihood ratio test (GLRT) for the problem at hand and compared its performances with the one which assumes the same noise power under the two hypotheses. We first present some numerical simulations to attest to the validity of the analysis. Then we experiment the new detector on real data to detect knocking for car engine management to show the improvement with the standard detector.
An improved spectrum sensing method based on multitaper-singular value decomposition in Cognitive radio

In order to improve the spectrum hole detection in Cognitive radio (CR), Multitaper Method with Singular Value Decomposition (MTM-SVD) has been proposed. However, how to decide the coefficient in the spatiotemporal complex matrix constructed by MTM-SVD is still under discussion. In this paper, a new scheme, employing array signal processing, for coefficient determination is introduced. Since the sensor used in spectrum sensing is attached with antenna array, the directions of the interference sources can be computed by Multiple Signal Classification (MUSIC) algorithm. By using multiple sensors, the position of the interference source can be estimated. Moreover, the coefficient in MTM-SVD is related to the distance between the sensor and the interference source. Therefore, a more proper value of the coefficient will be given and the interference temperature will be estimated more accurately. Simulation results show that, the proposed method has a better performance for spectrum hole detection than the conventional method.
Service-oriented integration of networked robots with ubiquitous sensors and devices using the semantic Web services technology

In recent years, motivated by the emergence of ubiquitous computing technology, a new class of networked robots - ubiquitous robots - has been introduced. The URC (ubiquitous robotic companion) is our conceptual vision of ubiquitous robot which provides us with the services we need, anytime and anywhere. To realize the vision of URC, it is one of the most important requirements for the robotic systems to support seamlessness of services even though service environments changes. Specifically, it is needed for robotic systems to be interoperable with the sensors and devices in current service environments automatically, rather than statically preprogrammed for them. In this paper, we present SURF (service-oriented ubiquitous robotic framework) which enables automated integration of networked robots into ubiquitous computing environments based on the semantic Web services technology. In SURF approach, we implement interfaces for robots, networked sensors and devices as Web services. And we describe knowledge about them in OWL-S the semantic Web services ontology and register the knowledge to KB, so that a SURF agent can automatically discover required knowledge and compose a feasible service plan for the service environments. And then the agent controls robots, sensors and devices through SOAP the Web services execution protocol according to the service plan.
A 4&#8211;Gb/s clock and data recovery circuit using four&#8211;phase 1/8&#8211;rate clock

This paper describes a 4-Gb/s clock and data recovery circuit exploiting a four-phase 1/8-rate clock technique for low-power and high-speed operation. The voltage-controlled oscillator with an active inductor load provides the 50% duty-cycle correction operating at 1/8-rate clock. The four-phase detector performing 1:4 DEMUX accomplishes a linear frequency and phase detection with no systematic phase offset. Test chip was fabricated by a 0.25-µm digital CMOS technology. The peak-to-peak jitter of the recovered clock is 47ps for a PRBS of length 231-1. The power dissipation is 70mW with a 2.5-V supply.
A hole filling algorithm for medical imaging

Surface integrity of 3D medical imaging is crucial for surgery simulation or virtual diagnoses. However, undesirable holes often exist due to external damage on bodies or accessibility limitation on scanners. To bridge the gap, the paper proposes an algorithm of filling holes for 3D medical image data based on moving least squares (MLS) method. In the algorithm, medical data is classified into two types and procedure is designed according to the classification. The procedure consists of two steps, namely hole detection and hole completion. In completion part, the detected hole can be automatically filled by interpolation with known surrounding points. Moreover, a threshold is used to constrain the density of the completed surface, so the sampling rate on reconstructed area complies with the original data. We test our algorithm on two types of medical data and the results indicate a robust solution.
Towards a Vaccine Against Rheumatic Fever

Rheumatic fever (RF) is an autoimmune disease which affects more than 20 million children in developing countries. It is triggered by Streptococcus pyogenes throat infection in untreated susceptible individuals. Carditis, the most serious manifestation of the disease, leads to severe and permanent valvular lesions, causing chronic rheumatic heart disease (RHD). We have been studying the mechanisms leading to pathological autoimmunity in RF/RHD for the last 15 years. Our studies allowed us a better understanding of the cellular and molecular pathogenesis of RHD, paving the way for the development of a safe vaccine for a post-infection autoimmune disease. We have focused on the search for protective T and B cell epitopes by testing 620 human blood samples against overlapping peptides spanning 99 residues of the C-terminal portion of the M protein, differing by one amino acid residue. We identified T and B cell epitopes with 22 and 25 amino acid residues, respectively. Although these epitopes were from different regions of the C-terminal portion of the M protein, they showed an identical core of 16 amino acid residues. Antibodies against the B cell epitope inhibited bacterial invasion/adhesion in vitro. Our results strongly indicated that the selected T and B cell epitopes could potentially be protective against S. pyogenes.
Optimizing the Chase: Scalable Data Integration under Constraints

We are interested in scalable data integration and data exchange under constraints/dependencies. In data exchange the problem is how to materialize a target database instance, satisfying the source-to-target and target dependencies, that provides the certain answers. In data integration, the problem is how to rewrite a query over the target schema into a query over the source schemas that provides the certain answers. In both these problems we make use of the chase algorithm, the main tool to reason with dependencies. Our first contribution is to introduce the frugal chase, which produces smaller universal solutions than the standard chase, still remaining polynomial in data complexity. Our second contribution is to use the frugal chase to scale up query answering using views under LAV weakly acyclic target constraints, a useful language capturing RDF/S. The latter problem can be reduced to query rewriting using views without constraints by chasing the source-to-target mappings with the target constraints. We construct a compact graph-based representation of the mappings and the constraints and develop an efficient algorithm to run the frugal chase on this representation. We show experimentally that our approach scales to large problems, speeding up the compilation of the dependencies into the mappings by close to 2 and 3 orders of magnitude, compared to the standard and the core chase, respectively. Compared to the standard chase, we improve online query rewriting time by a factor of 3, while producing equivalent, but smaller, rewritings of the original query.
Probing flavored mesons of confining gauge theories by supergravity

We incorporate massive flavored fundamental quarks in the supergravity dual of = 1 SYM by introducing D7 brane probes to the Klebanov Strassler background. We find probe configurations that solve the D7 equations of motion. We compute the quadratic fluctuations of the D7 brane and extract the spectrum of vector and pseudo scalar flavored mesons. The spectra found are discrete and exhibit a mass gap of the order of the glueball mass.
A Case Study in Implementing Dependency-Based Grammars

In creating an English grammar checking software product, we implemented a large-coverage grammar based on the dependency grammar formalism. This implementat ion required some adaptation of current linguistic description to prevent serious overgeneration of parse trees. Here, • we present one particular example, that of preposition stranding and dangling prepositions, where implementing an alternative to existing linguistic analyses is warranted to limit such overgeneration.