Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatically sharing web experiences through a hyperdocument recommender system

As an approach that applies not only to support user navigation on the Web, recommender systems have been built to assist and augment the natural social process of asking for recommendations from other people. In a typical recommender system, people provide suggestions as inputs, which the system aggregates and directs to appropriate recipients. In some cases, the primary computation is in the aggregation; in others, the value of the system lies in its ability to make good matches between the recommenders and those seeking recommendations.In this paper, we discuss the architectural and design features of WebMemex, a system that (a) provides recommended information based on the captured history of navigation from a list of people well-known to the users --- including the users themselves, (b) allows users to have access from any networked machine, (c) demands user authentication to access the repository of recommendations and (d) allows users to specify when the capture of their history should be performed.
The Culture of Primary Motor and Sensory Neurons in Defined Media on Electrospun Poly-L-lactide Nanofiber Scaffolds

Electrospinning is a technique for producing micro- to nano-scale fibers. Fibers can be electrospun with varying degrees of alignment, from highly aligned to completely random. In addition, fibers can be spun from a variety of materials, including biodegradable polymers such as poly-L-lactic acid (PLLA). These characteristics make electrospun fibers suitable for a variety of scaffolding applications in tissue engineering. Our focus is on the use of aligned electrospun fibers for nerve regeneration. We have previously shown that aligned electrospun PLLA fibers direct the outgrowth of both primary sensory and motor neurons in vitro. We maintain that the use of a primary cell culture system is essential when evaluating biomaterials to model real neurons found in vivo as closely as possible. Here, we describe techniques used in our laboratory to electrospin fibrous scaffolds and culture dorsal root ganglia explants, as well as dissociated sensory and motor neurons, on electrospun scaffolds. However, the electrospinning and/or culture techniques presented here are easily adapted for use in other applications.
Gibbs Recursive Sampler: finding transcription factor binding sites

The Gibbs Motif Sampler is a software package for locating common elements in collections of biopolymer sequences. In this paper we describe a new variation of the Gibbs Motif Sampler, the Gibbs Recursive Sampler, which has been developed specifically for locating multiple transcription factor binding sites for multiple transcription factors simultaneously in unaligned DNA sequences that may be heterogeneous in DNA composition. Here we describe the basic operation of the web-based version of this sampler. The sampler may be acces-sed at http://bayesweb.wadsworth. org/gibbs/gibbs.html and at http://www.bioinfo. rpi.edu/applications/bayesian/gibbs/gibbs.html. An online user guide is available at http://bayesweb.wadsworth. org/gibbs/bernoulli.html and at http://www.bioinfo. rpi.edu/applications/bayesian/gibbs/manual/bernoulli.html. Solaris, Solaris.x86 and Linux versions of the sampler are available as stand-alone programs for academic and not-for-profit users. Commercial licenses are also available. The Gibbs Recursive Sampler is distributed in accordance with the ISCB level 0 guidelines and a requirement for citation of use in scientific publications.
Best Fitting Rectangles

We solve an interesting optimization problem motivated by tolerancing metrology, paper position sensing, and facility location: What rectangle ﬁts best a given set of points? This problem has relations to the minimum width annulus problem and also to the largest empty rectangle problem for both of which O ( n log n ) time solutions are not known. Nevertheless, for our problem there is a linear time algorithm for arbitrary axis-parallel rectangles and a O ( n log n ) solution if the aspect ratio of the rectangles is prescribed.
Mining Social Networks for Viral Marketing Using Fuzzy Logic

Viral marketing has been one of the favorite strategies for marketers to achieve deeper market penetration. As such, viral marketing like recommendation network based marketing depends on the dynamics of the social influential interaction. The dynamics of the recommendations in social networks and their impact on the desired outcome in the form of purchase decisions can be studied as per the theory of local interaction games. This paper tries to explore the effects of various parameters on such outcomes and proposes a model for studying these interactions incorporating the game theory based models and the fuzzy logic.
Principles, Design, and Calibration for a Genre of Irradiation Angle Sensors

