Miracle-dz/UniFAR-FTUs huggingface dataset:
A&a Manuscript No. Astronomy and Astrophysics Light Element Non-lte Abundances of Bootis Stars: I. Carbon and Oxygen ?

Abundances for the light elements of Bootis stars are a main key to understand the astrophysical processes behind the so-called Bootis phenomenon. These stars are characterized by a typical abundance pattern (strong underabundances of the Fe-peak elements whereas the light elements have apparently solar abundances) which is still based mainly on LTE-calculations. Therefore we started an investigation to derive accurate abundances of the light elements (C, N, O and S). For this purpose a new oxygen model atom was implemented in the Kiel non-LTE code. High resolution and high signal-to-noise spectra were used. For each element only a single wavelength region with lines of the speciic element was selected and observed in order to avoid contamination from other elements. In the rst paper we present abundances for carbon and oxygen of a statistically signiicant number of well established Bootis stars. The second paper will deal with nitrogen and sulphur. The most important result is that on average carbon is less abundant than oxygen but still both elements are sig-niicant more abundant than the Fe-peak elements. Furthermore the anticorrelation of carbon and oxygen with the silicon abundance is proven, which strongly supports the accretion/diiusion theory.
Offline Music Recommendation

The goal of this project was to recommend songs to users based solely on their listening histories, with no information about the music. We applied various Collaborative Filtering methods to achieve this: user-user neighborhood models, item-item neighborhood models and latent factor models. We achieved the best results with item-item cosine similarity. The code for this project can be found here.
Separation logic + superposition calculus = heap theorem prover

Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising foundation for dealing with heap manipulating programs, while the development of practical automated deduction/satisfiability checking tools for separation logic is a challenging problem. In this paper, we present an efficient, sound and complete automated theorem prover for checking validity of entailments between separation logic formulas with list segment predicates. Our theorem prover integrates separation logic inference rules that deal with list segments and a superposition calculus to deal with equality/aliasing between memory locations. The integration follows a modular combination approach that allows one to directly incorporate existing advanced techniques for first-order reasoning with equality, as well as account for additional theories, e.g., linear arithmetic, using extensions of superposition. An experimental evaluation of our entailment prover indicates speedups of several orders of magnitude with respect to the available state-of-the-art tools.
Youth Sport Values Questionnaire-2 (ysvq-2): evidências de validade para o contexto brasileiro

***Youth Sport Values Questionnaire-2 (Ysvq-2): evidence of validity to a Brazilian context*** The aim of this study was to adapt and to validate the Youth Sport Values Questionnaire-2 (YSVQ-2) in the Brazilian context through two studies: In Study 1, with the participation of 181 young athletes, a Principal Component Analysis (PCA) was performed and three factors were identified that were consistent with the original study. However with internal consistency index (Cronbach’s alpha) acceptable only two factors (status: α = 0.62; moral: α = 0.70), the competence factor was slightly below the acceptable (α = 0.56). Study 2 aimed at confirming the factor structure of the YSVQ-2, with a new sample of 200 young athletes. A Confirmatory Factor Analysis was conducted (CFA) and results indicated goodness-of-fit indexes close to the recommended values: χ²(148) = 108.43, p < 0.001, χ²/df = 2.26, GFI = 0.92, CFI = 0.90, RMSEA = 0.08 (IC90% = 0.06 0.10). Therefore, the study showed evidences of construct validity of the YSVQ-2 to a Brazilian context, however new validity studies of this instrument are recommended.
Induced Pluripotent Stem Cells-Emphasis on Transcriptomics and Recent Advances in Therapeutic Potential

In our previous review we reviewed the history of embryonic stem cells, advantages and disadvantages of ESC, parthenogenetic ESC and their therapeutic applications, cloning along with merits of SCNT, in this shot commentary we have just concentrated on induced pluripotent stem cells, mainly their transcriptomics, along with special emphasis on global transcriptomics in candidate oocyte factors and various advances in therapeutic applications.
Superb Fairy-Wren (Malurus cyaneus) Sons and Daughters Acquire Song Elements of Mothers and Social Fathers

