Miracle-dz/UniFAR-FTUs huggingface dataset:
Make it Smile : ) A Muscle-based Approach on Facial Animation

325 Abstract—Facial expressions are very important in human communications. Creating them programmatically, using a muscle-based system, can greatly reduce the amount of time needed to produce an animation. The main advantage of the muscle approach is that the only thing that has to be done before starting to animate a new character is to tailor the muscle system to fit the new facial features. We describe a mass-spring system used for the physical simulation of the structure and dynamics of the facial muscles and the skin.
The employment o calibration and validation of microsimulation models for road safety analysis

The main objective of this paper is to verify the capability of microsimulation to be employed safety analysis purposes. In particular used to analyse road safety performance of a two The calibration/validation framework of microsimula obtained through smartphones with an embedded GPS to those simulated, in terms of safety performance indicators, determining how approach fits the real conditions.
Reproduction / Ten Years Reproducibility Challenge / Genetics [Rp] Identifying essential genes by mutagenesis

As part of the ReScience Ten Years Reproducibility Challenge, I sought to reproduce the analyses in Lamichhane et al. (2003). The bulk of the code and data were quickly identified, though there were a number of challenges in reconstructing the analysis steps. There was little documentation and rather quirky file organization. And the code for one figure was not present in the main project directory but rather was dis‐ covered in a separate directory with presentation slides. Nevertheless, the bulk of the results could be reproduced to within Monte Carlo sampling error, with just one small change to the code to avoid errors due to a change in R. One of the paper’s fig‐ ures, however, could not be reproduced as the code for the computer simulations it presented could not be found.
QUNTITATIVE PCR AS A TOOL FOR ANALYSIS OF DIVERSITY IN SOIL MICROBIOME

Majority of terrestrial soils are used primarily for agricultural production. The main factor of soil fertility is mediated by soil microorganisms and invertebrates. Soil microorganisms plays crutial role in ecosystems nutrient cycling and therefore any change in their diversity could have serious consequences on soil fertility and agricultural yields. Silver nanoparticles as novel potentialy nontoxic compounds are nowadays used in many daily use products and also as pesticides. But based on their antimicrobial activity, they can adversely influence structure of soil microbiome. Our work is focused on qPCR analysis of soil microbiome diversity with and without silver nanoparticles treatment. Phylogenetic analysis revealed concentration dependent shifts in microbial diversity, usually in the favor of one phylogenetic group of bacteria or fungi and analysis of melting curves showed changes inside individual phylogenetic groups.
An integrated testbed for full-stack 5G experimentation

We describe the new integrated mobile network testbed that we are developing by merging CTTC’s GEDOMIS Testbed with the ns-3 based LENA LTE-EPC emulated protocol stack running over CTTC’s EXTREME Testbed. This new integrated testbed will allow full-stack experimentation of novel 5G technologies. We provide a description of the architecture of the integrated testbed and discuss some of its possible use cases.
Temporal Land Cover Analysis of a NATURA 2000 Wetland. The Case Study of Megalo Livari (GR 2420004) in Northern Evia, Greece

Natural environment has been degraded both qualitative and quantitative due to human activities over the last century. The European Ecological network NATURA 2000 has been created to preserve the biodiversity in SCI and SPA areas. The selected study area of Megalo Livari in Northern Evia, a part of the NATURA 2000 network, is one of the most important wetlands for migratory birds in Greece with rich riparian forest vegetation. The aim of this work is to record the temporal land cover changes, nearly the last 50 years, by means of remote sensing and GIS analysis. The proposed methodology presents a cost effective solution for an accurate assessment of the land cover changes in the study area. An old and a recent orthoimage of the area of interest are used and the land cover changes are assessed by photo-interpretation in combination with field work. The land cover changes, largely affected by human activities (agriculture, tourism, fishery), is the main reason of the degradation of the natural environment, more particularly of the riparian forest and vegetation the last 50 years in the area of Megalo Livari in Greece.
PETRI NETS LIVENESS CONTROLLER FOR FLEXIBLE MANUFACTURING SYSTEMS

This paper generalises some previous approaches for modelling flexible manufacturing systems (FMS) with shared resources. We consider a class of controlled discrete – event systems modelled as controlled Petri nets. Our goal is to model a live system, using the concept of synchronic distances in Petri nets, with a liveness controller that can be used for verifying some other parameters, beside the liveness of the Petri net model of the FMS, such as availability of the system’s components. An example illustrates the given approach.
JDB-Eine Bibliothek für Java-Debugging im Browser

