Miracle-dz/UniFAR-FTUs huggingface dataset:
Online Energy-Aware I / O Device Scheduling for Hard Real-Time Systems with Shared Resources

The challenge in conserving energy in embedded real-time systems is to reduce power consumption while preserving temporal correctness. Previous research has focused on power conservation for the processor, while power conservation for I/O devices has received little attention. In this paper, we analyze the problem of online energyaware I/O scheduling for hard real-time systems based on the preemptive periodic task model with non-preemptive shared resources. We propose two online energy-aware I/O device scheduling algorithms: Conservative EnergyAware EDF (CEA-EDF) and Enhanced Aggressive Shut Down (EASD). The CEA-EDF algorithm makes conservative predictions for device usage and guarantees that a device is in the active state before or at the time the job that requires it is released. The EASD algorithm utilizes device slack to perform device power state transitions to save energy, without jeopardizing temporal correctness. Both algorithms are preemptive but support non-preemptive shared critical regions. An evaluation of the two approaches shows that both yield significant energy savings with respect to no Dynamic Power Management (DPM) techniques. The actual savings depends on the task set, shared devices, and the power requirements of the devices. EASD provides better power savings than CEA-EDF. However CEA-EDF has very low overhead and performs comparable to EASD when the system workload is low.
Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. In this paper, we develop an actor-based model for describing such systems, use temporal logic to specify properties of the model, and apply different abstraction and verification methods for verifying that the model meets its specification. We use a compositional verification approach for verifying safety properties of these models. For that we introduce a notion of component, based on an user-defined decomposition of the model. Components are more abstract than the model itself, and so we can reduce the state space of the model which makes it more amenable to model checking techniques. We prove that our abstraction technique preserves a set of behavioral specifications in temporal logic. The soundness of the abstraction is proved by the weak simulation relation between the constructs.
Effect of conservation tillage on biological activity in soil and crop productivity under rainfed Vertisols of Central India

