Miracle-dz/UniFAR-FTUs huggingface dataset:
College English Listening Teaching Based on Constructivism

Traditional college English listening teaching is a kind of cramming education.The teacher mainly plays the tape and gives correct answers.As a result,students' listening ability is generally not high.This paper,based on constructivism,discusses the current problems of college English listening teaching from its four main factors,and hopes to provide some advice for future teaching.
Data Mining Technology and Its Application in CRM of Commercial Banks

CRM is an innovative marketing strategy centered on customer and a comprehensive management and technological method. The application of Data Mining (DW) technology in CRM plays an important role in improving the level and efficiency of CRM in commercial banks. This paper mainly introduces structures of CRM in commercial banks and DM technology, and emphasizes the application of DM technology in the CRM of the commercial bank and finally discusses some key problems related to this application of DM in the CRM.
Transcription Factor E2F-1 Is Upregulated in Human Gastric Cancer Tissues and Its Overexpression Suppresses Gastric Tumor Cell Proliferation

The E2F family members play a critical role in cell cycle regulation and other biological processes in the cell. To better understand the involvement of E2F-1 in the development and progression of gastric tumors, we investigated the mutation and expression of E2F-1 in human gastric cancer tissues and the effect of E2F-1 overexpression on the proliferation of gastric carcinoma cells. In this study, 80 pairs of gastric cancer specimens and paratumor tissues from different patients and 40 stomach mucosa specimens from healthy individuals were examined. PCR-SSCP analysis demonstrated that mutations were not detected in any of the gastric cancer and normal tissue specimens. In addition, the results of an immunohistochemistry assay revealed higher expression rates of E2F-1 (P < 0.01) in gastric cancer tissues (72.5%) than in paratumor tissues (30.0%) of the same individuals and stomach mucosa from healthy individuals (22.5%). However, no correlation was observed between the E2F-1 levels and patients’ clinical features, such as sex, age, histological types, lymph node metastasis, and clinical stages (P >0.05). Finally, the influence of E2F-1 overexpression on the growth of human gastric carcinoma MKN-45 cells in vitro was assessed by measuring colony formation, cell survival, and cell cycle progression. Our data clearly showed that cell growth and proliferation were significantly inhibited in MKN-45 tumor cells transfected with the expression vector encoding E2F-1 in comparison with nontransfected cells or cells transfected with empty vector. These findings suggest that E2F-1, a stable and conservative gene during the oncogenesis and progression of stomach cancers, may potentially serve as a biomarker for clinical diagnosis of gastric carcinomas and as a target for the development of novel therapeutic interventions to treat this disease.
Insight Problem Solving: A Critical Examination of the Possibility of Formal Theory

This paper provides a critical examination of the current state and future possibility of formal cognitive theory for insight problem solving and its associated “aha! ” experience. Insight problems are contrasted with move problems, which have been formally defined and studied extensively by cognitive psychologists since the pioneering work of Alan Newell and Herbert Simon. To facilitate our discussion, a number of classical brainteasers are presented along with their solutions and some conclusions derived from observing the behavior of many students trying to solve them. Some of these problems are interesting in their own right, and many of them have not been discussed before in the psychological literature. The main purpose of presenting the brainteasers is to assist in discussing the status of formal cognitive theory for insight problem solving, which is argued to be considerably weaker than that found in other areas of higher cognition such as human memory, decision-making, categorization, and perception. We discuss theoretical barriers that have plagued the development of successful formal theory for insight problem solving. A few suggestions are made that might serve to advance the field.
Honu : A syntactically extensible language

Honu is a new language that contains a system for extending its syntax with an interface built on concrete syntax. Honu combines an existing hygienic macro system with a novel use of a precedence parser to achieve a syntax that is algol-like while maintaining the power of s-expression based macros. We demonstrate how to build the parser and connect it to the underlying macro system.
Competent jerks, lovable fools, and the formation of social networks.

