Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a logic lab on the cloud : desktop and mobile sessions ?

This case study proposes a novel system of the Internet as a service for Answer Set Programming (ASP) solvers, keeping open sessions for registered users, in such a way they can work ASP knowledge bases anywhere, without having to download, compile, install and configure the solver. The technique can exploit the cloud and mobile potentials, such as processor and memory management, GPS (Global Positioning System), accelerometer, thermometer, heart rate sensor, touchscreen and gestures, voice, images, fingerprints, signatures, phone calls, wristwatch, proximity sensor, and so on. It can also get benefited from cloud computing and data mining potentials, such as massive computing and memory distribution, big-data collection and analysis, centralized work, work sessions, scalability, concurrent teamwork, and more. We started this proposal with the aim to offer an alternative to the everyday use of DLV and CLINGO ASP solvers, readily available on devices that everybody uses, like browsers and mobile devices. This time we focus on setting up a global service, the desktop browser, and mobile interfaces. We also provide a methodology of incremental development, consisting in showing work progress into phases of analysis, modeling, design, and implementation of the solution. In the following, we introduce the problem of computing ASP knowledge bases online and background. Later we add a brief survey on similar works. Then we present our proposal. Finally, we conclude with a discussion and future work.
Achieving Agility and Dynamic Capabilities on Sustainable Performance: Evidence from the Upstream Oil and Gas Sector

Purpose: This paper aims to seize the understanding of the effect of TMT commitment (TMC), leadership agility development (LAD), field agile leader (FAL), and operational capabilities (OC) on the field unit performance (FUP) in Indonesia oil and gas sector. Design/methodology/approach: Research instruments were developed and distributed throughout field operation units in the Indonesian oil and gas sector, resulting in 175 data from field operation leaders across Indonesia's operating oil and gas companies. Structural equation modeling (SEM) LISREL were used to examine the developed hypotheses. Findings: This research finds that TMT commitment and leadership agility development on field agile leaders, directly and indirectly, play a significant role in the Indonesian oil and gas sector. Leadership agility development has a strong influence on the field of an agile leader. Furthermore, field agile leaders influence operational capabilities, which then affects unit performance significantly. Practical Implications: The findings have several implications for professionals in the oil and gas sector. The finding of this research also describes the pivotal role of leadership agility development to make the leader more resilient and agile. Originality/value: The proposed model will describe the input-process-output phases in creating value. This research also contributes to how leadership agility can be promoted and organizational agility and development.
Some skew-symmetric models

The skew-normal distributions have been introduced by many authors, e.g. Azzalini (1985), Arnold et al. (1993), Aigner et al. (1977), Andel et al. (1984). This class of distributions includes the normal distribution and possesses several properties which coincide or are close to the properties of the normal family. However, this class has a skewness parameter which makes it possible to have a reasonable model for a skewed population distribution thus providing a more flexible model which represents the data as adequately as possible. Besides being useful in modeling, they are helpful in studying the robustness, and in Bayesian analysis as priors. The construction of such models is based on the following lemma (see Azzalini, 1985).
Sampling diverse neural networks for exploration in reinforcement learning

Current methods providing neural networks with uncertainty struggle with drawing diverse samples from the network posterior prediction distribution. In this work, we introduce an approach for sampling various functions from the posterior predictive distribution of a neural network by considering in the loss a repulsive constraint applied in the function space. We illustrate the usefulness of the method on a 1D regression problem, as well as reinforcement learning problems where exploring unseen regions of the state space is required.
Accounting for the Great Recession in the UK: Real Business Cycles and Financial Frictions

Using the business cycle accounting (BCA) framework pioneered by Chari, Kehoe and McGratten (2006) we examine the 2008-09 recession in the UK. There has been much commentary on the financial causes of this recession, which we might have expected to shock the equation governing the intertemporal rate of substitution in consumption. However, the recession appears to have been mostly driven by shocks to the efficiency wedge in total production, rather than the intertemporal consumption, labour or spending wedge. From an expenditure perspective this result is consistent with the observed large falls in both consumption and investment during the recession. To assess this result we also simulate artificial data from a DSGE model in which asset price shocks dominate and find no strong role for the intertemporal consumption wedge using the BCA method. This result does not imply that financial frictions did not matter for the recent recession but that such frictions do not necessarily impact only on the intertemporal rate of substitution in consumption.
THE INFLUENCE OF INNOVATIVENESS, RISK TAKING, AND PROACTIVENESS TOWARD SOCIAL ENTERPRISE ECONOMIC PEFORMANCE IN SURABAYA

