Miracle-dz/UniFAR-FTUs huggingface dataset:
Test suite optimisation based on response status codes and measured code coverage

A software test suite often comprises of thousands of distinct test cases. Therefore, the execution of an unoptimised test suite might waste valuable time and resources. In order to avoid the unnecessary execution of redundant test cases, the test suite should be optimised to contain fewer test cases. This thesis focuses on the optimisation efforts of a commercially available Hypertext Transfer Protocol (HTTP) fuzzing test suite. A test setup was created for the optimisation purposes. The test setup consisted of the given fuzzing test suite, five different HTTP server implementations used as test subjects, and a code coverage measurement tool. Test runs were executed against the five test subjects with the test suite, and at the same time code coverage was measured from the test subjects. In this thesis, three different types of test suite optimisation algorithms were implemented. The original test suite was optimised by applying the optimisation algorithms to the results of the test runs. Another set of test runs were performed with the optimised subset suites, while again measuring code coverage from the same test subjects. All of the coverage measurement results are presented and analysed. Based on the code coverage analysis, the test suite optimisation algorithms were assessed and the following research results were obtained. Code coverage analysis demonstrated with a strong degree of certainty that a variation in the response messages indicates which test cases actually exercise the test subject. The analysis showed also with a quite strong degree of certainty that an optimised test suite can achieve the same level of code coverage which was attained with the original test suite.
Nonlinear control design for wave energy converter

In this thesis, we study the optimization of a single-piston pump system for use in a new wave energy converter by using a feedback mechanism. The first part of the thesis is dedicated to the optimal determination of control variables using the dynamical model of the single-piston pump system, which is a switched system that is built on first principles and describes the dynamics of four main important elements of the system: the buoy, the rod, the piston and the pumped water. Using the Analysis of Variance method, it is found that the two optimum control variables are the area of the piston, as expected, and the mass of the buoy. The second part of the thesis deals with the design of optimal feedback control where the area of the piston is the chosen control variable. The control method is based on the well-known Model Predictive Control that has been adjusted to our switched system. Our simulation results show that the proposed control method is able to reach performance close to the optimal one.
Physico-chemical properties of native and acid hydrolyzed buckwheat starch

Buckwheat, which contains high nutritional values of protein, dietary fibre, phenolic compounds and minerals, is a major pseudo-cereal for processing functional foods, especially the Japanese buckwheat noodles (soba noodles). In buckwheat flour, starch is a main component which plays an important role in the functional properties of end-use food products. The present aim to this study was to determine the physico-chemical properties of native and acid hydrolyzed starch extracted from buckwheat. Amylose content and swelling power of buckwheat starch decreased whereas, solubility and light transmittance of buckwheat starch increased after acid hydrolysis of starch obtained from buckwheat.
Automatic Acquisition of Useful English Expressions Using Dependency Relations

In this paper, we propose a method to acquire English expressions useful for academic writing. The method utilizes dependency relations between words and their statistical information. It acquires subsequences of English sentences whose words are connected with dependency relations, and discriminates useful ones for academic writing by using statistical information. We conducted an experiment and the result demonstrates the effectiveness of our method.
Performance Management for Performing Arts – A Framework for the Evaluation of Artistic Quality in Public Professional Opera Houses

The objective of the research presented in this paper is the development and validation of an operaspecific framework for the evaluation of artistic quality from the specific point of view of arts management. To achieve the necessary agreement on the framework between the main actors of the cultural system “opera”, this framework has to consider all the factors forming the current conception of the artistic quality of opera houses. This has been obtained through an interdisciplinary analysis of the latest contributions coming both from the academic world and from practice, whose results are presented here in detail. Through a theoretical and practical validation, this innovative framework will set the standards for further research in performance management for performing arts and for the social sciences interested in the evaluation of artistic quality of opera houses.
Fault location in a series compensated transmission line based on wavelet packet decomposition and support vector regression

