Miracle-dz/UniFAR-FTUs huggingface dataset:
Teleoperated manipulator for leak detection of sealed radioactive sources

This paper introduces a practical teleoperated manipulator under nuclear radioactive environments. The system, called RoboSource herein, is designed to perform the leak detection of sealed gamma and neutron radioactive sources used for oil well logging in oilfields. RoboSource includes two stations connected via RS-485 and with a distance of up to 1.2 Km. The base station (safe zone), with an industrial PC as the master controller, provides the operator console and performs the high-level control of the manipulator, and the field station (hazardous zone), with a programmable logic controller as the cell controller, is responsible for the motion control of the manipulator and radiation contamination detection. Two manipulator arms with pneumatic actuators and electric motors, two cameras, and a radiation contamination detector are deployed to the field station. With the intuitive Windows style graphic user interface and the live video from the field station, the human operator can effectively control and monitor the manipulator at the base station. RoboSource has been employed to perform the leak detection of sealed radioactive sources, which was completed manually by human workers before, in the Shengli Oilfield, the second largest oilfield in China.
Hsp40s Specify Functions of Hsp104 and Hsp90 Protein Chaperone Machines

Hsp100 family chaperones of microorganisms and plants cooperate with the Hsp70/Hsp40/NEF system to resolubilize and reactivate stress-denatured proteins. In yeast this machinery also promotes propagation of prions by fragmenting prion polymers. We previously showed the bacterial Hsp100 machinery cooperates with the yeast Hsp40 Ydj1 to support yeast thermotolerance and with the yeast Hsp40 Sis1 to propagate [PSI+] prions. Here we find these Hsp40s similarly directed specific activities of the yeast Hsp104-based machinery. By assessing the ability of Ydj1-Sis1 hybrid proteins to complement Ydj1 and Sis1 functions we show their C-terminal substrate-binding domains determined distinctions in these and other cellular functions of Ydj1 and Sis1. We find propagation of [URE3] prions was acutely sensitive to alterations in Sis1 activity, while that of [PIN+] prions was less sensitive than [URE3], but more sensitive than [PSI+]. These findings support the ideas that overexpressing Ydj1 cures [URE3] by competing with Sis1 for interaction with the Hsp104-based disaggregation machine, and that different prions rely differently on activity of this machinery, which can explain the various ways they respond to alterations in chaperone function.
High-resolution X-ray spectroscopy of T Tauri stars in the Taurus-Auriga complex

Context. Di erences have been reported between the X-ray emission of accreting and non-accreting stars. Some observations have suggested that accretion shocks could be responsible for part of the X-ray emission in classical T Tauri stars (CTTS). Aims. We present high-resolution X-ray spectroscopy for nine pre-main sequence stars in order to test the proposed spectroscopic di erences between accreting and non-accreting pre-main sequence stars. Methods. We used X-ray spectroscopy from the XMM-Newton Reflection Grating Spectrometers and the EPIC instruments. We interpret the spectra using optically thin thermal models with variable abundances, together with an absorption column density. For BP Tau and AB Aur we derive electron densities from the Ovii triplets. Results. Using the Ovii/Oviii count ratios as a diagnostic for cool plasma, we find that CTTS display a soft excess (with equivalent electron temperatures of 2:5 3 MK) when compared with WTTS or zero-age main-sequence stars. Although the Ovii triplet in BP Tau is consistent with a high electron density (3:4 10 11 cm 3 ), we find low density for the accreting Herbig star AB Aur (ne < 10 10 cm 3 ). The element abundances of accreting and non-accreting stars are similar. The Ne abundance is found to be high (4-6 times the Fe abundance) in all K and M-type stars. In contrast, for the three G-type stars (SU Aur, HD 283572, and HP Tau/G2), we find an enhanced Fe abundance (0.4-0.8 times solar photospheric values) compared to later-type stars. Conclusions. Adding the results from our sample to former high-resolution studies of T Tauri stars, we find a soft excess in all accreting stars, but in none of the non-accretors. On the other hand, high electron density and high Ne/Fe abundance ratios do not seem to be present in all accreting pre-main sequence stars.
AUTOMATED WEB SERVICE COMPOSITION 

