Miracle-dz/UniFAR-FTUs huggingface dataset:
Using an engineering approach to understanding and predicting Web authoring and design

Software practitioners recognise the importance of realistic estimates of effort to the successful management of software projects, the Web being no exception. Having realistic estimates at an early stage in a project's life-cycle allows project managers and development organisations to manage resources effectively. Prediction is a necessary part of an effective process, whether it be authoring, design, testing or Web development as a whole. The first part of this paper describes a case study evaluation (CSE) where we measured characteristics of Web applications and the effort involved in designing and authoring those applications. The second half explores how we can use the measurements obtained to predict the effort involved in designing and authoring future Web applications. The prediction models employed were two algorithmic models - linear regression and stepwise multiple regression. Although the models generated did not have good prediction power, we believe that by using techniques that are more flexible, we will have better results.
Complete Genome Sequence of a Natural Recombinant H9N2 Influenza Virus from Wild Birds in Republic of Korea

ABSTRACT We report the complete genome sequence of a natural recombinant H9N2 avian influenza virus (AIV) that was isolated from a wild bird in the Republic of Korea in 2005. The genomic sequence and phylogenetic analyses showed that this virus contains six genes of North American lineage AIV and two genes of Eurasian lineage AIV. These data are beneficial for investigating the ecology and epidemiology of AIVs.
Giant and switchable surface activity of liquid metal via surface oxidation

Significance We present a method to control the interfacial energy of a liquid metal via electrochemical deposition (or removal) of an oxide layer on its surface. Unlike conventional surfactants, this approach can tune the interfacial tension of a metal significantly (from ∼7× that of water to near zero), rapidly, and reversibly using only modest voltages. These properties can be harnessed to induce previously unidentified electrohydrodynamic phenomena for manipulating liquid metal alloys based on gallium, which may enable shape-reconfigurable metallic components in electronic, electromagnetic, and microfluidic devices without the use of toxic mercury. The results also suggest that oxides—which are ubiquitous on most metals and semiconductors—may be harnessed to lower interfacial energy between dissimilar materials. We present a method to control the interfacial tension of a liquid alloy of gallium via electrochemical deposition (or removal) of the oxide layer on its surface. In sharp contrast with conventional surfactants, this method provides unprecedented lowering of surface tension (∼500 mJ/m2 to near zero) using very low voltage, and the change is completely reversible. This dramatic change in the interfacial tension enables a variety of electrohydrodynamic phenomena. The ability to manipulate the interfacial properties of the metal promises rich opportunities in shape-reconfigurable metallic components in electronic, electromagnetic, and microfluidic devices without the use of toxic mercury. This work suggests that the wetting properties of surface oxides—which are ubiquitous on most metals and semiconductors—are intrinsic “surfactants. ” The inherent asymmetric nature of the surface coupled with the ability to actively manipulate its energetics is expected to have important applications in electrohydrodynamics, composites, and melt processing of oxide-forming materials.
Fundamentals of Scanning Electron Microscopy

The scanning electron microscope (SEM) is one of the most versatile instruments available for the examination and analysis of the microstructure morphology and chemical composition characterizations. It is necessary to know the basic principles of light optics in order to understand the fundamentals of electron microscopy. The unaided eye can discriminate objects subtending about 1/60 ̊ visual angle, corresponding to a resolution of ~0.1 mm (at the optimum viewing distance of 25 cm). Optical microscopy has the limit of resolution of ~2,000 Å by enlarging the visual angle through optical lens. Light microscopy has been, and continues to be, of great importance to scientific research. Since the discovery that electrons can be deflected by the magnetic field in numerous experiments in the 1890s [1], electron microscopy has been developed by replacing the light source with highenergy electron beam. In this section, we will, for a split second, go over the theoretical basics of scanning electron microscopy including the resolution limitation, electron beam interactions with specimens, and signal generation.
A bio-mimetic snake-like robot: Sensor based gait control

This paper presents the design of a snake-like robot capable of moving with serpenoid motion presented by snakes in real world. A mechanism for measuring the contact between surface and robot is designed and finally, using the data collected by the sensors, a controller is designed for optimizing the motion on surfaces with different coefficients of friction. Experiments are conducted and results show the efficiency of the controller.
Cascaded decision based Non Linear filters for high density outlier noise removal in images and videos