Im Zuge einer zunehmenden Digitalisierung [1] sind immer mehr Lerninhalte auch im Internet verfügbar. Dies gilt auch für Seminare bzw. Kurse („MOOCS)“ zum Erlernen von Programmiersprachen. Beispiel dafür sind z.B. CodeScape [2] oder OpenHPI [3]. Daneben existieren ähnliche Plattformen, die jedoch weniger die Vermittlung von Fertigkeiten zum Ziel haben, sondern den Wettstreit mit andren Teilnehmern. Beispiele hierfür sind CodinGame [4] und Codewars [5].
Non Pharmacological Management of Cyanotic Spell in a Child with Tetralogy of Fallot Undergoing Noncardiac Surgery: A Case Report

Patient with Tetralogy of Fallot (TOF) may sometimes present for noncardiac surgery. These patients may have lots of other congenital anomalies, which may need repeated surgeries for their correction. Anaesthetic management in this sort of cases for noncardiac surgeries may pose a real challenge to the anaesthesiologists because of the high incidence of perioperative complications. Cyanotic spell is one among them. Cyanotic spells are usually managed by drugs. But there is report of use of non-pharmacological measures also. In this case report we present successful management of the intraoperative cyanotic spell with intravenous fluids and blood.
Public Transportation in Rural Areas: The Clustered Dial-a-Ride Problem

This thesis introduces the Clustered Dial-a-Ride problem, which isNP -hard. In practice, the Clustered Dial-a-Ride problem occurs in the domain of public transportation in rural areas. Every village is represented by one cluster. A restriction of the structure of allowed solutions yields a fixed parameter algorithm whose parameter represents the size of the clusters. This makes the Clustered Dial-a-Ride problem solvable faster in practice than the original Dial-a-Ride problem. It turns out that the restriction on the set of solutions does in many realistic cases not play a role. In order to decide whether a specific instance allows the restriction, a classifier is presented. Experiments show that the classifier becomes more accurate the wider the villages lie apart. The classifier’s recall is above 80 percent for instances with six passengers and a mean distance of eight kilometers between the villages.
Constructive Trace Validation with Flat Temporal Logic Patterns

We consider the problem of verifying if a program trace is valid with respect to a linear temporal logic (LTL) specification. Existing methods only provide yes/no answers. Such answers are unsatisfactory and not helpful to precisely track down the source of a failure. We show that by restricting LTL formulas to flat, non-nested and right-associative forms, we obtain a method which provides detailed explanations about the outcome of trace validation in a form comprehensible for the user. For example, we obtain information which parts of the specification have been exercised in case of success and which parts have been violated in case of failure. The approach has been fully implemented and is applied in some real-world projects for testing of synchronously executed software components.
Tolerance of Moringa Oleifera to water stress

Moringa oleifera (Lam) is a fast growing tree that is gradually getting more attention for it numerous uses. It is often called "natural gift" or "miracle tree" because of its many nutritional, forage, medicinal and industrial potentialities. Moringa oleifera appears to be a promising multipurpose species for use under a changing climate. To test possible adaptation potential and / or tolerance of Moringa oleifera to water stress, an experiment was conducted under semi controlled conditions. Stress was induced in the semi-controlled experiment by the application of different concentrations of polyethylene glycol (PEG-6000), to cause different levels of water potential stress for twenty days. The effect of water stress to plant growth was evaluated based on chlorophyll (a and b) and carotenoid compared to controls. Water stress resulted to a 70% gain in chlorophylls b, 44% losses in chlorophyll a and 45% in carotenoids. These results testify the tolerance ability of Moringa oleifera plants to water stress.
Theory of Land and Efficient Land Markets through Real Estate Exchange

Real Estate Exchange as to widen the scope of market, facilitate easy trading to avoid wide fluctuations in the market. The exchange would also enable price discovery through efficient allocation and distribution of resources. Real Estate exchange is the need of the hour. It would widen the scope of market, introduce greater liquidity, lead to price discovery, efficient allocation and distribution of resources while integrating the real sector with the economic growth and development. We propose an equity and debt participatory note instrument to be devised to distribute the legal and economic right over the real estate. An entire system of institutions and departments is further proposed in the article to enable the real estate exchange to operate and function. Digitalization of land records along with real time transaction recording is also proposed as one of the requisites for setting up an exchange. The exchange proposed aims to achieve allocation, distribution and information efficiency.
Assessment of Knowledge , Attitude and Practice of Tuberculosis Transmission and Prevention Among Tuberculosis Patients at Kuyyu Hospital , North Shoa Zone , Oromia Regional State , Ethiopia

