Miracle-dz/UniFAR-FTUs huggingface dataset:
Integrating Fault-Tolerance in Real-Time Scheduling of Mixed-Criticality Systems on Multiprocessors

This thesis presents a novel real-time global fixed-priority scheduling algorithm that integrates mixed-criticality and fault-tolerance. An important aspect of mixedcriticality is to ensure that the temporal correctness of safety-critical tasks is not impacted by non-safety critical tasks they share a platform with. This thesis proposes that safety-critical tasks are given fault-tolerance to also ensure functional correctness. By integrating fault-tolerance the algorithm can provide guarantees for the temporal and functional correctness of safety critical tasks. Fault-tolerance is given through the execution of backup tasks where these tasks may be simple a re-execution of the primary or a diverse implementation. In addition, the backup tasks can be scheduled as either passive or active backups. The thesis includes an analysis to derive a schedulability test for the proposed algorithm and also presents policies to determine how many backups should be active for each task assuming a certain fault model. Simulated tests show that mixed-criticality and fault-tolerance can be costly in terms of schedulability, but that assigning active backups according to the policies proposed by the thesis can provide an increase in schedulability over having just passive backups.
Artificial Magnetic Conductors on Wideband Patch Antenna

The use of Artiflcial Magnetic Conductor (AMC) as a re∞ector in a printed antenna is known to improve the antenna's radiation characteristics. This work investigates the implementation of AMC as a re∞ector on a wideband planar monopole antenna. The investigation is conflned to a basic square unit cell of AMC with four possible variations. The AMC structures are constructed with square cells which have either similar square cells or a Perfect Electric Conductor (PEC) as the back plane. These same structures are also fabricated with vias. The impedance bandwidth, gain and power pattern are simulated and measured over the measured i10dB impedance bandwidth of 3GHz to 10GHz. The outcome of the investigation is that, for the antenna element and AMC structures considered in this study, a gain enhancement of up to 6dB can be achieved with the AMC structures. In addition, introduction of vias is observed not to in∞uence gain, though it improves cross-polarization levels by 3dB to 5dB for AMC constructed of squares backed by PEC.
Quality Factors from Jordanian Universities Students ’ Viewpoint

This study aimed at identifying the quality factors perceived by Jordanian universities’ students to be most important in relation to the use of websites. The questionnaire designed was based on the WEBQUAL instrument that identifies twelve quality dimensions (informational fit-to-task; interaction; trust; response time; design appeal; intuitiveness; visual appeal, innovativeness, flow-emotional appeal; integrated communication; business processes and viable substitute). Ten items that have been identified as the most important from Jordanian universities students’ viewpoint in relation to the quality of websites: Fit-to-task, Interaction, Trust, Response Time, Intuitiveness, Visual Appeal, Innovativeness, Emotional Appeal, Integrated Communication and Business Processes. Based on the study findings, some recommendations were presented related to website quality factors, which may help Jordanian companies to develop their websites to satisfy customers' needs and
A probabilistic framework for the cover effect in bedrock erosion

Abstract. The cover effect in fluvial bedrock erosion is a major control on bedrock channel morphology and long-term channel dynamics. Here, we suggest a probabilistic framework for the description of the cover effect that can be applied to field, laboratory, and modelling data and thus allows the comparison of results from different sources. The framework describes the formation of sediment cover as a function of the probability of sediment being deposited on already alluviated areas of the bed. We define benchmark cases and suggest physical interpretations of deviations from these benchmarks. Furthermore, we develop a reach-scale model for sediment transfer in a bedrock channel and use it to clarify the relations between the sediment mass residing on the bed, the exposed bedrock fraction, and the transport stage. We derive system timescales and investigate cover response to cyclic perturbations. The model predicts that bedrock channels can achieve grade in steady state by adjusting bed cover. Thus, bedrock channels have at least two characteristic timescales of response. Over short timescales, the degree of bed cover is adjusted such that the supplied sediment load can just be transported, while over long timescales, channel morphology evolves such that the bedrock incision rate matches the tectonic uplift or base-level lowering rate.
Driver estimation of steering wheel vibration intensity: laboratory-based tests

