Miracle-dz/UniFAR-FTUs huggingface dataset:
Design Diverse-Multiple Version Connector: A Fault Tolerant Component Based Architecture

Component based software engineering (CBSE) is a new archetype to construct the systems by using reusable components ldquoas it isrdquo. To achieve high dependability in such systems, there must be appropriate fault tolerance mechanism in them at the architectural level. This paper presents a fault tolerant component based architecture that relies on the C2 architectural style and is based on design diverse and exception handling fault tolerance strategies. The proposed fault tolerant component architecture employs special-purpose connectors called design diverse-multiple version connectors (DD-MVC). These connectors allow design diverse n-versions of components to run in parallel. The proposed architecture has a fault tolerant connector (FTC), which detects and tolerates different kinds of errors. The proposed architecture adjusts the tradeoff between dependability and efficiency at run time and exhibits the ability to tolerate the anticipated and unanticipated faults effectively. The applicability of proposed architecture is demonstrated with a case study.
A current limiter for linear regulators based on power-dissipation threshold

This paper addresses a new strategy for foldback current limiters based on adaptive thresholds related to power dissipation across the power-FET. The limiter is devised for linear regulators, and different from standard techniques that simply clamp the current upon overload, the threshold dynamically follows the inverse of the increasing dropout, reducing the pass-device dissipation. The LDO dual-loop topology exhibits a smooth passage from voltage-to current-modes and permits accurate current-control during the fault. As part of a p-MOSFET LDO with 1A-rate and Pmax=1W, the limiter is designed in accordance with parameters of a 0. 35μm low-voltage BICMOS process. A set of PSPICE simulations attests the circuit electrical performance. Loops stability is verified for normal and overcurrent modes, as well as during mode transition. During regulation run, the limiter stays inactive and the LDO efficiency remains close to 93%. The consumption in the current limiter impacts the overall efficiency in less than 0.45%. At a light load of 50mA, the limiter consumes 325μA. The regulator is self-recoverable once the fault is removed.
Lab Prototype of a List-of-2 Viterbi decoder: A diversity inner decoder for the outer Vector Symbol Decoder

This paper presents the implementation result of List-of-2 soft-decision Viterbi decoder on FPGA platform. It was to be used as the inner decoder of a special designed concatenated code, of which the outer decoder is Vector Symbol Decoder (VSD). Since list-of-2 Viterbi was not the final decoding stage, it was not required to provide low decoding failure probability. Therefore, only a small list of 2 was enough. This use of list inner decoder is useful to VSD only if the second inner decoded sequence is correct when the first one was wrong. The result shows that this probability of interest is high for low-SNR AWGN channel and BFSK scheme. Therefore, List-of-2 Viterbi would be attractive for VSD for this channel. The operation of this lab prototype was tested by comparing its decoding failure probabilities with the results from C++. The results showed that they were almost the same, which proved that the lab prototype worked properly.
Pelatihan Coach and Counseling untuk Para Pendamping Anak Jalanan di Yayasan Sahabat Anak Melalui Strategi WDEP

