Miracle-dz/UniFAR-FTUs huggingface dataset:
Extracting Technology and Effect Entities in Patents and Research Papers

paper describes our approach to tackling the task of Technical Trend Map Creation as posed in NTCIR-8. The basic method is Conditional Random Fields, which is considered as the most advanced method in Named Entity Recognition. In order to improve the performance, we further resort a tag modification approach and pattern-based method. Our system performed competitively, achieving the top F-measure among participants in the formal run.
Modeling the damped dynamic behavior of a flexible pendulum

The focus of this work is on the computational modeling of a pendulum made of a hyperelastic material and the corresponding experimental validation with the aim of contributing to the study of a material commonly used in seismic absorber devices. From the proposed dynamics experiment, the motion of the pendulum is recorded using a high-speed camera. The evolution of the pendulum’s positions is recovered using a capturing motion technique by tracking markers. The simulation of the problem is developed in the framework of a parallel multi-physics code. Particular emphasis is placed on the analysis of the Newmark integration scheme and the use of Rayleigh damping model. In particular, the time step size effect is analyzed. A strong time step size dependency is obtained for dissipative time integration schemes, while the Rayleigh damping formulation without time integration dissipation shows time step–independent results when convergence is achieved.
Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange

Canetti and Herzog (TCC’06) show how to efficiently perform fully automated, computationally sound security analysis of key exchange protocols with an unbounded number of sessions. A key tool in their analysis is composability, which allows deducing security of the multi-session case from the security of a single session. However, their framework only captures protocols that use public key encryption as the only cryptographic primitive, and only handles static corruptions. We extend the [CH’06] modeling in two ways. First, we handle also protocols that use digital signatures and Diffie-Hellman exchange. Second, we handle also forward secrecy under fully adaptive party corruptions. This allows us to automatically analyze systems that use an unbounded number of sessions of realistic key exchange protocols such as the ISO 9798-3 or TLS protocol. A central tool in our treatment is a new abstract modeling of plain Diffie-Hellman key exchange. Specifically, we show that plain Diffie-Hellman securely realizes an idealized version of Key Encapsulation.
Adaptive sparsity tradeoff for ℓ1-constraint NLMS algorithm

Embedding the norm in gradient-based adaptive filtering is a popular solution for sparse plant estimation. Even though the foundations are well understood, the selection of the sparsity hyper-parameter still remains today matter of study. Supported on the modal analysis of the adaptive algorithm near steady state, this paper shows that the optimal sparsity tradeoff depends on filter length, plant sparsity and signal-to-noise ratio. In a practical implementation, these terms are obtained with an unsupervised mechanism tracking the filter weights. Simulation results prove the robustness and superiority of the novel adaptive-tradeoff sparsity-aware method.
Historical control data from 13-week repeated toxicity studies in Crj:CD (SD) rats

Reference ranges of standard experimental parameters are useful for comparisons in toxicology. The aim of this study was to collect data from 13-week repeated toxicity studies in Crl:CD (SD) rats, a strain widely used for toxicity and efficacy research, for establishing domestic reference values. Data on body weight, food consumption; urinalysis, hematological, and blood biochemical parameters; and organ weights were collected from 11 toxicity studies in 220 Crl:CD (SD) rats (110 males and 110 females). The studies had been performed at a single testing facility over the last 5 years and involved animals sourced from a single breeder. The findings were collated as means, standard deviations, percentages, and ranges. Urine volume, uterus weight, eosinophil, and basophil counts, and triglyceride, total bilirubin, and gamma-glutamyl transpeptidase levels showed standard deviations of 30% or more. These historical control data would help to interpret the effects of test substances in routine toxicity and efficacy studies.
The impact of rotational speed and water volume on textile translational motion in a front-loading washer

Textile motion in a front-loading washer has been characterized via video capturing, and a processing system developed based on image geometric moment. Textile motion significantly contributes to the mass transfer of the wash solution in porous materials, particularly in the radial direction (perpendicular to the rotational axis of the inner drum). In this paper, the velocity profiles and residence time distributions of tracer textiles have been investigated to characterize the textile dynamics in a front-loading washer. The results show that the textile motion varies significantly with the water volume and rotational speed, and that the motion path follows certain patterns. Two regions are observed in the velocity plots: a passive region where the textile moves up with low velocity and an active region where the textile falls down with relatively high speed. A stagnant area in the residence time profile is observed. This corresponds to the passive region in the velocity profile. The stagnant area affects the mechanical action, thus influencing washing efficiency and textile performance. The findings on textile dynamics will help in the development of better front-loading washers.
CD8+ T Cells Mediate Viral Clearance and Disease Pathogenesis during Acute Hepatitis B Virus Infection

