Miracle-dz/UniFAR-FTUs huggingface dataset:
An auto-registration method for space-borne SAR images based on FFT-shift theory and correlation analysis in multi-scale scheme

SAR co-registration is one of the crucial steps in the process of SAR image analysis, especially for multi-temporal SAR images analysis. Focusing on the repeat-pass space-borne SAR images, an auto-registration method for repeat-pass SAR complex image pair is proposed, which combines the Fourier transform and correlation-coefficient algorithm in a multi-scale scheme. Firstly, an initial offset is estimated in Fourier domain by using the 3rd level wavelet decomposition sub-image. Then taking these initial offset into account, match-search window pairs are randomly located over reference and sensed images for correlation analysis to get the identical points which are used for estimating the registration model in fine scale. In order to evaluate the proposed method, ALOS-PALSAR and RadarSAT-2 data in different area are selected as experiment data. And the experimental results show that the proposed technique allows the co-registration of the SAR images with the accuracy up to a fraction of a pixel automatically without a priori knowledge.
An ℌ∞/ℓ1 approach to cooperative control of multi-agent systems

This paper proposes a multi-objective controller synthesis strategy for the design of distributed formation control schemes for multi-agent systems. The agents are modeled as identical linear discrete-time invariant systems. The proposed synthesis method is based on a recent analysis result that poses a constraint on a closed-loop ℓ1 norm to guarantee robust stability of a formation under arbitrary switching in the communication topology and time-varying communication delays. It is shown how formation controllers can be designed to minimize a H∞ performance measure while guaranteeing robust stability. The method is illustrated by simulation studies with a formation of quad-rotor helicopters.
The fabrication of a customized occlusal splint based on the merging of dynamic jaw tracking records, cone beam computed tomography, and CAD-CAM digital impression

OBJECTIVES: The aim of this case report was to present the procedure of fabricating a customized occlusal splint, through a revolutionary software that combines cone beam computed tomography (CBCT) with jaw motion tracking (JMT) data and superimposes a digital impression. MATERIALS AND METHODS: The case report was conducted on a 46-year-old female patient diagnosed with the temporomandibular disorder. A CBCT scan and an optical impression were obtained. The range of the patient's mandibular movements was captured with a JMT device. The data were combined in the SICAT software (SICAT, Sirona, Bonn, Germany). RESULTS: The software enabled the visualization of patient-specific mandibular movements and provided a real dynamic anatomical evaluation of the condylar position in the glenoid fossa. After the assessment of the range of movements during opening, protrusion, and lateral movements all the data were sent to SICAT and a customized occlusal splint was manufactured. CONCLUSIONS: The SICAT software provides a three-dimensional real-dynamic simulation of mandibular movements relative to the patient-specific anatomy of the jaw; thus, it opens new possibilities and potentials for the management of temporomandibular disorders.
Generalized Deam–Edwards approach to the statistical mechanics of randomly crosslinked systems

We address the statistical mechanics of randomly and permanently crosslinked networks. We develop a theoretical framework (vulcanization theory) which can be used to systematically analyze the correlation between the statistical properties of random networks and their histories of formation. Generalizing the original idea of Deam and Edwards, we consider an instantaneous crosslinking process, where all crosslinkers (modeled as Gaussian springs) are introduced randomly at once in an equilibrium liquid state, referred to as the preparation state. The probability that two functional sites are crosslinked by a spring exponentially decreases with their distance squared. After formally averaging over network connectivity, we obtained an effective theory with all degrees of freedom replicated 1 + n times. Two thermodynamic ensembles, the preparation ensemble and the measurement ensemble, naturally appear in this theory. The former describes the thermodynamic fluctuations in the state of preparation, while the latter describes the thermodynamic fluctuations in the state of measurement. We classify various correlation functions and discuss their physical significances. In particular, the memory correlation functions characterize how the properties of networks depend on their method of preparation, and are the hallmark properties of all randomly crosslinked materials. We clarify the essential difference between our approach and that of Deam–Edwards, and discuss the saddle-point order parameters and its physical significance. Finally we also discuss the connection between saddle-point approximation of vulcanization theory, and the classical theory of rubber elasticity as well as the neo-classical theory of nematic elastomers.
Overview of the Fifth DARPA Speech and Natural Language Workshop

This volume presents revised versions of papers presented at the Fifth DARPA Speech and Natural Language Workshop, held in February 1992 at the Arden House Conference Center in Harriman, NY. This series of workshops provides a forum where researchers can exchange information about very recent technical progress in an informal, highly interactive setting. Topics of interest include speech recognition, speech understanding, text understanding, and machine translation.
Phenomenology, intentionality, and mental experiences: Edmund Husserl's Logische Untersuchungen and the first edition of Karl Jaspers's Allgemeine Psychopathologie

