Miracle-dz/UniFAR-FTUs huggingface dataset:
Security in data forwarding through elliptic curve cryptography in cloud

Cloud is an emerging trend in IT which moves the data along its computing away from handy systems into large remote data centers where the management of those resources are not trustworthy. Because of its magnetized features, it is gaining popularity among the IT people and the researches. However building a secure storage system with some functionality is still a challenging task in cloud. Existing methods suffer from inefficiency and delay because the data cannot be forwarded to user without retrieving back and offline verification causes delay. This paper focuses on designing a secure cloud storage system that supports data forwarding function using elliptic curve cryptography. The proposed work also concentrates on Online Alert methodology which indicates the data owner when any attacker tries to modify the data or any malpractice happens during data forwarding. Moreover, our method ensures multi-level security when compared to existing systems.
Determinants of farmers’ uptake of animal health and welfare technologies under the common agricultural policy

This study analyses the impact of a priori identified determinants of adoption of innovative animal health and welfare technologies by Scottish livestock farmers. The analysis uses a dataset of 1,764 observations for livestock farmers collected through a large scale survey of Scottish agricultural holdings, and structural equation modelling to test influences on technology adoption intentions and behaviour. Having made changes to business; perceived effects of technology and information on business; being recipient of a single farm payment; age; economic characteristics; access to/perceived usefulness of information; and perceived difficulty to change have significant influence on both technology adoption behaviour and intentions.
Optimal Policies for an Assemble-to-Order N-System

We consider an assemble-to-order (ATO) N-system, in which there are two components and two products. One product requires only component-1, while the other product requires both components. The components are kept in stock and are procured from outside suppliers with fixed leadtimes. The final products are assembled only after customer orders are realized. Using a hybrid approach that combines sample-path analysis, linear programming, and the tower property of conditional expectation, we characterize the optimal component replenishment policy and common component allocation rule. To our knowledge, this is the first full characterization of the optimal policies for ATO systems with non-identical leadtimes. The optimality results require a certain symmetry in the cost parameters. In the absence of this symmetry, the optimal policies have no clear structure. For these latter systems, we develop heuristic policies and show their effectiveness. Finally, we present comparative statics of the optimal policy parameters and show that some commonly used heuristic policies can lead to significant optimality loss.
A multidimensional dynamic framework for handling simple interruption phenomena, anaphoric pronouns and definite descriptions

This thesis introduces a semantical system for handling nested discourses with interruptions from a semantic point of view developed on the insights of Groenendijk and Stokhof's (1991) system which deals with anaphoric pronouns occurring in a non-nested discourse, i.e., in a linear sequence of sentences. The key is the insight that a sentence is a func- tion between information states which are seen as a set of assignment functions. Since the present work deals with hierarchically structured discourses, multidimensional functions and multidimensional information states will be used instead. This thesis not only generalizes previous work, but also opens the way for a new series of semantical systems. As a first step into the multidimensional dynamic logic framework, the present system has only dealt with a very few parameters. Indeed, we assume in a quite unrealistic fashion that all dimensions share the same domain of individuals. We assume also that there are no intentional (rhetorical) relationship amongst discourse blocks.
Needle insertion modelling and simulation

A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for measuring planar tissue deformation during needle insertions has been developed and is presented. The planar motion of a soft tissue phantom is measured during needle penetration and used in conjunction with a two dimensional linear elastostatic material model, discretised using the finite element method, to derive contact force information that is not directly measurable. This approach provides a method for quantifying the needle forces and soft tissue deformations that occur during general needle trajectories in multiple dimensions. A simulation algorithm that is based upon these results is also described.
Assessing Helping and Hurting Behaviors Through the Tangram Help/Hurt Task

Across six studies, we validated a new measure of helpful and hurtful behaviors, the Tangram Help/Hurt Task. Studies 1 to 3 provided cross-sectional correlational convergent and discriminant validity evidence for the Tangram Task using college-based and adult online samples. Study 4 revealed that previously validated empathy primes increase helpful behaviors on the Tangram Task. Studies 5 and 6 revealed that previously validated provocation manipulations increase hurtful behaviors on the Tangram Task. The effects of various experimental manipulations on the Tangram Task were similar to or larger than on other established indices of helpful and hurtful behaviors. In addition, motivation items in all studies indicate that tangram choices are indeed associated with the intent of helping and hurting. We discuss the advantages and limitations of the Tangram Help/Hurt Task relative to established measures of helpful and hurtful behaviors.
When Nightmares Become Real: Modelling Linkages between the Financial Sector and the Real Economy in the Aftermath of the Financial Crisis