Frequency weightings have been proposed for transforming acceleration signals into perceived acceleration signals so as to assist the engineering evaluation of systems which are in physical contact with humans. These frequency weightings are analogous to the well-known decibel A, B and C curves [16] from the field of psychoacoustics. The weightings have been defined based on data from research studies which have measured the human subjective response to harmonic, to narrow-band periodic or to narrow-band random vibration. Research regarding the human subjective response to hand-arm vibration includes translating plate studies [13] and translating handle studies [14]. The equal sensation curves from these studies have contributed to the definition of the W h frequency weighting which is currently used in both International Organisation for Standardization 5349-1 [12] and British Standards Institution 6842 [3]. W h is primarily intended for use in measuring and reporting hand-arm exposures for the purpose of quantifying possible health effects, but as the only standardised frequency weighting available it has often been used in the automotive industry for evaluating the perceived intensity of steering wheel vibration. The use of W h in the steering application raises some questions, however, particularly regarding its appropriateness in the case of the tangential acceleration caused by wheel rotation. This concern has lead to research in which the human subjective response to rotationally vibrating wheels was measured.
COMPARISON OF THE HOLLOW ELECTRON BEAM DEVICES AND ELECTRON HEATING

In the previous two years after COOL05 a new generation of low energy electron coolers with variable electron beam profile was successfully commissioned with Pb +54 ion beams at CERN LEIR and at IMP (China, Lanzhou) CSRm with C +6 . A hollow electron beam profile with low electron beam density at the center helps to suppress recombination at the accumulation zone and to increase the lifetime of the ion beam. First experiments with a vertically offset electron beam (with aim to control overcooling the storage stack of ion beam) were made at the RECYCLER high energy electron cooler (FNAL) with very different conditions for accumulation and cooling antiprotons. In this paper the parameters of these different experiments with electron cooling are discussed in the frame of a model of electron heating. The aim is to integrate the experience of using the hollow electron beam cooling, test model and to find recommendations for the next generation electron coolers for the FAIR p.
Passive thermography evaluation of bonding defects in adhered ceramic tiling: experimental and in-situ assessments

The paper deals with the application of passive thermography as a diagnostic tool to detect and evaluate bonding defects in adhered ceramic tiling. The bonding failure is a common building pathology and it represents serious risks to people's safety, particularly when it occurs in external cladding coating systems of tall buildings. In the first stage of this work, an evaluation of bonding defects was performed using both active and passive thermography techniques, by changing the type of heat source (i.e. artificial heat source versus sunlight). For this purpose, a set of test specimens with artificial defects inserted in the layer which adheres to the substrate were constructed (with varying sizes and placed at different depths) and were subjected to IR quantitative measurements by applying both techniques. After, several buildings with adhered ceramic cladding facades were selected to be qualitatively inspected through passive thermography. In order to accomplish this purpose, the specific environmental conditions that may allow bonding defects detection were assessed, particularly sky conditions (i.e. clear and cloudy sky) and the inspection time.
Title Target detection from microwave imaging based on random sparse array and compressed sensing

This paper proposes an imaging scheme using a random sparse array (RSA) structure for radar target detection using compressed sensing (CS). The array collects sparse measurements with less collection time and data storage. Two schemes of the RSA are considered, random SAR mode and random array mode. Performances of both static and moving target detections are investigated. Performance of RSA with CS is compared with that using full SAR data with conventional back-projection (BP) method for static target detection and full uniform linear array (ULA) data with conventional beamforming (CBF) method for moving target detection. Simulation and real experimental tests are provided to verify the proposed target imaging scheme. Results show that RSA imaging with CS can perform better than normal SAR and ULA with conventional imaging methods. However, when environment is complicated and background too noisy, CS may have degraded performance.
Promoting Change-Oriented Organizational Citizenship Behavior: The Role of Social Support and Thriving

