Miracle-dz/UniFAR-FTUs huggingface dataset:
Spectroscopy of Lyman Break Galaxies in the Hubble Deep Field

We report on the initial results of a spectroscopic investigation of galaxies in the Hubble Deep Field which exhibit spectral discontinuities between the F450W and F300W passbands, indicative of the presence of the Lyman continuum break in the redshift range 2.4 3 galaxies we have previously identified in other fields, characterized by very compact cores (some with multiple components) with half--light radii of 0.2-0.3 arcseconds, often surrounded by more diffuse and asymmetric ``halos''. A few of the brighter HDF Lyman break galaxies, however, have particularly unusual morphologies.
Single System Image with Virtualization Technology for Cluster Computing Environment

Single system image (SSI) for clusters has ever been one of the hot topics in the research field of parallel computer architecture, since SSI supports easier programming and administration for cluster environment. Currently, most SSI studies focused on the middleware level on the top of operating system, leading to some problems of poor transparency, low performance and so on. This paper presents a novel solution using a distributed virtual machine monitor (DVMM) on the basis of hardware-assisted virtualization technologies. The DVMM contains some symmetrical and cooperative VMMs distributed on multi-nodes. The cooperation among the VMMs virtualizes the distributed hardware resources. Thus, the DVMM can support an unmodified legacy operating system to run transparently on the distributed nodes of a cluster. Our solution significantly outperforms other state of SSI solutions, and has more transparency,high performance and easy implementation.
Propagating modes of a non-Abelian tensor gauge field of second rank

In the non-Abelian tensor gauge field theory a lower-rank field is represented by a general nonsymmetric tensor and describes the propagation of charged bosons of helicities two and zero. We clarify and prove this result from different perspectives which would include generalized Bianchi identities and the analysis of the corresponding partial differential equation. We suggest a new method for counting propagating modes in general gauge field theories. We derive also the expression for the energy–momentum tensor and confirm that its nonzero components get contribution only from helicity-two and helicity-zero states. We extended this analysis considering the interaction between two currents caused by the exchange of a tensor gauge field and proved that the residue at the pole is the sum of three terms each of which describes positive norm polarizations of helicity-two and helicity-zero bosons.
Band-pass non-TEM mode traveling-wave electro-optic polymer modulator

High-frequency electro-optic modulator is critical for enabling signal processing and distribution in the next generation cloud-computing, tele-medicine, and telecommunications. In this paper, substrate integrated waveguide (SIW) is exploited as fundamental transmission line structure for the design and development of millimeter-wave (mmW) and terahertz (THz)traveling-wave electro-optical integrated polymeric waveguide modulator. Optical and full-wave electromagnetic analyses are carried out and structure optimization is made on the basis of such analyses in order to obtain millimeter-wave transmission and optical response. This bandpass non-TEM mode polymer electro-optic traveling-wave architecture presents numerous advantages, namely compact structure, low transmission loss, low driving power, simple packaging and flat optical response over a wide frequency range.
Developing a spatially continuous 1 km surface albedo data set over North America from Terra MODIS products

[1] Surface albedo is an important factor governing the surface radiation budget and is critical in modeling the exchange of energy, water and carbon between Earth surface and atmosphere. Global satellite observation systems have been providing surface albedo products periodically. However, due to factors associated with weather, sensors and algorithms, albedo products from satellite observations often have many gaps and low quality pixels. Take the North American Moderate Resolution Imaging Spectroradiometer (MODIS) albedo products (MOD43B3) from 2000–2004 as an example, only 31.3% of pixels were retrieved with fully data-driven inversions and labeled with the highest possible mandatory quality flag of “good”. Conversely, 13.3% did not contain any valid retrieval and the remaining values vary in quality from moderate full inversions to poor retrievals utilizing a back-up algorithm. This indicates considerable potential for product improvement through the use of gap-filling algorithms. Our objective is to generate spatially and temporally continuous albedo products through gap filling and filtering based on multiyear observations and high quality neighboring pixels. The resultant albedo data set substantially improves the time series of surface albedo, especially in the winter, when for some areas the MODIS albedo products may have no retrievals. A comparison with field measurements shows that the filtered albedo correlates well with the measured surface albedo with the root mean squared errors (RMSEs) around 0.064 for snow-free pixels and 0.078 overall. The generated spectral albedo, broadband albedo and monthly albedo can be used for climate modeling and data assimilation applications.
Association analysis for quantitative traits by data mining: QHPM