This work aims a cascaded decision based filter for the removal of high density in image and video is proposed. The proposed scheme operates in two levels. First level is a decision based median filter and the later employs a decision based unsymmetrical trimmed variants. In the first stage the corrupted pixels are found and replaced by the median of the current processing window. The second level again inspects for the occurrence of outliers and eliminates them using unsymmetrical trimmed variants depending upon the content of the current processing window. The Main idea of the proposed algorithm is to formulate an algorithm that eliminates the outliers for high density outlier noise. The proposed algorithm is found to exhibit excellent noise elimination capability for noise densities as high as 90%. The proposed scheme shows better results quantitatively and qualitatively in image and video than the standard and other cascaded algorithms.
On Penrose limit of elliptic branes

We discuss a Penrose limit of an elliptic brane configuration with N1 NS5 and N2 D4 branes. This background is T-dual to N1 D3 branes at a fixed point of a 3/N2 singularity and the T-duality survives mthe Penrose limit. The triple scaling limit of N1 and N2 gives rise to IIA pp-wave solution with a space-like compact direction. We identify the quiver gauge theory operators and argue that upon exchange of the momentum along the compact direction and the winding number these operators coincide with the operators derived in the dual type-IIB description. We also find a new Penrose limit of the type-IIB background and the corresponding limit in the type-IIA picture. In the coordinate system we use there are two manifest space-like isometries. The quiver gauge theory operator duals of the string states are built of three bosonic fields.
Algorithms for finding robust and sustainable network flows against multilink-attack

This work improves algorithms for finding network flows both sustainable and robust against multilink-attack (MLA). It brings out the relationship between sustainability (flow solution before attack known as MLA-reliable flow) and robustness (flow value after attack known as MLA-robust flow). Both problems are known to be NP-hard. However, exact polynomial time algorithms exist for certain categories of network. It includes the Extended Multiroute Flow (EMRF) algorithm that exhibits a solution to both MLA-robust and MLA-reliable flows. The class of networks solved by EMRF is extended here by using a capacity differentiation method. Although, the previous best-known approximation algorithm to both problems is the naturally robust and sustainable multiroute flow algorithm. A deeper analysis of EMRF an MLA problems leads to new methods to find tighter upper and lower bounds. The success rate of EMRF and the quality of the approximation is evaluated on practical networks as complex networks or grids.
Using GQM and TAM to evaluate StArt - a tool that supports Systematic Review

Background: Although Systematic Literature Review (SLR) is a reliable way of conducting literature review, its process is laborious and composed of repetitive activities. Hence, aiming to facilitate and support the conduction of such a process, the StArt tool was developed. Objective: As any new technology should be evaluated before its use, the objective of this paper is to present an overview of this tool and describe an evaluation that was carried out aiming at characterizing its usefulness and its ease of use. Method: The evaluation, applied twice, was designed through GQM paradigm and TAM model. The participants were graduate students who had a previous knowledge on SLR and have already applied the SLR process manually. Results: In both the evaluations the results were concentrated on the answers “extremely agree” or “quite agree” both for the usefulness and for the ease of use. Conclusion: Based on the results the further actions are: improvements related to the “quite agree” answers and the conduction of an experiment for evaluating the StArt in a deeper way. Despite these needed improvements, the results provide insights that StArt indeed helps the conduction of SLR and facilitates the application of its process.
An exploration of important factors in the decision-making process undertaken by foundation degree students with respect to level 6 progression

Abstract Deciding what degree to study and where are very important decisions to make for a range of practical and economic reasons, and much research has been undertaken in this area. What has not been considered previously is the decision-making processes of students who have completed an associate degree, such as a Higher National Diploma or Foundation Degree, and are now considering where to complete their Bachelor education. Associate degrees are often provided by further education colleges (FECs) in partnership with universities, and the choices available to college-based higher education students are whether to continue at the college or move to university. A mixed-methods approach was adopted comprising of an online questionnaire and subsequent focus groups of students studying at HE at a southwest FEC. The findings showed that equal importance is placed on the practical issues of proximity and familiarity as on course suitability, with the only differences between those remaining at college and those moving to university being financially based.
Parameter Identification Method for a Three-Phase Induction Heating System

This paper describes a new method for the online parameter estimation of an induction heating system. Simulations and experiments are presented in order to measure its impedance matrix for more exact control in closed loop. In previous papers, various parameter identification methods including offline methods were introduced and compared for current inverters. It has been demonstrated that parameter identification is necessary to achieve good control of the inductor currents. A “pseudoenergy” method for a simple and fast implementation is compared to a classical “V/I with phase shift” method. They are experienced on a reduced-power three-phase coupled resonant system supplied with voltage inverters with satisfying results.
The Global Rise of Populism: Performance, Political Style, and Representation

