Reviewerly/exHarmony huggingface dataset:
Causal Confirmation Measures: From Simpson’s Paradox to COVID-19

When we compare the influences of two causes on an outcome, if the conclusion from every group is against that from the conflation, we think there is Simpson's Paradox. The Existing Causal Inference Theory (ECIT) can make the overall conclusion consistent with the grouping conclusion by removing the confounder's influence to eliminate the paradox. The ECIT uses relative risk difference Pd = max(0, (R - 1)/R) (R denotes the risk ratio) as the probability of causation. In contrast, Philosopher Fitelson uses confirmation measure D (posterior probability minus prior probability) to measure the strength of causation. Fitelson concludes that from the perspective of Bayesian confirmation, we should directly accept the overall conclusion without considering the paradox. The author proposed a Bayesian confirmation measure b* similar to Pd before. To overcome the contradiction between the ECIT and Bayesian confirmation, the author uses the semantic information method with the minimum cross-entropy criterion to deduce causal confirmation measure Cc = (R - 1)/max(R, 1). Cc is like Pd but has normalizing property (between -1 and 1) and cause symmetry. It especially fits cases where a cause restrains an outcome, such as the COVID-19 vaccine controlling the infection. Some examples (about kidney stone treatments and COVID-19) reveal that Pd and Cc are more reasonable than D; Cc is more useful than Pd.
Factors Affecting the Adoption of Cloud-Based Human Resource Management on Innovation Behaviour among SMEs in Jordan

Innovative behaviour is attracted research interest. The research draws on Theory of Planned Behaviour (TPB) and Diffusion of Innovation (DOI) frameworks to examine the impacts of technology factors and intention to adopt Cloud-based Human Resource Management Systems on innovative behaviour. The mediating variable of intention to adopt Cloud-based HRMS was examined. Data were collected and analysed from 366 full-time employees who are working within the information and communication sector in SMEs in Jordan. The outputs from smart partial least square (SmartPLS) analysis reveal that technology factors effects intention to adopt Cloud-based HRMS, which consequently affects innovative behaviour. Whereas, leadership support was found to play a significant role in the relationship between intention to adopt Cloud-based HRMS and innovative behaviour, it has a positive effect. These results provide the relevance of the technological factor on how to foster innovative behaviors through intention to adopt Cloud-based HRMS and leadership support.
Usage of formalized knowledge about source code for refactoring actions in Swift

The object of research in the paper is the source code of a software product written in the Swift programming language. Most programs as a product of a certain project during the life cycle require changes and modifications, which is costly or impossible to implement in the case of poor code quality. One of the options for solving the problem of poor code quality is the timely application of refactoring principles. The existing problem is that implementation of high-level refactoring must be done manually by the developer without the use of automated tools as built-in solutions cannot fulfill the need due to the architectural complexity of the product. To reduce the number of errors made during refactoring, to simplify the process of performing routine actions, it is suggested to use a new software product for refactoring. It works with high-level user commands based on a formalized description of the source code together with a knowledge base containing a description of code entities and their properties (what specific actions can be performed with them). In the work, the refactoring of the source code was carried out using the example of the Swift programming language. The proposed approach of component architecture (knowledge base, software engine) further allows to expand the functionality of the software product to other programming languages. The work was directed to the development of a prototype of a software product using the proposed approach to check and compare the results with other refactoring tools. A command line utility has been developed that accepts a verbal command as an input and outputs the results of processing and analysis of the source code (search for complex structures in the code) or applies the proposed change. As a result of the conducted testing, it was established that the use of the proposed approach allows performing complex refactoring tasks with the help of a simple verbal formalized command. Accomplishing the same task using only the built-in refactoring tools requires significantly more time and effort or is impossible at all.
Efficient Proofs of Software Exploitability for Real-world Processors

We consider the problem of proving in zero-knowledge the existence of vulnerabilities in executables compiled to run on real-world processors. We demonstrate that it is practical to prove knowledge of real exploits for real-world processor architectures without the need for source code and without limiting our consideration to narrow vulnerability classes. To achieve this, we devise a novel circuit compiler and a toolchain that produces highly optimized, non-interactive zero-knowledge proofs for programs executed on the MSP430, an ISA commonly used in embedded hardware. Our toolchain employs a highly optimized circuit compiler and a number of novel optimizations to construct efficient proofs for program binaries. To demonstrate the capability of our system, we test our toolchain by constructing proofs for challenges in the Microcorruption capture the flag exercises.
Android Based Material to Teach Early Reading for Primary Students using Construct 2 Apps