Previously, we have presented a data mining‐based algorithmic approach to genetic association analysis, Haplotype Pattern Mining. We have now extended the approach with the possibility of analysing quantitative traits and utilising covariates. This is accomplished by using a linear model for measuring association. We present results with the extended version, QHPM, with simulated quantitative trait data. One data set was simulated with the population simulator package Populus, and another was obtained from GAW12. In the former, there were 2–3 underlying susceptibility genes for a trait, each with several ancestral disease mutations, and 1 or 2 environmental components. We show that QHPM is capable of finding the susceptibility loci, even when there is strong allelic heterogeneity and environmental effects in the disease models. The power of finding quantitative trait loci is dependent on the ascertainment scheme of the data: collecting the study subjects from both ends of the quantitative trait distribution is more effective than using unselected individuals or individuals ascertained based on disease status, but QHPM has good power to localize the genes even with unselected individuals. Comparison with quantitative trait TDT (QTDT) showed that QHPM has better localization accuracy when the gene effect is weak.
bootfs-Bootstrapped feature selection

The usage of the package is illustrated for three classification algorithms: pamr (Prediction analysis for Microarrays, [7], implementation in pamr -Rpackage), rf boruta (Random forests with the Boruta algorithm for feature selection, [4], implementation in Boruta-R-package) and scad (Support Vector Machines with Smoothly Clipped Absolute Deviation feature selection, [8], implementation in the penalizedSVM R-package [1]). Also available feature selection methods (through penalizedSVM package) are 1norm for L1penalisation (LASSO), scad+L2 for Elastic-SCAD and DrHSVM for Elastic Net. Further, the original random forest implementation (randomForestR-package [6]) is available as method rf, as well as the gradient boosting machine ([2, 3]) from package gbm as method gbm. The methods pamr, rf, rf boruta and gbm also allow multi-class classification. First of all load the package:
Verbal Valency Frame Detection and Selection in Czech and English

We present a supervised learning method for verbal valency frame detection and selection, i.e., a specific kind of word sense disambiguation for verbs based on subcategorization information, which amounts to detecting mentions of events in text. We use the rich dependency annotation present in the Prague Dependency Treebanks for Czech and English, taking advantage of several analysis tools (taggers, parsers) developed on these datasets previously. The frame selection is based on manually created lexicons accompanying these treebanks, namely on PDT-Vallex for Czech and EngVallex for English. The results show that verbal predicate detection is easier for Czech, but in the subsequent frame selection task, better results have been achieved for English.
Fault detection with MAC delay compensation in Wireless Sensor Actuator Networks

Although the Wireless Sensor and Actuator Networks (WSANs) have many advantages than the wired networks, the nature of sharing wireless media and the complicated behavior of Media Access Control (MAC) introduce adverse impacts on the control system. In contrast to most work on networked control systems using simplified models of network induced delays, this paper considers the study the random access delay caused by a contention-based MAC scheme slotted ALOHA in WSANs. An improved fault detection observer with access delay compensation is proposed to improve the fault detection performance against the MAC delays.
Supplemental Material to “ IpsA , a novel lacI-type regulator , is required for inositol-derived lipid formation in Corynebacteria and Mycobacteria ” , by Meike Baumgart et al Supplemental

Growth experiments. For growth experiments, 5 ml of brain heart infusion broth (BHI, Difco Laboratories, Detroit, MI, USA) was inoculated with a colony from a fresh BHI agar plate and incubated for 6-8 h at 30°C and 220 rpm. Cells from this preculture were washed once in phosphate buffered saline (PBS, 137 mM NaCl, 2.7 mM KCl, 4.3 mM Na2HPO4, 1.4 mM KH2PO4, pH 7.3) and used to inoculate a second preculture, consisting of 20 ml CGXII minimal medium [1] supplemented with 3,4-dihydroxybenzoate (30 mg l -1 ) as an iron chelator and 2 % (w v -1 ) glucose as a carbon source, to an OD600 of about 1. For sequential cultivations, cells from the stationary phase were diluted in fresh medium to a starting OD600 of 1. After overnight incubation at 30°C and 120 rpm the main cultures were inoculated to an OD600 of about 1 and incubated at 30°C and 1200 rpm in a Biolector (m2p-labs, Baesweiler, Germany) in 48-well FlowerPlates containing 750 μl CGXII minimal medium and different carbon sources, as specified in the text. For induction of the expression of genes under the control of the Ptac-promoter, isopropyl β-D-1-thiogalactopyranoside (IPTG) was used at the concentrations specified. Where appropriate, the medium was supplemented with 25 μg l -1
Quantitative Conversion of Phytate to Inorganic Phosphorus in Soybean Seeds Expressing a Bacterial Phytase1[OA]