The current study aims to investigate the relationships among social support, thriving at work, and change-oriented organizational citizenship behavior in the Taiwan’s hotel workplace context. 276 valid data collected from employees in Taiwan’s hotel were used to proof the research hypotheses through structural equation model. Empirical results demonstrated that the proposed model fits well. Findings also showed that social support was positive related to employees’ thriving at work and change-oriented organizational citizenship behavior; employees’ thriving at work was positively related to employees’ change-oriented organizational citizenship behavior. This study highlighted that employees’ thriving at work mediated the relationship between social support and change-oriented organizational citizenship behavior. Theoretical and practice implications, limitations, and suggestions for future were offered.
Technology and Self-modification: Understanding Technologies of the Self After Foucault

Self-modification is an ancient human practice; however, for the first time in history, technology is enabling us to modify our lives not only at an existential or experiential level, but also at an informational level. This paper discusses Foucault’s concept of “technologies of the self” as well as some of its recent interpretations within contemporary philosophy of technology. It shows how ICTs have opened new dimensions for humans to transform their bodies, minds, and self-conception. It argues that while ‘traditional’ self-modification is being revolutionised and popularised by ICTs, these systems are also exposing us to potent, and unintentional forms of ontological tinkering. Ultimately, this paper shows how Foucault’s concept can serve as a valuable tool for understanding contemporary human-technology relations.
Replacing sensors with text occurrences for commonsense knowledge acquisition.

In this position paper we introduce our ideas for utilizing text corpus for supplementing or replacing sensing devices by word pairs occurrences in a blog corpus and we share results of preliminary experiments. We explain how simple webmining and information retrieval techniques could help to acquire perceptional knowledge while collecting, processing and combining inputs from actual sensors is still technically difficult, expensive or simply impossible. By utilizing co-occurrences rankings of input nouns and five senses identifying words (mostly adjectives and onomatopoeias) we were able to discover physical characteristics of these nouns. Although the method is in early stage of development and the recall is low, achieved precision of 0.96 seems promising, especially if one needs to store acquired output in knowledge bases as ConceptNet.
Capital flows and current account dynamics in Zimbabwe

This paper analysed capital flows and current account dynamics in Zimbabwe. The main objective of the paper was to determine whether Zimbabwe"s current account deficit is sustainable or not and assess how capital flows affected current account dynamics. The study applied the intertemporal balance model developed by Liu and Tanner (1996) to assess sustainability of the current account deficit. Granger Causality Tests were also applied on the current and capital account balance and the respective sub-components. The results indicate that the current account deficits violated the intertemporal budget constraint implying that Zimbabwe"s current account deficits were not sustainable. Exports and imports of goods and services were, however, co-integrated but the Wald Coefficient Restriction tests results indicated that the current account deficits followed an explosive path. The ECM model, however, indicated that 3% of the errors were corrected in the next period. The Granger Causality Test results indicated a unidirectional causality from current account to the capital account deficit implying the existence of underlying challenges in the economy. No causality was found between FDI and the current account deficit. The results, however, indicated a unidirectional causality from current account deficit to both short term and long term debt implying that the country was financing its deficits by accumulating debt. The study, however, found no evidence of speculative investment. As such, there is no basis for capital controls. The paper recommended that the composition of capital inflows needs to move from short debt to long term debt or preferably FDI to make the current account balance sustainable.
Azodisperse Dyes with Photochromic Mercury(II)-Dithizonate Moiety for Dyeing Polyester, Nylon and Cellulose Triacetate Fibres