Our understanding of the links between the financial sector and the rest of the economy needs to improve concludes this report. The authors say that the complexity of these linkages have been neglected in the models typically used to guide monetary policy – the question is how to remedy deficiencies in policymakers’ economic models of the world, so that they can be used with confidence in guiding policy. The need to factor in a rich representation of the linkages between the financial sector and the real economy is also critically important to determining the extent to which monetary policy can, or should, be used to counteract the buildup of systemic risk in the financial system, the key issue from a policy framework perspective.
A Component Meta Model for Reused-Based System Engineering

The domain of research of our team crosses system engineering based on reuse, component paradigm an interoperability. Our goal is to provide the integration of existing heterogeneous distributed components. This integration must be plat-form independent, in order to face the problem of middleware proliferation. First, we position our approach with regard to Model Driven Architecture. We briefly present a new component meta model which rests on the principle of de-coupling between components, and supports the separation between the data flow and the control flow. Then we present a reuse process based on MDA. A UML Profile allows the definition of the meta model and the mappings between the PIM and the target PSMs. To complete the definition of this UML profile, we follow by presenting a language intended to describe the content of customized interactions between components .
The Molecular Epidemiology of the Highly Virulent ST93 Australian Community Staphylococcus aureus Strain

In Australia the PVL - positive ST93-IV [2B], colloquially known as “Queensland CA-MRSA” has become the dominant CA-MRSA clone. First described in the early 2000s, ST93-IV [2B] is associated with skin and severe invasive infections including necrotizing pneumonia. A singleton by multilocus sequence typing (MLST) eBURST analysis ST93 is distinct from other S aureus clones. To determine if the increased prevalence of ST93-IV [2B] is due to the widespread transmission of a single strain of ST93-IV [2B] the genetic relatedness of 58 S. aureus ST93 isolated throughout Australia over an extended period were studied in detail using a variety of molecular methods including pulsed-field gel electrophoresis, spa typing, MLST, microarray DNA, SCCmec typing and dru typing. Identification of the phage harbouring the lukS-PV/lukF-PV Panton Valentine leucocidin genes, detection of allelic variations in lukS-PV/lukF-PV, and quantification of LukF-PV expression was also performed. Although ST93-IV [2B] is known to have an apparent enhanced clinical virulence, the isolates harboured few known virulence determinants. All PVL-positive isolates carried the PVL-encoding phage ΦSa2USA and the lukS-PV/lukF-PV genes had the same R variant SNP profile. The isolates produced similar expression levels of LukF-PV. Although multiple rearrangements of the spa sequence have occurred, the core genome in ST93 is very stable. The emergence of ST93-MRSA is due to independent acquisitions of different dru-defined type IV and type V SCCmec elements in several spa-defined ST93-MSSA backgrounds. Rearrangement of the spa sequence in ST93-MRSA has subsequently occurred in some of these strains. Although multiple ST93-MRSA strains were characterised, little genetic diversity was identified for most isolates, with PVL-positive ST93-IVa [2B]-t202-dt10 predominant across Australia. Whether ST93-IVa [2B] t202-dt10 arose from one PVL-positive ST93-MSSA-t202, or by independent acquisitions of SCCmec-IVa [2B]-dt10 into multiple PVL-positive ST93-MSSA-t202 strains is not known.
Algorithms and Performance measurements for MotifNetwork analysis programs

The MotifNetwork system is a high performance system for the fast scanning and interpretation of large numbers of proteins into their constituent domains. Once transformed into a domain dataset, several levels of analysis such as domain-domain and protein-protein co-location graphs are constructed. These basic data products form the beginning of a comprehensive environment for work in evolutionary processes with particular support for comparative analysis. MotifNetwork is based on a distributed architecture that has evolved into a reasonably secure system and is currently supporting researchers in drug target identification, ion-channels biophysics, functional orthologs, and socio-genomic processes. To better support a broader research community, detailed analysis of the performance of several aspects of MotifNetwork are presented. Further, illustrative examples of using the data products in various matrix analyses are provided. Lastly, in conjunction with a recent submission to the BIOCOMP’09 conference [1], several remaining details on access, usage, and data archiving are summarized rendering fairly complete the technical details, architecture, and software components of the system as well as expected runtimes and results. 1
Evaluating Mutation Testing Alternatives: A Collateral Experiment