Birdsong is regarded as a classic example of a sexually-selected trait and has been primarily studied in systems with male song. Complex solo female song is emerging from the shadows of overlooked phenomena. In males, rearing conditions affect male song complexity, and males with complex songs are often more successful at mate attraction and territorial defense. Little is known about the ontogeny or function of complex female song. Here we examine song elements in fledgling superb fairy-wrens (Malurus cyaneus) in relation to the song elements of adult tutors. Male and female superb fairy-wrens produce solo song year-round to defend a territory. We ask if sons and daughters acquire song elements from sex-specific vocal tutors. We found that sons and daughters produced the song elements of their mothers and social fathers, and that sons and daughters had comparable song element repertoires at age 7-10 weeks. We conclude that sons and daughters increase their song element repertoire when vocally imitating elements from several vocal tutors, and that both sexes acquire elements from male and female vocal tutors in this system.
Simulating complex hair with robust collision handling

We present a new framework for simulating dynamic movements of complex hairstyles. The proposed framework, which treats hair as a collection of wisps, includes new approaches to simulating dynamic wisp movements and handling wisp-body collisions and wisp-wisp interactions. For the simulation of wisps, we introduce a new hair dynamics model, a hybrid of the rigid multi-body, serial chain and mass-spring models, to formulate the simulation system using an implicit integration method. Consequently, the simulator can impose collision/contact constraints systematically, allowing it to handle wisp-body collisions efficiently without the need for backtracking or sub-timestepping. In addition, the simulator handles wisp-wisp collisions based on impulses while taking into account viscous damping and cohesive forces. Experimental results show that the proposed technique can stably simulate hair with intricate geometries while robustly handling wisp-body collisions and wisp-wisp interactions.
Dynamic Hierarchical Distributed Intrusion Detection System Based on Multi-Agent System

At present, distributed intrusion detection systems are taking on more and more characteristic of distributing and intelligence. Multi-agent system (MAS), which shows its intelligence by the interaction of a group of intelligent agents, is a popular tool for building novel intrusion detection systems (IDSs). The BDI (belief-desire-intention) model is a well studied architecture of agency for intelligent agents situated in complex and dynamic environments. Traditional MAS-based distributed IDSs commonly do their detection work within a framework that employs the method of distributed data collection and hierarchical data analysis. This is a simple and strict method, but it restricts the characteristic of distributing, intelligence and real-time response badly. In this paper, we present a dynamically-created hierarchical framework, and then bring forward the basic algorithm system to support it. We introduce the opponent BDI model to our agents, and realize the detection based on multi-agent cooperation, which effectively improves the traditional distributed intrusion detection
Findings From a Multiyear Scale-Up Effectiveness Trial of Open Court Reading

ABSTRACT This multiyear scale-up effectiveness study of Open Court Reading (OCR) involved approximately 4,500 students and more than 1,000 teachers per year in Grades K–5 from 49 elementary schools in seven districts across the country. Using a school-level cluster randomized trial design, we assessed the implementation and effectiveness of Open Court Reading over two years. Implementation study results demonstrated adequate to high levels of fidelity across the treatment schools. Intent-to-treat analyses revealed no statistically significant main effects on students’ reading performance in Year 1 and a small negative effect (d = – .09) in Year 2. There were positive impacts for particular subgroups, including kindergarten (d = .12) and Hispanic (d = .10) students in the first year. However, there were negative impacts for first grade (d = –.13), females (d = –.11), students who were not eligible for free or reduced-price lunch (d = –.19), and non-English language learners (d = –.10) in the second year of the study. Thus, relative to the “business-as-usual” reading curricula, no positive overall impacts of OCR and mixed impacts for student subgroups were found.
Development of differential suspension wheeled system for telepresence robot in rural hospital area

The shortage of healthcare population is spread around the world especially in developing countries. Telepresence robot is an excellent option to solve this problem by telepresence system. For additional, the stability of robot is an importance key to success for telepresence mission. This research presents a differential suspension designed for telepresence robot to make telepresence system is able to reach most places in hospital. Platform was measured the stability of suspension system with teleoperated function and autonomous function in simulated environment. The inertial measurement unit was used to measure stabilization of system. The suspension system is able to improve stability and reduce shock force when robot was passing uneven terrains.
Universe Decay, Inflation and the Large Eigenvalue of the Cosmological Constant Seesaw

We discuss implications of the large eigenvalue of the cosmological constant seesaw mechanism extending hep-th/0602112 and hep-th/0604108. While the previous papers focused on the small eigenvalue as a cosmological constant associated with the accelerating Universe, here we draw attention to the physical implications of the large eigenvalue. In particular we find that the large eigenvalue can give rise to a period of inflation terminated by Universe decay. The mechanism involves quantum tunneling and mixing and introduces parameters $\Gamma$, the decay constant, and $\theta$, the mixing angle. We discuss the cosmological constant seesaw mechanism in the context of various models of current interest including chain inflation, inflatonless inflation, string theory, Universe entanglement and different approaches to the hierarchy problem.
Feature Construction for Relational Sequence Learning