This research analyzes the influence of innovativeness, risk taking and proactiveness towards social enterprise economic performance in Surabaya. The researcher uses simple random sampling method to collect the data. The data was collected by handing out questionnaires with a five-point Likert scale and there are 32 social enterprises in Surabaya who participated in this study. The data analysis process was done by using the statistical program SPSS 22. Through this research, it was found that innovativeness has a significant influence towards economic performance (sig value=0.014), whereas, risk taking (sig value=0.086) and proactiveness (sig value=0.900) do not influence economic performance significantly. Innovativeness, risk taking and proactiveness have a significant and simultaneous effect towards social enterprise economic performance in Surabaya with a significance value of 0.000. The researcher concludes that 42.8% of the change happen in economic performance can be explained by innovativeness, risk taking, and proactiveness, while 57.2% are variables that are still left to be explored. This result may vary in different sample across different country and region. Keywords: social enterprise, innovativeness, risk taking, proactiveness, and economic performance.
Minutes of the expert meeting on perfluooroctane sulfonic acid and perfluorooctanoic acid in food assessment

On 22 March 2018 the EFSA Panel on Contaminants in Food (CONTAM Panel) adopted a scientific opinion on the risks to public health related to the presence of perfluorooctane sulfonic acid and perfluorooctanoic acid in food. Due to the fact that the CONTAM Panel, at the end, agreed to use endpoints from human epidemiological studies to derive the health-based guidance values, potential divergences between the CONTAM Panel scientific opinion and previous risk assessments of ECHA, Danish EPA and RIVM were identified at this stage. Following the presentation of the outcome of the opinion and the identified divergences to the EFSA Advisory Forum, potential contentious issues were raised also by BfR. Some of these issues were addressed by EFSA in correspondence with RIVM and BfR in preparation of the expert meeting.
EFFECT OF STRUCTURE ANISOTROPY AND COMPACTION METHOD ON THE SWELLING BEHAVIOR OF Al-QATIF SOIL

The degree of variation in anisotropy adversely affects the predictability of swell behavior. For this purpose, one dimensional fixed ring oedometer consolidation tests were conducted on Al-Qatif soil, by varying the mode as well as the degree of compaction. The samples were prepared by both dynamic and static compaction techniques. Prior to consolidation testing, the samples were prepared at the respective dry densities for each compaction technique, in order to study the effect of structure anisotropy on the swelling behavior of the soil. Further, in order to check the effect of fabric orientation on the swell behavior, both horizontal and vertical samplings were done from the compaction mold and the resulting degree of swell was determined in both the cases. The studies carried out indicate that, the anisotropy brought by varying the degree and method of compaction as well as orientation has a considerable effect on the swell behavior of Al-Qatif soil.
Controlling Contention Window to Ensure QoS for Multimedia Data in Wireless Network

The IEEE-802.11e standard was published withthe goal of ensuring quality of service, especially with mul-timedia data. However, this standard only assigns differentpriorities for different types of data but does not controlthe sharing of bandwidth among different data flows. In thispaper, we will propose a method of sharing bandwidth forproportional data flows and controlling Contention Windowof each priority flow to achieve that ratio.
Visualizing the Academic Discipline of Knowledge Management

The aim of this paper was to evaluate the research status of knowledge management (KM) and identify the characteristics of KM in the literature. We selected and studied in detail 7628 original research articles from the Web of Science from 1974 to 2017. Although many studies have contributed to the evolution of the KM domain, our results showed that a comprehensive bibliometric and visualization investigation was required. The literature on KM has grown rapidly since the 1970s. The United States of America, as the original contributing country, has also internationally collaborated the most in this field of study. The National Cheng Kung University has made the highest number of contributions. The majority of authors contributed a small number of publications. Additionally, the most common category in KM research was management. The main publications for KM research include Journal of Knowledge Management, and Knowledge Management Research & Practice. A keywords analysis determined that “knowledge sharing”, “innovation”, “ontology”, and “knowledge management” were consistent hotspots in knowledge management research. Through a document co-citation analysis, the intellectual structures of knowledge management were defined, and four emerging trends were identified that focus on new phenomenon, the practice of knowledge management, small and medium enterprises (SMEs) management based on knowledge perspective, innovation and performance, and big data-enabled KM. We also provide eight research questions for future studies. Our results will benefit academics, researchers, and research students who want to rapidly obtain an overview of knowledge management research. This study can also be a starting point for communication between academics and practitioners.
Does the Helical Blade Lead to Higher Rates of Fixation Failure as Compared to Lag Screw in the Cephalomedullary Nailing Treatment of Hip Fractures? A Systematic Review and Meta-Analysis