This paper proposes a novel transmission line fault location scheme, combining wavelet packet decomposition (WPD) and support vector regression (SVR). Various types of faults at different locations, fault resistance and fault inception angles on a series compensated 400 kV–285.65 km power system transmission line are investigated. The system only utilizes a single-end measurements. WPD is used to extract distinctive fault features from 1/2 cycle of post fault signals after noises have been eliminated by a low pass filter, and SVR is trained with features obtained from WPD. After training, SVR was then used in precise location of fault on the transmission line. The result shows that fault location on transmission line can be determined rapidly and correctly irrespective of fault impedance. © 2010 Elsevier B.V. All rights reserved.
K-Rich Rocks at Gale, Dingo Gap to the Kimberley: An APXS Perspective

Thompson 1 , M. Schmidt 2 , G. Perrett 3 , B. Elliott 1 , R. Gellert 3 , M. Fisk 4 and the APXS Team. 1 Planetary and Space Science Centre, University of New Brunswick, Fredericton, NB E3B5A3, Canada lthompso@unb.ca; 2 Department of Earth Sciences, Brock University, St. Catharines, ON L2T3V8, Canada; 3 University of Guelph, Guelph, ON N1G2W1, Canada; 4 College of Earth, Ocean, and Atmospheric Sciences, Oregon State University, Corvallis, OR 97331 U.S.A Introduction: Curiosity’s APXS instrument has acquired 112 rock and soil analyses up to the Kimberley waypoint (Fig. 1), recording a diversity of rock compositions and encountering a number of K-rich (13 wt% K2O) rocks. After landing in Gale crater on Bradbury Rise, Curiosity head towards the Yellowknife Bay (YKB) area before driving towards Mount Sharp. Four waypoint locations: Darwin, Cooperstown, the Kimberely and Murray Buttes were selected for more in-depth exploration by the rover along the route to Mount Sharp. The Kimberley waypoint (Fig. 1) was selected as the third drilling location as it represents an area with at least three orbitally distinct units: the striated unit, the middle unit, and the smooth, hummocky plains unit. From Dingo Gap to the Kimberley, APXS analyzed rock targets at three in situ outcrops, as well as two float rocks. These analyses are compared with the compositions of all rocks analyzed by APXS on the MSL mission since landing [1].
Agris category code : L 51 , Q 04 MODIFICATION OF DIET FATTY ACID COMPOSITION CHANGE THE FATTY ACID COMPOSITION OF RABBIT MEAT

1 Univ. of Ljubljana, Biotechnical Fac. , Dept. of Animal Science, Groblje 3, SI-1230 Domžale, Slovenia, e-mail:tatjana.pirman@bf.uni-lj.si 2 Same address as 1, e-mail: tina.trebusak@bf.uni-lj.si 3 Same address as 1, e-mail: alenka.levart@bf.uni-lj.si ABSTRACT The objective of the study was to determine the effect of linseed oil supplementation on the performance and fatty acid composition of rabbit leg muscle and adipose tissue. Two experiments were done. First experiment: twelve male SIKA rabbits, divided in two groups, control (n = 4; commercial diet) and the linseed (n = 8; commercial diet with 9% of linseed oil sprayed onto the pellets). Second experiment: twenty-four (12 male and 12 female) SIKA rabbits, divided in two groups, palm fat (n = 12; 6% palm fat), linseed oil (n = 12; 6% linseed oil). Body mass gain, feed intake and feed efficiency were recorded. The fatty acid composition of leg intramuscular lipids and adipose tissue was determined by gas chromatography and malondialdehyde (MDA) concentration in plasma and leg muscle was measured. The results clearly show that the fatty acid composition of leg muscle and adipose tissue depends on the diet fatty acid composition. Linseed oil in both experiments reduced the proportion of saturated fatty acid (SFA) and increased the proportion of polyunsaturated fatty acids (PUFA) in both tissues. Linseed oil also reduced the n-6/n-3 PUFA ration to more favorable (8.22 to 1.31 and 6.82 to 1.81 in first and second experiment, respectively). However, linseed oil addition leads to significantly higher MDA concentration in leg muscle.
Application of Lexicographic Goal Programming with convex optimization in control systems