We tackle the problem of multi-class relational sequence learning using relevant patterns discovered from a set of labelled sequences. To deal with this problem, firstly each relational sequence is mapped into a feature vector using the result of a feature construction method. Since, the efficacy of sequence learning algorithms strongly depends on the features used to represent the sequences, the second step is to find an optimal subset of the constructed features leading to high classification accuracy. This feature selection task has been solved adopting a wrapper approach that uses a stochastic local search algorithm embedding a naive Bayes classifier. The performance of the proposed method applied to a real-world dataset shows an improvement when compared to other established methods, such as hidden Markov models, Fisher kernels and conditional random fields for relational sequences.
Design And Implementation Of 2 Bit Ternary ALU Slice

Abstract This paper describes the architecture, design & implementation of 2 bit ternary ALU (T-ALU) slice. The proposed ALU is designed for two -bit operation & can be used for n bit operations by cascading n/2 ALU slices. This ALU is implemented using C-MOS ternary logic gates (T-Gates) for ternary arithmetic & logic circuits. Ternary gates are implemented using enhancement / depletion MOSFET technology, thus proposed ALU is suitable for LSI / VLSI implementation. The designed technique used here requires only two stages i.e . decoder & T-gates, as against three stages i.e. decoder, binary gates & encoder require in conventional ternary logic implementation . Index Terms : Ternary, Unary function, T -Gates, Literal. I. Introduction Alexander [1964] showed that natural base (e= 2.71828) is the most efficient radix for implementation of switching circuits. It seems that most efficient radix for the implementation of digital system is 3 than 2. Ternary logic system, meaning that it has 3 valued switching. Ternary system has several important advantages over binary. It can be summarized as reductions in the interconnections require to implement logic functions, thereby reducing chip area, more information can be transmitted over a given set of lines, lesser memory requirement for a given data length. Besides this serial & some serial-parallel operations can be carried out at higher speed [1][2][3]. Its advantages have been confirmed in the application like memories, communications and digital signal processing etc. [7]. It has been proven that realization & implementation of combinational & sequential function is possible for ternary systems [4][5][6][7]. The implementation is based around bipolar transistors, MOSFETs etc. a basic switching elements, which is refereed to as T-Ga tes [8]. Besides this several authors have proposed reduction techniques to realize ternary functions [9][10][11][12]. In this contribution, we propose ALU capable of performing basic ternary arithmetic & logic operations as mentioned in table 1. We also suggest a scheme that takes the advantage of minimization techniques proposed by [9][11][13] & implemented using T-gates designed for ternary operations. This scheme shows reduction in the number of gate count to implement ternary functions. Firstly we describe the design of 2 bit ALU and then integrate over ALU slice. The organization of paper is: Section II describes basic T-Gate implementation, 2 bit ALU architecture is given in section III, section IV describes 2 bit ALU design and ALU slice design. Experimental results & performance evaluation is given in section V. Finally conclusion is given in section VI. Table 1:Functional Table of T -ALU
Discovery of Radio Emission from the Tight M8 Binary LP 349–25

We present radio observations of eight ultracool dwarfs with a narrow spectral type range (M8-M9.5) using the Very Large Array at 8.5 GHz. Only the tight M8 binary LP 349-25 was detected. LP 349-25 is the tenth ultracool dwarf system detected in radio wavelengths and its trigonometric parallax π = 67.6 mas, recently measured by Gatewood and coworkers, makes it the furthest ultracool system detected by the Very Large Array to date, and the most radio luminous outside of obvious flaring activity or variability. With a separation of only 1.8 AU, masses of the components of LP 349-25 can be measured precisely without any theoretical assumptions, allowing us to clarify their fully convective status and hence the kind of magnetic dynamo in these components, which may play an important role in explaining our detection of radio emissions from these objects. This also makes LP 349-25 an excellent target for further studies with better constraints on the correlations between X-ray, and radio emission and stellar parameters such as mass, age, temperature, and luminosity in ultracool dwarfs.
Microfluidic devices for manipulation, modification and characterization of biological cells in electric fields – a review