The investigation was pointed to compare the effects of three tillage systems viz. conventional tillage (CT), reduced tillage (RT) and no-tillage (NT) and four cropping systems namely, Soybean + P. Pea (2:1), Soybean – Wheat, Maize + P. Pea (1:1), Maize – Gram) on soil living environs in terms of dehydrogenase activity (DHA), fluorescein diacetate hydrolysis activity (FDA), liable carbon (KMNO4 extractable) and soil organic carbon (SOC). Soil samples were collected at the end of 3 crop cycles from the layer of 0-15 cm depth. Within tillage systems, SOC were reported higher in RT (0.63%) and NT (0.62%) as compared to CT (0.57%) at surface soil (0-15cm). At 0-15cm depth, RT and NT registered significantly (P<0.05) higher SOC concentration compared to CT. The liable carbon (LC) content in surface soil (0-15 cm) was followed same trends of SOC, it follows the trend of RT > NT > CT. Further, cropping systems (CS) significantly affect this fraction of carbon at the surface layer. Moreover, soil enzymatic activity was significantly (P<0.05) affected by the imposed tillage systems. The results of DHA reported that significantly (P<0.05) higher in NT (122.35 μg TPF g day) system compared to RT (109.65 μg TPF g day) and CT (77.07 μg TPF g day). The FDA was reported significantly (P<0.05) higher in RT (30.85 μg fluorescein g h) followed by NT (27.95 μg fluorescein g h) and CT (22.91 μg fluorescein g h) at 0-15cm depth. Pearson correlation (r) showed significant correlations between soil organic carbon and studied soil biological parameters. The results of this study also confirmed effectiveness of studied parameters as soil indicators owing to sensitiveness towards management
USDA Forest Service , Bent Creek Experimental Forest , Asheville , NC ( contact : potter

Absfruci We view an Intelligent Information *stem (IIS) as composed of a unified knowledge base, database, and model base. The model base includes decision support models such as growth and y ie ld s imulat ion models, forecasting models, and visualization models for example. In aa? iition, we feel that the model base should include domain specific problem solv ing modules as wel l as decis ion support models . This, then, allows an IIS to provide responses to user queries regardless of whether the query process involves a data retrieval, an inference, a computational method, a problem solving module (employing, for example, a non-production rule based heuristic search technique), or some combination of these. The unified integration of these components in a distributed environment for forest ecosystem management is the focus of our research.
A Review on Workload Prediction of Cloud Services

cloud computing scalable and IT-enabled capabilities are delivered as a service to consumers using Internet. Workload prediction for cloud services differs from one application to another. In this paper review is presented about different work done for workload prediction of cloud computing for e- business websites. Findings and future scope are also discussed in this paper. Keywords-Business, SaaS, PaaS, IaaS.
D3G: Learning Multi-robot Coordination from Demonstrations

—This paper develops a Distributed Differentiable Dynamic Game (D3G) framework, which enables learning multi-robot coordination from demonstrations. We represent multi-robot coordination as a dynamic game, where the behavior of a robot is dictated by its own dynamics and objective that also depends on others’ behavior. The coordination thus can be adapted by tuning the objective and dynamics of each robot. The proposed D3G enables each robot to automatically tune its individual dynamics and objectives in a distributed manner by minimizing the mismatch between its trajectory and demonstrations. This learning framework features a new design, including a forward-pass, where all robots collaboratively seek Nash equilibrium of a game, and a backward-pass, where gradients are propagated via the communication graph. We test the D3G in simulation with two types of robots given different task conﬁgurations. The results validate the capability of D3G for learning multi-robot coordination from demonstrations.
THE COMPARATIVE STUDY BETWEEN TEACHER’S DIRECT AND INDIRECT FEEDBACK TECHNIQUES IN IMPROVING STUDENTS’ WRITING RECOUNT TEXT AT SMAN 1 KOTAGAJAH

Penelitian ini bertujuan untuk meneliti apakah i) teknik teacher's direct feedback dapat meningkatkan kemampuan menulis siswa, ii) teknik teacher's indirect feedback dapat meningkatkan kemampuan menulis siswa, dan iii) apakah ada perbedaan pada kemampuan menulis siswa antara siswa di kelas teacher's direct dan kelas indirect feedback. Penelitian ini termasuk kedalam penelitian kuantitatif. Subjek penelitian ini adalah 30 siswa kelas X MIPA 1 dan X MIPA 2 SMAN 1 Kotagajah. Tes menulis digunakan sebagai alat untuk pengambilan data. Hasil menunjukkan bahwa i) Teknik teacher's direct feedback dapat meningkatkan kemampuan menulis siswa, ii) Teknik teacher's indirect feedback dapat meningkatkan kemampuan menulis siswa, dan iii) terdapat perbedaan pada kemampuan menullis siswa antara siswa di kelas teacher's direct dan kelas indirect feedbacks. Hasil dari penelitian ini menganjurkan bahwa teknik teacher's direct dan indirect feedbacks ini dapat diaplikasikan sebagai strategi alternatif untuk meningkatkan kemampuan menulis siswa. This study was aimed to find whether i) teacher's direct feedback technique improves the students' writing achievement, ii) teacher's indirect feedback technique improves the students' writing achievement, and iii) there is any difference of students' writing between students in teacher's direct and indirect feedback classes. The research was quantitative. The subjects were 30 students of X MIPA 1 and X MIPA 2 of SMAN 1 Kotagajah. The writing test was administrated as the instrument of the research. The results show that i) the teacher's direct feedback technique improves the students' writing achievement, ii) the teacher's indirect feedback technique improves students' writing achievement, and iii) there is a statistically significant difference of the students' writing achievement between students in teacher's direct and indirect feedback classes. The findings suggest that teacher's direct and indirect feedback techniques can be applied as alternative strategies to improve students' writing ability.
Open Innovation in the Big Data Era with the MOVING Platform: An Integrated Working and Training Approach for Data-savvy Information Professionals

Citation for published version (APA): Vagliano, I. , Guenther, F. , Heinz, M. , Apaolaza, A. , Bienia, I. , Breitfuss, G. , Blume, T. , Collyda, C. , Fessl, A. , Gottfried, S. , Hasitschka, P., Kellermann, J., Koehler, T. , Maas, A. , Mezaris, V. , Saleh, A. , Skulimowski, A. , Thalmann, S. , Vigo, M. , . Scherp, A. (2018). Open Innovation in the Big Data Era with the MOVING Platform: An Integrated Working and Training Approach for Data-savvy Information Professionals. IEEE Multimedia. https://doi.org/10.1109/MMUL.2018. 2873495
Competitive Wireless Multi-access -implications and Research Issues

No single wireless access solution or radio technology is capable of providing AFFORDABLE wireless access in all scenarios and for all user needs. Large investments are already made in existing networks and technologies that already provide cost efficient solutions for certain applications, e.g. wide-area voice and medium rate data WLANs etc. However, multimode terminals can adapt to both new services and new wireless access technologies in a much faster, flexible and more cost efficient way than the infrastructure itself. The fact that “full coverage” not necessary for all access options is probably THE key factor. Infrastructure can be incrementally deployed, where needed and cost efficient. Effective access competition may provide additional benefits for the users but will create disruptive changes as well as new opportunities and cost reduction benefits to infrastructure providers. New research issues related to competitive access include access advertising and negotiation as well as competitive radio resource management. The paper will discuss these implication and outline some of the new research topics and research projects where they are studied.
Ieee Transactions on Software Engineering Model Checking Probabilistic and Stochastic Extensions of the Π-calculus

