Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic capture and reconstruction of computational provenance

The Earth System Science Server (ES3) project is developing a local infrastructure for managing Earth science data products derived from satellite remote sensing. By ‘local,’ we mean the infrastructure that a scientist uses to manage the creation and dissemination of her own data products, particularly those that are constantly incorporating corrections or improvements based on the scientist's own research. Therefore, in addition to being robust and capacious enough to support public access, ES3 is intended to be flexible enough to manage the idiosyncratic computing ensembles that typify scientific research. Instead of specifying provenance explicitly with a workflow model, ES3 extracts provenance information automatically from arbitrary applications by monitoring their interactions with their execution environment. These interactions (arguments, file I/O, system calls, etc.) are logged to the ES3 database, which assembles them into provenance graphs. These graphs resemble workflow specifications, but are really reports—they describe what actually happened, as opposed to what was requested. The ES3 database supports forward and backward navigation through provenance graphs (i.e. ancestor/descendant queries), as well as graph retrieval. Copyright © 2007 John Wiley & Sons, Ltd.
An efficient joint algorithm of carrier frequency synchronization for OFDM in high mobile environment

Based on analyzing OFDM signal model of carrier frequency offset (CFO), an efficient joint algorithm of carrier frequency synchronization using one OFDM preamble symbol is present. The cyclic prefix-based method is combined with the preamble symbol correlation in the algorithm. This method is investigated into physical link implementation for CFO estimation and synchronization. Simulation results show that the system attain perfect performance in carrier frequency synchronization on wireless multipath Rayleigh channel COST207 model with vehicle velocity 120 km/h.
ClustalY: speed up the guide tree building for ClustalW

Since finding an optimal multiple sequences alignment is a NP-hard problem, various heuristic approaches have been proposed. The popular sequence alignment program ClustalW uses the progressive alignment. This approach works by aligning sequences using a series of pairwise alignments with a guide tree. A pairwise distance matrix is calculated to construct the guide tree to show the evolutionary relationship of the sequences. We use a faster algorithm to replace the two algorithms come with the current ClustalW to calculate the distance matrix. Experimental results show that speedup of over 10 is obtainable for the guide tree building stage with acceptable little loss of accuracy
Mechanisms of Stability and Change in Newlywed Marriage

Author(s): Lavner, Justin | Advisor(s): Bradbury, Thomas | Abstract: Couples begin their marriages optimistic and excited for the future they are starting together, but within the first few years many marriages go on to struggle. This dissertation project serves to enhance our understanding of how and why marriages change during the newlywed years in a series of four longitudinal studies. The first two studies focus on examining changes in relationship satisfaction in tandem with changes in the independent variables that predict satisfaction. The first study analyzes changes in marital problems over the first four years of marriage and compares these changes with observed changes in marital satisfaction. Results indicate that, on average, marital problems remain stable over the newlywed years, even though satisfaction declines. The second study examines changes in risk across a variety of domains (intrapersonal, interpersonal, and external) to determine whether individuals with different marital trajectories differ more in their initial risk or how their risk changes over time. Results are consistent with an initial differences model, such that robust initial differences do more to explain variance in 4-year marital satisfaction trajectories than do differential changes over time. The final two studies examine the mechanisms underlying changes in satisfaction. The third study examines whether the extent to which couples engage in top-down and bottom-up processing changes over time. Results indicate that couples begin their marriages engaging in more top-down processing (e.g., global perceptions of satisfaction predict changes in specific problems) than bottom-up processing (e.g., specific perceptions of problems predict changes in global satisfaction), but that these effects grow weaker over time. The fourth study examines the reciprocal associations between relationship quality and couples' observed communication (e.g., positivity, negativity, effectiveness). Cross-lagged panel analyses indicate that communication behaviors rarely predict satisfaction over time, either at a within-spouse level or a cross-spouse level, but satisfaction is a more robust predictor of communication. Together, these studies offer a nuanced look at relationship development over the newlywed years, providing us with a better understanding of how and why marriages change to inform theory and practice.
Robust Tracking Control Design for Nonlinear Systems via Fuzzy Observer