ABSTRACT Although the CD4+- and CD8+-T-cell responses to the hepatitis B virus (HBV) are thought to be crucial for the control of HBV infection, the relative contribution of each T-cell subset as an effector of viral clearance is not known. To examine this question, we monitored the course of HBV infection in control, CD4-depleted, and CD8-depleted chimpanzees. Our results demonstrate that CD8+ cells are the main effector cells responsible for viral clearance and disease pathogenesis during acute HBV infection, and they suggest that viral clearance is mediated by both noncytolytic and cytolytic effector functions of the CD8+-T-cell response.
Quality of life and personality traits in patients with malignant pleural mesothelioma and their first-degree caregivers

Asbestos exposure causes significant pleural diseases, including malignant pleural mesothelioma (MPM). Taking into account the impact of MPM on emotional functioning and wellbeing, this study aimed to evaluate the quality of life and personality traits in patients with MPM and their first-degree caregivers through the World Health Organization Quality of Life–BREF (WHOQOL-BREF) and the Minnesota Multiphasic Personality Inventory-2 Restructured Form (MMPI-2-RF). The sample was composed of 27 MPM patients, 55 first-degree relatives enrolled in Casale Monferrato and Monfalcone (Italy), and 40 healthy controls (HC). Patients and relatives reported poorer physical health than the HC. Patients had a higher overall sense of physical debilitation and poorer health than relatives and the HC, more numerous complaints of memory problems and difficulties in concentrating, and a greater belief that goals cannot be reached or problems solved, while often claiming that they were more indecisive and inefficacious than the HC. First-degree relatives reported lower opinions of others, a greater belief that goals cannot be reached or problems solved, support for the notion that they are indecisive and inefficacious, and were more likely to suffer from fear that significantly inhibited normal activities than were HC. In multinomial regression analyses, partial models indicated that sex, physical comorbidities, and the True Response Inconsistency (TRIN-r), Malaise (MLS), and Behavior-Restricting Fears (BRF) dimensions of the MMPI-2-RF had significant effects on group differences. In conclusion, health care providers should assess the ongoing adjustment and emotional wellbeing of people with MPM and their relatives, and provide support to reduce emotional distress.
On the bit-complexity of sparse polynomial multiplication

In this paper, we present fast algorithms for the product of two multivariate polynomials in sparse representation. The bit complexity of our algorithms are studied in detail for various types of coefficients, and we derive new complexity results for the power series multiplication in many variables. Our algorithms are implemented and freely available within the Mathemagix software. We show that their theoretical costs are well-reflected in practice.
Hardware authentication leveraging performance limits in detailed simulations and emulations

This paper proposes a novel approach to check the authenticity of hardware based on the inevitable performance gap between real hardware and simulations or emulations that impersonate it. More specifically, we demonstrate that each processor design can be authenticated by requiring a checksum incorporating internals of complex microarchitectural mechanisms to be computed within a time limit; this checksum is different for each processor model and only authentic secure hardware can obtain the checksum fast enough. This new authentication approach provides attractive solutions to privacy, scaling, and security issues of traditional approaches that otherwise rely only on certificates. Architectural simulations and an RTL implementation show that the proposed approach is viable with very low hardware overheads.
Evidence for an antigen-driven humoral immune response in medullary ductal breast cancer.

A minority of breast cancers is characterized by lymphoplasmacytic infiltrates that have been correlated with improved patient survivals. The association of improved prognosis with plasmacytic infiltrates has been classically linked with the rare medullary carcinoma subtype but is also evident in the smaller infiltrated fraction of the more abundant nonmedullary (not otherwise specified) tumors. It is our hypothesis that these plasma cell (PC) infiltrates represent a host humoral response driven by one or more tumor-derived neoantigens. As the index study group, two primary medullary carcinoma tumors were examined. Immunophenotyping confirmed a large number of IgG PCs in contradistinction to normal breast, which typically contains a lesser number of mainly IgA isotypes. IgG heavy and light chains were expressed as combinatorial phage Fab libraries. VH and VL sequences showed a preponderance of clonal groups in both patients, as identified by germ-line gene usage and junctional mutation patterns. Panning of phage Fab libraries against purified antigens excluded Her2/neu and p53 as the eliciting antigen, and failure of clonal enrichment by cell panning suggested that the neoantigen was not membrane expressed or was expressed at low levels. Cognate, original VH+VL pairs were obtained by single cell PCR of tumor PCs, which showed overlap with the pooled IgG libraries. Tumor-derived IgG V genes exhibited mutational patterns that were consistent with antigenic selection and affinity maturation. Where examined, IgG1 was the predominant isotype, consistent with a T-dependent (i.e., protein) antigen. From these data, we infer that the breast tumor PC infiltrates of the medullary carcinoma subtype are compatible with an autogenic tumor neoantigen-driven humoral immune response.
Control of 3 DOF helicopter: A novel autopilot scheme based on adaptive sliding mode control