©Copyright 2019 by Anatolian Journal of Family Medicine Available online at www.anatoljfm. org INTRODUCTION Tuberculosis (TB) is an infectious disease that arises from the bacterium Mycobacterium TB, which typically affects the lungs (pulmonary TB) but may affect other sites as well (extrapulmonary TB). The disease is spread through the air when people who are sick with pulmonary Objectives: Tuberculosis is an infectious disease that arises from the bacillus Mycobacterium tuberculosis, which typically affects the lungs (pulmonary Tuberculosis) but may affect other sites as well (extrapulmonary Tuberculosis). This disease is spread through the air when people who are sick with pulmonary Tuberculosis expel bacteria. Tuberculosis continues to be a major public health problem throughout the world, including Ethiopia. In this study, we aim to assess knowledge, attitude, the practice (KAP) of tuberculosis transmission and prevention among patients with Tuberculosis in Kuyyu Hospital, North Shoa Zone, Oromia Region, Ethiopia, 2018 Gregorian Calender.
Clinical trial to assess the impact of acclimation and low-stress cattle handling on bovine respiratory disease and performance during the feedyard finishing phase

Acclimation and low-stress cattle handling techniques (ALSCH) are promoted to improve cattle welfare. The purpose of this clinical trial was to evaluate the impact of ALSCH in relation to conventional handling (CON) on bovine respiratory disease (BRD) and performance of cattle during the feedlot phase of production. Abruptly weaned calves (n=136; 6 to 9 months of age) were transported to a research feedyard, and randomly enrolled into 4 pens-2 replicates of CON and 2 replicates of ALSCH. Conventionally handled calves were processed through a tub and curved alleyway facility without being acclimated. ALSCH calves were systematically acclimated to the feedyard environment and an open-sided "Bud-box" design working facility prior to processing. There were no differences in respiratory morbidity between treatment groups (P=0.34). From day 19 to day 95, ADG of CON calves was 2.70 lb (1.23 kg)/day versus 2.92 lb (1.33 kg)/day for ALSCH (P=0.01). Calves in CON pens tended to have a lighter mean hot carcass weight that was approximately 29 lb (13.2 kg) lighter than calves in the ALSCH pens (P=0.07). This clinical trial provides preliminary evidence that ALSCH may result in short-term performance benefits when applied to abruptly weaned calves in a feedyard setting, and provides background information for further scientific investigation.
Robust Synchronization by Open-Loop Control

In this paper we consider networks of identical linear time-invariant single-input-single-output systems. We consider the situation in which the couplings between the individual systems depend on a parameter varying over compact real interval. We examine a family of circularly interconnected harmonic oscillators. Also, we consider a family of systems that are arranged in a row. We show that in both cases there exists a broadcasted parameter-independent open-loop control input steering all individual system towards a predefined parameterdependent family of terminal states. The investigation of this problem leads naturally to the analysis of one-parameter dependent linear systems and, in particular, uniform ensemble controllability. To this end, we generalize existing results on uniform ensemble controllability of parameter-dependent single-input linear systems so that the parameter space can be any compact subset of the real line.
DETERMINANT FACTORS TO LOCAL GOVERNMENT PERFORMANCE: WHAT IS STAKEHOLDER’S ROLE IN THE PROCESS?

Performance management in the local government domain has been in the scholars’ agenda all around the world for a while, but it still lacks on normative issues to allow managers to devise more adequate performance indicators. This paper aims to contribute to government performance management by issuing empirical evidence on stakeholder involvement with performance. It is a realistic investigation carried out with Brazilian local government through a survey. The analysis process is carried out employing Resource Dependence and Institutional theories for depicting the determinant factors to performance. The survey focused on the top quartile of best performing municipalities in Minas Gerais in terms of the Human Development Index. Findings indicate evidence that mayoral leadership, federal and state government financial support and employee’s skilfulness are likely to improve the performance of a given municipality. The real contribution this paper makes to literature is that public services at the local level of government need to be carried out by real and faithful leaders, because everything else depends on it and therefore it challenges the Brazilian public management system, at least at the local level. It is also a descriptive contribution to the public sector performance management in the extent that it depicts the role of some important stakeholders on performance. Thought assuming that popular participation should be sought in order to improve democracy, its role as a determinant factor to performance needs further investigation in order to be accepted as a theoretical truth. The main theoretical contribution the paper issues is related to the nature of the determinant factors, which, according to the findings, stems mainly from the technical rather from the institutional environment. Key-words: performance management; determinant factors to performance; stakeholder analysis, local government, Brazil
Climate Policy Measures : What do people prefer ? 1