Supplemental Digital Content is Available in the Text. Objectives: Recently, several studies have suggested that blade-type cephalomedullary nails (CMNs) have a higher risk of fixation failure than that of lag screws, but no clinical consensus exists. This study compared fixation failure between helical blade-type and lag screw-type CMNs with cut-out and cut-through rates as primary outcomes and degree of sliding length, time to union, and nonunion rate as secondary outcomes. Data Sources: MEDLINE, Embase, and Cochrane Library were systematically searched for studies published before March 4, 2020, using the PRISMA guidelines. Study Selection: Studies were included if they directly compared helical blade and lag screw for treating hip fractures. Data could be extracted for CMN alone to avoid mixing CMN and extramedullary plate devices, such as the dynamic hip screw. Data Extraction: Two board-certified orthopaedic surgeons specializing in hip surgery independently extracted data from the selected studies, and the data collected were compared to verify agreement. Data Synthesis: All data were pooled using a random-effects model. For all comparisons, odds ratios (ORs) and 95% confidence intervals (CIs) were calculated as dichotomous data, whereas continuous data were analyzed using mean differences with 95% CIs. Conclusions: Fixation failure (OR = 1.88, 95% CI: 1.09–3.23, P = 0.02), especially cut-through (OR = 5.33; 95% CI, 2.09–13.56; P < 0.01), was more common with helical blades than with lag screws, although the cut-out rate was not significantly different between both the 2 groups (OR = 0.87, 95% CI: 0.38–1.96, P = 0.73). Surgeons should carefully select a blade-type CMN when treating hip fractures. Level of Evidence: Therapeutic Level III. See Instructions for Authors for a complete description of levels of evidence.
Sea Urchin-like Microstructures Pressure Sensors with Ultra-sensitivity and Super Working Range

Sensitivity and pressure range are two significant parameters of pressure sensors. The existing pressure sensors are difficult to achieve both high sensitivity and a wide pressure range. In this regard, we proposed a new pressure sensor with a ternary nanocomposite Fe2O3/C@SnO2. Notably, the sea urchin-like Fe2O3 structure promoted signal transduction and protected Fe2O3 needles from mechanical breaking; while, acetylene carbon black improved the conductivity of Fe2O3. Moreover, one part of SnO2 nanoparticles adhered to the surface of Fe2O3 needles and formed Fe2O3/SnO2 heterostructures whereas its other part of nanoparticles dispersed into the carbon layer and formed SnO2@C structures. Collectively, the synergy of the three structures (Fe2O3/C, Fe2O3/SnO2 and SnO2@C) improved the limited pressure response range of a single structure. The experimental results demonstrated that the Fe2O3/C@SnO2 pressure sensor exhibits high sensitivity (680 kPa-1), fast response (10 ms), broad range (up to 150 kPa), and good reproducibility (over 3500 cycles under a pressure of 110 kPa). This implies that the new pressure sensor has wide application prospects especially in wearable electronic devices and health monitoring.
Determining the ideal initial printing colorants in electrophotography by the discrete gradation trajectories

The accuracy and repeatability of the color reproduction in print is determined by the fine‐tuning of the tone reproduction curves of the basic printing colorants (most often this is CMYK). However, the diversity of manufacturers of printing equipment and dyes introduces an element of significant uncertainty about color uniformity. In addition, the traditional approach does not take into account the effect of hue change when applying the original dyes, as well as the nonlinearity of the hue rise in high‐ and low‐density areas. Determining the color of base colorants that produces the most uniform tone change is an important engineering challenge. Previously, there was no scientific basis for such calculations. We recently proposed an alternative color correction model based on gradation trajectories as an analogue of gradation curves in the CIE Lab space. We have also described the extension of the approach to double color overlay (gradation surfaces) and its analytical and discrete implications. The trajectories are the geodetic lines on gradation surfaces. In this paper, we propose using the gradation trajectories to determine “ideal” or “true” initial printing dyes for electrophotography. To simplify calculations, natural color discretization in digital printing is used.
A Trust-aware Neural Collaborative Filtering for E-learning Recommendation

Social networks can provide massive quantities of information for communication among users and e-learning communities, and the trust relationships can been employed to reveal users’ preferences for improving the performance of e-learning recommendation that aim to mitigate information overload and provide users with the most attractive and relevant learning resources. However, the data sparsity problem degrades recommending performance significantly. To address this problem, a novel trust-aware neural collaborative filtering model is proposed for exploiting multi-sourced information (resource content, user rating and social trust) to predict ratings in e-learning environment. We first ties deep neural network and collaborative topic regression together, to perform users and resources latent factors learning from resource content information and users rating data. Then, we incorporate social trust into rating prediction in our model, in which users’ decisions regarding ratings are affected by their preferences and the favors of their trusted friends. In addition, an approach to calculating the maximum a posteriori estimates (MAP) is proposed to learn model parameters. Empirical experiments using two real-world datasets are conducted to evaluate the performance of our model. The results indicate that the proposed model has better accuracy and robustness than other methods for making recommendations in elearning environment.
POLLUTION GRADIENT ON EPIPHYTIC ALGAE OF SOUTHERN BRAZIL COASTAL LAKES