Abstrak Pada proses mendampingi anak jalanan, sukarelawan seringkali mengalami kesulitan untuk menangani masalah-masalah yang dialami anak-anak, baik yang menyangkut masalah belajar maupun masalah keluarga atau pun pribadi. Oleh karena itu, sukarelawan perlu mendapatkan pelatihan dasar tentang konseling agar mereka memiliki keterampilan berkomunikasi dalam menggali masalah anak-anak dan mencari solusi yang tepat. Pelatihan coach and counseling dirancang untuk membantu para sukarelawan menggali sumber masalah dan mencari solusi terbaik bagi anak-anak jalanan. Pelatihan dilaksanakan dalam empat pertemuan pada hari Sabtu dengan empat fasilitator. Metode pelatihan adalah metode SLE (Student Learning Experience) yang bertujuan untuk membuat peserta mengalami sendiri proses belajar sehingga menjadi lebih aktif dan mudah mengingat apa yang telah dipelajari. Metode SLE terdiri dari IceBreaking, dinamika kelompok (games, roleplay), refleksi, dan tugas rumah. Hasil umpan balik peserta menunjukkan bahwa peserta menyukai metode dalam penyampaian materi oleh fasilitator, materi yang diberikan lebih mudah dicerna dan dapat diaplikasikan dalam kehidupan sehari-hari, tugas-tugas yang diberikan cukup berat tetapi memberikan pengalaman yang menarik, dan panduan strategi WDEP dalam coaching and coaching yang diberikan mudah untuk dipahami. Secara keseluruhan pelatihan ini berjalan dengan baik dan memenuhi harapan peserta. Kegiatan ini akan ditindaklanjuti dengan monitoring berupa pelaporan hasil konseling selama tiga bulan dan enam bulan. Kata kunci: sukarelawan, coach and couseling, SLE, WDEP Abstract In the process of the mentoring of street children, volunteers often experience difficulties in dealing with the problems faced by the former. These problems involve both learning difficulties and family and personal quandaries. Thus, the volunteers need basic training in counseling so that they have the skill in communicating and unearthing the children’s problems and finding the solutions. The coach and counseling training, which was conducted in four sessions on Saturday and assisted by four facilitators, was designed to help the learners to do so. The method used in the training was the Student Learning Experience (SLE), which aims at making the students experience the learning process by themselves so that they become more active in recalling what has been learnt. The SLE method consists of ice-breaking, group dynamics (games, role plays (reflections), and homework. Feedbacks from the participants showed that they liked the method, materials, and the assignments. Overall, the training went well and fulfilled the expectations of the participants. This activity will be followed-up using the mentoring in a form of counseling report for three and six months. Key words: volunteers, coach and counseling, SLE, WDEP
High-Temperature, Perhaps Silicic, Volcanism on Mars Evidenced by Tridymite Detection in High-SiO2 Sedimentary Rock at Gale Crater, Mars

The Mars Science Laboratory (MSL) rover, Curiosity, has been exploring sedimentary rocks within Gale crater since landing in August, 2012. On the lower slopes of Aeolis Mons (a.k.a. Mount Sharp), drill powder was collected from a high-silica (74 wt% SiO2) outcrop named Buckskin (BK). It was a surprise to find that the Buckskin sample contained significant amounts of the relatively rare silica polymorph tridymite. We describe the setting of the Buckskin sample, the detection of tridymite by the MSL Chemistry and Mineralogy (CheMin) X-ray diffraction instrument, and detection implications. Geologic setting: The Buckskin outcrop is part of the Murray formation exposed in the Marias Pass area. The formation was previously studied by CheMin in the Pahrump Hills member [1] where three samples of drill fines were analyzed (Confidence Hills (CH), Mojave2 (MJ) and Telegraph Peak (TP) [2]). Assuming approximately horizontal bedding, the Buckskin outcrop is approx.15 m stratigraphically above the bottom of the Pahrump Hills member. Mudstone, generally characterized by fine lamination, is the dominant depositional facies [1]. Buckskin Mineralogical and Chemical Composition: The CheMin instrument and XRD pattern analysis procedures have been previously discussed [3-6]. The diffraction pattern used for quantitative XRD analysis (Fig. 1) is the sum of the first 4 of 45 diffraction images. The remaining images are all characterized by both on-ring and off-ring diffraction spots that we attributed to poor grain motion and particle clumping. Coincident with particle clumping was a significant decrease in the intensity of the tridymite diffraction peaks (Fig. 2a). The derived mineralogical composition of the crystalline component (derived from the first 4 diffraction images) is given in Table 1. The tridymite is well-crystalline and its pattern is refined as monoclinic tridymite (Fig 1). Mineral chemical compositions were derived from XRD unit cell parameters or obtained from stoichiometry. The XRD-calculated amorphous component was 50 +/- 15 wt%. We constrained the value to 60 wt% because it is the minimum value necessary to give a positive Al2O3 concentration for the amorphous component using APXS data for the post-sieve dump pile (Table 2). The amorphous component has high SiO2 (approx.77 wt%) and high anion (SO3+P2O5+Cl ~10 wt%) concentrations. Calculation shows that a cation-anion balance is achieved if the cations in the amorphous component except SiO2 and TiO2, which do not readily form salts, are assumed to be present as amorphous mixed-cation sulfates, phosphates, and chlorides (or perchlorates/ chlorates).
Combing genetic algorithm with neural network technique for protein inter-residue spatial distance prediction

The spatial distance of amino acids in a protein sequence is one of the important factors, which determine the three-dimension structure (tertiary structure). In this paper, we describe a genetic algorithm (GA) based radial basis function neural networks (RBFNN), whose hidden centers and radial basis function widths is optimized by the GA, to learn how primary structure (residue sequence) affects the spatial proximity of the amino acids in the soybean protein sequences and predict the residues spatial distance in three-dimensional space. Experimental results indicate that the proposed network has a good performance in soybean protein sequences residue spatial distance prediction.
An effective and efficient hash-based algorithm for time series discord discovery

The problem of discord detection in a time series has recently attracted much attention and several algorithms have been developed to tackle this problem. However, most of them suffer from high computational cost and hence can not suit real world applications well. In this paper, we propose a novel discord discovery algorithm, named Hash_DD, which is based on SAX representation and hashing. In comparison with HOT SAX, one of the most popular time series discord discovery algorithms, our hash-based algorithm accelerates the discord discovery process remarkably as well as reduces the memory cost. The experimental results have demonstrated that the proposed approach can not only effectively find discords in time series, but also greatly improve the computational efficiency.
Cultures of Crisis Response: Chinese Public Relations Practices in Context

The field of public relations and strategic communication has changed radically in recent years. The spread of social media has changed public expectations about the way organizations communicate with their stakeholders and how public relations and strategic communication professionals operate. Moreover, because of the global expansion of multinational corporations and the fast-growing economy of Greater China, there have been rapid growth and development in the academic research focused on public relations, strategic communication, and communication management. However, much of the previous research on emerging trends and challenges in public relations and strategic communication in the digital era has been rooted in data sets and theories originating in Western countries. Comparatively fewer studies have focused on the Greater China region. It is therefore incumbent upon scholars of Chinese public relations practice to examine culturally distinct characteristics as they pertain to key issues, emerging trends, and future challenges. Hence, this special issue addresses theoretical, social, cultural, and political questions to better understand the distinct characteristics of the public relations field in Greater China. It is hoped that the articles selected for inclusion in this special issue will contribute to the development of theoretical models and research methods that are culturally sensitive. Four studies included in this issue emphasize the unique cultural characteristics of public relations practices in Greater China. Augustine Pang, Yang Hu, and Eugene Woon compare differences in crisis management between state-owned enterprises (SOE) and privately owned enterprises (POE) in terms of media relations, government relations, and crisis response in China. Conducting multi-case studies, Hu and Pang explore the relevance of cultural influence on indigenous corporate crisis response strategies in the context of mainland China. Highlighting the importance of risk perception and public trust in local government, Qing Huang examines how perceived dread and perceived inequality mediate the effects of media use on public trust in local governments. Yi-Ru Regina Chen examines the charitable behavior of Chinese millennial donors and explicates the mechanism of donor engagement with mobile social network sites (SNS) that facilitate such behavior. Two articles in this issue adopt a comparative model. Tianduo Zhang, Liudmila Khalitova, Barbara Myslik, Tiffany L. Mohr, Ji Young Kim, Craig Carroll, and Spiro Kiousis compare the agenda-building influence of Chinese state-sponsored media with that of Taiwanese and Singaporean media during the 2014 “umbrella protests” in Hong Kong.
Uncovering multi-scale characteristics of users in microblogsphere

Extremely popular and commonly adopted microblogging service (e.g., Twitter) has emerged as a new form of communication. The unprecedent population and open nature of this publishing venue opens a vast opportunities for individuals and organizations to popularize an idea or market a product well beyond his/her social network. This is followed by diverse users behavior patterns corresponding with different targets. Moreover, these human actions are regulated by the mechanism that operates across multiple scales. In this paper, we investigate users' characteristics in microblogsphere, from the perspectives of probability distribution and timing correlation. The former viewpoint reveals scaling law of inter-publishing timing distribution, “flat head” phenomenon and “hump” in the log-log slope. We further examine the timing correlation by using multi-scale entropy analysis, aiming to get further insights into behavioral patterns and build a new constraint on measuring the precision of a behavioral model. In addition, a type of users with constantly periodic pattern is distinguished by using multi-scale entropy analysis.
Codable sets and orbits of computably enumerable sets

Abstract A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, ε = ({We}eϵω,⊆). We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has a certain “slowness” property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ϵ ε there exists B in the orbit of A such that X ≤TB under relative Turing computability (≤T). We produce B using the -automorphism method we introduced earlier.
Evaluation of user model effectiveness by simulation

Accurate initialization of a User Model (UM) is im portant for every system that provides personalized services. Howeve r, th re are systems where this initialization is critical yet no user data is available from prior interactions. For example, one in which both the repeat usage by a user is rare, and the total interaction on a single use is relatively limited. Evaluating the effectiveness of a User Model and particular instance of such a model is never an easy task, particularly through ser studies. Moreover, evaluation typically focuses on the usability of an entire system rather than the performance of a specific UM instantiation. In thi s paper we propose evaluating the quality of UMs via simulation and co mparison to a "gold standard". This standard is an approximation of th e user's ideal model. We will demonstrate this through a case study of a museum's visitor guide system implemented in the Hecht Museum at the University o f Haifa, Israel
Resource allocation to achieve cross-layer metrics in cooperative networks

We consider a network utility maximization (NUM) framework to allocate resources in a cooperative network comprising multiple sources, dedicated relays and a single destination. The allocation is designed to ensure the average queue length at each source is below a chosen demand. The optimization is over power allocation at all nodes, relay selection and relaying strategy. We formulate the NUM problem and propose a solution to achieve the optimal allocation scheme. The two main contributions here are the formulation including queue length and an efficient solution that has only linear complexity in the number of source nodes. Furthermore, unlike previous works, it avoids a brute-force search over rates.
The Unmet Need for Interpreting Provision in UK Primary Care

Background With increasing globalisation, the challenges of providing accessible and safe healthcare to all are great. Studies show that there are substantial numbers of people who are not fluent in English to a level where they can make best use of health services. We examined how health professionals manage language barriers in a consultation. Methods and Findings This was a cross-sectional study in 41 UK general practices . Health professionals completed a proforma for a randomly allocated consultation session. Seventy-seven (63%) practitioners responded, from 41(59%) practices. From 1008 consultations, 555 involved patients who did not have English as a first language; 710 took place in English; 222 were in other languages, the practitioner either communicating with the patient in their own language/using an alternative language. Seven consultations were in a mixture of English/patient's own language. Patients' first languages numbered 37 (apart from English), in contrast to health practitioners, who declared at least a basic level of proficiency in 22 languages other than English. The practitioner's reported proficiency in the language used was at a basic level in 24 consultations, whereas in 21, they reported having no proficiency at all. In 57 consultations, a relative/friend interpreted and in 6, a bilingual member of staff/community worker was used. Only in 6 cases was a professional interpreter booked. The main limitation was that only one random session was selected and assessment of patient/professional fluency in English was subjective. Conclusions It would appear that professional interpreters are under-used in relation to the need for them, with bilingual staff/family and friends being used commonly. In many cases where the patient spoke little/no English, the practitioner consulted in the patient's language but this approach was also used where reported practitioner proficiency was low. Further research in different setting is needed to substantiate these findings.
Service Clustering and Recognition Based on Feature Label

SaaS is a revolutionary software service mode and it changes the relations of software developer and customer entirely. In this paper, we introduce a model for service clustering based on feature label. We discuss the steps which should be conducted in a generic clustering algorithm, and present hierarchical clustering algorithm to conduct the clustering operation. We also present a case study to illustrate the proposed algorithm for services clustering and recognition.
Macroeconomics II Lecture notes (3) on: Nominal rigidities, rational expectations and stabilization policy

The existence of nominal rigidities in the process of price and wage setting has important consequences on the validity of the NCM policy ine¤ectiveness proposition, even in models with rational expectations. These notes outline two basic models that inotroduce, in a framework typical of the NCM, rigidities in nominal wage setting, and analyze the conditions under which monetary policy retains its e¤ectiveness in stabilizing output uctuations around its natural level. These models, combining "keynesian" elements such as nominal rigidities with the macroeconomic structure of the NCM models, are considered typical of the rst generation of models in a strand of literature known as the new keynesian macroeconomics. Here we present simpli ed versions of the models by S. Fischer (1977) and J. Taylor (1979), that share the common assumption that nominal wage are set by contracts (and are not perfectly exible prices). Details of the wage setting scheme are di¤erent: nominal wages are "predetermined" in Fischer (1977) and " xed" in Taylor (1979)
Integrating Probabilistic Modeling and Representation-Building

Optimization algorithms are adaptive when they sample problem solutions based on knowledge of the overall search space gathered from past sampling. Recently, competent adaptive optimization algorithms have been developed that achieve this adaptability via probabilistic modeling of the search space. However, their effectiveness requires the existence of a compact problem decomposition in terms of prespecified solution parameters. This is problematic when solutions do not have a uniform parameterized structure (open-ended solution spaces), or when a compact decomposition requires quantification over a large number of solution parameters (ambiguous semantics). In this context the goal of representation-building is, by exploiting domain knowledge, to transform solution parameters and introduce new parameters to match the underlying problem semantics, allowing compact problem decompositions to be expressed. In summary, I propose a dissertation in support of the thesis: Adaptive optimization algorithms based on probabilistic modeling may be augmented to solve problems with open-ended solution spaces and ambiguous semantics via representation-building. Primary background material is presented in section 1; section 2 describes and motivates the integration of probabilistic modeling and representation-building, including a proof-of-concept case study in the domain of fixed-length bitstrings, with experimental results. The utility of learning open-ended hierarchical structures (symbolic formulae, computer programs, parse trees, etc.), is outlined in section 3, along with some current approaches – I then propose a new approach based on probabilistic modeling and representation-building. Theoretical and experimental evaluation methodologies for this approach are proposed in section 4, and section 5 concludes.