Android based teaching material can facilitate students and teacher in the inside and outside classroom learning using smartphone. This study aims to investigate the ways in utilizing construct 2 apps to create android based material to teach early reading for primary students. This study is qualitative research in form of explorative case study which includes students in private and public primary schools at five regencies of Indonesia. The research data is collected using questionnaire and interview. It is analyzed using content analysis. The results of study show that android based material of early reading can be created by utilizing three steps. The conclusion of this study is that android based material of early reading is firstly created by investigating the need of material for primary students. Secondly, it creates the concepts of materials by preparing the material compositions, creating material order, and creating teaching material tools. Thirdly, construct 2 apps is utilized to make the teaching materials based on the concepts by creating parts of learning guide, invitation for praying, materials, evaluation, and games.
From MMU to MPU: Adaptation of the Pip Kernel to Constrained Devices

This article presents a hardware-based memory isolation solution for constrained devices. Existing solutions target high-end embedded systems (typically ARM Cortex-A with a Memory Management Unit, MMU) such as seL4 or Pip (formally verified kernels) or target low-end devices such as ACES, MINION, TrustLite, EwoK but with limited flexibility by proposing a single level of isolation. Our approach consists in adapting Pip to inherit its flexibility (multiple levels of isolation) but using the Memory Protection Unit (MPU) instead of the MMU since the MPU is commonly available on constrained embedded systems (typically ARMv7 Cortex-M4 or ARMv8 Cortex-M33 and similar devices). This paper describes our design of Pip-MPU (Pip’s variant based on the MPU) and the rationale behind our choices. We validate our proposal with an implementation on an nRF52840 development kit and we perform various evaluations such as memory footprint, CPU cycles and energy consumption. We demonstrate that although our prototyped Pip-MPU causes a 16% overhead on both performance and energy consumption, it can reduce the attack surface of the accessible application memory from 100% down to 2% and the privileged operations by 99%. Pip-MPU takes less than 10 kB of Flash (6 kB for its core components) and 550 B of RAM.
GIS-BASED DETERMINATION OF SOLAR POWER PLANT (SPP) SITES BY THE MCDA METHOD: OVACIK DISTRICT, KARABUK-TURKIYE

Countries whose industry constantly develops need to find different resources to those that they have been using so far to meet their energy needs.Among renewable energy resources, solar energy is being used highly prevalently due to its high potential, ease of use and environmentally friendly nature.In determining the installation locations of SPP, it is highly important to consider economic, environmental and social factors.In this study, it was focused to indicate areas inside the Karabük-Ovacık district suitable for SPP installation by using GIS and AHP.Although there are energy production plants in the province of Karabük and in some of its districts, there is no energy production facility in the study area of Ovacık.Moreover, it is emphasized Karabük Provincial Environmental Status report that a project for water heating with solar energy was planned for Ovacık for the purpose of reducing wood consumption.Thanks to this study, suitable SPP establishment areas were determined for the first-time in a location in Ovacık where clean energy is needed.According to the obtained results, it was determined that the Ovacık District had low, medium and high sensitivity properties for SPP construction, and the areas suitable for SPP construction providing medium and high sensitivity constituted 63.81% of the study area.While these areas suitable for SPP installation were distributing to almost everywhere in the Ovacık, mostly covering wide areas at the center and in the south and local areas in the northwest and northeast of the study area.
A web-based integrated Bayesian decision support system for rangeland management in semi-arid watersheds

A Bayesian web-based Decision Support System (DSS) was designed and developed to assist various stakeholders in improving biophysical and socio-economic conditions in a stressed and fragile watershed by systematically evaluating current watershed characteristics, introducing feasible solutions as well as choosing the best ones. The need to deliver a flexible DSS has been the motivation to look for a decision toolbox accommodating the concerns and priorities of a wide range of stakeholders as the potential users. This assists the users to make informed decisions based on quantified potential outcomes. The DSS main components include a database management system, a model base management system, multi-attribute decision-making models, and a graphical user interface. This prototype DSS provides a brief introduction of a pilot watershed characterized with semi-arid conditions in the Mid-north of Iran and then presents the problem structure using the DPSIR approach. A set of vegetation-based solutions and their spatial distribution considering some scenario rules are provided to the DSS users. The various impacts of the proposed solutions are predicted using several models in the Bayesian network modeling context integrating qualitative and quantitative knowledge and data. The DSS developed in this study facilitates knowledge transfer and involvement of stakeholders including practitioners and local communities in the decision making process. This DSS has been designed into a web-based and open-source framework for easier and inclusive access. The DSS can be tailored to fit a broader class of environmental problems.
CYBER SECURITY IN SMALL AND MEDIUM ENTERPRISES (SMEs)