This paper presents fuzzy tracking control design for nonlinear systems. Considering not all states of the nonlinear system are fully available or measured while Takagi-Sugeno (T-S) fuzzy model is used to represent the dynamic of nonlinear system, a fuzzy observer-based fuzzy controller is developed to reduce the tracking error. This case yields a disturbance when designing tracking control, so H∞ Scheme is employed to achieve the prescribed robust tracking performance. Simulation example is provided to illustrate the tracking control design procedure and performance of the proposed methods.
Penerapan Sistem Informasi Geografis Dalam Pemetaan Produksi Pertanian Di Kabupaten Bone

Fakta di lapangan data-data yang berkaitan dengan peringatan penurunan hasil produksi komoditi unggulan sering kali terlambat bahkan tidak diketahui. Hal ini, dikarenakan tidak adanya data hasil produksi yang terdokumentasi atau bahkan tidak adanya data yang telah diolah sebagai acuan pengambilan kebijakan oleh pemerintah. Pemanfaatan teknologi sistem informasi geografis akan sangat mempengaruhi kecepatan perencanaan, antisipasi, langkah strategis serta upaya peningkatan komoditi unggulan di masing-masing daerah dari data yang disajikan ini akan semakin dimudahkan dan tersajinya informasi yang akurat dan real time. Perancangan sistem informasi geografis pemetaan produksi pertanian ini dikembangan dengan rule metode eXtreme Programming (XP) yang terdiri atas 4 artefak yakni planing, design, coding, dan testing. Hasil dari penelitian ini berupa sistem informasi geografis yang mampu memberikan informasi hasil produksi pertanian per periode musim tanam setiap tahunnya. Informasi peningkatan atau penurunan hasil produksi tiap komoditi pada masingmasing daerah disajikan dalam bentuk grafik yang sangat memudahkan dinas terkait dalam memutuskan kebijakan.
Enhanced J-protein interaction and compromised protein stability of mtHsp70 variants lead to mitochondrial dysfunction in Parkinson's disease

Parkinson's disease (PD) is the second most prevalent progressive neurological disorder commonly associated with impaired mitochondrial function in dopaminergic neurons. Although familial PD is multifactorial in nature, a recent genetic screen involving PD patients identified two mitochondrial Hsp70 variants (P509S and R126W) that are suggested in PD pathogenesis. However, molecular mechanisms underlying how mtHsp70 PD variants are centrally involved in PD progression is totally elusive. In this article, we provide mechanistic insights into the mitochondrial dysfunction associated with human mtHsp70 PD variants. Biochemically, the R126W variant showed severely compromised protein stability and was found highly susceptible to aggregation at physiological conditions. Strikingly, on the other hand, the P509S variant exhibits significantly enhanced interaction with J-protein cochaperones involved in folding and import machinery, thus altering the overall regulation of chaperone-mediated folding cycle and protein homeostasis. To assess the impact of mtHsp70 PD mutations at the cellular level, we developed yeast as a model system by making analogous mutations in Ssc1 ortholog. Interestingly, PD mutations in yeast (R103W and P486S) exhibit multiple in vivo phenotypes, which are associated with ‘mitochondrial dysfunction’, including compromised growth, impairment in protein translocation, reduced functional mitochondrial mass, mitochondrial DNA loss, respiratory incompetency and increased susceptibility to oxidative stress. In addition to that, R103W protein is prone to aggregate in vivo due to reduced stability, whereas P486S showed enhanced interaction with J-proteins, thus remarkably recapitulating the cellular defects that are observed in human PD variants. Taken together, our findings provide evidence in favor of direct involvement of mtHsp70 as a susceptibility factor in PD.
International Journal of Computer Vision Hypotheses for Image Features , Icons and Textons