Director I certify that this thesis satisfies all the requirements as a thesis for the degree of Master of Science. This is to certify that we have read this thesis and that in our opinion it is fully adequate, in scope and quality, as a thesis for the degree of Master of Science. I hereby declare that all information in this document has been obtained and presented in accordance with academic rules and ethical conduct. I also declare that, as required by these rules and conduct, I have fully cited and referenced all material and results that are not original to this work. As the Web Services proliferate and complicate it is becoming an overwhelming job to manually prepare the Web Service Compositions which describe the communication and integration between Web Services. This thesis analyzes the usage of Event Calculus, which is one of the logical action-effect definition languages, for the automated preparation and execution of Web Service Compositions. In this context, planning capabilities of Event Calculus are utilized. Translations from Planning Domain Description Language and DARPA Agent Markup Language to Event Calculus are provided to show that Web Services can be composed with the help of Event Calculus. Also comparisons between Event Calculus and other planning languages used for the same purposes are presented.
Compositional Autoconstructive Dynamics

Autoconstructive evolution is the idea of evolving programs through self-creation. This is an alternative to the hand-coded variation operators utilized in traditional genetic programming (GP) and the deliberately limited implementations of meta-GP. In the latter case strategies generally involve adapting the variation operators which are then used in accordance with traditional GP. On the other hand, autoconstruction offers the ability to adapt algorithmic reproductive mechanisms specific to individuals in the evolving population. We study multiple methods of compositional autoconstruc-tion, a form of autoconstruction based on function composition. While much of the previous work on autoconstruction has investigated traditional GP problems, we investigate the effect of autoconstructive evolution on two problems: Order, which models order-sensitive program semantics, and Majority, which models the evolutionary acquisition of semantic components. In doing so we show that compositional autoconstruc-tion exhibits surprising dynamics of evolutionary improvement, and that compositional autoconstruction can be comparable to GP. This advance is a step towards the search for the open-ended evolution of problem-solving techniques.
Storing auxiliary data for efficient maintenance and lineage tracing of complex views

As views in a data warehouse become more complex, the view maintenance process can become very complicated and potentially very inefficient. Storing auxiliary views in the warehouse can reduce the complexity and improve the efficiency of view maintenance, and the same auxiliary views can help in efficiently answering lineage tracing queries over the warehouse views. In this paper, we study the problem of selecting auxiliary views to materialize in order to minimize the total view maintenance and lineage tracing cost. We consider relational views with arbitrary use of aggregation operators, and we define an initial search space for our optimization problem based on a normal form for such view definitions. We present several auxiliary view selection algorithms, and to study their performance we conduct experiments using the TPC-D benchmark in addition to synthetic view definitions and statistics. The results of our experiments show: (1) the exhaustive algorithm that selects the optimal set of auxiliary views is far too expensive in many cases; (2) two heuristic algorithms that we present select good (often optimal) sets of auxiliary views in a much shorter time; (3) even auxiliary views selected by a very simple algorithm can significantly reduce the overall view maintenance and lineage tracing cost.
Is it Optimal to Accelerate the Payment of Income Tax on Share-Based Compensation?

The value of stock-based compensation is typically taxed as ordinary income to the employee at vesting, but subsequent gains on the stock are capital gains. I examine whether it is ever optimal for an employee to accelerate the payment of ordinary income tax in order for subsequent gains to be taxed at the lower capital gains rate. The employee may accomplish this, for example, by exercising a compensation option or making a Section 83(b) election (applicable to grants of restricted stock). I show that in general, accelerating the ordinary income tax payment is not optimal. However, when the employee faces portfolio constraints and can borrow to pay the tax, acceleration may be optimal.
Emergent patterns of risk for psychopathology: The influence of infant avoidance and maternal caregiving on trajectories of social reticence

Abstract The current study investigated the influential role of infant avoidance on links between maternal caregiving behavior and trajectories at risk for psychopathology. A sample of 153 children, selected for temperamental reactivity to novelty, was followed from infancy through early childhood. At 9 months, infant avoidance of fear-eliciting stimuli in the laboratory and maternal sensitivity at home were assessed. At 36 months, maternal gentle discipline was assessed at home. Children were repeatedly observed in the lab with an unfamiliar peer across early childhood. A latent class growth analysis yielded three longitudinal risk trajectories of social reticence behavior: a high-stable trajectory, a high-decreasing trajectory, and a low-increasing trajectory. For infants displaying greater avoidance, 9-month maternal sensitivity and 36-month maternal gentle discipline were both positively associated with membership in the high-stable social reticence trajectory, compared to the high-decreasing social reticence trajectory. For infants displaying lower avoidance, maternal sensitivity was positively associated with membership in the high-decreasing social reticence trajectory, compared to the low-increasing trajectory. Maternal sensitivity was positively associated with the high-stable social reticence trajectory when maternal gentle discipline was lower. These results illustrate the complex interplay of infant and maternal behavior in early childhood trajectories at risk for emerging psychopathology.
Catalysts of Women’s Talent Development in STEM: A Systematic Review