When looking for help with a task at work, people turn to those best able to do the job. Right? Wrong. New research shows that work partners tend to be chosen not for ability but for likability. Drawing from their study encompassing 10,000 work relationships in five organizations, the authors have classified work partners into four archetypes: the competent jerk, who knows a lot but is unpleasant; the lovable fool, who doesn't know much but is a delight; the lovable star, who's both smart and likable; and the incompetent jerk, who. well, that's self-explanatory. Of course, everybody wants to work with the lovable star, and nobody wants to work with the incompetent jerk. More interesting is that people prefer the lovable fool over the competent jerk. That has big implications for every organization, as both of these types often represent missed opportunities. Because they are liked by a disproportionate number of people, lovable fools can bridge gaps between diverse groups that might not otherwise interact. But their networking skills are often developed at the expense of job performance, which can make these employees underappreciated and vulnerable to downsizing. To get the most out of them, managers need to protect them and put them in positions that don't waste their bridge-building talents. As for the competent jerks, too often their expertise goes untapped by people who just can't put up with them. But many can be socialized through coaching or by being made accountable for bad behavior. Others may need to display their competence in more isolated settings. Intriguingly, managers aren't limited to leveraging people that others like and changing those that others loathe. They also can create situations in which people are more apt to like one another, whatever their individual qualities.
High Dynamic Range Resampling for Software Radio

The classic problem of recovering arbitrary values of a band-limited signal from its samples has an added complication in software radio applications; namely, the resampling calculations inevitably fold aliases of the analog signal back into the original bandwidth. The phenomenon is quantified by the spur-free dynamic range. We demonstrate how a novel application of the Remez (ParksMcClellan) algorithm permits optimal signal recovery and SFDR, far surpassing state-of-the-art resamplers. Keywords— Sampling methods, Signal sampling, Digital radio, Digital-analog conversion.
Decision-theoretic human-robot communication

Humans and robots need to exchange information if the objective is to achieve a task cooperatively. Two questions are considered in this paper: what type of information to communicate, and how to cope with the limited resources of human operators. Decision-theoretic human-robot communication can provide answers to both questions: the type of information is determined by the underlying probabilistic representation, and value-of-information theory helps decide when it is appropriate to query operators for information. A robot navigation task is used to evaluate the system by comparing it to conventional teleoperation. The results of a user study show that the developed system is superior with respect to performance, operator workload, and usability.
Quasi-maximum-likelihood multiuser detection using semi-definite relaxation with application to synchronous CDMA

The maximum-likelihood (ML) multiuser detector is well known to exhibit better bit-error-rate (BER) performance than many other multiuser detectors. Unfortunately,ML detection (MLD) is a nondeterministic polynomial-time hard (NP-hard) problem, for which there is no known algorithm that can find the optimal solution with polynomial-time complexity (in the number of users). In this paper, a polynomial-time approximation method called semi-definite (SD) relaxation is applied to the MLD problem with antipodal data transmission. SD relaxation is an accurate approximation method for certain NP-hard problems. The SD relaxation ML (SDR-ML) detector is efficient in that its complexity is of the order of K3.5, where K is the number of users. We illustrate the potential of the SDR-ML detector by showing that some existing detectors, such as the decorrelator and the linear-minimum-mean-square-error detector, can be interpreted as degenerate forms of the SDR-ML detector. Simulation results indicate that the BER performance of the SDR-ML detector is better than that of these existing detectors and is close to that of the true ML detector, even when the cross-correlations between users are strong or the near-far effect is significant.
Exploring personal interest in intermittently connected wireless mobile social networks

Consumer electronics such as cellular phones and portable computers with short-range communication capabilities have enabled the large-scale information dissemination through user mobility and contact, without the assistance of communication infrastructures. In this new paradigm, one challenge is to determine when and how to forward a message to the destination, possibly through a series of third-party users. This problem has attracted a lot of attention in the literature lately, with proposals ranging from epidemic to single or multi-copy spray and wait or focus strategies, but most existing work assumed independent and identically distributed mobility. Observing most human mobility and interaction are interest-driven in the real world, in this paper, we evaluate the performance of these schemes with an interest-driven mobility model. We further propose to take the user interest into account when determining routing strategies to further improve the performance of these schemes for mobile social networks. Simulation results have demonstrated the efficacy of the interest-aware routing strategies.
3D face reconstruction in a binocular passive stereoscopic system using face properties

In this paper, we introduce a novel approach for face stereo reconstruction in passive stereo vision system. Our approach is based on the generation of a facial disparity map, requiring neither expensive devices nor generic face models. It consists of incorporating face properties in the disparity estimation to enhance the 3D face reconstruction. An algorithm based on the Active Shape Model (ASM) is proposed to acquire 3D sparse estimation of the face with a high confidence. Using sparse estimation as guidance and considering the face symmetry and smoothness, the dense disparity is completed. Experimental results are presented to demonstrate the reconstruction accuracy of the proposed method.
Declarative language extensions for prolog courses