Mutation testing while being a successful fault revealing technique for unit testing, it is a rather expensive one for practical use. To bridge these two aspects there is a need to establish approximation techniques able to reduce its expenses while maintaining its effectiveness. In this paper several second order mutation testing strategies are introduced, assessed and compared along with weak mutation against strong. The experimental results suggest that they both constitute viable alternatives for mutation as they establish considerable effort reductions without greatly affecting the test effectiveness. The experimental assessment of weak mutation suggests that it reduces significantly the number of the produced equivalent mutants on the one hand and that the test criterion it provides is not as weak as is thought to be on the other. Finally, an approximation of the number of first order mutants needed to be killed in order to also kill the original mutant set is presented. The findings indicate that only a small portion of a set of mutants needs to be targeted in order to be killed while the rest can be killed collaterally.
Novel solutions for suppressing parasitic turn-on behaviour on lateral vertical JFETs

The SiC (LV-JFET) has several advantages as a switch component in frequency converters. One challenge, when using the component at high switching speed is the coupled unwanted turn-on of the complementary switch, called parasitic turn-on. This paper presents three different novel solutions to suppress parasitic turn-on for a module design on the gate-drive-unit level. Measurements and improvements results on two of the solutions are presented. The paper shows that the losses could be significantly decreased by active current sources and the proposed clamping solution.
Sanitary Inspection And Microbiological Water Quality

Sanitary inspection, water quality determination and data analysis and interpretation are essential elements in characterising the microbiological safety of water in recreational areas. Sanitary inspection is a necessary adjunct to water microbiological analysis. A well-conducted sanitary inspection can identify sources of microbiological hazards, microbiological water quality data confirm the presence of hazards, and the two together allow an estimation of the risk of illness to bathers and other users. In assessing the microbiological quality of recreational waters, it will normally be necessary to conduct: • An intensive sanitary inspection (only once as part of an assessment or annually in monitoring programmes). • Periodic appraisal visits in which water quality analysis and shortened inspections are undertaken. • Follow-up appraisals to investigate abnormal events, new sources of pollution and extreme values of pollution indicators. One of the most important aspects of aquatic microbiology is related to several human diseases transmitted via water. The design and development of epidemiological surveillance studies described in Chapter 13 have led to the awareness of the magnitude of human morbidity and mortality associated with waterborne infectious diseases. The most relevant microorganisms and the associated waterborne infectious diseases are summarised in the WHO Guidelines for Safe Recreational Water Environments (WHO, 1998). The derivation of guideline values for microbiological quality are also discussed in the WHO Guidelines for Safe Recreational Water Environments (WHO, 1998). This present chapter deals with sanitary inspection, microbiological analytical methods and data handling and reporting. Strategies to implement sanitary inspections and recommendations for selection of the site and frequency of water sampling are given in Chapter 9. Specific methods for sampling and analysis are detailed in the following sections together with the different statistical procedures to express the overall microbiological water quality at a specific recreational water use area. It should be noted that a single beach or recreational area may vary widely in relation to microbiological measures of health risk within relatively short periods of time and thus the commonly used methods of defining a recreational water as passing or failing a defined microbiological standard has inherent limitations; these are discussed in this chapter and also in Chapter 9. A sanitary inspection is a search for, and evaluation of, existing and potential microbiological hazards that could affect the safe use of a particular stretch of recreational water or bathing beach. It provides the foundation required to design and implement an effective water quality sampling …
A Resource for the Transcriptional Signature of Bona Fide Trophoblast Stem Cells and Analysis of Their Embryonic Persistence

Trophoblast stem cells (TSCs) represent the multipotent progenitors that give rise to the different cells of the embryonic portion of the placenta. Here, we analysed the expression of key TSC transcription factors Cdx2, Eomes, and Elf5 in the early developing placenta of mouse embryos and in cultured TSCs and reveal surprising heterogeneity in protein levels. We analysed persistence of TSCs in the early placenta and find that TSCs remain in the chorionic hinge until E9.5 and are lost shortly afterwards. To define the transcriptional signature of bona fide TSCs, we used inducible gain- and loss-of-function alleles of Eomes or Cdx2, and Eomes GFP, to manipulate and monitor the core maintenance factors of TSCs, followed by genome-wide expression profiling. Combinatorial analysis of resulting expression profiles allowed for defining novel TSC marker genes that might functionally contribute to the maintenance of the TSC state. Analyses by qRT-PCR and in situ hybridisation validated novel TSC- and chorion-specific marker genes, such as Bok/Mtd, Cldn26, Duox2, Duoxa2, Nr0b1, and Sox21. Thus, these expression data provide a valuable resource for the transcriptional signature of bona fide and early differentiating TSCs and may contribute to an increased understanding of the transcriptional circuitries that maintain and/or establish stemness of TSCs.
Case Study of Pollutants Concentration Sensitivity to Meteorological Fields and Land Use Parameters over Douala (Cameroon) Using AERMOD Dispersion Model