Phytic acid (PA) contains the major portion of the phosphorus in the soybean (Glycine max) seed and chelates divalent cations. During germination, both minerals and phosphate are released upon phytase-catalyzed degradation of PA. We generated a soybean line (CAPPA) in which an Escherichia coli periplasmic phytase, the product of the appA gene, was expressed in the cytoplasm of developing cotyledons. CAPPA exhibited high levels of phytase expression, ≥90% reduction in seed PA, and concomitant increases in total free phosphate. These traits were stable, and, although resulted in a trend for reduced emergence and a statistically significant reduction in germination rates, had no effect on the number of seeds per plant or seed weight. Because phytate is not digested by monogastric animals, untreated soymeal does not provide monogastrics with sufficient phosphorus and minerals, and PA in the waste stream leads to phosphorus runoff. The expression of a cytoplasmic phytase in the CAPPA line therefore improves phosphorus availability and surpasses gains achieved by other reported transgenic and mutational strategies by combining in seeds both high phytase expression and significant increases in available phosphorus. Thus, in addition to its value as a high-phosphate meal source, soymeal from CAPPA could be used to convert PA of admixed meals, such as cornmeal, directly to utilizable inorganic phosphorus.
Real-time multiview analysis of soccer matches for understanding interactions between ball and players

In the last decade, several research efforts have been undertaken in soccer video analysis. This increasing interest is motivated by the possible applications over a wide spectrum of topics: indexing, summarization, video enhancement, team and players statistics, tactic analysis, referee's support, etc. Soccer video analysis requires different challenging tasks: ball and players have to be localized in each frame, tracked over time and, above all, their interactions have to be detected and analyzed. The latter task is fundamental, especially for statistics and referee decision support purposes, but, unfortunately, it has not received adequate attention from the scientific community. In this paper a multi-view system able to understand in real time the interactions between the ball and the players is presented. 3D ball trajectories are extracted by triangulation from multiple cameras and used to detect the interactions between the players and the ball. Inference processes are then introduced to determine the player kicking the ball and to fix the instant of the interaction. The system has been tested during several matches of the Italian first division soccer championship and experimental proofs of its effectiveness are reported.
Predicting future place of visit using user's personality profile

There has been much effort on predicting users' location (country or region) using social media sites, like Twitter. However, exciting work has not addressed the prediction of users' place of visit at finer granularity like restaurant or park. To address this problem, in this paper, we present the methodology of predicting user's place of visit using: (i) personality attributes of users obtained from her tweets using SystemU; and (ii) time and day at which prediction is to be made. Based on these features, we build a model that predicts the likelihood of a user's place of visit at given time and day. We performed extensive experiments involving, real data derived from twitter timelines of more than 3000 users. Models are trained using different machine learning algorithms and results demonstrate the effectiveness of work with accuracy more than 80% for top 5 predictions.
Safety , Security , and Software Reuse : A Model-Based Approach

With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are becoming increasingly difficult to guarantee. Model based techniques constitute a promising approach to guarantee safety and security in systems built with reusable components. The key elements in this approach are correctness and certifiability by construction, and separation of concerns. A safety-oriented development process compliant to the ISO DIS 26262 standards is presented. A model driven approach to security accreditation of service-oriented architectures is also presented.
Single camera pose estimation using Bayesian filtering and Kinect motion priors

Traditional approaches to upper body pose estimation using monocular vision rely on complex body models and a large variety of geometric constraints. We argue that this is not ideal and somewhat inelegant as it results in large processing burdens, and instead attempt to incorporate these constraints through priors obtained directly from training data. A prior distribution covering the probability of a human pose occurring is used to incorporate likely human poses. This distribution is obtained offline, by fitting a Gaussian mixture model to a large dataset of recorded human body poses, tracked using a Kinect sensor. We combine this prior information with a random walk transition model to obtain an upper body model, suitable for use within a recursive Bayesian filtering framework. Our model can be viewed as a mixture of discrete Ornstein-Uhlenbeck processes, in that states behave as random walks, but drift towards a set of typically observed poses. This model is combined with measurements of the human head and hand positions, using recursive Bayesian estimation to incorporate temporal information. Measurements are obtained using face detection and a simple skin colour hand detector, trained using the detected face. The suggested model is designed with analytical tractability in mind and we show that the pose tracking can be Rao-Blackwellised using the mixture Kalman filter, allowing for computational efficiency while still incorporating bio-mechanical properties of the upper body. In addition, the use of the proposed upper body model allows reliable three-dimensional pose estimates to be obtained indirectly for a number of joints that are often difficult to detect using traditional object recognition strategies. Comparisons with Kinect sensor results and the state of the art in 2D pose estimation highlight the efficacy of the proposed approach.
Methods for Compositing Historical Urban Landscapes

This paper discusses the process of compositing historical and modern photographs of an urban landscape into a novel view depicting structures from both time periods. Issues unique to this application of image compositing are addressed using techniques inspired by recent work in data-driven methods, and the use of these methods is demonstrated on an example scene. Finally, extensions of these techniques to other forms of historical photographs are discussed and potential areas of further investigation are identified.
Designing Practical Distributed Exchange for Online Communities