We review ideas about the relationship between qualitative description of local image structure and quantitative description based on responses to a family of linear filters. We propose a sequence of three linking hypotheses. The first, the Feature Hypothesis, is that qualitative descriptions arise from a category system on filterresponse space. The second, the Icon Hypothesis, is that the partitioning into categories of filter response space is determined by a system of iconic images, one associated with each point of the space. The third, the Texton Hypothesis, is that the correct images to play the role of icons are those that are the most likely explanations of a vector of filter responses. We present results in support of these three hypotheses, including new results on 2-D 1 order structure.
Kernel spectral clustering for predicting maintenance of industrial machines

Early and accurate fault detection in modern industrial machines is crucial in order to minimize downtime, increase the safety of plant operations, and reduce manufacturing costs. The process monitoring techniques that have been most effective in practice are based on the analysis of historical process data. In this paper we present a novel approach that uses Kernel Spectral Clustering (KSC) on the sensor data to distinguish between normal operating condition and abnormal situations. In other words, the main contribution is to show how KSC can be a valid tool also for outlier detection, a field where other techniques are more popular. KSC is a state-of-the-art unsupervised learning technique with out-of-sample ability and a systematic model selection scheme. Thanks to the abovementioned characteristics and the capability of discovering complex clustering boundaries, KSC is able to detect in advance the need of maintenance actions in the analyzed machine.
GA-based action learning

This paper describes a GA-based action learning framework. First, we propose a GA-based method for action learning. In this work, GA is used to learn perception-action rules that cannot be represented as genes directly. The chromosome with the best fitness (elitist) acquires the perception-action rules through the learning process. And then, we extend the method to action series learning. In the extended method, action series can be treated as one of perception-action rules. We present the experimental results of three controllers (simple game AI testbed) using the GA-based action learning framework.
Drug-Free Schools and Communities Act Compliance at Michigan Community Colleges

ABSTRACT In 1989, Congress passed the Drug-Free Schools and Communities Act Amendments to address illegal alcohol and drug abuse on college campuses. To receive federal funding, each college must comply by implementing an alcohol and drug prevention program, but the federal government and some colleges have paid little attention to this policy. Recently, the Department of Education vowed to intensify its scrutiny of colleges and has begun issuing fines for noncompliance. There have been no studies on this topic in over 20 years, leaving community college administrators, in particular, without guidance on how to implement the required programs. In this study, I analyzed public reports from Michigan community colleges to evaluate compliance with the Drug-Free Schools and Communities Act and to examine their alcohol and drug programs. I found that 21 of Michigan’s 28 community colleges partially complied with the Act, only two implemented all the required mandates, and five were noncompliant. Most notably, colleges failed to collect substantive programmatic outcomes data, and few offered evidence-based alcohol and drug prevention programs to students. I provide rationale for why colleges should invest in improving compliance and the quality of alcohol and drug programs, and I offer seven recommendations to community college administrators on how to do so.
Characterization of human cytochrome P450 enzymes

Many biochemical approaches have been applied to the human cytochrome P450 enzymes, and more than 20 different gene products have been characterized with regard to their properties and catalytic specificities. The complement of the various cytochrome P450 enzymes in a given individual varies markedly, and dramatic differences may be seen in drug metabolism, pharmacological response, and susceptibility to toxic effects. An understanding of the nature of the individual cytochrome P450 enzymes and their regulation should be useful in determining the most suitable animal models, ascertaining risk from chemicals, and in avoiding undesirable drug interactions. —Guengerich, F, P. Characterization of human cytochrome P450 enzymes. FASEB J. 6: 745‐748; 1992.
Ctracer: Uncover C&amp;C in Advanced Persistent Threats Based on Scalable Framework for Enterprise Log Data