Numbers of women in the physical sciences, mathematics, and engineering are growing, yet women are still far outnumbered by men at upper levels of those fields. The purpose of the study is to review the literature on academic women who develop exceptional talent in science, technology, engineering, and mathematics (STEM). Data sources included 18 scholarly publications selected according to a systematic protocol. Analysis of the studies’ Results and Findings sections yielded four major themes focused on women’s personal and psychological characteristics, social catalysts, institutional catalysts, and cultural production. Themes were synthesized into a four-level socio-ecological model of women’s STEM talent development. Implications for future research are discussed.
Is Alcohol-Related Aggression Related to Automatic Alcohol–Power or Alcohol–Aggression Associations?

Objective: One of the risks of alcohol use is violent behavior. The aim of the current study was to explore the role of automatic cognitive associations between alcohol and power and between alcohol and aggression in alcohol-related aggression and to test the moderating role of executive control. Method: Implicit association tests (IATs) were used to measure alcohol–power and alcohol–aggression associations in a sample of adolescents. The classical Stroop task was used to assess executive control. The tendency toward alcohol-related aggression was measured via self-report. Results: Alcohol–power associations predicted self-reported alcohol-related aggression, but there was no significant moderation by executive control. Alcohol–aggression associations did not predict self-reported alcohol-related aggression. Mathematical modeling was used to further explore differences between alcohol–power and alcohol–aggression associations. This analysis tentatively indicated that participants may have had a stronger tendency to overcome the bias in the alcohol–aggression IAT. Conclusions: Alcohol–power associations, but not alcohol–aggression associations, predicted alcohol-related aggression. Participants appear to exert more control when dealing with aggression- than with power-related alcohol associations, which may therefore better predict alcohol-related aggression. Implicit measures in combination with modeling techniques may be important in further disentangling the automatic processes involved in alcohol-related aggressive behavior, but the relationship between alcohol and power appears to be an essential factor.
Towards Context-Sensitive Visual Attention

In this paper we present a discussion of information processing context and how we believe a visual attention system should be influenced by contextual information. We support this argument with a proof-of-concept design and implementation of a context-sensitive extension to the Itti & Koch model of visual attention as part of an architecture for a cognitive system. Our model demonstrates improved performance in terms of both fixations and processing time on visual search tasks compared to the non-extended model.
Implementation of Pareto Multi-objective Particle Swarm Optimization Algorithm in EMSO

1. Abstract EMSO, Environment for Modeling, Simulation and Optimization, is a free Brazilian equation-oriented process simulator, which began to be developed in 2001. It is entirely written in C++ and supports chemical processes simulation (both static and dynamic), static optimization and parameter estimation. Nevertheless, only mono-objective optimization was possible. This work presents the implementation of a multi-objective particle swarm optimization (MOPSO) algorithm in EMSO, in order to deal with multi-objective optimization problems. An algorithm proposed in literature that makes use of crowding distance in Multi-objective Particle Swarm was selected to be implemented due to the success in finding true Pareto Front solutions in mathematical benchmark multi-objective optimization problems. The MOPSO code was implemented as a shared library and included in EMSO. Both mathematical and engineering multi-objective optimization problems were considered. In this study, the implementation and application of MOPSO in ammonia production process is presented. Two conflicting objective functions were proposed: maximization of ammonia production and minimization of power consumption. MOPSO was able to find the specified number of non-dominated particles for the problem proposed while the crowding distance computation and mutation operator prevented their agglomeration. 2.
Online Regulation of High Speed Train Trajectory Control Based on T-S Fuzzy Bilinear Model

Multiobjective operation optimization for high-speed trains (HSTs) is hardly implemented by manual operation due to the increasing operational complexity and environmental uncertainties. In this paper, a T-S fuzzy bilinear model is established based on the nonlinear dynamics of the HST. A new adaptive predictive control approach based on the T-S fuzzy bilinear model of HST control is proposed with consideration of security, punctuality, and energy efficiency. In view of the model's adaptability and the approach's real-time performance, a lazy learning algorithm is used to adjust the parameters of the model and controller online while the model prediction error exceeds a given threshold. Simulation results based on the real HST running data show that the proposed approach contributes a significant improvement in HSTs' tracking precision and energy efficiency.
Pupillometry and Head Distance to the Screen to Predict Skill Acquisition During Information Visualization Tasks