In many online systems, individuals provide services for each other; the recipient of the service obtains a benefit but the provider of the service incurs a cost. If benefit exceeds cost, provision of the service increases social welfare and should therefore be encouraged -- but the individuals providing the service gain no (immediate) benefit from providing the service and hence have an incentive to withhold service. Hence there is scope for designing a system that improves welfare by encouraging exchange. To operate successfully within the confines of the online environment, such a system should be distributed, practicable, and consistent with individual incentives. This paper proposes and analyzes a simple such system that relies on the exchange of {\em tokens}; the emphasis is on the design of a protocol (number of tokens and suggested strategies). We provide estimates for the efficiency of such protocols and show that choosing the right protocol will lead to almost full efficiency if agents are sufficiently patient. However, choosing the wrong protocols may lead to an enormous loss of efficiency.
The fault diagnosis system with self-repair function for screw oil pump based on support vector machine

Considering the issues that the relationship between the fault of screw oil pump existent and fault information is a complicated and nonlinear system, and it is very difficult to found the process model to describe it. The support vector machine (SVM) has the ability of strong nonlinear function approach and the ability of strong generalization and also has the feature of global optimization. In this paper, a fault diagnosis system with self-repair function for screw oil pump based on SVM is presented. Moreover, the genetic algorithm (GA) was used to optimize SVM parameters. With the ability of strong self-learning and well generalization of SVM, the diagnosis system can truly diagnose the fault of screw oil pump by learning the fault information. The real diagnosis results show that this system is feasible and effective.
Extended UCB Policy for Multi-Armed Bandit with Light-Tailed Reward Distributions

We consider the multi-armed bandit problems in which a player aims to accrue reward by sequentially playing a given set of arms with unknown reward statistics. In the classic work, policies were proposed to achieve the optimal logarithmic regret order for some special classes of light-tailed reward distributions, e.g., Auer et al.'s UCB1 index policy for reward distributions with finite support. In this paper, we extend Auer et al.'s UCB1 index policy to achieve the optimal logarithmic regret order for all light-tailed (or equivalently, locally sub-Gaussian) reward distributions defined by the (local) existence of the moment-generating function.
Automatic Detection System for Cough Sounds as a Symptom of Abnormal Health Condition

The problem of attending to the health of the aged who live alone has became an important issue in developed countries. One way of solving the problem is to check their health condition by a remote-monitoring technique and support them with well-timed treatment. The purpose of this study is to develop an automatic system that can monitor a health condition in real time using acoustical information and detect an abnormal symptom. In this study, cough sound was chosen as a representative acoustical symptom of abnormal health conditions. For the development of the system distinguishing a cough sound from other environmental sounds, a hybrid model was proposed that consists of an artificial neural network (ANN) model and a hidden Markov model (HMM). The ANN model used energy cepstral coefficients obtained by filter banks based on human auditory characteristics as input parameters representing a spectral feature of a sound signal. Subsequently, an output of this ANN model and a filtered envelope of the signal were used for making an input sequence for the HMM that deals with the temporal variation of the sound signal. Compared with the conventional HMM using Mel-frequency cepstral coefficients, the proposed hybrid model improved recognition rates on low SNR from 5 dB down to -10 dB. Finally, a preliminary prototype of the automatic detection system was simply illustrated.
Flexible Aliasing with Protection

Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expressing sharing of objects and as such its general restriction is not an option in practice. We present an approach that allows full referential object sharing, but adds access control to object references to limit the effects of aliasing.
Alpha-Stable Branching and Beta-Coalescents

We determine that the continuous-state branching processes for which the genealogy, suitably time-changed, can be described by an autonomous Markov process are precisely those arising from $\alpha$-stable branching mechanisms. The random ancestral partition is then a time-changed $\Lambda$-coalescent, where $\Lambda$ is the Beta-distribution with parameters $2-\alpha$ and $\alpha$, and the time change is given by $Z^{1-\alpha}$, where $Z$ is the total population size. For $\alpha = 2$ (Feller's branching diffusion) and $\Lambda = \delta_0$ (Kingman's coalescent), this is in the spirit of (a non-spatial version of) Perkins' Disintegration Theorem. For $\alpha =1$ and $\Lambda$ the uniform distribution on $[0,1]$, this is the duality discovered by Bertoin & Le Gall (2000) between the norming of Neveu's continuous state branching process and the Bolthausen-Sznitman coalescent. We present two approaches: one, exploiting the `modified lookdown construction', draws heavily on Donnelly & Kurtz (1999); the other is based on direct calculations with generators.