A genre of low-cost and high-performance sensors for measuring the irradiation angle is proposed via a working mechanism of the physical design and mathematical modeling. A dexterous mechatronic design, together with a gray-box modeling approach, was used to deploy the and cosine effects of sensors in a way that could measure the irradiation angle accurately. Two pairs of identical photodiodes, mounted symmetrically on four facets of an inverted pyramid, yielded currents under the uniform irradiation that would map to the irradiation angle mathematically. A sensor prototype was calibrated in a controlled indoor environment via a celebrated test bed and also tested outdoor under direct solar irradiation, where the manufacturing and assembly errors were compensated for by the gray-box modeling approach. It was shown that the sensor prototype had advantages over others in terms of the synergy of accurate angle measurement, low cost, compact size, sensitivity to light, and wide sensing range.
A kind of memory database engine based on column-storage techniques

Big data query requests higher performance in cloud computing environment, but traditional relational DBMS can not achieve high query speed when processing large volume data, so it is a trend to apply column-storage techniques to process big data query in the field of data management. But deploying row-storage and column-storage databases simultaneously for OL TP and OLAP applications makes heavy burdens to enterprises. To enhance the query performance on big data and do not deploy column-storage databases, this paper proposed a database engine which is based on column-storage and memory techniques. It can rapidly load big data from row-storage databases and return query result in a short time. Experiments show that this engine is more efficient than the typical column-storage database MonetDB when querying big data.
John Hart and Carla Sharp inpatient adolescents The relation between experiential avoidance , alexithymia and emotion regulation in

Recently, efforts have been made to better understand constructs that are associated with difficulties in emotion regulation in hopes of identifying underlying mechanisms that may be valuable targets for intervention. Against this background, the present study had two aims. Firstly, we wanted to explore the relation between emotion regulation, experiential avoidance and alexithymia by determining whether adolescents with elevated scores on a measure of alexithymia would report deficits in emotion regulation and experiential avoidance. Secondly, we sought to evaluate the role of experiential avoidance as a mediator in the relation between alexithymia and emotion regulation. The sample (N = 64) consisted of adolescents recruited from an inpatient facility of which approximately 30% were classified as having alexithymia. The results of this study indicate that adolescents with alexithymia report deficits in emotion regulation and elevated experiential avoidance. Experiential avoidance mediated the relation between alexithymia and emotion regulation, indicating that while the inability to effectively use language to identify and describe emotional states is strongly correlated with difficulties in regulating one’s emotions, this relation is mediated by the unwillingness to tolerate aversive private experiences. Limitations and strengths of the present study are also noted.
Vigilant: out-of-band detection of failures in virtual machines

What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve in-band monitoring agents. However in-band agents suffer from several drawbacks: they need to be written or customized for every workload (operating system and possibly also application), they comprise potential security liabilities, and are themselves affected by adverse conditions in the monitored systems. Virtualization technology makes it possible to encapsulate an entire operating system or application instance within a virtual object that can then be easily monitored and manipulated without any knowledge of the contents or behavior of that object. This can be done out-of-band, using general purpose agents that do not reside inside the object, and hence are not affected by the behavior of the object. This paper describes Vigilant, a novel way of monitoring virtual machines for problems. Vigilant requires no specialized agents inside a virtual object it is monitoring. Instead, it uses the hypervisor to directly monitor the resource requests and utilization of an object. Machine learning methods are then used to analyze the readings. Our experimental results show that problems can be detected out-of-band with high accuracy. Using Vigilant we demonstrate that out-of-band monitoring using virtualization and machine learning can accurately identify faults in the guest OS, while avoiding the many pitfalls associated with in-band monitoring.
Design of Smart Home System Based on ZigBee

With the development of modern science and technology, automation, intelligent concept has been deeply rooted in the hearts of the people, Intelligent products have entered our lives every corner. With the popularity of intelligent terminals such as smart mobile phone, our lives become more convenient and quick. Home life as the most closely related to our daily life has become more and more intelligent. Combined with the characteristics of intelligent home control system, this paper proposes a ZigBee wireless sensor network for home control subnet and home PC machine as the family gateway and home control center, through WiFi wireless data communication technology access home subnet on the Android platform, achieve the ranking system for remote monitoring.
A case study in embedded system design: an engine control unit