Twelve photochro ic azodisperse dyes based on N-substituted and N,N-disubstituted derivatives of anilines and msubstituted anilines w9re synthesized and their dyeing performance on polyester, nylon and cellulose triacetate fibres was assessed. All the dyes showed moderate to good fastness to light and very good to excellent fastness to washing, rubbing, perspiration and sublimation. The dyed fibres on exposure to bright sunlight or a light of suitable wavelength showed a very good photochromic e~ect giving various shades. When the fibres were removed from the sunlight the colour returned to the original shade. The ti1e required for this return depended on the intensity of incident light, ambient temperature and the moisture content of fa? ric. Polyester fibres required a longer duration for attaining the original shade but rapid change was observed by ironing th, cloth. The duration the fibre required to attain the original shade could be reduced to 3 min for nylon and cellulose triacetat1 and to 2-3 min for polyester fibres by keeping them in an oven at 80°C and 100°C respective~ . >
Are Fiscal Multipliers Regime-Dependent? A Meta Regression Analysis

Die Studie untersucht, ob fiskalische Multiplikatoreffekte im Abschwung systematisch groser sind als im Aufschwung. Dazu wird eine Meta-Regressions-Analyse durchgefuhrt, die einen neuartigen Datensatz von 98 empirischen Studien mit uber 1800 Beobachtungen von Multiplikatoreffekten auswertet und fur die Regime-Abhangigkeit von Multiplikatoren kontrolliert. Es zeigt sich, dass ausgabeseitige Multiplikatoren im Abschwung um 0,6 bis 0,8 Punkte hoher liegen. Daruber hinaus ubersteigen ausgabeseitige Masnahmen in ihrer Multiplikatorwirkung signifikant jene von Steueranderungen um etwa 0,3 wahrend konjunktureller Normalphasen - und noch deutlicher im Abschwung. Auf einer breiten Basis empirischer Evidenz schlussfolgern wir, dass zur Begrenzung der negativen Folgen auf die Konjunktur Konsolidierungsmasnahmen besser im Aufschwung und verstarkt uber die Einnahmeseite erfolgen sollten.
‘K’ Nailing by a Medial Approach for Gustilo IIIC Fractures of the Shaft of Femur

Introduction Eleven patients with Gustilo IIIC fractures with a medial wound and vascular injury were included in this series from 2003- 2009. Seven of these patients had the vascular repair done by the surgeon doing the bone fixation. Method The patients are positioned supine and the involved side is brought to the edge of the table with a sand bag placed deep under the ipsilateral buttock. A fasciotomy is undertaken. The original wound on the medial side is debrided and vascular control is obtained. The Vastus medialis is lifted off the medial inter-muscular septum and the bone ends are delivered, irrigated and retrograde insertion of the K- nail is done. When the nail is protruding, the leg is adducted and the nail driven in fully. The fracture is reduced and the antegrade insertion of the K-nail is done. The vascular repair with a reverse saphenous vein graft is done thereafter. Results Of the 11 patients, one developed non-union and one developed a superficial wound infection. Sixteen patients who had external fixation of Gustilo IIIC fractures of the femur during the same period of time in the same unit, all needed subsequent ORIF and six developed pin site infection. Conclusions This technique is quick and gives stability for a vascular repair. When the wound is on the medial side, this prevents an additional incision and allows vascular access through the same. Harvesting of the venous graft is made easy as the patient is supine.
METHODS, TOOLS AND BEST PRACTICES TO INCREASE THE CAPACITY OF URBAN SYSTEMS TO ADAPT TO NATURAL AND MAN-MADE CHANGES

Tema is the Journal of Land use, Mobility and Environment and ofers papers with a unified approach to planning and mobility. TeMA Journal has also received the Sparc Europe Seal of Open Access Journals released by Scholarly Publishing and Academic Resources Coalition (SPARC Europe) and the Directory of Open Access Journals (DOAJ). There are a number of diferent future-city visions being developed around the world at the moment: one of them is Smart Cities: ICT and big data availability may contribute to beter understand and plan the city, improving eficiency, equity and quality of life. But these visions of utopia need an urgent reality check: this is one of the future chalenges that Smart Cities have to face.
An Edge Detection Algorithm Based on Human Visual System

