Miracle-dz/UniFAR-FTUs huggingface dataset:
Radio observations of new galactic bulge planetary nebulae

We observed 64 newly identied galactic bulge planetary nebulae in the radio continuum at 3 and 6 cm with the Australia Telescope Compact Array. We present their radio images, positions, flux densities, and angular sizes. The survey appears to have detected a larger ratio of more extended planetary nebulae with low surface brightness than in previous surveys. We calculated their distances according to Van de Steene & Zijlstra (1995). We nd that most of the new sample is located on the near side around the galactic center and closer in than the previously known bulge PNe. Based on H images and spectroscopic data, we calculated the total H flux. We compare this flux value with the radio flux density and derive the extinction. We conrm that the distribution of the extinction values around the galactic center rises toward the center, as expected.
Observing Distribution in Processes: Static and Dynamic Localities

The distributed structure of CCS processes can be made explicit by assigning different locations to their parallel components. These locations then become part of what is observed of a process. The assignment of locations may be done statically, or dynamically as the execution proceeds. The dynamic approach was developed first, in Refs. [4,5], as it appeared to be more convenient for defining notions of location equivalence and preorder. Extending previous work by L. Aceto1 we study here the static approach, which is more natural from an intuitive point of view, and more manageable for verification purposes. We define static notions of location equivalence and preorder, and show that they coincide with the dynamic ones. To establish the equivalence of the two location semantics, we introduce an intermediate transition system called occurrence system, which incorporates both notions of locality. This system supports a definition of local history preserving bisimulation for CCS, which is a third formulation of location equivalence.
Proles of point defects in two dimensions in Landau-de Gennes theory

We investigate prototypical proles of point defects in two dimensional liquid crystals within the framework of Landau-de Gennes theory. Using boundary conditions characteristic of defects of index k=2, we nd a critical point of the Landau-de Gennes energy that is characterised by a system of ordinary dierential equations. In the deep nematic regime, b 2 small, we prove that this critical point is the unique global minimiser of the Landau-de Gennes energy. We investigate in greater detail the regime of vanishing elastic constant L! 0, where we obtain three explicit point defect proles, including the global minimiser.
Largest Versus Smallest Nodules Marked by Different Radiologists in Chest CT Scans for Lung Cancer Detection

In this paper, we present a novel approach to find and select texture features of solitary pulmonary nodules (SPNs) detected by computed tomography (CT) and evaluate the performance of grafted decision tree based classifier in differentiating benign from malignant as well as from metastasis SPNs. We compared the results of smallest as well as largest nodule of a patient visible in different slices of CT scan and conclude that by taking the slice of a patient with largest area nodule is better in classifying the SPNs in 3 classes as compared to considering the nodules with smallest area of the same patient. It also reflects that specificity as well as sensitivity is much better which can further assist the physician in yielding the right decision at right time in the detection and diagnosis of lung cancer. This study reveals that there could be a significant improvement in the field of lung nodule detection at an early stage of lung cancer and also ensures that unnecessary biopsies can be avoided using the proposed methodology and feature set.
Intellectual capital efficiency, technological innovation and family management

Abstract Understanding the relation between intellectual capital and innovation has become one of the most relevant topics for both academics and practicing managers in the field of innovation management. This paper attempts to advance this theme by empirically investigating the role played by both human and structural capital efficiency as determinants of achieving technological innovation outputs. This study also examines the moderating role of family management on these relationships. In this paper, we use a matched-pairs design and a conditional logistic regression approach to analyse a sample of 5,304 Spanish firms for the period 2000–2013. The results show that both the attracting and recruiting of competent human resources and the ability to develop mechanisms to capture and translate knowledge, expertise, and skills of organisational members and stakeholders are important to achieve technological innovation outputs. Our findings also suggest that family management increases the efficiency of human and structural capital to obtain technological innovation outcomes.
PSSRdb: a relational database of polymorphic simple sequence repeats extracted from prokaryotic genomes