In this paper we investigate using a variety of behavioral measures collectible with an eye tracker to predict a user's skill acquisition phase while performing various information visualization tasks with bar graphs. Our long term goal is to use this information in real-time to create user-adaptive visualizations that can provide personalized support to facilitate visualization processing based on the user's predicted skill level. We show that leveraging two additional content-independent data sources, namely information on a user's pupil dilation and head distance to the screen, yields a significant improvement for predictive accuracies of skill acquisition compared to predictions made using content-dependent information related to user eye gaze attention patterns, as was done in previous work. We show that including features from both pupil dilation and head distance to the screen improve the ability to predict users' skill acquisition state, beating both the baseline and a model using only content-dependent gaze information.
Contribution of Noncentrosomal Microtubules to Spindle Assembly in Drosophila Spermatocytes

Previous data suggested that anastral spindles, morphologically similar to those found in oocytes, can assemble in a centrosome-independent manner in cells that contain centrosomes. It is assumed that the microtubules that build these acentrosomal spindles originate over the chromatin. However, the actual processes of centrosome-independent microtubule nucleation, polymerisation, and sorting have not been documented in centrosome-containing cells. We have identified two experimental conditions in which centrosomes are kept close to the plasma membrane, away from the nuclear region, throughout meiosis I in Drosophila spermatocytes. Time-lapse confocal microscopy of these cells labelled with fluorescent chimeras reveals centrosome-independent microtubule nucleation, growth, and sorting into a bipolar spindle array over the nuclear region, away from the asters. The onset of noncentrosomal microtubule nucleation is significantly delayed with respect to nuclear envelope breakdown and coincides with the end of chromosome condensation. It takes place in foci that are close to the membranes that ensheath the nuclear region, not over the condensed chromosomes. Metaphase plates are formed in these spindles, and, in a fraction of them, some degree of polewards chromosome segregation takes place. In these cells that contain both membrane-bound asters and an anastral spindle, the orientation of the cytokinesis furrow correlates with the position of the asters and is independent of the orientation of the spindle. We conclude that the fenestrated nuclear envelope may significantly contribute to the normal process of spindle assembly in Drosophila spermatocytes. We also conclude that the anastral spindles that we have observed are not likely to provide a robust back-up able to ensure successful cell division. We propose that these anastral microtubule arrays could be a constitutive component of wild-type spindles, normally masked by the abundance of centrosome-derived microtubules and revealed when asters are kept away. These observations are consistent with a model in which centrosomal and noncentrosomal microtubules contribute to the assembly and are required for the robustness of the cell division spindle in cells that contain centrosomes.
Multiple-view multiple-scale navigation for micro-assembly

The problems of operator interaction in micro-assembly tasks are addressed. The solution is a visualisation and tracking system based on techniques from computer vision and robotics. The man-machine-interface leaves the operator free to concentrate on the task whilst the machine handles the problems of precision and scale. The benefits of this approach are increased productivity and precision. An example of an implementation is presented that concentrates on tracking and navigation from a perspective view. This illustrates principles of robustness in feature tracking, parameter estimation and model reconstruction. Estimation is then followed by bundle adjustment , which enforces a parameterisation consistent with a motion model. The mathematical framework reduces dependency on explicit calibration of system parameters, using the constraints between motion kinematics and multiple view geometry.
Low-Level Fusion of Audio, Video Feature for Multi-Modal Emotion Recognition

Bimodal emotion recognition through audiovisual feature fusion has been shown superior over each individual modality in the past. Still, synchronization of the two streams is a challenge, as many vision approaches work on a frame basis opposing audio turnor chunk-basis. Therefore, late fusion schemes such as simple logic or voting strategies are commonly used for the overall estimation of underlying affect. However, early fusion is known to be more effective in many other multimodal recognition tasks. We therefore suggest a combined analysis by descriptive statistics of audio and video Low-Level-Descriptors for subsequent static SVM Classification. This strategy also allows for a combined feature-space optimization which will be discussed herein. The high effectiveness of this approach is shown on a database of 11.5h containing six emotional situations in an airplane scenario.
Numerical Simulation of Seepage Field in the Tailing Dam with Draining Seepage System

Numerical seepage model of tailing dam based on finite-element method is established. By constructing special grid system and intermediate boundary conditions, combined drain seepage system (horizontal drain pipe + transverse- longitudinal blind drainage ditch) is well achieved in the model and the results of model analysis are verified by the results of experiments. Through the numerical simulation of the seepage in the tailing pond, seepage velocity field and seepage surface and water head distribution in both the transverse and longitudinal directions in different filling period and different drain seepage conditions have given. Analysis shows that water head change in slag accumulative area is relatively small and the local seepage slope is big in the dam-toe in the initial stage. As the increase of the filling height, the seepage slope increases correspondingly. The changing of the seepage field in three drain-seepage conditions is analyzed. After setting the combined drain seepage system, the seepage face is basically distributed along the drainage pipe. The seepage slope reduces obviously and meets requirements of the dam stability.