In this paper we present several extensions to support a more declarative view of programming in Prolog. These extensions enable introductory Prolog courses to concentrate on the pure parts of Prolog for longer periods than without. Even quite complex programs can now be written free of any reference to the more problematic constructs. Our extensions include an alternate way to handle the occurs-check, efficient side-effect free I/O with DCGs, and a uniform approach to integer arithmetic that overcomes the disadvantages of arithmetical evaluation and finite domain constraints, but combines and amplifies their strengths. All extensions have been included recently into the SWI-Prolog distribution.
Multi-Period Multi-Dimensional Knapsack Problem and Its Application to Available-to-Promise

This paper is motivated by a recent trend in logistics scheduling, called Available-to-Promise. We model this problem as the multi-period multi-dimensional knapsack problem. We provide some properties for a special case of a single-dimensional problem. Based on insights obtained from these properties, we propose a two-phase heuristics for solving the multi-dimensional problem. We also propose a novel time-based ant colony optimization algorithm. The quality of the solutions generated is verified through experiments, where we demonstrate that the computational time is superior compared with integer programming to achieve solutions that are within a small percentage of the upper bounds.
Improving the Fairness of Alternative Backoff with ECN (ABE)

Explicit Congestion Notification (ECN) lets a bottleneck's Active Queue Management (AQM) mechanism inform an endpoint about congestion without having to drop a packet. A recently proposed sender-side modification called Alternative Backoff with ECN (ABE) enables reduced latency while maintaining good utilization with ECN. However, under certain circumstances ABE can produce a degree of unfair behavior between ABE-enabled TCP senders and conventional TCP senders. We propose specific guidance for configuring bottleneck AQMs to assist in fairness between ABE-enabled and conventional TCP flows. We evaluate our proposal using RED, then describe how it can be applied to other AQM mechanisms and incrementally introduced into the Internet.
SUSTAINABLE LAND-USE PLANNING SUPPORT BY GIS-BASED EVALUATION OF LANDSCAPE FUNCTIONS AND POTENTIALS

The paper presents an example of the application of the landscape functions and natural potentials methodology to the environmental assessment in the upland area of Pradnik and Dlubnia rivers catchments, south Poland. The aim of the research was to propose evaluation methodology applied in GIS environment and based on available digital (or easy for digitalization) spatial data. The study proved that evaluation of landscape functions and natural potentials is as a useful tool in land-use decision support process. Proposed assessment methods can be implemented not only in the investigated area, but also in similar areas in the South of Poland.
Extinction and Colonization of Birds on Habitat Islands

Abstract: We used point‐count and transect surveys to estimate the distribution and abundance of eight scrub‐breeding bird species in 34 habitat fragments and the urban matrix in southern California. We then calculated local extinction and colonization rates by comparing our data with surveys conducted in 1987. We classified factors that influence extinction and colonization rates into two types: (1) extrinsic factors, which are characteristics of the habitat fragments such as area, age, and isolation and (2) intrinsic factors, which are characteristics of the species that inhabit fragments, such as body size and population density. Over the past decade, at least one species went locally extinct in over 50% of the fragments, and local extinctions were almost twice as common as colonizations. Fragment size and, to a lesser extent, fragment age were the most important extrinsic factors determining extinction and colonization. Density indices of scrub birds were the most important intrinsic factors determining extinction rates, predicting the number of sites occupied, the probability of local extinction, relative area requirements, and time to local extinction.
The Rate of Return to Private Schooling

This paper examines the relationship between "school quality" and earnings in the United Kingdom. The specific focus is on evaluating the effect that private schooling has on hourly wage rates. It is well known that private (i.e. fee-paying) schools compared to state schools score higher on most measures of school quality. Therefore by comparing individuals with private schooling to those with state schooling (and controlling for other variables) it is possible to indirectly evaluate the effect of school quality. Panel data from five waves of the British Household Panel Survey are used in the analysis.
Quantum Discord and Maxwell's Demons