This paper presents a novel autopilot for a 3D helicopter. From desired trajectories defined by the user for elevation and travel angles, the autopilot is computing the desired trajectory of the pitch angle. Furthermore, the autopilot allows to decouple the system and to define “virtual” inputs in order to separately design controllers for each attitude angle. Travel and elevation controllers are based on adaptive version of sliding mode control: this class of controllers keeps the robustness feature of sliding mode while reducing the well-known drawback of such control approach, the chattering, thanks to the online adaptation of the controller gain. The proposed autopilot is evaluated on an experimental set-up.
The Effect of a Four-Week Proprioceptive Neuromuscular Facilitation Stretching Program on Isokinetic Torque Production

Higgs, F and Winter, SL. The effect of a four-week proprioceptive neuromuscular facilitation stretching program on isokinetic torque production. J Strength Cond Res 23(5): 1442-1447, 2009-Flexibility is widely accepted as an important component of fitness, yet flexibility training can be detrimental to muscle performance particularly where a high number of stretch cycles are performed. The purpose of this study was to investigate whether chronic proprioceptive neuromuscular facilitation (PNF) stretch training could successfully improve the knee flexion range of motion without having a detrimental effect on the peak isokinetic torque of the quadriceps. The minimum knee angle in flexion and the peak isokinetic quadriceps torque were measured at 120 and 270°·s−1. Subjects then participated in a 4-week quadriceps flexibility training program consisting of 3 cycles of PNF stretching performed 3 times a week. The range of motion was recorded before and after the first stretching session of each week. At the end of the 4-week period, the peak isokinetic quadriceps torque and flexibility were again measured. The mean (SE) improvement in the knee flexion range of motion over the whole program was 9.2° (1.45°), and typical gains after a single stretching session were around 3°. Post hoc analysis showed that the pretraining session range of motion was significantly improved in week 4 compared with the pretraining session range of motion in weeks 1 and 2 (p < 0.05). There was no change (p = 0.9635) in the peak isokinetic torque produced at 120°·s−1 (week 1: 121.9 (4.6) N·m; week 2: 121.9 (5.2) N·m) or at 270°·s−1 (week 1: 88.1 (3.4) N·m; week 2: 88.6 (4.9) N·m). These findings suggest that it is possible to improve flexibility using 3 PNF stretch cycles performed 3 times a week without altering muscle isokinetic strength characteristics.
A novel network delay based side-channel attack: Modeling and defense

Information leakage via side channels has become a primary security threat to encrypted web traffic. Existing side channel attacks and corresponding countermeasures focus primarily on packet length, packet timing, web object size and web flow size. However, we found that encrypted web traffic can also leak information via network delay between a user and the web sites that she visits. Motivated by this observation, we investigate a novel network-delay based side-channel attack to infer web sites visited by a user. The adversary can utilize pattern recognition techniques to differentiate web sites by measuring sample mean and sample variance of the round-trip time (RTT) between a victim user and web sites. We theoretically analyzed the damage caused by such an adversary and derived closed-form formulae for detection rate, the probability that the adversary correctly recognizes a web site. To defeat this side-channel attack, we proposed several countermeasures. The basic idea is to shape traffic from different web sites so that they have similar RTT statistics. We proposed the strategies based on the k-means clustering and K-Anonymity to ensure that traffic shaping will not cause excessive delay while providing a predictable degree of anonymity. We conducted extensive experiments and our empirical results match our theory very well.
Synaptically Targeted Narp Plays an Essential Role in the Aggregation of AMPA Receptors at Excitatory Synapses in Cultured Spinal Neurons

Neuronal activity regulated pentraxin (Narp) has been implicated in the aggregation of AMPA-type glutamate receptors (GluR) at excitatory synapses. In the present paper, we examine the role of endogenous Narp in excitatory synapse formation by using novel, dominant-negative Narp mutants (dnNarp) that selectively bind endogenous Narp and prevent its accumulation at synapses. Axons from neurons transfected with wild-type Narp showed an increase in their ability to cluster AMPA receptors on spinal neurons, whereas axons from neurons transfected with dnNarp showed a marked decrease in their ability to induce GluR1 clusters on contacted dendrites. Despite their marked effect at excitatory synapses, dnNarp and wild-type Narp had no effect on the postsynaptic clustering of the inhibitory protein gephyrin or the percentage of contacts associated with staining for the presynaptic vesicle proteins GAD or synaptophysin. Use of the dnNarp mutants to suppress endogenous Narp expression by postsynaptic dendrites showed a complementary role for dendritic Narp in the clustering of synaptic AMPA receptors, as well as a reduction in the total number of excitatory synapses on transfected neurons. Together these experiments suggest an important role for Narp in the formation of excitatory synapses in cultured spinal neurons.
Diagnostic and prognostic value of 18F-FDG PET/CT in comparison with morphological imaging in primary adrenal gland malignancies - a multicenter experience.