— We present an implementation of model checking for probabilistic and stochastic extensions of the π-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no implementation of automated verification exists. Building upon the π-calculus model checker MMC, we first show an automated procedure for constructing the underlying semantic model of a probabilistic or stochastic π-calculus process. This can then be verified using existing probabilistic model checkers such as PRISM. Secondly, we demonstrate how for processes of a specific structure a more efficient, compositional approach is applicable, which uses our extension of MMC on each parallel component of the system and then translates the results into a high-level modular description for the PRISM tool. The feasibility of our techniques is demonstrated through a number of case studies from the π-calculus literature.
Image Registration Techniques Based on the Scale Invariant Feature Transform

ABSTRACT Image registration deals with establishing correspondences between images of the same scene or object. An image registration algorithm should handle the variations introduced by the imaging system capturing the scene. Scale Invariant Feature Transform (SIFT) is an image registration algorithm based on local features in an image. Compared to the previous registration algorithms, SIFT is more robust to variations caused by changes in size, illumination, rotation, and viewpoint of the images. Owing to its performance, the algorithm is widely studied, modified, and successfully applied in many image and video based applications, in the domains such as medicine, industry, and defense. This paper is an outcome of extensive study on the state-of-art image registration algorithms based on SIFT. Around 20 algorithms based on the SIFT algorithm is discussed. A classification is made based on the objective with which the basic algorithm is modified. A comparative study on the performance, methodology of each technique is presented along with their applicability to various image processing applications and domains.
Random Walks with \ Back Buttons "

We introduce backoo processes, an idealized stochastic model of browsing on the worldwide web, which incorporates both hyperlink traversals and use of the \back button. " With some probability the next state is generated by a distribution over out-edges from the current state, as in a traditional Markov chain. With the remaining probability, however, the next state is generated by clicking on the back button, and returning to the state from which the current state was entered by a \forward step". Repeated clicks on the back button require access to increasingly distant history. We show that this process has fascinating similarities to and diierences from Markov chains. In particular, we prove that like Markov chains, backoo processes always have a limit distribution , and we give algorithms to compute this distribution. Unlike Markov chains, the limit distribution may depend on the start state.
Universities of Leeds, Sheffield and York

This paper presents GATE Teamware—an open-source, web-based, collaborative text annotation framework. It enables users to carry out complex corpus annotation projects, involving distributed annotator teams. Different user roles are provided (annotator, manager, administrator) with customisable user interface functionalities, in order to support the complex workﬂows and user interactions that occur in corpus annotation projects. Documents may be pre-processed automatically, so that human annotators can begin with text that has already been pre-annotated and thus making them more efﬁcient. The user interface is simple to learn, aimed at non-experts, and runs in an ordinary web browser, without need of additional software installation. GATE Teamware has been evaluated through the creation of several gold standard corpora and internal projects, as well as through external evaluation in commercial and EU text annotation projects. It is
A Fast Algorithm for HMM Training using Game Theory for Phoneme Recognition

Hidden Markov Models are widely used for modeling and predicting label sequences in ASR. In this paper, a gametheoretic approach for Hidden Markov Model training that is superior in terms of time-complexity over Baum-Welch algorithm is introduced. Furthermore, accuracy of recognition using proposed algorithm is comparable with that of BaumWelch algorithm.
Knowledge Management & E-Learning

: There is a large number of studies on how to promote students’ cognitive processes and learning achievements through various learning activities supported by advanced learning technologies. However, not many of them focus on applying the knowledge that students learn in school to solve authentic daily life problems. This study aims to propose a cognitive diffusion model called User-oriented Context-to-Text Recognition for Learning (U-CTRL) to facilitate and improve students’ learning and cognitive processes from lower levels (i.e., Remember and Understand) to higher levels (i.e., Apply and above) through an innovative approach, called User-Oriented Context-to-Text Recognition for Learning (U-CTRL). With U-CTRL, students participate in learning activities in which they capture the learning context that can be scanned and recognized by a computer application as text. Furthermore, this study proposes the use of an innovative model, called Cognitive Diffusion Model, to investigate the diffusion and transition of students’ cognitive processes in different learning stages including pre-schooling, after-schooling, crossing the chasm, and higher cognitive processing. Finally, two cases are presented to demonstrate how the U-CTRL approach can be used to facilitate student cognition in their learning of English and Natural science.
Smog can Cost More than What We are Earning Now: A Case Study of Fangshan District in Beijing, China