as an important landmark both in psychopathology and in the beginnings of phenomenological philosophy. There is, however, little agreement on the extent of the influence on API of Edmund Husserl’s Logische Untersuchungen of 1900/01 (Logical Investigations, in the following abbreviated as L Ul ) 6 which is generally seen as the beginning of the phenomenological school. ’ The controversy is centred mainly around the question whether there is an analogy between what Husserl and Jaspers call ’phenomenology’. For example, Bumke felt that Jaspers’s designation of his method as phenomenology was unfortunate since it caused ’constant confusion with the works of Husserl’s school’. 8 Kurt Schneider emphasized the originality of Jaspersian phenomenology,’ stating that his concept of phenomenology is in ’plain opposition’ to that of
A New Hybrid Popular Model for Personalized Tag Recommendation

Tagging systems have been playing an important role in many websites during the web2.0 age. Users use a social tagging system to effectively mark web resources with personalized tags, which can help them organize and share their items easily. In this work, we put forward a new model IBHP to recommend personalized tags for users. We evaluate our model on a real-world dataset collected on Delicious1. Data tests show that our model can get better performance than currently widely used popularity-based methods, which also use the same available information: <user, item, tag> ternary relations.
On Computer Science Reform of Curriculum Structure

When talking about the professional education of Computer Science, we need not only to keep the contents of teaching up-to-date following the revolutionary steps of new-born technology, but also take the teaching methods together with approach to the next level. This paper suggests a creative thought, which takes the gain of students’ interests into full consideration. By improving the arrangement of courses, the final goal of better teaching effect is reached.
CD8+ T Cells Specific for a Malaria Cytoplasmic Antigen Form Clusters around Infected Hepatocytes and Are Protective at the Liver Stage of Infection

ABSTRACT Following Anopheles mosquito-mediated introduction into a human host, Plasmodium parasites infect hepatocytes and undergo intensive replication. Accumulating evidence indicates that CD8+ T cells induced by immunization with attenuated Plasmodium sporozoites can confer sterile immunity at the liver stage of infection; however, the mechanisms underlying this protection are not clearly understood. To address this, we generated recombinant Plasmodium berghei ANKA expressing a fusion protein of an ovalbumin epitope and green fluorescent protein in the cytoplasm of the parasite. We have shown that the ovalbumin epitope is presented by infected liver cells in a manner dependent on a transporter associated with antigen processing and becomes a target of specific CD8+ T cells from the T cell receptor transgenic mouse line OT-I, leading to protection at the liver stage of Plasmodium infection. We visualized the interaction between OT-I cells and infected hepatocytes by intravital imaging using two-photon microscopy. OT-I cells formed clusters around infected hepatocytes, leading to the elimination of the intrahepatic parasites and subsequent formation of large clusters of OT-I cells in the liver. Gamma interferon expressed in CD8+ T cells was dispensable for this protective response. Additionally, we found that polyclonal ovalbumin-specific memory CD8+ T cells induced by de novo immunization were able to confer sterile protection, although the threshold frequency of the protection was relatively high. These studies revealed a novel mechanism of specific CD8+ T cell-mediated protective immunity and demonstrated that proteins expressed in the cytoplasm of Plasmodium parasites can become targets of specific CD8+ T cells during liver-stage infection.
Exploring Factors That Contribute to Positive Change in a Diverse, Group-Based Male Batterer Intervention Program

Although batterer intervention programs (BIPs) are often mandated for perpetrators of intimate partner violence, the precursors and mechanisms of change operating within these programs remain unclear. The purpose of this qualitative study was to examine the perceptions and experiences of participants in a diverse, group-based male BIP to better understand factors facilitating positive change. Data were gathered through individual interviews with 15 men and were analyzed using grounded theory. Findings suggest that change is taking place through a reciprocal process in which change occurring via the group context facilitates change within participants and vice versa. The specific benefits of the group context and value of group diversity were emphasized. Factors supporting this change process include the role of group facilitators and providing group members with access to ongoing support. These results are useful for informing the continued implementation and adaptation of BIPs with the goal of reducing and ultimately terminating abusive behaviors.
Automatic parking lot mapping for available parking space detection

This paper presents a method to estimate map of parking lot for automatic system of available parking space detection. The parking space detection is important module for the parking guidance system (PGS) that can help drivers to find the parking space efficiently. Instead of masked parking slots by human, we try to mask them by using histograms of spatial features. However, under poor image quality, we face dynamic change of background. Although we have applied adaptive background model for background subtraction, the problem still remains. To overcome this problem, we propose an automatic thresholding for tuning object (car) detection in adaptive background model method. The fine-tuning technique can improve accuracy of the histogram for the parking lot mapping. The experimental results were shown both simulation on the parking model and real parking lot correctly.
Voronoi Diagrams for Parallel Halflines and Line Segments in Space