Advanced Persistent Threat (APT), unlike traditional hacking attempts, carries out specific attacks on a specific target to illegally collect information and data from it. These targeted attacks use special-crafted malware and infrequent activity to avoid detection, so that hackers can retain control over target systems unnoticed for long periods of time. In order to detect these stealthy activities, a large-volume of traffic data generated in a period of time has to be analyzed. We proposed a scalable solution, Ctracer to detect stealthy command and control channel in a large-volume of traffic data. APT uses multiple command and control (C&C) channel and change them frequently to avoid detection, but there are common signatures in those C&C sessions. By identifying common network signature, Ctracer is able to group the C&C sessions. Therefore, we can detect an APT and all the C&C session used in an APT attack. The Ctracer is evaluated in a large enterprise for four months, twenty C&C servers, three APT attacks are reported. After investigated by the enterprise's Security Operations Center (SOC), the forensic report shows that there is specific enterprise targeted APT cases and not ever discovered for over 120 days.
MASQUE/SQL: an efficient and portable natural language query interface for relational databases

Masque is a powerful and portable natural language front-end for Prolog databases. It answers written English questions by generating Prolog queries, which are evaluated against the Prolog database. This paper describes a modi ed version ofMasque, called Masque/sql, which answers English questions by generating and executing SQL code. Masque/sql maintains the full linguistic coverage of the originalMasque, and can be used with any database system supporting SQL. Masque/sql is e cient, and can be easily con gured using the built-in domaineditor.
Robust Frequency - Selective Filtering Using Weighted Sum - Median Filters

Mean¿Median (MEM) filters, based on two¿ component mixture distributions, are recently proposed [1]. The MEM filter output is a combination of the sample mean and the sample median, where observation samples are weighted uniformly. This property of MEM filters constrains them to the class of smoothers. This paper extends MEM filtering to the Weighted Sum¿Median (WSM) filtering structure admitting real¿valued weights, thereby enabling more general filtering characteristics. The proposed filter structure is also well¿motivated from a presented maximum likelihood (ML) estimate analysis under ¿¿contaminated statistics. The combination parameter ¿ is optimized to minimize the filter output variance, which is a measure of noise attenuation capability. Moreover, filter design procedures that yield a desired spectral response are detailed. Finally, the effectiveness of the proposed WSM filter structure is shown through simulations.
Redshift Clustering in the Hubble Deep Field

We present initial results from a redshift survey carried out with the low-resolution imaging spectrograph on the 10 m W. M. Keck Telescope in the Hubble Deep Field. In the redshift distribution of the 140 extragalactic objects in this sample, we find six strong peaks with velocity dispersions of ~400 km s-1. The areal density of objects within a particular peak, while it may be nonuniform, does not show evidence for strong central concentration. These peaks have characteristics (velocity dispersions, density enhancements, spacing, and spatial extent) similar to those seen in a comparable redshift survey in a different high Galactic latitude field (Cohen and coworkers), confirming that the structures are generic. They are probably the high-redshift counterparts of huge galaxy structures (“walls”) observed locally.
Comparison of Two Sampling-Based Data Collection Mechanisms for Intrusion Detection System

Data collection mechanism is a crucial factor for the performance of intrusion detection system (IDS). Simple random sampling and Stratified random sampling techniques of statistics are introduced to the procedure of data collection for IDS, and formulas used to calculate the sample size of packets based on these sampling techniques are presented. The implementation of packets sampling is provided, and efficiencies of these data collection mechanisms for IDS are compared in this paper. Experimental results show these two mechanisms both can improve the efficiency of data collection and strengthen the processing performance of IDS, while stratified random sampling technique performs better especially in the largescale high-speed network.
Interferometric phase and coherence of forest estimated by ESPRIT-based polarimetric SAR interferometry

Polarimetric SAR interferometry has been widely studied for forest observations. The technique utilizes polarization state difference among local scattering centers of the forest to decompose them. Using the method, we can estimate precise forest parameters. We proposed an alternative method based on the ESPRIT algorithm for the estimation. The method can detect as many as 3 local scatterers with fully polarimetric data, and can extract interferometric phase of each local scatterer. In this paper, we verify the availability of the method in 2- and 3-local-scatterer model for forest estimation, and show that forest analysis with 3-local-scatterer improve height estimation accuracy. SIR-C/X-SAR data were used for these verifications. In addition, experimental results of restricted dual-polarization data are also provided to show availability of the method.
Detection of 20 – 30 h − 1 Mpc-scale Galaxy Structures Embedded in 100 h − 1 Mpc-scale Structures of Quasars and MgII Absorbers at z ≃ 0 . 8 and z ≃ 1 . 2 ⋆