This article presents use of electric field for manipulation of biological cells and modification of their physical properties in microfluidic chambers. Some fabrication procedures of electrodes and microfluidic chambers are presented, from thin film metal electrodes to three-dimensional structures. Strong electric field pulses induce formation of pores in cell membrane (electroporation), which allow for transport of physiologically membrane-impermeant molecules into the cell. Even stronger electric fields cause nonthermal cell lysis, which is useful in the extraction and analysis of intracellular components. Dielectrophoresis in an inhomogeneous electric field is used for manipulation of cells (e.g. guiding and patterning), characterization of their electrical properties, detection of rare cells, as well as for separation of different cells. Electroporation and dielectrophoresis can be used together on a single chip, where dielectrophoresis is used for positioning of cells where they are electroporated, which is often used for electrofusion of cells.
Software engineering abstractions for the multi-touch revolution

Multi-touch interfaces allow users to use multiple fingers to provide input to a graphical user interface. The idea of allowing users to touch and manipulate digital information with their hands has been subject of research for more than 25 years [5, 4]. Recently several of these research artifacts have found their way to industry, with examples like the iPhone and the Microsoft Surface. Mainstream programming languages do not offer support to deal with the complexity of these new devices. Unlike the evolution in the hardware technology, the complexity of these new devices has not yet been addressed by adequate software engineering abstractions.
Secure Service-Oriented Grid Computing with Public Virtual Worker Nodes

Cloud computing uses virtualization technologies to offer a non-shared use rental of computer resources with publicly accessible worker nodes. However, unlike Grid computing, Cloud computing as implemented by Amazon, IBM, Google and Microsoft only offers compute and storage resources from a single organization. Many of the cross-site and cross-organizational advantages offered by Grid computing are lost. In this paper, we present a novel infrastructure that combines the benefits of Grid and Cloud computing: Cheap multi-organizational resources and private compute nodes with root access reachable from the Internet. Our previously introduced virtualization of Grid resources is extended by an approach to offer the same freedom of network access Cloud computing offers, but in a multi-organizational and shared use environment without endangering existing users or resources. An approach is presented for the dynamic network isolation of Grid users from each other as well as a mechanism for shielding the Grid infrastructure from malicious users and attacks from the Internet. This solution overcomes the traditional limitation that Grid worker nodes are kept in private networks and enables new multi-site service-oriented applications to be deployed securely.
Machine Translation of Spanish Personal and Possessive Pronouns Using Anaphora Probabilities

We implement a fully probabilistic model to combine the hypotheses of a Spanish anaphora resolution system with those of a Spanish-English machine translation system. The probabilities over antecedents are converted into probabilities for the features of translated pronouns, and are integrated with phrase-based MT using an additional translation model for pronouns. The system improves the translation of several Spanish personal and possessive pronouns into English, by solving translation divergencies such as ‘ella’ vs. ‘she’/‘it’ or ‘su’ vs. ‘his’/‘her’/‘its’/‘their’. On a test set with 2,286 pronouns, a baseline system correctly translates 1,055 of them, while ours improves this by 41. Moreover, with oracle antecedents, possessives are translated with an accuracy of 83%.
Localization and Tracking in Sensor Systems

In this paper, we survey the current state-of-art of localization and tracking. Our emphasis is on algorithms and systems used in sensor networks. We categorize localization and tracking systems into a hierarchical taxonomy based on characteristics of the objects being tracked, the application environments, and the sensor network technologies. Ideas leading to new directions for future research are briefly discussed
Reliable recovery of piled box-like objects via parabolically deformable superquadrics

Automatic unloading of piled box-like objects is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: we employ a laser range finder for data acquisition, and globally deformable superquadrics for object modeling. Our technique is based on a hypothesis generation and refinement scheme. The vertices of the piled objects are extracted and superquadric seeds are aligned at these vertices. The model parameter recovery task is decomposed into two subproblems, each dealing with a subset of the model's parameter set. Both region and boundary based information sources are used for parameter estimation. Compared to a widespread strategy for superquadric recovery, our method shows advantages in terms of robustness and computational efficiency. In addition, our system exhibits versatility with regard to existing industrial systems, since it can effectively deal with both neatly placed and jumbled configurations of objects.
Odometry for Ground Moving Agents by Optic Flow Recorded with Optical Mouse Chips

Optical mouse chips—equipped with adequate lenses—can serve as small, light, precise, fast, and cheap motion sensors monitoring optic flow induced by self motion of an agent in a contrasted environment. We present a device that extracts self motion parameters exclusively from flow in eight mouse sensors. Four pairs of sensors with opposite azimuth are mounted on a sensor head, each individual sensor looking down with −45° elevation. The head is mounted on a carriage and is moved at constant height above a textured planar ground. The calibration procedure and tests on the precision of self motion estimates are reported.