Several countries are responding to the climate change threat with various policy measures (e.g., taxes, permit trading, regulations, information campaigns, etc). While the effectiveness of different measures (instruments) has been studied extensively, very little research exists related to public preferences for alternative measures. This paper describes the results of a pilot study to determine whether a choice experiment might be a feasible approach for measuring preferences for carbon dioxide reduction policies, while ensuring careful consideration of the budget constraint facing households. We focus on estimating the public’s marginal utilities and implicit prices for a select group of attributes that describe climate policy measures in general. The results from the pilot study indicate that when respondents trade-off the cost of alternative and unlabeled policy measures, they are willing to pay for those that encourage (1) the development of environmentally-friendly technology and (2) climate awareness among the Swedish population. Finding (1) could be interpreted to mean public support for market-based measures (e.g., taxes and permit trading) while finding (2) seems to support the use of information in the design of climate policy measures in order to encourage carbon dioxide-reducing behavior. Finally, our pilot study assumed that respondents’ preferences for the cost-sharing burden (equity) of measures might be defined in terms of an individual’s ability to pay. Given this assumption, our results indicate weak preferences for non-regressive cost distribution, but progressive cost distribution had no effect on choice. We offer several possible conclusions from this preliminary investigation into climate policy preferences.
Study of spatial components of forest cover using partial Mantel tests and path analysis

Plant species distributions are generally thought to be chiefly under environmental control, although they may be affected by disturbance events or dispersion properties of the species. The relative importance of these different factors is not easy to evaluate because they often share common spatial patterns, such that an inextricable network of relationships occurs between plant distributions, environmental conditions, disturbancc events and endogenous factors such as propagule dispersion. In this paper we propose a method for untangling the common spatial component from the relationship between environmental conditions and the distribution of tree species. Using partial Mantel tests and path analysis, we test models of relationships between these data sets. Results show that in our study area, spatial patterns of species associated with hydric conditions remain largely correlated with environmental conditions. However, mesic sites show more complex forest covers, in which a significant spatial component persists when environmental variation is statistically controlled for. This remaining spatial variability suggests that other factors possessing spatial structure partly explain species distributions.
University of Birmingham Free higher groups in homotopy type theory

Given a typeA in homotopy type theory (HoTT), we can define the free∞-group onA as the loop space of the suspension ofA+1. Equivalently, this free higher group can be defined as a higher inductive type F(A) with constructors unit : F(A), cons : A→ F(A) → F(A), and conditions saying that every cons(a) is an auto-equivalence on F(A). Assuming that A is a set (i.e. satisfies the principle of unique identity proofs), we are interested in the question whether F(A) is a set as well, which is very much related to an open problem in the HoTT book [22, Ex. 8.2]. We show an approximation to the question, namely that the fundamental groups of F(A) are trivial, i.e. that ∥F(A)∥1 is a set. CCS Concepts • Theory of computation→ Type theory;
The Impact of Corporate Governance Index and Earnings Management on Firms’ Performance: A Comparative Study on the Islamic versus Conventional Financial Institutions in Pakistan

This study investigates the impact of corporate governance index and earnings management on firms’ performance and makes a comparative analysis of the selected Islamic and conventional financial institutions in Pakistan for the period of 2005-2015. Data of 20 KSE listed Islamic financial institutions (i.e., a few Islamic banks and mostly mud.¯arabah companies), and 35 KSE listed conventional financial institutions (i.e., conventional banks, mutual funds, insurance companies, and investment companies) have been used for analysis. The fixed effect model and random effect model have been used for analysis. The study finds that the corporate governance structure of conventional financial institutions is sound as compared to Islamic financial institutions. The study also concluded that the manipulation for earnings management is less in Islamic financial institutions as compared to conventional financial institutions in Pakistan. Therefore, it does not affect firm’s performance of Islamic financial institutions whereas the results of conventional financial institutions indicate that the manipulation of earnings management has an impact on their performance. Results of this study suggest that compliance with corporate governance practices is equally significant for both Islamic and conventional financial institutions.
Poster: Room-Scale Over-the-Air Audio Adversarial Examples

This poster presents our recent work Metamorph, a system that can generate over-the-air audio adversarial examples working in a room scale. We find that the device and channel frequency selectivity with different characteristics could fail the previous audio adversarial attacks, and we propose a generateand-clean two-phase design to tackle this issue. Evaluation shows the effectiveness of the Metamorph design in both Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) environments.
Optimization in MIG Welding by Using Six Sigma Tools

Six sigma methodology leads to business excellence by improving process quality and reducing variations. It’s a philosophy which enables processes to produce defect free products. A refrigerant manufacturing company was facing increased operational cost, low quality, and increased lead time due to high defect rate in Metal Inert Gas (MIG) Welding. This paper presents an empirical study about the implementation of six sigma Define, Measure, Analyze, Improve and Control (DMAIC) methodology in MIG Welding facility of Heat Ventilation and Air Conditioning (HVAC) manufacturing plant. Critical factors were identified and analyzed by using Ishikawa diagram and hypothesis testing. Fitted linear model was used to identify optimal setting of process parameters. After-effects of project reduced the defect rate up to 25% operations cost (US $ 0.8 Million), and customized the sigma level from 2 to 4 sigma.