We consider the Euclidean Voronoi diagram for a set of n parallel halflines in R3. A relation of this diagram to planar power diagrams is shown, and is used to analyze its geometric and topological properties. Moreover, an easy-to-implement space sweep algorithm is proposed that computes the Voronoi diagram for parallel halflines at logarithmic cost per face. Previously only an approximation algorithm for this problem was known. Our method of construction generalizes to Voronoi diagrams for parallel line segments, and to higher dimensions. 1998 ACM Subject Classification F.2. 2 Nonnumerical Algorithms and Problems, G.2. 1 Combinatorics
Activation of the NF-κB Pathway by the STAT3 Inhibitor JSI-124 in Human Glioblastoma Cells

Glioblastoma tumors are characterized by their invasiveness and resistance to therapies. The transcription factor signal transducer and activator of transcription 3 (STAT3) was recently identified as a master transcriptional regulator in the mesenchymal subtype of glioblastoma (GBM), which has generated an increased interest in targeting STAT3. We have evaluated more closely the mechanism of action of one particular STAT3 inhibitor, JSI-124 (cucurbitacin I). In this study, we confirmed that JSI-124 inhibits both constitutive and stimulus-induced Janus kinase 2 (JAK2) and STAT3 phosphorylation, and decreases cell proliferation while inducing apoptosis in cultured GBM cells. However, we discovered that before the inhibition of STAT3, JSI-124 activates the nuclear factor-κB (NF-κB) pathway, via NF-κB p65 phosphorylation and nuclear translocation. In addition, JSI-124 treatment induces the expression of IL-6, IL-8, and suppressor of cytokine signaling (SOCS3) mRNA, which leads to a corresponding increase in IL-6, IL-8, and SOCS3 protein expression. Moreover, the NF-κB–driven SOCS3 expression acts as a negative regulator of STAT3, abrogating any subsequent STAT3 activation and provides a mechanism of STAT3 inhibition after JSI-124 treatment. Chromatin immunoprecipitation analysis confirms that NF-κB p65 in addition to other activating cofactors are found at the promoters of IL-6, IL-8, and SOCS3 after JSI-124 treatment. Using pharmacological inhibition of NF-κB and inducible knockdown of NF-κB p65, we found that JSI-124–induced expression of IL-6, IL-8, and SOCS3 was significantly inhibited, showing an NF-κB–dependent mechanism. Our data indicate that although JSI-124 may show potential antitumor effects through inhibition of STAT3, other off-target proinflammatory pathways are activated, emphasizing that more careful and thorough preclinical investigations must be implemented to prevent potential harmful effects. Mol Cancer Res; 11(5); 494–505. ©2013 AACR.
Systematic review of outcome measures used in the evaluation of robot-assisted upper limb exercise in stroke.

OBJECTIVE To classify and evaluate outcome measures currently used in robot-assisted exercise trials (RAET) in stroke, and to determine selection criteria for outcome measures in future trials. METHODS Outcome measures used in RAET were identified from MEDLINE, EMBASE, CINAHL, PubMed and PsychINFO databases. The scale items were categorized into International Classification of Functioning Disability and Health (ICF) domains. The psychometric properties of scale were rated using a standardized pro forma. RESULTS Thirty outcome measures were identified from 28 published RAET. Commonly used ICF body function scales were: Fugl-Meyer (FM) (24 studies), Modified Ashworth Scale (13 studies), Medical Research Council (11 studies), Kinematic measures (8 studies) and Motor Status Score (6 studies); ICF activity scale was Functional Independence Measure (FIMTM) (9 studies); ICF participation, personal and environmental factors scales were rarely used. Standard-ized rating identified that FM, kinematic measures, Action Research Arm Test, Wolf Motor Function Test, FIMTM, and ABILHAND have adequate measurement properties for use in RAET. CONCLUSION Some of the currently used outcome measures seem appropriate for RAET. The use of the ICF framework enables selection of an appropriate combination of outcome measures depending on patient characteristics, such as severity of weakness and chronicity of stroke impairments.
Variable Oncogene Promoter Activity of Human Papillomavirus Type 16 Cervical Cancer Isolates from Australia

ABSTRACT The functional significance of sequence variation within the upstream regulatory region (URR) of six human papillomavirus type 16 (HPV16) cervical cancer isolates from Australia was investigated. Specific changes in transcription factor binding sites leading to increased promoter activity may explain the transforming ability of some episomal HPV16 isolates.
Dialogue enhancement of stereo sound