This paper deals with the simulation of the NOx concentration over Douala for the period 2002–2006 by means of the American Meteorological Society (AMS)/Environmental Protection Agency (EPA) Regulatory Model (AERMOD) model, version 07026. Its sensitivity to local meteorological fields and land use parameters are investigated by selecting different buildings (receptors) specific direction and distance from the source and by making changes in land use parameters. Results reveal variations in concentration patterns depending on the roughness length, albedo and the Bowen ratio. Changes in the albedo as well as the Bowen ratio only alter the concentration patterns during convective conditions. For a short averaging time, changes in albedo and Bowen ratio have the same effects on the concentration patterns. These results not only help to accurately choose the indicated areas for implanting industrial sites, to manage risk assessment exposure to pollutants in Douala city and addressing recommendations to policies makers.
Optimal filtering for linear systems with state and observation delays

In this paper, the optimal filtering problem for linear systems with state and observation delays is treated proceeding from the general expression for the stochastic Ito differential of the optimal estimate, error variance, and various error covariances. As a result, the optimal estimate equation similar to the traditional Kalman-Bucy one is derived; however, it is impossible to obtain a system of the filtering equations, that is closed with respect to the only two variables, the optimal estimate and the error variance, as in the Kalman-Bucy filter. The resulting system of equations for determining the filter gain matrix consists, in the general case, of an infinite set of equations. It is however demonstrated that a finite set of the filtering equations, whose number is specified by the ratio between the current filtering horizon and the delay values, can be obtained in the particular case of equal or commensurable (/spl tau/ = qh, q is natural) delays in the observation and state equations. In the example, performance of the designed optimal filter for linear systems with state and observation delays is verified against the best Kalman-Bucy filter available for linear systems without delays.
Visual Object Tracking and Recognition in a Visual Vocabulary Framework

Object class recognition approach using a histogram of visual words was recently investigated by a number of researchers. We will show how such object class recognition approach naturally fits together with the line of object tracking algorithms where an tracked object is presented by a histogram. Currently, most histogram-based object tracking applications use color histograms to represent the target model which might not be robust enough. Therefore propose here histogram-based object tracking where the histogram is constructed using visual words. We present a framework where the visual words are used both for tracking the object and for deciding the type of object that is being tracked.
Band-Pass Filtering, Cointegration, and Business Cycle Analysis

This paper critically assesses the practice of band-pass filtering (the non-structural, frequency-domain based decomposition of economic time series into trend and cyclical components), making two main points. First, it is shown that: (a) depending on the stochastic properties of the filtered process, the band-pass filtered cyclical component is entirely authentic, partly or mostly spurious, or even entirely spurious; and (b) as a simple consequence of the Lucas critique, the degree of authenticity of band-pass filtered cyclical components crucially depends on the monetary rule followed by the policy-maker. Second, taking a number of macroeconomic models as data-generation processes it is shown that band-pass filtering: (a) may markedly distort key business cycle stylised facts, as captured by the cross-correlations and the cross-spectral statistics between the cyclical components of the variables of interest and the cyclical component of GDP; and (b) may well create entirely spurious stylised facts. For example: both productivity and the money supply may appear procyclical even when they follow random walks by construction; the real wage may appear procyclical when in fact it is countercyclical; in general, the Phillips correlation between inflation and the cyclical component of economic activity will appear weaker than it is in reality. Again, the degree of authenticity of business cycle stylised facts uncovered via band-pass filtering crucially depends on the monetary rule followed by the policy-maker.
Incremental Sparsification for Real-time Online Model Learning

Online model learning in real-time is required by many applications such as in robot tracking control. It poses a difficult problem, as fast and incremental online regression with large data sets is the essential component which cannot be achieved by straightforward usage of off-the-shelf machine learning methods (such as Gaussian process regression or support vector regression). In this paper, we propose a framework for online, incremental sparsification with a fixed budget designed for large scale real-time model learning. The proposed approach combines a sparsification method based on an independence measure with a large scale database. In combination with an incremental learning approach such as sequential support vector regression, we obtain a regression method which is applicable in real-time online learning. It exhibits competitive learning accuracy when compared with standard regression techniques. Implementation on a real robot emphasizes the applicability of the proposed approach in real-time online model learning for real world systems.