PSSRdb (Polymorphic Simple Sequence Repeats database) (http://www.cdfd.org.in/PSSRdb/) is a relational database of polymorphic simple sequence repeats (PSSRs) extracted from 85 different species of prokaryotes. Simple sequence repeats (SSRs) are the tandem repeats of nucleotide motifs of the sizes 1–6 bp and are highly polymorphic. SSR mutations in and around coding regions affect transcription and translation of genes. Such changes underpin phase variations and antigenic variations seen in some bacteria. Although SSR-mediated phase variation and antigenic variations have been well-studied in some bacteria there seems a lot of other species of prokaryotes yet to be investigated for SSR mediated adaptive and other evolutionary advantages. As a part of our on-going studies on SSR polymorphism in prokaryotes we compared the genome sequences of various strains and isolates available for 85 different species of prokaryotes and extracted a number of SSRs showing length variations and created a relational database called PSSRdb. This database gives useful information such as location of PSSRs in genomes, length variation across genomes, the regions harboring PSSRs, etc. The information provided in this database is very useful for further research and analysis of SSRs in prokaryotes.
Critical Thinking in the Moroccan Textbooks of English

Critical thinking in today’s education is one of the primary goals of educational programs around the world. As a desired outcome, critical thinking allows students to be effective learners in the learning process, responsible citizens in their daily life and successful employees in the job market. Therefore, students need to be socialized to carry out research, make decisions and solve problems in the high school context before moving to university. Therefore, this book aims at intorducing a brief critical review about critical thinking and then analyzing two second year baccalaureate textbooks of English, namely Insights into English and Ticket to English to find out if they help high school students develop a degree of critical thinking.
Verification of routing policies by using model checking technique

BGP, the de-facto inter-domain routing protocol, is well-known for its complexity in configuring correct behaviour. This stems from the fact that the protocol is policy-based. Despite best practice and guidelines, it is not uncommon to have policy conflicts in a real network. Currently, there is a lack of tools to verify that required properties, especailly, the convergence property, holds in a set of BGP configurations. This paper presents an approach to verifying BGP routing policy configurations by using a mathematical-rich technique, model checking. The experiments on sample network configurations are demonstrated. The convergence property are verified by using two linear temporal logic (LTL) formulas. The experimental results has shown that it is possible to conclude, based on the results of the verification, whether or not a set of BGP routing policy configurations will converge on a solution for a particular network destination.
A moving grid cell based MCL algorithm for mobile robot localization

Mobile robot localization is a fundamental and very important problem in robotics. Grid localization and Monte Carlo localization (MCL) are two of the most widely used approaches for localization, especially the MCL. In this paper, we propose a novel global localization algorithm called moving grid cell based MCL, which takes advantages of both grid localization and MCL and overcomes their respective shortcomings. The proposed algorithm can reduce the computational cost, yield good results in highly symmetric environment and help avoid the kidnapping problem. Experimental results demonstrate the effectiveness and advantages of the proposed algorithm.
Tactical Social Network Analysis: Using Affiliation Networks to Aid Serial Homicide Investigation

Integrating crime pattern theory with tenets of social network theory, we argue that linking people who frequent the same places reveals intersecting behavioral patterns illustrative of case connectivity. Using the Green River serial murder investigation as a case study, we demonstrate that structural statistics may be useful in focusing investigative efforts. Significant shifts in the centrality of suspects emerge when we track the evolution of this case at 6-month increments, suggesting that the initial working case hypothesis misled investigators. Continued exploration into the utility of social network analysis (SNA) for tactical purposes will help advance applied criminology.
Enhancing Software Architecture Behavior Understanding and Extensibility by Multi-view Metamodeling

Component based development is recognized now as a powerful tool to manage actual systems' technological complexity. The success key factor of this discipline is the high level abstracting of systems' structural and behavioral constituents. On the other hand, enhancing software architectures simplicity and clarity by separating several concerns is a useful technique to manage complexity. In order to have a complete system specification, a rigorous behavior description is needed. Behavioral concepts and their use in architectural specification are in a fast evolution and have become so numerous, so it becomes difficult to elicit and manage them. For these purposes, we present in this paper, a generalized metamodel of behavioral aspects, that indexes the various architectural behavior concepts in classes, in a generic way. To enable more sophisticated and consistent analysis of architecture behavior we have separated behavioral concepts into packages basing on four functional perspectives: interface, static behavior, dynamic behavior, and interaction protocols. We show that our proposed metamodel allows having a general, a unified and an adaptable view of behavioral concepts required in software architecture description from all functional viewpoints.
A New Filtering-Based Actuator Fault Diagnosis Approach Based on NN Models of PDFs

In many practical processes, the measured information is the stochastic distribution of the system output rather than its value. In this paper, following the new development for the fault diagnosis (FD) problem of stochastic processes (L. Guo and H. Wang, 2005), an improved FD method with Hinfin performance optimization is considered by using the output stochastic distributions. A multi-layer perceptron (MLP) neural network is adopted to approximate the probability density function (PDF) of the system outputs. The measure of estimation errors represented by the distances between two output PDFs, would be optimized to find the diagnosis filter gain. Simulation example is given for the weighting dynamics to demonstrate the effectiveness of the proposed method
Comparison of Emerging Information Visualization Tools for Higher Education

Information Visualization online tools have gradually found its way into various contexts of use and Higher Education Institutions are not an exception. The considerable amount of data and information continuously produced in Higher Education Institutions provide Information Visualization professionals an interesting set of challenges which, if looked through a broader perspective all share a common goal: to assist and contribute to decision making. However, tools presently available, or in an ongoing stage, take different approaches regarding interface, interaction and goal design in Higher Education Institutions, Information Visualization tools. This paper presents a review and analysis of some Higher Education Institution Information Visualization online tools, according to an up-to-date theoretical framework. Its conclusions include some final thoughts on what is driving, or not, work and outcomes in this particular context of use.
A SPECTRUM METHOD FOR NATURAL LANGUAGE TEXT WATERMARKING TECHNIQUE

Natural language text watermarking, means embedding the watermark into a text document, using the natural language components as a carrier, in such a way that, modifications are imperceptible to the readers and the embedded information is robust against possible attacks. The watermark embedding scheme can either embed the watermark directly into host data or to a transformed version of the host data. In this paper a transform watermark embedding scheme is used for watermarking natural language text is proposal by using the spectrum method. Also explore various ways of natural language text watermarking. The results show that, the proposal technique is a successful one in implementing methods like, natural language text watermarking using spectrum transformation
Exponential convergence rates for the law of large numbers

Introduction. Consider a sequence of random variables I Xk: k = 1, 2, * * * I obeying the law of large numbers, i.e., there exists a constant c such that for every e>0 the sequence of probabilities P { n-1 k_ Xk-ci >e} =Pn(e) converges to zero as n-* oo. The object of the present paper is to study the relationships among an exponential convergence rate (i.e., Pn(e) = Q(pn) for p =p(e) < 1), the existence of the individual moment generating functions and the stochastic structure of the sequence { Xk }. Papers containing related studies (e.g., [1; 3; 5]) have treated the case of independent random variables and demonstrated exponential convergence under the hypothesis that the moment generating functions exist. The present paper studies the extent to which an exponential convergence rate implies the existence of the moment generating function and conversely. In particular, satisfactory necessary and sufficient conditions (Theorem 2) are found for exponential convergence of sequences of independent (not necessarily identically distributed) random variables. In the first section it is proved that an exponential rate of convergence for aniy stationary sequence necessarily implies the existence of the moment generating function of the random variables. Conversely an example is constructed showing that restrictions on the size of the variables cannot be sufficient to insure exponential convergence for the general stationary sequence. The terms size, smallness, etc., as used throughout the paper, refer essentially to the tail probabilities. The case of independence is treated in ? 2 where it is shown that the existence of all the moment generating functions on the same interval is necessary and that a growth restriction on the product of the first n of these generating functions is necessary and sufficient. In ? 3 it is shown that the existence of the moment generating functions is necessary for exponential convergence of the averages of a function of the variables of a Markov sequence having stationary transition probabilities. If the process satisfies Doeblin's condition then this condition is prov,ed sufficient. 4 contains an example showing that the existence of moment generating functions
Extensions to the Gaussian Copula: Random Recovery and Random Factor Loadings

This paper presents two new models of portfolio default loss that extend the standard Gaussian copula model yet preserve tractability and computational efficiency. In one extension, we randomize recovery rates, explicitly allowing for the empirically well-established effect of inverse correlation between recovery rates and default frequencies. In another extension, we build into the model random systematic factor loadings, effectively allowing default correlations to be higher in bear markets than in bull markets. In both extensions, special cases of the models are shown to be as tractable as the Gaussian copula model and to allow efficient calibration to market credit spreads. We demonstrate that the models - even in their simplest versions - can generate highly significant pricing effects such as fat tails and a correlation "skew" in synthetic CDO tranche prices. When properly calibrated, the skew effect of random recovery is quite minor, but the extension with random factor loadings can produce correlation skews similar to the steep skews observed in the market. We briefly discuss two alternative skew models, one based on the Marshall-Olkin copula, the other on a spread-dependent correlation specification for the Gaussian copula.
Fold or hold: experimental evolution in vitro

We introduce a system for experimental evolution consisting of populations of short oligonucleotides (Oli populations) evolving in a modified quantitative polymerase chain reaction (qPCR). It is tractable at the genetic, genomic, phenotypic and fitness levels. The Oli system uses DNA hairpins designed to form structures that self‐prime under defined conditions. Selection acts on the phenotype of self‐priming, after which differences in fitness are amplified and quantified using qPCR. We outline the methodological and bioinformatics tools for the Oli system here and demonstrate that it can be used as a conventional experimental evolution model system by test‐driving it in an experiment investigating adaptive evolution under different rates of environmental change.
Rural Development Through Diffusion of Information Technology

This paper discusses different policy options for the diffusion of information technology (IT) in rural areas. An IT programme for the northern part of Norway is assessed, and the effects of the programme are compared with the consequences of the ongoing diffusion of IT in the region. The analysis shows that the programme initiated some successful projects, but that it as a whole had minor effect on the diffusion and use of IT in the region. The conclusions are that technology diffusion programs should be integrated into general development strategies, and that one should put emphasis on stimulating innovations and learning processes locally. While technology push strategies are likely to be influenced by outside controlled forces, market pull efforts can more easily be adapted to local conditions and needs. This is not at least important when taking seriously to provide new jobs for women, which is particular important in rural areas.
Broadband Spectral Evolution of Scorpius X-1 along Its Color-Color Diagram

We analyze a large collection of RXTE archive data from 1997 April to 2003 August of the bright X-ray source Scorpius X-1 in order to study the broadband spectral evolution of the source for different values of the inferred mass accretion rate by studying energy spectra from selected regions in the Z track of its color-color diagram (CD). A two-component model, consisting of a soft thermal component interpreted as thermal emission from an accretion disk and a thermal Comptonization component, is unable to fit the whole 3-200 keV energy spectrum at low accretion rates. Strong residuals in the highest energy band of the spectrum require the addition of a third component that can be fitted with a power-law component, which could represent a second thermal Comptonization from a much hotter plasma, or a hybrid thermal/nonthermal Comptonization. The presence of this hard emission in Sco X-1 has been previously reported, however, without a clear relation with the accretion rate. We show, for the first time, that there exists a common trend in the spectral evolution of the source, where the spectral parameters change in correlation with the position of the source in the CD. In particular, using a hybrid Comptonization model, we show that the power supplied to the nonthermal distribution can be as high as half of the total hard power injected in heating the electron distribution. We discuss the physical implications derived from the results of our analysis, with a particular emphasis on the hardest part of the X-ray emission and its possible origins.
Singular spectrum analysis for gait patterns

This paper proposes a new approach to gait pattern analysis based on acceleration signals during different walking conditions. Instead of applying traditional classification techniques, the proposed method looks into the characteristics of acceleration signals. Filtering and template matching methods based on singular spectrum analysis (SSA) and longest common subsequence algorithm (LCSS) have been used. The method has been used to discriminate walking downstairs, level walking and walking upstairs using 10 healthy subjects. The results suggest that the proposed method gives new insight into quantitative aspects of gait patterns.
Analysis of power assist effect during skill assist for periodic motions under use of semi-active assist mechanisms

This paper describes an analysis of the power assist and the skill assist effects of a semi-active assist mechanism based on an energy control. For this mechanism, we have developed a soft and flexible power assist device that consists of an elastic material and a small direct current motor. The assist force is then the elastic force, which is controlled by adjusting the length of the elastic material by means of the motor. The skill assist is based on a motion correction method of periodic motions that was developed in a previous study. The control method can provide both power assist and skill assist affects. In this study, we analyze the adequacy of the power assist when simultaneously applying the skill assist.
FPGA design and implementation of a real-time stereo vision system

Stereo correspondence is the problem of discovering the closest possible match between two images captured simultaneously from cameras in different spatial locations. The differences between the positions of the matching points are the stereo disparity (disparity) value. Stereo vision is a well-known ranging method because it resembles the basic mechanism of the human eye. This paper describes the implementation and design of the real-time stereo vision system on Field Programmable Gate Arrays (FPGA). Stereo vision, is the most important in the field of depth measuring in 3D feature detection. This work proposes a fully pipelined stereo vision system providing a disparity image in real-time. The entire stereo vision process is realized using a single field programmable gate array (FPGA) without the necessity of any external devices.