Quantum discord was proposed as an information theoretic measure of the “quantumness” of correlations. I show that discord determines the difference between the efficiency of quantum and classical Maxwell’s demons in extracting work from collections of correlated quantum systems. Information has an energetic value: It can be converted into work. Maxwell’s demon was introduced into thermodynamics to explore the role of information and, more generally, to investigate the place of “intelligent observers” in physics. In modern discussions of the subject “intelligence” is often regarded as predicated upon or even synonymous with the information processing ability – with computing. Thus, Maxwell’s demon is frequently modelled by a universal Turing machine – a classical computer – endowed with the ability to measure and act depending on the outcome. The role of such a demon is then to implement an appropriate conditional dynamics – to react to the state of the system as revealed through its correlation with the state of the apparatus. It is now known that quantum logic – i.e., logic employed by quantum computers – is in some applications more powerful than its classical counterpart. It is therefore intriguing to enquire whether a quantum demon – an entity that can measure non-local states and implement quantum conditional operations – could be more powerful than a classical one. I show that quantum demons can typically extract more work than classical demons from correlations between quantum systems, and that the difference is given by a variant of the quantum discord, recently introduced measure of the “quantumness” of correlations. Quantum discord is the difference between the two classically identical formulae that measure the information content of a pair of quantum systems. Several closely related variants can be obtained starting from the original definition given in terms of the mutual information. Mutual information is a measure of the strength of correlations between, say, the apparatus A and the system S: I(S : A) = H(S) +H(A) −H(S,A) (1)
On Representing Dependency Relations – Insights from Converting the German TiGerDB

Research in parser evaluation has led to the creation of dependency resources such as the TiGer Dependency Bank, a semi-automatic conversion of a subset of the TIGER Treebank. We explore the relationship between the TiGerDB representation and a more surface-oriented dependency analysis of German and describe how we mapped and recoded the TiGerDB into a format more closely linked to the original treebank data.
Clinical cardiac safety profile of nilotinib

Background Nilotinib is a second-generation tyrosine kinase inhibitor with significant efficacy as first- or second-line treatment in patients with chronic myeloid leukemia. Despite preclinical evidence indicating a risk of prolongation of the QT interval, which was confirmed in clinical trials, detailed information on nilotinib’s cardiac safety profile is lacking. Design and Methods Here, we retrospectively assessed cardiovascular risk factors in 81 patients who were being or had previously been treated with nilotinib therapy and evaluated cardiovascular parameters by longitudinal monitoring of the QT interval and left ventricular ejection fraction. Detailed information on the occurrence and management of defined cardiac adverse events was extracted. Results The median duration of nilotinib therapy was 26 months (range, 1–72). The median QT interval at baseline was 413 msec (range, 368–499 msec). During follow-up, the median QT was not significantly different from the baseline value at any time-point. Sixteen of 81 patients (20%) had new electrocardiographic changes. Cardiac function, as assessed by measurement of left ventricular ejection fraction, did not change significantly from baseline at any time-point. During a median follow-up of 44 months (range, 2–73), seven patients (9%), all of whom had received prior imatinib therapy, developed 11 clinical cardiac adverse events requiring treatment. The median time from the start of nilotinib therapy to an event was 14.5 months (range, 2–68). Five of seven patients were able to continue nilotinib therapy with only one brief interruption. Conclusions Whereas new electrocardiographic abnormalities were recorded in 20% of all patients and some of them developed severe or even life-threatening coronary artery disease, QT prolongation, changes in left ventricular ejection fraction, and clinical cardiac adverse events were uncommon in patients treated with nilotinib.
Steplike dispersion of the intermediate-frequency Raman modes in semiconducting and metallic carbon nanotubes

Resonance Raman spectra of semiconducting and metallic single-wall carbon nanotube bundles have been investigated in the spectral range between 600 and 1100 cm �1 , which is associated with intermediate frequency modes. A large range of nanotube diameters corresponding to HiPco and electric-arc samples 0.7– 1.8 nm, and laser excitation energies between 1.62 and 2.71 eV have been used in the measurements. A rich set of peaks is observed, some of them independent of the excitation laser energy and some exhibiting a steplike dispersive behavior. The nondispersive peaks are assigned. The model proposed by Fantini et al. Phys. Rev. Lett. 93, 087401 2004 to explain the steplike dispersive behavior of the intermediate frequency modes is then extended to different SWNT diameters and different Eii transitions, including semiconducting and metallic SWNTs.
A 45GHz, 14mW Rotary Wave Voltage-Controlled Oscillator

A low-power, multiphase voltage-controlled oscillator for RF/microwave applications is presented. The oscillator circuit utilizes a combination of standing wave and traveling wave behavior to generate a low-phase noise output. The oscillator operates at 45GHz with a 5% tuning range and has a phase noise of -89.06dB/Hz at an offset frequency of 1MHz. This circuit is fabricated in a 0.12-μm SiGe BiCMOS process and uses only NMOS devices for the oscillator core. At a supply voltage of 1.2V, the power consumption of the oscillator core is 14mW.