A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manual techniques and on past experience rather than on a rigorous approach to design. To advance the state of the art it is important to address a number of relevant design problems and solve them to demonstrate the power of the new approaches. We chose an industrial example in automotive electronics to validate our design methodology: an existing commercially available Engine Control Unit. We discuss in detail the specification, the implementation philosophy, and the architectural trade-off analysis. We analyze the results obtained with our approach and compare them with the existing design underlining the advantages offered by a systematic approach to embedded system design in terms of performance and design time.
Testing One Premise of Scientific Inquiry in Science Classrooms: A Study That Examines Students' Scientific Explanations. CRESST Report 733

In this study we analyze the quality of students' written scientific explanations in eight science inquiry-based middle-school classrooms and explore the link between the quality of students' scientific explanations and their students' performance. We analyzed explanations based on three components: claim, evidence to support it, and a reasoning that justifies the link between the claim and evidence. Quality of explanations was linked with students' performance in different types of assessments focusing on the content of the science unit studied. To identify critical features related with high quality explanations we also analyzed the characteristics of the instructional prompts that teachers used. Results indicated that: (a) Students' written explanations can be reliably scored with the proposed approach. (b) The instructional practice of constructing explanations has not been widely implemented despite its significance in the context of inquiry-based science instruction. (c) Overall, a low percentage of students (18%) provided explanations with the three expected components. The majority (40%) of the "explanations" found were presented as claims without any supporting data or reasoning. (d) The magnitude of the correlations between students' quality of explanations and their performance, all positive but of varied magnitude according to the type of assessment, indicate that engaging students in the construction of high quality explanations might be related to higher levels of student performance. The opportunities to construct explanations, however, seem to be limited. We report some general characteristics of instructional prompts that showed higher quality of written explanations.
Robust Motion Estimation for Camcorders Mounted in Mobile Platforms

In this paper, we propose a novel camera motion estimation algorithm for mobile platforms. Videos captured by cameras mounted in mobile platforms suffer from jitter motions caused by various factors. It is vital to obtain accurate estimates of camera motions in order to remove these undesirable jitters. But existing motion estimation methods for mobile platforms have difficulties to deal with the interference of moving objects and estimation errors. We propose to estimate camera motions from histograms of local motions as the position of the highest peak in each motion histogram is insensitive to estimation errors and robust to the interference of moving objects. We also propose to use sorted arrays to implement histograms due to its advantages. Experiments show our proposed methods can achieve promising results.
Intermittent Feedback Control in a Switched Systems Framework : Modeling and Stability Analysis

The main work in this paper is attempting to introduce linear switched systems methodologies to intermittent feedback stability analysis. The paper first presents an overview of some recent results on stability analysis of linear switched systems and intermittent feedback. First, slow switching theory from switched systems is utilized to analyze the stability of intermittent feedback. Second, an oracle-based algorithm derived from stability conditions in intermittent feedback is proposed to find the time interval constraints for exponential stability. Finally, an example is given and the simulation results are provided.
Managing all those bytes: the Human Genome Project.

The three databases of primary importance to the Human Genome Project each store a different kind of information - DNA sequences (GenBank), chromosome mapping information (Genome Data Base), and protein sequence and structure (Protein Information Resource). Currently, these databases are independently administered and are separate physical entities, each with its own system for data collection, storage, and presentation. However, the community would be better served by the convenience of one-stop shopping, provided by a seamless integration of these primary databases into a single virtual database. This integration will necessitate adoption of a standard protocol such as SQL (Structured Query Language) for the interrogation and retrieval of related information simultaneously from several distributed databases. At present, data is accessed from databases across networks with simple document-based protocols such as GOPHER and WAIS (Wide Area Information Server). Although such protocols allow easy access to a wide variety of information (and undoubtedly will be used extensively), they do not provide the connectivity needed for a virtual database.
Joint Scheduling and Congestion Control in Mobile Ad-Hoc Networks