Edge detection is a fundamental problem in computer vision. In this paper, we present an effective algorithm to find salient edges from infrared scene images based on Human Visual System. The algorithm integrates three basic edge features: edge contrast, edge density and edge length. In this manner, the proposed algorithm works well to detect salient region boundaries and to suppress false edges from background and texture. The experimental results demonstrate the effectiveness of the proposed algorithm.
A tuning-free method for the linear inverse problem and its application to source term determination

Estimation of pollutant releases into the atmosphere is an important problem in the environmental sciences. It is typically formalized as an inverse problem using a linear model that can explain observable quantities (e.g. concentrations or deposition values) as a product of the source-receptor sensitivity (SRS) matrix obtained from an atmospheric transport model multiplied by the unknown source term vector. Since this problem is typically ill-posed, current state-of-the-art methods are based on regularization of the problem and solution of a formulated optimization problem. This procedure depends on manual 5 settings of uncertainties that are often very poorly quantified, effectively making them tuning parameters. We formulate a probabilistic model, that has the same maximum likelihood solution as the conventional method using pre-specified uncertainties. Replacement of the maximum likelihood solution by full Bayesian estimation allows to estimate also all tuning parameters from the measurements. The estimation procedure is based on the Variational Bayes approximation which is evaluated by an iterative algorithm. The resulting method is thus very similar to the conventional approach, but with the possibility to esti10 mate also all tuning parameters from the observations. The proposed algorithm is tested and compared with the state-of-the-art method on data from the European Tracer Experiment (ETEX) where advantages of the new method are demonstrated. A MATLAB implementation of the proposed algorithm is available for download.
HUMAN SMAPK3-RELATED GENE WARLANTS ASSOCATED WITH CANCERS FIELD OF THE INVENTION

(54) HUMAN SMAPK3-RELATED GENE (52) U.S. Cl. 424/155.1; 435/6; 435/69.1; WARLANTS ASSOCIATED WITH CANCERS 435/194; 435/320.1; 435/325; 530/350; 536/23.2; 530/388.26 (76) Inventor: Ken-Shwo Dai, Hsinchu (TW) (57) ABSTRACT Correspondence Address: Ladas & Parry The invention relates to the nucleic acid Sequences of four 26 West 61st Street novel human SMAPK3-related gene variants (SMAPK3V1, New York, NY 10023 (US) SMAPK3V2, SMAPK3V3 and SMAPK3V4) and the polypeptides encoded by SMAPK3V1 and SMAPK3V2.
Diurnal use of time and space by breeding Blue Duck Hymenolaimus malacorhynchos

The diurnal time-activity budgets of two territorial pairs of Blue Duck were measured during the breeding season in New Zealand from August to December 1986. Morning and evening peaks of foraging behaviour characterised pre-incubation time budgets but their absence during and after the incubation phase indicated that Blue Duck activity was not determined by temporal variations in prey availability. Foraging accounted for less than 20% of the males' active day during all phases of the breeding cycle, except when moulting, whereas females spent over half their day feeding prior to laying. Males and females invested equal time in the major activity classes when ducklings were present. Home ranges contracted around the nest site during incubation and moulting, but encompassed the entire territory when ducklings were present. Blue Ducks predominantly used the river's edge and varied their behaviour in relation to other physical characteristics of the river. We conclude that defence of a food supply is not the primary function of year-round territoriality in Blue Ducks.
The Effect of Schooling on Earnings: Evidence on the role of family background from a large sample of Norwegian twins

A large representative sample of Norwegian twins is used to estimate the causal effect of schooling on earnings in Norway, separately for men and women. The within-twin-pair estimates reveal that standard cross section (OLS) estimates of the schooling effect on male hourly earnings are biased upwards. For women, no such bias is found. However, family background appears to affect both educational attainment and post-schooling labour supply of women, implying that the standard estimate of the effect of schooling on female annual earnings is upward biased.