of both the setting and the action’ (p. 194), which, among other things, confronts the invisibility of women who for various reasons ‘fall foul of the law’ (p. 196). In the chapter that concludes Part 3, Walters discusses Orange is the New Black (American television series) as a ‘multivalent . text’ (p. 201), which is not, however, intended for a ‘voyeuristic male getting off on the shower scenes and nudity’ (p. 204). Part 4, ‘Villainesses and anti-antiheroines’, covers three accounts of fictional female figures that do not fit into the antiheroine category, which typically involves a female protagonist displaying moral oscillation that graces her character. Thus, the subject of Joyce’s and La Pastina’s essay is the Brazilian series Salve Jorge (‘Hail George’), with character Lívia Marine (Claudia Raia) who, ‘driven by power and money’ (p. 228) rather than, for example, revenge or vengeance commits horrific crimes against other women and does not display any potentially likeable feminine characteristics of an antiheroine. Another (American) television series that presents female criminals without inherent sympathetic portrayals is The Wire where, as Williams and Press claim, African American women of crime are unfairly denied the nuanced approach that typically connects the audience with the antihero or antiheroine in empathic identification. Redhead’s analysis of Underbelly: Razor concludes the conversation as the author claims that this Australian series is another example of a not so successful portrayal of a television antiheroine: as the narrative focuses on domestic and maternal themes rather than criminal action and public space, the transgressive potential of the story is significantly diluted. The contributors to the book successfully manage to ‘explore atypical portrayals of femininity’ (p. 4) from an international perspective, which is their joint goal as outlined in the Editor’s Introduction. Written for a wide contemporary readership, the book will be of practical use to students of communication and media studies and must not be overlooked by academic philosophers inasmuch as the authors’ discussions contribute to debates on the ontological and existential structures of human existence. Indeed, how do patriarchal gender norms – and attempts to disengage from them – influence our understanding of our own and other people’s selves? It is not easy to escape from these norms: a perceptive reader will note, for example, that the impetus that moves a woman to the position of leadership in organised crime is due to the absence of a man (caused, for example, by death or imprisonment) who would have assumed the leadership role if he was there. The situation where a woman takes on a leadership role when (and only when) a suitable man is not available is not new in human history and in some sense reinforces the patriarchal model of societal organisation.
Adiposity induces lethal cytokine storm after systemic administration of stimulatory immunotherapy regimens in aged mice

William Murphy’s group at UC Davis previously found that systemic administration of stimulatory immunotherapy (IT) in aged mice resulted in the rapid induction of cytokine storm culminating in multi-organ pathology and rapid lethality. They now show that in addition to age, increased body fat is critical to this adverse reaction, as aged calorie-restricted mice demonstrate protection from IT-induced toxicity. In contrast, young obese mice succumb to cytokine storm, multi-organ pathology, and lethality after systemic IT administration.
SAPOVIRUSES IN CHILDREN WITH ACUTE GASTROENTERITIS FROM MANAUS , AMAZON REGION, BRAZIL, 2010-2011

SUMMARY Sapoviruses (SaVs) are responsible for acute gastroenteritis in humans, especially children and the elderly. In Brazil, data on SaVs infections are very limited, especially in Northern Brazil. Here, we investigated the occurrence of SaVs in samples from hospitalized children under ten years old that presented acute gastroenteritis. Positive samples were genotyped and phylogenetic analysis was performed using prototype strains sequences obtained from GenBank database. In total, 156 fecal samples were screened by RT-PCR for SaVs. A positivity rate of 3.8% (6/156) was found in children under three years of age. Four genotypes were detected: GI.I, GI.2 and GII.2? -GII.4? /GII.4, suggesting a possible inter-genotypes recombination. Most infections (83.3%) occurred between August and September. The positivity was similar to that found in other countries and genotyping demonstrated the presence of distinct genotypes. To our knowledge, this is the first study reporting the circulation of SaVs in Manaus, state of Amazonas, Amazon region, Brazil.
Control of linear systems subject to input constraints: a polynomial approach. MIMO case

A polynomial approach is pursued for locally stabilizing discrete-time linear systems subject to input constraints. Using the Youla-Kucera parametrization and geometric properties of polyhedra and ellipsoids, the problem of simultaneously deriving a stabilizing controller and the corresponding stability region is cast into standard convex optimization problems solved by linear, second-order cone and semidefinite programming. Key topics are touched on the stabilization of MIMO plants or maximization of the size of the stability domain. Readily implementable algorithms are described.
Ae4 (Slc4a9) is an electroneutral monovalent cation-dependent Cl−/HCO3− exchanger