Studies show that many people have difficulties in understanding dialogue in movies when watching TV, especially hard-of-hearing listeners or in adverse listening environments. In order to overcome this problem, we propose an efficient methodology to enhance the speech component of a stereo signal. The method is designed with low computational complexity in mind, and consists of first extracting a center channel from the stereo signal. Novel methods for speech enhancement and voice activity detection are proposed which exploit the stereo information. A speech enhancement filter is estimated based on the relationship between the extracted center channel and all other channels. Subjective and objective evaluations show that this method can successfully enhance intelligibility of the dialogue without affecting the overall sound quality negatively.
Digital Phase Detector for Nyquist and Faster than Nyquist Systems

The quality of clock tone in many practical phase detectors depends on the width of the non-zero portion of the signal spectrum. In Nyquist systems that deploy the raised-cosine filter, most of the known timing extraction methods completely fail when the roll-off factor (ROF) approaches the zero value. In this letter, we present a novel digital phase detector that is based on two samples per symbol with a performance that is practically independent of the shape of the Nyquist filter and modulation formats. Excellent timing-error detector performance is demonstrated even in extremely band-limited systems - the so-called faster than Nyquist systems (FTN).
Desarrollo de un protocolo para la propagación masiva de la mora de Castilla (Rubus glaucus Bent) mediante la utilización del cultivo de tejidos vegetales in vitro

Esta investigación se realizó con el propósito de desarrollar un protocolo para la propagación masiva vía in vitro de la mora de Castilla (Rubus glaucus Bent.), a partir de yemas axilares de esta Rosaceae con gran demanda en el mercado de nuestro país y del exterior. Los mejores resultados de los bioensayos de asepsia fueron obtenidos cuando se utilizó etanol al 50% durante tres minutos e hipoclorito de sodio al 2.5% durante dos minutos. Los procesos oxidativos fueron controlados utilizando ácido ascórbico a 100 ppm. Para la etapa de iniciación los mejores resultados se obtuvieron cuando se utilizaron las siguientes combinaciones hormonales: AIA (1.0 mg/l), BAP (2.0 mg/l) y AG3 (0.5 mg/l) en medio básico Murashige y Skoog (1962). Para la producción de múltiples brotes se destacó como el mejor tratamiento aquel en el cual se combinaron concentraciones de BAP (2.0 mg/l) y AG3 (1.0 mg/l). En la etapa de enraizamiento el mejor tratamiento fue el establecido con medio MS a la mitad de su concentración y ALA (2.0 mg/l) sin carbón activado. Las plantas obtenidas fueron adaptadas y transferidas posteriormente al campo.
keepin' it R.E.A.L.: A Drug Resistance Curriculum Tailored to the Strengths and Needs of Pre-Adolescents of the Southwest

Research has shown that students respond more favorably to drug prevention programs when they see their culture and themselves represented in the prevention message. Additionally, studies highlight important ethnic differences in drug behaviors and attitudes, indicating that students' ethnic culture should be considered in the creation of prevention programs. Because there are few effective, culturally grounded programs, new approaches are needed, particularly among Mexican American youth. This need inspired the Drug Resistance Strategies Project (DRS) to develop and test the keepin' it R.E. A.L. curriculum serving ethnically diverse seventh grade students residing in a large southwestern city. This article describes development of the keepin' it R.E. A.L. curriculum, focusing on the methods used to ensure cultural grounding. The article also reviews literature on cultural approaches in prevention, presents a theoretical framework, summarizes key outcomes of the curriculum evaluation, and concludes with recommendations for the development of prevention programs for ethnically diverse youth.
Comparing the performance of natural, semi-natural, and non-natural locomotion techniques in virtual reality

One of the goals of much virtual reality (VR) research is to increase realism. In particular, many techniques for locomotion in VR attempt to approximate real-world walking. However, it is not yet fully understood how the design of more realistic locomotion techniques affects user task performance. We performed an experiment to compare a semi-natural locomotion technique (based on the Virtusphere device) with a traditional, non-natural technique (based on a game controller) and a fully natural technique (real walking). We found that the Virtusphere technique was significantly slower and less accurate than both of the other techniques. Based on this result and others in the literature, we speculate that locomotion techniques with moderate interaction fidelity will often have performance inferior to both high-fidelity techniques and well-designed low-fidelity techniques. We argue that our experimental results are an effect of interaction fidelity, and perform a detailed analysis of the fidelity of the three locomotion techniques to support this argument.
Case-Control Studies of Genetic Markers: Power and Sample Size Approximations for Armitage’s Test for Trend

The association of a candidate gene with disease can be efficiently evaluated by a case-control study in which allele frequencies are compared for diseased cases and unaffected controls. However, when the distribution of genotypes in the population deviates from Hardy-Weinberg proportions, the frequency of genotypes – rather than alleles – should be compared by the Armitage test for trend. We present formulas for power and sample size for studies that use Armitage’s trend test. The formulas make no assumptions about Hardy-Weinberg equilibrium, but do assume random ascertainment of cases and controls, all of whom are independent of one another. We demonstrate the accuracy of the formulas by simulations.