This study aimed to assess the relationships between abiotic variables and structure of epiphytic algae that colonize the 6th petiole macrophyte Eichhornia azurea (Sw.) Kunth, in three coastal lakes of Rio Grande do Sul, Brazil. We considered the density and composition algae and its relationship with the abiotic variables temperature, pH, alkalinity, conductivity, turbidity, dissolved oxygen, total nitrogen, nitrates, nitrites, ammonia, orthophosphate, total phosphorus and fecal coliforms. Samples were taken monthly from November/95 to May /96 up along a gradient of dilution and self-purification of pollution from the shallow Marcelino Lake dump that receives wastewater from the city of Osorio. The quantitative analysis of epiphyton identified 66 species of algae at the genus level, specific and infra-specific. The most representative classes were Bacillariophyceae, Cyanophyceae and Chlorophyceae. There was no influence of environmental variables on the epiphytic community, mainly on the class group of algae, as evidenced in the study of community structure. The cluster analysis with the densities of species of epiphytic algae revealed that the spatial distribution was more significant than the temporal variation. According to PCA there was a gradient showing the clearance of the degree of pollution of the lake in order to Marcelino and Peixoto and Pinguela with respect to the measured abiotic data. Finally, considering the biotic and abiotic measures, the main change in the race study followed the temporal variation of spatial variation.
Food Issue and Need for its Normative and Legal Regulation in Russia

A special attention should be paid to the issues of food security and its normative and legal regulation at the present stage of society development. The article determined the main stages of food security issue development and study in Russia and abroad. They determined the critical periods of the post-Soviet space, characterized by the catastrophic state of food dependence and the decline of the economy agrarian sectors. They performed the analysis of the current normative and legal regulation in Russia and abroad. They attempted to assess the degree of food security issue legal regulation in Russian Federation due to the absence of the federal law which allows to control and ensure food and national security. They gave the recommendations for normative and legal regulation improvement.
30 Dereje Hailemariam and Hail " Ayele

This paper presents the study on Wavelet transform based Multicarrier Code Division Multiple Access (MC-CDMA) system for a downlink wireless channel. The performance of the system is studied for Additive White Gaussian Noise Channel (A WGN) and slowly varying multipath channels. The bit error rate (BER) versus Signal to Noise ratio (SNR) is used as a performance measure using simulation done on computer. Comparison of the simulated results with the theoretical limit of a BPSKmoduiated signal shows that this system performs near the theoretical limit for both A WGN and slowly varYing Flat fading channel. Also, a comparison with the Discrete Fourier Transform (DFT) based system was made for A WGN channel and the result shows that even in the absence of a guard interval, the wavelet based system performs equally with the DFT.
Competition and cooperation in Sub-Saharan Africa: A cross-cultural approach

Introduction Competition (when two parties strive for a goal that cannot be entirely shared) and cooperation (working or acting together in order to reach a common goal) as main forms of interpersonal and inter-group interaction have been the topic of cultural and cross-cultural research since the thirties of the last century. In these very first ethnographic studies (Mead, 1937a) African tribes were already included and since then there has been an accumulated research that reveals some characteristics (e.g. Munroe & Munroe, 1977; Friedman et al, 1985; Gneezy et al, 2009) of these social interactions in the African continent. The goal of this chapter is to summarize and review the available empirical research on competition and cooperation in sub-Saharan Africa and to provide a basis for forthcoming research projects.
Laser hybrid welding of high strength steels

This paper presents results from an ongoing investigation into laser-arc-hybrid welding of thick, high strength steels used in the heavy mechanical and heavy automotive industries. The results include welding parameters for a 6 and 12 kW laser combined with conventional MIG/MAG equipment.In this work, the laser-arc-hybrid welding technique has been further developed and applied to thick steel plate welding, giving high quality welds at high speeds. Successful welds were obtained on 6-12 mm plate thickness with laser, plasma or sheared edges as received from the blanking process. Thereby any costly, additional joint preparation is avoided, giving the hybrid welding technique an enhanced potential for use in the heavy automotive and mechanical industries.This paper presents results from an ongoing investigation into laser-arc-hybrid welding of thick, high strength steels used in the heavy mechanical and heavy automotive industries. The results include welding parameters for a 6 and 12 kW laser combined with conventional MIG/MAG equipment.In this work, the laser-arc-hybrid welding technique has been further developed and applied to thick steel plate welding, giving high quality welds at high speeds. Successful welds were obtained on 6-12 mm plate thickness with laser, plasma or sheared edges as received from the blanking process. Thereby any costly, additional joint preparation is avoided, giving the hybrid welding technique an enhanced potential for use in the heavy automotive and mechanical industries.