Goal Programming (GP) is a multi-objective optimization technique that is used when there are multiple conflicting goals in the cost function of an optimization problem. Lexicographic Goal Programming (LGP) is most commonly used form of GP when there are clear priorities in the goals that leads to a lexicographic order, i.e., priroritization. We can solve LGP problems by solving a sequence of optimization problems, where the optimal cost of an optimization problem in the sequence becomes a constraint for all optimization problems that are solved afterwards. In this paper, we present the basic LGP framework where each problem in the sequence is a convex optimization problem. We provide examples from control systems where LGP is a natural choice due to the clear priorities of objectives. LGP formulation leads to a sequence of convex optimization problems, which enables us to use polynomial time Interior Point Method (IPM) algorithms to solve these problems efficiently and potentially in real-time. In some cases, we also show that this prioritization provides convexification of the problem at hand, which would have otherwise required the solution of a non-convex optimization problem. Our primary objective in writing this paper is to illustrate the usefulness LGP formulation of control problems that can be encountered in aerospace engineering.
Climb, cruise and descent 3D trajectory optimization algorithm for the flight management system CMA-9000 on the Airbus A310

Global warming is one of the major issues in the Earth today. Many studies are intended to reduce aircraft’s fuel consumption to minimize aviation’s footprint. This article presents the combination between two different trajectories’ optimization types: one optimizing the vertical navigation profile, and the other optimizing the lateral navigation profile. The aircraft model is obtained from a performance database, which offers an improved precision over aircraft modeled trough equations of motion, constantly used on the literature. The calculation of the optimal trajectory is obtained by implementing dynamic weather information. The VNAV algorithm calculates the optimal altitudes, speeds and step climbs to reduce fuel consumption, while the LNAV algorithm searches for alternative horizontal trajectories. The aircraft takes advantage of tail winds and avoids head winds. The results were compared with real flight information, and the fuel burn reduction obtained is encouraging.
irst mitochondrial DNA analysis of the spectacled porpoise ( Phocoena dioptrica ) rom Tierra del Fuego , Argentina ida

The spectacled porpoise (Phocoena dioptrica, Lahille, 1912) is one of the cetacean species about which least is known. Most information on the biology and ecology of this species has been obtained from stranded specimens and sightings at sea. In this study, analysis of 380 bp fragment of mitochondrial DNA (mtDNA) control region sequences (N = 50) was performed to provide a preliminary assessment of the genetic
Using High Performance Computing to Improve Image Guided Cancer Treatment

Radiotherapy is one of the main cancer treatments used today. It is a complex process that relies on finding the cancer in the images of the patients with the most accuracy possible in order to minimize the radiation that the surrounding organs receive. Given that a typical radiotherapy treatment process lasts for 6 weeks, ideally, a system that performs this analysis in real time reliably would enable a better treatment process. The Western General Hospital and the Edinburgh Cancer Research Center have a prototype system based on texture features analysis of small lung and rectum cancer patients’ images that is currently being developed and used for their research. It was implemented in MATLAB and we used and compared four different technologies to optimize the software: the MATLAB Parallel Toolbox using a small computer cluster, the GPU computing support given by that toolbox, the Jacket add on for GPU computations for MATLAB and finally C/CUDA native function calls from MATLAB, all these GPU technologies were carried on using a NVIDIA Tesla C2050 card.
STUDY PROTOCOL (Summary from the Brazilian original protocol) Study: EFFECTS OF THE INSPIRATORY MUSCLE TRAINING AND AEROBIC TRAINING ON RESPIRATORY AND FUNCTIONAL PARAMETERS, INFLAMMATORY BIOMARKERS, REDOX STATUS AND QUALITY OF LIFE IN HEMODIALYSIS PATIENTS: A RANDOMIZED CLINICAL TRIAL