OBJECTIVE To evaluate the diagnostic and prognostic role of fluorine-18 fluoro-2-deoxy-D-glucose positron emission tomography/computed tomography ((18)F-FDG PET/CT) in comparison to morphological imaging such as computed tomography in primary adrenal malignancies. MATERIALS AND METHODS In this multicenter retrospective study, 68 patients with adrenal malignancy were included. All patients had histologically proven diagnosis of primary adrenal malignancy (adrenocortical carcinoma, malignant pheochromocytoma, neuroblastoma and lymphoma), one whole body (18)F-FDG PET/CT scan and one whole-body contrast enhancement computed tomography (CECT) scan acquired within one month and were followed clinically and by performing morphological tests for at least 12 months. RESULTS Overall sensitivity, specificity, accuracy, positive and negative predictive values for CECT and (18)F-FDG PET/CT were respectively, 59%, 100%, 65%, 100%, 27% and 75%, 100%, 82%, 100% and 63%. For adrenocortical carcinomas, (18)F-FDG PET/CT showed a better accuracy (93.4%) than CECT (75%). For neuroblastomas (18)F-FDG PET/CT also showed better accuracy (70.4%) than CECT (66.7%). For malignant pheochromocytomas (18)F-FDG PET/CT and CECT showed the same accuracy (90%). For primary adrenal lymphomas, (18)F-FDG PET/CT showed better accuracy (100%) than CECT (74.41%). Kaplan-Mayer curves showed that "histotypes" and "metastases at the last follow-up" were similarly detected for both disease free survival (DFS) and overall survival (OS), while "global 18F-FDG PET/CT" and "presence of metastases at diagnosis" were significant for DFS. Stratifying the sample by the presence or absence of metastases at diagnosis, standardized uptake value (SUVmax) was a significant prognostic factor for DFS when metastases were absent (Wald test=7.035, P=0.008). CONCLUSION Our multicenter study demonstrated that (18)F-FDG PET/CT better than CECT diagnosed adrenal malignancies achieving also a good prognostic performance. Therefore management algorithms should include (18)F-FDG PET/CT.
Warp2: A Method of Email and Messaging with Encrypted Addressing and Headers

Secure communications are playing increasing roles in society, particularly in finance, journalism, and military projects. Current methods of securing e-mail and similar messaging methods rely on encryption of the message body, but the header with addressing information remains plaintext. This allows third party eavesdroppers to collect and analyse the header metadata and construct a network model of the participants in conversations (who, where, when, subject). In this article, we describe a method of communication where the header is also encrypted, hindering the assembly of the communication network models, which is verified with a working prototype application. This provides a useful tool to journalists and proponents of free speech in oppressed countries, protecting both the messages and their sources.
Program Transformation with Scoped Dynamic Rewrite Rules

The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting strategies. The second problem is addressed by the extension of rewriting strategies with scoped dynamic rewrite rules. Dynamic rules are defined at run-time and can access variables available from their definition context. Rules defined within a rule scope are automatically retracted at the end of that scope. In this paper, we explore the design space of dynamic rules, and their application to transformation problems. The technique is formally defined by extending the operational semantics underlying the program transformation language Stratego, and illustrated by means of several program transformations in Stratego, including constant propagation, bound variable renaming, dead code elimination, function inlining, and function specialization.
Relevant Words Extraction Method for Recommendation System

Nowadays, E-commerce is very popular because of information explosion. Text mining is also important for information extraction. Users are more preferable to use the convenience system from many sources such as through web pages, email, social network and so on. This system proposed the relevant words extraction method for car recommendation system from user email. In relevant words extraction, this system proposed the Rule-based approach in Compiling Technique. Context- free grammar is the most suitable for relevant words extraction. Recommendation System (RS) is a most popular tool that helps users to recommend according to their interests. This system implements efficient recommendation system by using proposed key extraction algorithm, Content-based Filtering (CBF) method and Jaccard Coefficient that will help the users who want to buy the car by providing relevant car information.
Computational Implementation of Non-Concatenative Morphology

We introduce finite state registered machines, a new computational device within the framework of finite state technology that accounts for non-concatenative morphological processes such as word formation in Semitic languages. It extends and augments existing finite-state techniques, which are presently not sufficiently suitable for describing this kind of phenomena. We define the new model, prove it is indeed finite-state, show how it maintains the closure properties of regular languages and relations and use it to describe some non-concatenative phenomena of natural languages, including circumfixation, interdigitation and limited reduplication.