In this paper we study the problem of jointly performing scheduling and congestion control in mobile ad-hoc networks so that network queues remain bounded and the resulting flow rates satisfy an associated network utility maximization problem. In recent years a number of papers have presented theoretical solutions to this problem that are based on combining differential-backlog scheduling algorithms with utility-based congestion control. However, this work typically does not address a number of issues such as how signaling should be performed and how the new algorithms interact with other wireless protocols. In this paper we address such issues. In particular: ldr We define a specific network utility maximization problem that we believe is appropriate for mobile adhoc networks. ldr We describe a wireless greedy primal dual (wGPD) algorithm for combined congestion control and scheduling that aims to solve this problem. ldr We show how the wGPD algorithm and its associated signaling can be implemented in practice with minimal disruption to existing wireless protocols. ldr We show via OPNET simulation that wGPD significantly outperforms standard protocols such as 802.11 operating in conjunction with TCP. This work was supported by the DARPA CBMANET program.
Lipid extract from completely sporoderm‐broken germinating Ganoderma sinensis spores elicits potent antitumor immune responses in human macrophages

Ganoderma sinensis has been used widely in Oriental countries for the prevention and treatment of various diseases including cancer. Previous studies have shown that the lipid extract from Ganoderma exhibits direct cytotoxicity against tumor cells. Here, it is reported that the lipid extract from germinating G. sinensis spores, at lower concentrations that have no direct tumoricidal activity, induce potent antitumor immune responses in human monocytes/macrophages. Upon stimulation with the lipid extract, monocytes/macrophages exhibited markedly increased production of proinflammatory cytokines and surface expression of costimulatory molecules. Conditioned medium from stimulated cells effectively suppressed the growth of tumor cells. Apparently, the lipid extract triggered macrophage activation via a mechanism different from that associated with LPS. Moreover, it was observed that the lipid extract could partially re‐establish the antitumor activity of the immunosuppressive tumor‐associated macrophages. These results indicated that in addition to its direct tumoricidal activity, the lipid extract from G. sinensis spores could exert antitumor activity by stimulating the activation of human monocytes/macrophages. Copyright © 2008 John Wiley & Sons, Ltd.
How to preserve the benefits of design patterns

The rapid evolution of Design Patterns has hampered the benefits gained from using Design Patterns. The increase in the number of Design Patterns makes a common vocabulary unmanageable, and the tracing problem obscures the documentation that should be enhanced by using Design Patterns. We present an analysis of Design Patterns that will strongly reduce the number of Fundamental Design Patterns and show how strong language abstractions can solve the tracing problem and thereby enhance the documentation.
Optimization of parallel spring antagonists for Nitinol shape memory alloy actuators

While there has been a steady progression of research in robotic and mechatronic systems that utilize nickel titanium alloy (Nitinol) as an actuator, the design of the antagonistic element for the inherently “one-way” technology has not been thoroughly investigated and described. In this paper, we discuss the properties of Nitinol-based shape memory alloy actuators as they relate to the design of passive spring antagonists. We describe the major classes of design goals as they relate to the choice of properties of the antagonistic element, and present techniques for optimizing parallel antagonists through passive linear springs in order to maximize the generally most desirable property of the actuator - the maximal repeatable strain of the antagonist pair.
Research on the Walking Modes Shifting Based on the Variable ZMP and 3-D.O.F Inverted Pendulum Model for a Humanoid and Gorilla Robot

The walking modes shifting of a gorilla robot is a kind of movements between biped standing state and quadruped landing state. In this paper, the robot mechanism is reduced to a 3-D.O. F inverted pendulum model with variable pendulum length, and the variable ZMP is defined reasonably as a function related to the inverted pendulum angle. Base on dynamic balance theory, the trajectory equation of robot's mass centre during the walking mode shifting is deduced. Furthermore, through inverse kinematics analysis for robot's mass center, the trajectories of joint are obtained. Thus method of trajectory generation about walking mode shifting for humanoid and gorilla robot is proposed. In order to verify the correctness of the method, a calculation example of trajectory generation is provided, and the continuing action simulation including biped walking and quadruped landing action, quadruped walking and standing up action is successfully realized. On the basis of above work, the continuing action experiment including biped walking and walking modes transitions for a humanoid and gorilla robot "GoRoBoT" developed by us is also finished. Index Terms Humanoid robot, Gorilla robot, Walking modes shifting, Quadruped walking, Biped Walking.
Data sharing in group work

Data sharing is fundamental to computer-supported cooperative work: People share information through explicit communication channels and through their coordinated use of shared databases. This paper examines the data management requirements of group work applications on the basis of experience with three prototype systems and on observations from the literature. Database and object management technologies that support these requirements are briefly surveyed, and unresolved issues in the particular areas of access control and concurrency control are identified for future research.