Smog is a kind of air pollution, which is really a serious environmental problem that can be found all over the world, and it is mainly caused by industrialization and urbanization. It is covering most of regions in China recently [28]. According to Xudong Zhu (2013), ninety percent of causes of the smog are from human movements, especially movements on energy consumption and pollutant discharge, especially from the industrial production. In this study, a research on the causes of smog at general level and local level of Fangshan has been done. Also the impacts of smog on human health and socio-economic development have been analyzed; the study researched on the impacts only based on aspects directly related to human wellbeing. Both the discussions on causes of smog and on impacts of smog on human wellbeing from three perspectives, the global perspective, the national level that focusing on general information of China, and the specific discussion on smog in Fnagshan, which is the local level. The reason why Fangshan has been chosen as the specific spot is that Fangshan now is impacted by smog seriously, and this study is done for calling for attention on the impacts of smog on human beings, particularly in Fnagshan, which could be an increasingly terrible environmental problem for every state in the world.
Sheep and Wolves Test Bed for Human-Robot Interaction

This paper presents a dynamic experimental test bed for exploring and evaluating human-robot interaction (HRI). Our system is designed around the concept of playing board games involving collaboration between humans and robots in a shared physical environment. Unlike the classic human-versus-machine situation often established in computer-based board games, our test bed takes advantage of the rich interaction opportunities that arise when humans and robots play collaboratively as a team. To facilitate interaction within a shared physical environment, our game is played on a large checkerboard where human and robotic players can be situated and play as game pieces within the game. With meaningful interaction occurring within our confined setup, various aspects of human-robot interaction can be easily explored and evaluated such as interface methods. We also present the results of a user evaluation which shows the sensitivity of our system in assessing robotic behaviours.
15 Information Technology and Exports : A Case Study of Indian Garments Manufacturing Enterprises

This study identifies and analyses the factors that influence the export performance of Indian garments manufacturing firms. The data come from a sample of seventy-four firms located in Okhla. The results show that intensity of adoption of Information Technology (IT) was the most significant variable that influenced the export performance of firms. The other variables that played an important role in augmenting the export intensity were quality of raw material and the wage rate. The results show that Managing Directors of export-oriented firms assigned more importance to flexibility in product designs. The study suggests that a higher degree of adoption of IT by Indian firms is crucial to remain internationally competitive. The use of advanced IT tools will be even more relevant once the WTO recommendations are in place.
Mending the gap: Measurement needs to address policy implementation through a health equity lens

Abstract Policies represent a key opportunity to improve the health outcomes of populations, and if implemented well, can reduce disparities affecting marginalized populations. Many policies are only evaluated on whether they elicit their intended health outcome. However, a lack of understanding regarding if and how they are implemented may hinder the intended impact overall and on addressing health disparities. Implementation science offers an array of frameworks and methodological approaches for assessing policy delivery, yet few examples exist that meaningfully include health equity as a core focus. This commentary describes the importance of equity-informed implementation measurement by providing case examples and implications for assessment. In addition, we highlight examples of emerging work in policy implementation grounded in health equity with suggested steps for moving the field forward. The ultimate goal is to move toward open-access measurement approaches that can be adapted to study implementation of a variety of policies at different stages of implementation, driven by input from marginalized populations and implementation practitioners, to move the needle on addressing health disparities.
Ecological Concerns of Migratory Birds in Pakistan: A Review

| Birds from Siberian region migrate to oriental region through different fly-zones in order to shun the perils of extreme cold annually in the winter season. Indus Fly Zone in Pakistan serves as a middle Asian flying route for the migratory birds that is connected to West Asian and East African flying routes. The ecological concerns faced by the migratory birds in Pakistan have been reviewed extensively. The disappearing trends of migratory birds are recorded from fresh water reservoirs of Pakistan and are mainly attributed to continued loss of wintering habitat, habitat modification, fragmentation, eutrophication, anthropogenic activities and illegal hunting. The adverse effects of habitat loss (Band tailed fish eagle, Black Stork and Water Pipit), pesticides (Gulls, Eagles, Terns, Ducks and Cormorants), eutrophication (Painted stork and Dalmatian pelican), Agrochemical Contamination (Black-tailed godwit and Fish bird) Heavy Metal Pollution Contamination (Cattle egrets), Unsustainable Fisheries Practices (Ducks), invasive species (Little egret and Night herone) and illegal hunting (Geese, Ducks, Siberian cranes and Bustards) have resulted in the decline of species abundance. Regular conduct of surveys for important migratory birds to assess the population trend, abundance and patterns of their migration is another important step towards conservation of birds. To make an effective conservation of migratory birds, integration of different approaches for the protection of their habitats, and to prevent the illegal hunting and poaching, mitigating agricultural and industrial pollution, preventing water reservoirs from heavy metal poisoning are important considerations. Ceasing anthropogenic activities along with the mass awareness programs on electronic and print media could be effective conservation strategies during the period of their stay in Pakistan. Article History Received: June 02, 2017 Revised: December 10, 2017 Accepted: December 12, 2017 Published: May 16, 2018 Authors’ Contributions MU drafted the manuscript. MH presented the concept and coordinated correspondence. GM, MH and FAS critically reviewed the manuscript. FZ did final revision. GR prepared the map.