Márcia Maria Oliveira Lima 2 , Henrique Silveira Costa 3 , Jeanne Branda Martins 1 , Olga Dumont Flecha 4 , Patrícia Furtado Gonçalves 4 , Frederico Lopes Alves 5,6 , Vanessa Gomes Brandão Rodrigues 5,6 , Emílio Henrique Barroso Maciel 5,6 , Vanessa Amaral Mendonça 1,2 , Ana Cristina Rodrigues Lacerda 1,2 , Érica Leandro Marciano Vieira 3 , Antonio Lúcio Teixeira 3 , Fabricio de Paula 5 , Cláudio Heitor Balthazar 1,2 .
Effect of the combination among compost , bioagents and soil solarization on management of strawberry Verticillium wilt

______________________________________________________________________________________ Abstract---Isolation trials from strawberry plants showing mainly wilt symptoms grown at Behera, Ismailia, Menofia, Kalubia and Giza governorates yielded Alternaria spp. , F.oxysporum , F.solani, Rhizoctonia solani and Verticillium dahliae. Pathogenicity test of the five isolates of V.dahliae revealed that they caused wilt symptoms and Ismailia isolate was the most virulent one. Five isolates of Bacillus spp. , i.e. Bacillus coagulans , B.pumilus , B.megaterium, B.subtilis and B. thuringiensis and two isolates of Pseudomonas spp. , i.e. P. fluorescens and P.putida were isolated from the rhizospheric soil of apparently healthy strawberry plants grown in a field have severe infection by Verticillium wilt and screened for their efficacy against V.dahliae, in vitro and in vivo experiments. In general, P.fluorescens followed by Bacillus subtilis were the most efficient in reducing the linear growth of the pathogenic fungus. Culture filtrate of B.subtilis and P.fluorescens as well as the aqueous filtrate of compost resulted in significant reduction to the germinated conidiospores of the causal fungus compared with the control . T his reduction was gradually increased by increasing the tested concentration. In addition, culture filtrate of the compost was more efficient than the culture filtrate of the tested bioagents. The combination among compost, the bioagents B.subtilis and P.fluorescens and soil solarization resulted in significant reduction to strawberry Verticillium wilt with significant increase to the produced fruits and their total soluble solids (T.S.S.) , either each of them was used alone or in their different combinations, compared with the control treatment (infested with the causal fungus). On the other hand, soil solarization was the most efficient in this regard compared with the other two items of disease management when each of them was used alone. Moreover, no apparent infection was detected when the bioagents B.subtilis and P.fluorescens ,compost and soil solarization were used together and the produced fruit yield and it ́s T.S. S. were , to somewhat, similar to the control treatment (uninfested soil with any fungus).
A Deterministic T-Way Strategy for Test Data Minimization

In order to meet market demands for quality software products, software engineers are increasingly under pressure to test more lines of codes. To maintain acceptable test coverage, software engineers need to consider a significantly large number of test cases. Many combinations of possible input parameters, hardware/software environments, and system conditions need to be tested and verified against for conformance based on the system’s specification. Often, this results into combinatorial explosion of test cases. While earlier work has indicated that pairwise testing (i.e. based on 2-way interaction of variables) can be effective to detect most faults in a typical software system, a counter argument suggests such conclusion cannot be generalized to all software system faults. In some system, faults may also be caused by the interaction of more than two parameters (i.e. t-way). In order to address some of these issues, this paper discusses a novel strategy, called GTWay. Utilizing two main algorithms (i.e. the t-way pair generation algorithm and the backtracking algorithm respectively) as its basis, we demonstrate the efficiency and correctness of GTWay for t-way test data minimization. Keywordst-way Testing, Software Engineering
Commodity prices and real and financial processes in the Euro area : a Bayesian SVAR approach

This paper deals with links between global energy and non-energy commodity prices and real and financial processes in the euro area. We use monthly data spanning from 1997:1 to 2013:12 and the structural Bayesian VAR model with Sims-Zha prior specification. The analysis is performed for three sub-periods in order to capture potential changes in the reactions over time. Our main finding is that, commodity prices are indeed related to financial processes in the euro area macroeconomy: changes in the euro area interest rate have significant influence on commodity prices. There is no relation, however, between real processes in the euro area and commodity prices. Additionally, the relations between commodity prices have gradually become tighter over time.
Incidence and Factors Affecting Subclinical and Clinical Mastitis in Selected Organised Dairy Farms Located in Tamil Nadu