The Fourth Industrial Revolution (IR4.0) has provided immense benefits for the sustainability of businesses, with many businessesutilising websites to sell their products and services internationally. Cybersecurity has nonetheless emerged as one of the most significant global challenges posed by this new digitization trend. Currently, more than sixty percent of commercial transactions are conducted online or via digital wallets, necessitating exceptional security for transparent and secure transactions. Individuals are unable to maintain the security of their private data because of these evolving technologies, and cybercrime is on the rise. Information security is one of the most complex issues currently. Cybercrimes, which are increasing at an alarming rate, are the first thing that comes to mind when we think about cyber security. Consequently, numerous governments and corporations are enhancing their cybersecurity tools to combat cybercrime. Despite numerous precautions, cyber threats remain a major concern not only for government and large businesses, but also for Small and Medium-Sized Businesses (SMEs) companies. This paper examines the challenges and solutions faced by small and medium-sized enterprises (SMEs) in relation to cyber security issues. In addition, it also examines the Malaysian context that may hinder the cybersecurity adoption gap for risk mitigation and high security in operational and development business environments.
Academic writing and AI: Day-2 experiment with Bayesian Mindsponge Framework

To check the ability of AI to identify precise and detailed scientific information, I experiment with how accurate AI recognizes scientific terms, their origins, meanings, and usages, and whether the accuracy increases over time.
Analisis Muatan IPS Keberagaman Budaya dalam Film"Adit dan Sopo Jarwo” Episode “Ondel-Ondel Bikin Denis Jengkel”

One of the social studies contents for grade IV SD is about Social and Cultural Diversity in Indonesia. In the midst of rapid technological developments, some traditional and hereditary activities have been replaced by activities contained in technological products such as gadgets. Therefore, cultural learning is very important to be introduced to students. One way that can attract students to know and get to know culture is by watching animated films because students are more interested in moving images that involve audio-visual activities. One of the educational animated films is the animated series 'Adit dan Sopo Jarwo' with one episode of “Ondel-Ondel Make Denis Angry” which is suitable for social and cultural content. The method used in this research is literature study and film analysis. The results of the research based on film analysis found that the animated film series "Adit &amp; Sopo Jarwo: Ondel-Ondel Bikin Denis Jengkel" contained IPS content about social and cultural diversity in Indonesia, such as the Betawi language and Batak accent, the typical Betawi art, namely Ondel. -Ondel, and traditional games, namely Sondah and Kelereng.
Foreign Norm Entrepreneurs’ Misinformation and Disinformation Narratives on LGBT+ Rights in Europe

With ample evidence that foreign state actors and non-state norm entrepreneurs are engaged in misinformation and disinformation campaigns challenging the European Union’s human rights framework on LGBT+, this study analyses the narratives that these actors disseminate. Based on two methods – a standard literature review of academic and “grey” literature, as well as complementary analysis of entries in the EUvsDisinfo database – the study identifies four main narratives that can be attributed to or are actively sponsored by non-European actors: 1) Opposing gender ideology and protecting God’s order, 2) Heteroactivism and the protection of the rights of the “natural” family, 3) LGBT+ rights as Western colonialism, and 4) LGBT+ rights as a threat to the rights of children. Even though EU’s strong protection of freedom of speech makes it challenging to address misinformation and disinformation that falls outside hate-speech legislation, this paper argues that exploring the following counter measures could be worthwhile: 1) harmonization of European legal frameworks, 2) financial scrutiny and 3) strengthened automatic detection, editorial policies, and community flagging, as well as the capacity to systematically deal with misinformation and disinformation campaign targeting LGBT+ across digital spaces in Europe.
A Literature Review of E-Learning Technology in Higher Education

The increase in the use of E-learning during the COVID-19 pandemic as a consequence of the call for Work From Home (WFH) is increasingly massive. In contrast to regular times, E-learning during the COVID-19 pandemic depends on available home resources. Technology plays an essential role in supporting the implementation of e-learning which must consider the resources available at home. This research is a systematic literature review using database sources from ScienceDirect and Emerald. The inclusion criteria are research that discusses e-learning in higher education during the COVID-19 pandemic (2019-2020) from a computer science perspective. An exclusion criterion is research examining e-learning in higher education from sources outside ScienceDirect. The search results from ScienceDirect obtained 518, and Emerald got 66 relevant articles. The next stage is reviewing abstracts and titles that focus on technology in e-learning on the lecturer and student side; We obtained 23 articles and then checked them in full text. This literature study shows that technology as a support for e-learning systems during the COVID-19 period in universities needs to consider the resources available at home, namely infrastructure and applications for students and teachers, for future work in the research of friendly e-learning technology to the availability of resources at home.
Neutrosophic Version Of Separates Groups Of Cells In Cancer's Recognition On Neutrosophic SuperHyperGraphs