We report the finding of two large-scale structures of galaxi es in a 40× 35 arcmin field embedded in a 25 deg 2 area where two 100h−1Mpc-scale structures of quasars and Mg  absorbers at z ≃ 0.8 andz ≃ 1.2 have been previously detected. Using deep optical ( Vand I-band) imaging, we are able to select high-redshift (0 .5∼ z∼ 1.3) early-type galaxies as those redder than the cluster red sequence at z = 0.5 and havingI < 23.5. Through comparison with a 35 × 35 arcmin control field, we find a 30% excess of these red galaxies, corresponding to 563 galaxies across the field. The colour d istribution of the excess galaxies shows a coherent peak at 2 . 7 < V − I < 3.1 and the magnitude distribution is well described by a Schec hter function, showing unambiguously that the galaxy excess is primarily d ue to a population of early-type galaxies at z = 0.83± 0.08. In follow-up NIR imaging of the four best cluster candidates, w e identify three clusters at z = 0.8± 0.1, each having well defined red sequences of ∼ 20 galaxies at I − Ks ≃ 3.4, forming a structure 20 h−1Mpc across. The fourth candidate, corresponding to a previously identified cluster at z = 1.2± 0.1, is confirmed with 28Ks < 20.5 galaxies havingVIJKs colours consistent with passively-evolving galaxies at z ≃ 1.2 located within 1 arcmin of the cluster centre. In all four NI R fields we find numerous galaxies with theVIJKs colours of passively-evolving galaxies both at z ≃ 0.8 andz ≃ 1.2, including regions well away from the clusters. The results of this study support the presence of two sheet-like large-scale galaxy structures extending across the 20–30h−1Mpc scales explored by the optical data, one “sheet” at z ≃ 0.8 with three associated clusters, and a second “sheet” at z ≃ 1.2 with one embedded cluster. Our results confirm that, at leas inside the probed region, the two known 100 h−1Mpc-scale structures at z ∼ 1 of quasars and Mg  absorbers also mark out volumes with an enhanced density of g alaxies. The finding of two galaxy structures at z ≃ 1 on scales of 20–30 h−1Mpc within much larger superstructures of quasars and Mg  absorbers, firstly establishes the presence of galaxy sheet-like struc tu es atz ∼ 1, and secondly, suggests that they may extend up to 100h−1Mpc-scales.
Developing Creative Methods for Children’s Voice Research: Potential and Pitfalls When Constructing Verbal and Visual Methods for Research with Children with Attention Deficit Hyperactivity Disorder

‘How does an elephant tell a mouse what it is like to be an elephant? ’ replied one young man, when we asked, ‘What is it like to live with attention deficit hyperactivity disorder? ’ His observations demonstrate how adult-centred research can hinder children’s ‘voice’. Children’s right to participate in the decision-making process (e.g. education or health care) has received growing recognition. However, little is known about ‘how’ this can be achieved in research or practice, especially when participants have special educational needs. Thus, researchers must develop creative and unconventional approaches. This case example of a method in action explores findings from our research, where methodology and methods were co-constructed in consultation with children with attention deficit hyperactivity disorder (7-18 years). Drawing on findings from four studies, we examine our three-staged approach to the co-construction of verbal and visual methods, which included child consultations, creativity, trial-and-error, reflexivity and a trans-disciplinary approach. The outcome was an innovative draw-label-dialogue technique, which explores the whole child (circle task), in the context of everyday activities and events (rollercoaster task) and the relationship between the two (emoticon-labelling task).