The study is undertaken in five organised dairy farms located in Chennai, Trichy and Karur districts of Tamil Nadu to assess the incidence of clinical and sub clinical mastitis and predisposing factors such as Herd, Breed, Parity, stage of lactation and the efficiency of two screening tests for the diagnosis of sub clinical mastitis (SCM) in the dairy farms. A total of 159 cows with 636 quarters samples screened for clinical mastitis signs and SCM by modified California mastitis test (mCMT) and somatic cell count (SCC). The results showed that 9.4 per cent of animals had clinical mastitis, 66.7 per cent had SCM by mCMT and 77.4 per cent by SCC. The quarter wise incidence of SCM was 47.6 per cent as screened by mCMT and 51.7 per cent by SCC. There are no significant differences observed in the incidence of clinical mastitis and SCM in farm and breed wise. Parity (p<0.01), Stage of lactation by SCC method (p<0.05), Quarter-wise (p<0.05) incidence have significant differences of occurrence. SCM as screened by mCMT and SCC were compared for agreement by Cohen’s Kappa statistics and the per cent agreement for the two methods of screening SCM was 54.7 per cent with a P-value of 0.000. The study conclude that the higher SCM incidence in organised dairy farms as 66.7 per cent by mCMT and 77.4 per cent by SCC and necessitate the need of effective mastitis control program to be implemented at the farm level.
Design of a Vital Sign Protocol Format Using XML and ASN.1

Tele-monitoring of the condition of patients is an essential component of an electronichealthcare (e-health) system. In an electronic health record system, vital signs which reflect the condition of the patient have to be transferred over the heterogeneous communication network. One of the fundamental problems in dealing with communication in heterogeneous systems is to exchange data in such a way that the data received can be interpreted the same ways as the data before transmission. In the OSI model, the representation of data (including data structures and data types) to be exchanged is a function of the application layer [24]. Meanwhile, the encoding of the data format into a specific bytes stream for transfer is addressed by the presentation layer. This separation of functions allows the application layer deal only with the data format, independent of the encoding type applied in Presentation Layer. The aim of this thesis is to investigate the tool-based design methods to construct a protocol data format for distributed applications that apply separation of data format specification at several abstraction levels, distinguishing between abstract syntax formats and distinguishing transfer syntax format which are meaningful for the applications and the underlying transport systems, respectively. The design methods address some features presented by XML-based data format, while to get more compact transfer syntax, the design methods makes use of ASN.1 encoding rules to produce binary-encoded data format. Many electronic health record systems use XML technology as data format in the application layer. One of the benefits of using an XML-based data format is independency from encoding issue applied in its underlying layer. However, considering to the transfer syntax, an XML-based data format consumes more data length. It is because of the encoding technique used by XML-based data format is based-on textual encoding. By applying encoding rules like in ASN.1 in the presentation layer, the electronic health record system may produce a more compact transfer syntax, due to the feature of ASN.1 encoding rules that can generate binaryencoded data format, which is more compact than textual encoding like used by XML. The design methods are then applied to construct a protocol data format specific for electronic health records, including vital signs data of both continuous-time and non continuous-time type. Table of contents III
A fast algorithm for the CP decomposition of large tensors

The canonical polyadic decomposition is one of the most used tensor decomposition. However classical decomposition algorithms such as alternating least squares suffer from convergence problems and thus the decomposition of large ten-sors can be very time consuming. Recently it has been shown that the decomposition can be rewritten as a joint eigenvalue decomposition problem. In this paper we propose a fast joint eigenvalue decomposition algorithm then we show how it can benefit the canonical polyadic decomposition of large tensors.
Visualisation of gene and pathway determinants of disease

Log diagnostic likelihood ratios (Pepe, 2003) have a long history in the the development and use of regulated medical diagnostic devices (see McNeil and Hanle, 1984; Radack et al., 1986; and Weissler and Bailey, 2004). Their relevance to genetic classification can be seen by posing a metric for the individualisation of genetic differences as follows:The prior odds of a hypothesis relative to a baseline hypothesis is