In this research, assume a SuperHyperGraph. Then a neutrosophic SuperHyperMatching $\mathcal{C}(NSHG)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the maximum neutrosophic cardinality of a neutrosophic SuperHyperSet $S$ of high neutrosophic cardinality neutrosophic SuperHyperEdges such that there's no neutrosophic SuperHyperVertex not to in a neutrosophic SuperHyperEdge and there's no neutrosophic SuperHyperEdge to have a neutrosophic SuperHyperVertex in a neutrosophic SuperHyperEdge; a neutrosophic SuperHyperMatching SuperHyperPolynomial $\mathcal{C}(NSHG)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the neutrosophic SuperHyperPolynomial contains the neutrosophic coefficients defined as the neutrosophic number of the maximum neutrosophic cardinality of a neutrosophic SuperHyperSet $S$ of high neutrosophic cardinality neutrosophic SuperHyperEdges such that there's no neutrosophic SuperHyperVertex not to in a neutrosophic SuperHyperEdge and there's no neutrosophic SuperHyperEdge to have a neutrosophic SuperHyperVertex in a neutrosophic SuperHyperEdge and the neutrosophic power is neutrosophicly corresponded to its neutrosophic coefficient; a neutrosophic R-SuperHyperMatching $\mathcal{C}(NSHG)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the maximum neutrosophic cardinality of a neutrosophic SuperHyperSet $S$ of high neutrosophic cardinality neutrosophic SuperHyperVertices such that there's no neutrosophic SuperHyperVertex not to in a neutrosophic SuperHyperEdge and there's no neutrosophic SuperHyperEdge to have a neutrosophic SuperHyperVertex in a neutrosophic SuperHyperEdge; a neutrosophic R-SuperHyperMatching SuperHyperPolynomial $\mathcal{C}(NSHG)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the neutrosophic SuperHyperPolynomial contains the neutrosophic coefficients defined as the neutrosophic number of the maximum neutrosophic cardinality of a neutrosophic SuperHyperSet $S$ of high neutrosophic cardinality neutrosophic SuperHyperVertices such that there's no neutrosophic SuperHyperVertex not to in a neutrosophic SuperHyperEdge and there's no neutrosophic SuperHyperEdge to have a neutrosophic SuperHyperVertex in a neutrosophic SuperHyperEdge and the neutrosophic power is neutrosophicly corresponded to its neutrosophic coefficient. It's useful to define a ``neutrosophic'' version of a SuperHyperMatching . Since there's more ways to get type-results to make a SuperHyperMatching more understandable. For the sake of having neutrosophic SuperHyperMatching, there's a need to ``redefine'' the notion of a ``SuperHyperMatching ''. A basic familiarity with neutrosophic SuperHyperMatching theory, SuperHyperGraphs theory, and neutrosophic SuperHyperGraphs theory are proposed.
Ontology Extension with NLP-based Concept Extraction for Domain Experts in Catalytic Sciences

Abstract Ontologies store semantic knowledge in a machine-readable way and represent domain knowledge in controlled vocabulary. In this work, a workflow is set up to derive classes from a text dataset using natural language processing (NLP) methods. Furthermore, ontologies and thesauri are browsed for those classes and corresponding existing textual definitions are extracted. A base ontology is selected to be extended with knowledge from catalysis science, while word similarity is used to introduce new classes to the ontology based on the class candidates. Relations are introduced to automatically reference them to already existing classes in the selected ontology. The workflow is conducted for a text dataset related to catalysis research on methanation of CO 2 and seven semantic artifacts assisting ontology extension by domain experts. Undefined concepts and unstructured relations can be more easily introduced automatically into existing ontologies. Domain experts can then revise the resulting extended ontology by choosing the best fitting definition of a class and specifying suggested relations between concepts of catalyst research. A structured extension of ontologies supported by NLP methods is made possible to facilitate a Findable, Accessible, Interoperable, Reusable (FAIR) data management workflow.
Prospects for developing digital telecommunication complexes for storing and analyzing media data

In today's digital world, saturated with data flows, universal multifunctional systems are developing, capable of solving various problems related to optimizing the use of available computing resources. A distinctive feature of such systems is the heterogeneity of incoming flows of user requests due to the multifunctionality of modern information systems, expressed in supporting various multimedia services on a single platform. Data heterogeneity and large volumes of data create many problems related to the speed of digital systems and data storage security. The solutions can be found in artificial intelligence (AI) technologies, particularly machine learning. Therefore, development and implementation of digital telecommunication complexes for storing, processing, and forming a dynamic flow of multiformat data using AI technologies are becoming more relevant. This paper aims to identify trends and prospects for developing these complexes, and develop proposals on their perspective characteristics. The authors focused on review the experience of Russian organizations developing multi-object analytics systems and analyze the technical and functional characteristics of existing systems. The result of the review and analysis is a table with a comparison of the technical characteristics of existing complexes and proposals for characteristics that are promising for further implementation.