AE4 is an anion exchanger known to counter transport Cl− and HCO3− across secretory cell membranes. Peña-Münzenmayer et al. show that AE4 is an electroneutral exchanger and that it also transports monovalent cations in the same direction as HCO3−.
An adaptive network congestion control method of mobile VoIP

This paper proposed an adaptive network congestion control method integrate with enhanced NLMS predictor of transmit jitter for mobile VoIP, this method can adaptive adjust network congestion according to the network status. The testing result shows that the voice quality of mobile VoIP with proposed method is better than the voice quality of mobile VoIP without network congestion control method.
Investment in Technological Innovations with a jump process

This study analyzes the optimal current technology adoption investment when there is stochastic innovation for future improved technology. We present a technique for studying the framework in which the technological process follows a Poisson (jump) process which provides discontinuous and nondecreasing properties of technological process to characterize the nature of technological movement. The analytical results provide complete characterizations for the threshold of adopting current technology. We suggest that the influence of uncertainty on technology adoption may violate the conjecture in Grenadier and Weiss (1997)’ simulation
Local Feature Binary Coding for Approximate Nearest Neighbor Search

The potential value of hashing techniques has led to it becoming one of the most active research areas in computer vision and multimedia. However, most existing hashing methods for image search and retrieval are based on global representations, e.g., GIST, which lack the analysis of the intrinsic geometric property of local features and heavily limit the effectiveness of the hash code. In this paper, we propose a novel supervised hashing method called Local Feature Binary Coding (LFBC) for projecting local feature descriptors from a high-dimensional feature space to a lower-dimensional Hamming space via compact bilinear projections rather than a single large projection matrix. LFBC takes the matrix expression of local features as input and preserves the feature-to-feature and image-to-class structures simultaneously. Experimental results on challenging datasets including Caltech-256, SUN397 and NUS-WIDE demonstrate the superiority of LFBC compared with state-of-the-art hashing methods.
Automatic word assignment to images based on image division and vector quantization

We propose a method that relates images and words. This method is based on statistical learning from image databases with words. The method uses two processes. The first uniformly divides each image into sub-images. With this division, all words assigned to images are inherited by each sub-image. The second process clusters sub-images by vector quantization. These processes produce results which show that each sub-image can be correlated to a set of words, each of which is selected from words assigned to original images. After clustering, the voting probability of each word for a set of divided images is estimated. This is done for each cluster of the feature vector of sub-images. Experiments show that this method is effective.
A Descriptive Model of Software Development to Guide Process Improvement

Software process improvement can follow a capability maturity model such as SPICE or CMMi. Or it can focus on improving selected software processes in detail. The latter can either be a stand-alone improvement activity, or it can tune processes that were established or modified due to a large-scale assessment. Some software processes need to be adjusted qualitatively: process steps or deliverables need to be added, modified, or dropped from the process. In many cases, however, the complexity of software processes comes with their quantitative aspects: while testing is a good activity, for example, it must neither be carried out too long nor too short. Quantitative analysis of software processes requires an adequate model to capture relevant aspects. This paper presents a descriptive approach to model software development. It covers effort, size of deliverable, and quality, and it helps to better understand effects occurring in software projects. Key concepts and modeling examples are presented. Our FLOW project investigates opportunities to improve software processes based on optimizing project information and experience flows. A descriptive model of software project dynamics is an important ingredient.
BlockTapping: An Online Transparent Integrity Checker for Virtual Storage

The integrity of virtual storage has become a very important issue in the virtual computing environment (like Xen-based computing platform). Current integrity detection systems have some disadvantages, for example, they cannot protect themselves well or the dependence between the detection results and the target system is high. We refer to the problem as lack of transparency. This paper presents a novel online integrity checker, Block Tapping, which ensures its security benefiting from the isolation property of virtual machine. Block tapping monitors the block-level data streams transparently through block-to-file semantic-translation at the virtual block device layer. Based on the self-described information of virtual storages, Block Tapping detects the file-level malicious behaviors independent of the internal state of the compromised virtual machine. Experiments show that the prototype system successfully captures 13 typical user-mode root kit attacks against virtual storage, and the performance overhead is acceptable.
Density Forecasting: A Survey

A density forecast of the realization of a random variable at some future time is an estimate of the probability distribution of the possible future values of that variable. This article presents a selective survey of applications of density forecasting in macroeconomics and finance, and discusses some issues concerning the production, presentation and evaluation of density forecasts.