Reviewerly/exHarmony huggingface dataset:
Regularization Method for Rule Reduction in Belief Rule-based SystemRegularization Method for Rule Reduction in Belief Rule-based System

Belief rule-based inference system introduces a belief distribution structure into the conventional rule-based system, which can effectively synthesize incomplete and fuzzy information. In order to optimize reasoning efficiency and reduce redundant rules, this paper proposes a rule reduction method based on regularization. This method controls the distribution of rules by setting corresponding regularization penalties in different learning steps and reduces redundant rules. This paper first proposes the use of the Gaussian membership function to optimize the structure and activation process of the belief rule base, and the corresponding regularization penalty construction method. Then, a step-by-step training method is used to set a different objective function for each step to control the distribution of belief rules, and a reduction threshold is set according to the distribution information of the belief rule base to perform rule reduction. Two experiments will be conducted based on the synthetic classification data set and the benchmark classification data set to verify the performance of the reduced belief rule base.
Geometric distortion evaluation of magnetic resonance images by a new large field of view phantom for magnetic resonance based radiotherapy purposes

Geometric distortion evaluation of magnetic resonance images by a new large field of view phantom for magnetic resonance based radiotherapy purposes
Assessing Thesis Conclusions by their Connectedness with Goal, Judgment and Speculation

Writing a thesis involves complying with certain rules and requirements established by institutional guides of universities. Students, often being too inexperienced to create good written documents, have guidelines to follow when developing their first drafts. This study seeks to help students improve their first writings, based on natural language processing techniques. We focus primarily on the conclusion section of a thesis, a central element when completing a research project. In this paper, a conclusion analyzer that includes three models: goal connectedness, judgment and speculation is presented. Such subsystems try to evaluate the main expected features in conclusions, specifically the connectedness with the general objective, the evidence of value judgments, and the presence of future work as a result of the studentâs reflection. In the study, we provide initial models, internal exploration of conclusions, and evaluations of our approach. We found across the three features evaluated that graduate level student texts outperformed those of undergraduate level. The behavior provides evidence, that students with more practice in writing a scientific paper or thesis (at the graduate level), have better writing skills.
Mineralization constraints on the origin of polymetallic (Pb, Ag, Zn, Cu, Au) deposits hosted in the metasedimentary Lajeado Group, Southern Ribeira Belt, Brazil

The sediment-hosted polymetallic (Pb, Zn, Ag, Au-Cu) mineralization of the Vale do Ribeira Mineral District has been known since the beginning of the 20th century, but exploration was interrupted just before the turn of the century. The Vale do Ribeira Mineral District is part of the Southern Ribeira Belt, developed during the Brasiliano-Pan African orogeny. Polymetallic mineralization is mainly hosted in metalimestones of the Lajeado Group, a typical platform carbonate sequence of a passive margin, which has been deformed during the Gondwana assembly. The region has a gap of research since the mines were closed, which justifies new projects on their mineral economic potential. Fieldwork, petrographic and geochemical analyses were developed in five currently inactive mines (Panelas, Barrinha, Rocha, Lajeado, and Furnas) and their surroundings, along with the description of a drill core executed in the 1980s. The main type of ore consists of polymetallic fault-fill veins of massive sulfide, which are composed essentially by argentiferous galena, sphalerite, pyrrhotite, arsenopyrite, and chalcopyrite. The highest ore grades were obtained from samples in the Panelas Mine, with contents of up to 35% lead, 5% zinc, &gt; 1% copper and 564 ppm silver, as well as 23% iron. New ore occurrences were described in a secondary gallery of the Barrinha Mine, whose gold grades reached up to 5,630 ppb. The main controls of the mineralization are lithological - since the ore occurs exclusively in carbonate rocks, irrespective of the geological unit - and structural, related to NE high-angle strike-slip fault zones, including evidence of fault-valve behavior. Fault zones as the main control of the polymetallic veins is an innovative interpretation, increasing the perspectives for mineral exploration in the area. Although they are small deposits, the presented data indicate that the region has potential for new discoveries and that the mined deposits are probably not exhausted.
Designing Your Front-End UI with Vue.Js Components

In previous chapters, we defined the persistence layer of our application using JPA and JEE 8 for our new Delivery Daniel's website. Now, we are going to move to the front-end side of our new application, designing its requirements and interfaces using wireframes, relating them to Vue.js components and reusing those in a composed way, and finally, implementing those components using different features like inputs, conditionals, plugins, and navigation using routes in Vue.js.
Simulating the outcome of a clinical intervention from a data‐driven model of Alzheimer's disease progression

Abstract Background The recent outcomes of clinical trials in Alzheimer's Disease (AD) underline the critical importance of timing for drug intervention, and the need to identify optimal intervention windows along the disease history to maximize cognitive benefit. In this work, we propose a data‐driven progression model of AD allowing simulation of the effect of disease modifying drugs along the entire history of the pathology. Method We propose a generative model of disease progression, aimed at identifying the dynamical relationships between multi‐modal clinical and imaging data. Our data consists of AV45‐PET, FDG‐PET, MR images, and clinical scores for 311 ADNI individuals (49 healthy, 113 MCI, 33 MCI converted to AD, and 116 AD patients) for a total of 2188 longitudinal measures. The model is based on a dynamical system relating the multi‐modal information, and is formulated under realistic clinical hypothesis to provide plausible disease progression simulation and predictions. Result Figure 1 shows the modelled disease progression for grey matter atrophy, glucose hypometabolism, amyloid concentration, and cognitive decline. We notice a global increase of amyloid, while grey matter atrophy and glucose hypometabolism map prevalently temporal and parietal regions. Clinical scores exhibit a non‐linear profile, accelerating during the latest disease stages. The individual disease severity associated to such progression shows significant separation across clinical groups (p&lt;0.01, Figure 2). Finally, our model allows to simulate the intervention outcome of hypothetical modifiers blocking amyloid deposition at a given time. Table 1 shows the values of ADAS11 and MMSE at conversion time, depending on the time at which we simulated amyloid blockage. Mild differences are obtained when complete blockage is performed at least 3 years before conversion, while stronger significant effects appear at intervention time of 10 years before conversion. Conclusion We presented a model of AD progression, allowing to simulate the effect of disease modifying drugs on the clinical outcome at any stage of the natural history of AD. The model is flexible and future extensions are currently under study, to account for different kind of PET tracers, and for APOE4 genotyping.
DESAIN SISTEM PERJALANAN DINAS BERBASIS CLOUD

This study aims to analyze the process of implementing a cloud-based official travel filing system at PT. Timah Tbk. This research was conducted in January to April 2019. Analysis of system implementation was carried out based on the System Development Life Cycle method using analytical tools such as Flowcharts, Data Flow Diagrams, and Entity Relationship Diagrams. Data collection was carried out using interview and observation methods. The analysis process was carried out on the blueprint that had been made in the previous stage then continued with the implementation process using the Kec workflow application. The results of the implementation of the new system, at PT. Timah Tbk has succeeded in increasing the efficiency and effectiveness in carrying out the submission, approval, recording and realization of payment processes. In addition, the new system meets the goals the company wants, namely paperless and cashless.
Online workshop " New imaging technologies for mineral exploration: state-of-the-art and the EIT SIT4ME project" - Book of Abstracts

This activity has received funding From the European Institute of Innovation and Technology (EIT), a body of the European Union, under the Horizon 2020, the EU Framework Programme for Research and Innovation
Academic Information System for Student Leave at the National University: Academic Information System for Student Leave at the National University

Limitations regarding the leave application process at the national university students tend to be effective and efficient because it still uses a manual system that makes students feel difficult. Since the number of files that accumulate leave so as to make the part of academic administration forgot to process when there are students who ask leave of absence. The purpose of this design will generate student leave application program is web based, so as to provide convenience to the user in filing and processing leave. Software system development methods using Waterfall Model. The results of this study will show the main page there is also a facility to leave application, as well as leave application status changes. Through this website, students can leave application process online.
Highly Secure Nonce-based MACs from the Sum of Tweakable Block Ciphers

Tweakable block ciphers (TBCs) have proven highly useful to boost the security guarantees of authentication schemes. In 2017, Cogliati et al. proposed two MACs combining TBC and universal hash functions: a nonce-based MAC called NaT and a deterministic MAC called HaT. While both constructions provide high security, their properties are complementary: NaT is almost fully secure when nonces are respected (i.e., n-bit security, where n is the block size of the TBC, and no security degradation in terms of the number of MAC queries when nonces are unique), while its security degrades gracefully to the birthday bound (n/2 bits) when nonces are misused. HaT has n-bit security and can be used naturally as a nonce-based MAC when a message contains a nonce. However, it does not have full security even if nonces are unique.This work proposes two highly secure and efficient MACs to fill the gap: NaT2 and eHaT. Both provide (almost) full security if nonces are unique and more than n/2-bit security when nonces can repeat. Based on NaT and HaT, we aim at achieving these properties in a modular approach. Our first proposal, Nonce-as-Tweak2 (NaT2), is the sum of two NaT instances. Our second proposal, enhanced Hash-as-Tweak (eHaT), extends HaT by adding the output of an additional nonce-depending call to the TBC and prepending nonce to the message. Despite the conceptual simplicity, the security proofs are involved. For NaT2 in particular, we rely on the recent proof framework for Double-block Hash-then-Sum by Kim et al. from Eurocrypt 2020.
Analytic Sequent Calculus for CPL

This chapter introduces a simplified, analytic version of sequent calculus K for classical propositional logic CPL. Sections 1.2–1.7 contain the basic material, including a presentation of essential features and techniques of K. In particular, we discuss the construction of proofs and derivations, the problem of derivable and admissible rules, decision procedures and two proofs of completeness. In sections 1.8–1.11 we introduce the cut rule, one of the most important rules in the framework of sequent calculi. We prove its admissibility in K and discuss several advantages of its application, including the strong completeness proof and the interpolation theorem.
Implementation and Evaluation of Digial Literacy: Strategies to Increase Reading Interest Basic level students

Digial Literacy is a participatory activity that involves all elements of the school whether students, teachers, parents, school principals, communities and education policy makers at the district or city and provincial level in improving students' reading skills. Digial Literacy aims to foster student understanding through reading culture in order to become lifelong learners. This study aims, first to understand the application of Literasi Digital  in the madrasa environment. Second, knowing the assessment given by madrasas to the implementation of Literasi Digital  and third, understanding the results of the application of Digial Literacy in the madrasa environment.In this study using qualitative research methods with the type of field research, data collection techniques in this study consisted of interviews, observations and documentation then this study uses triangulation of techniques (methods) and triangulation of sources. Data analysis in this study uses the interactive data analysis model of Miles and Huberman.The results of this study indicate that, Digial Literacy  learning in State Islamic Elementary School 3 Bondowoso  is carried out in an integrated pattern with the compulsory hours of students carried out after the Duha prayer before the Teaching and Learning Process (PBM) begins both in the classroom and outside the classroom. With the habit of reading general books and reading the Qur'an, while the evaluation is done directly by measuring aspects of fluency, recognizing words, sentences and punctuation, then the results of this activity students are able to understand, know and practice what they have both the ability oral or written.
How Do We Interact in Collaborative Virtual Reality?

Nonverbal interaction includes most of what we do; the interaction resulted from other means than words or their meaning. In computer-mediated interaction, the richness of face-to-face interaction has not been completely achieved. However, multiuser virtual reality, a computer-generated environment that allows users to share virtual spaces and virtual objects through their graphic representation, is a highly visual technology in which nonverbal interaction is better supported when compared with other media. Still, like in any technology media, interaction is accomplished distinctively due to technical and design issues. In collaborative virtual reality, the analysis of nonverbal interaction represents a helpful mechanism to support feedback in teaching or training scenarios, to understand collaborative behavior, or to improve this technology. This chapter discussed the characteristics of nonverbal interaction in virtual reality, presenting advances in the automatic interpretation of the users' nonverbal interaction while a spatial task is collaboratively executed.
PREDIKSI KELANJUTAN STUDI SISWA KE PERGURUAN TINGGI DENGAN NAIVE BAYES

The need for an analysis of the predictions of continuation of student studies to college is a strong reason for this research. Because by knowing the number of students at a school who continue or not continue studies to universities become a reference to improve education services at the school concerned. Naive Bayes is an effective and efficient classification algorithm for data mining and machine learning. So in the research proposed Naive Bayes for predictions of continuation of student studies to college with k-fold validation and confusion matrix. And results from the algorithm Naive Bayes is 86.53%.
NICE: Neural Image Commenting Evaluation with an Emphasis on Emotion and Empathy

Emotion and empathy are examples of human qualities lacking in many human-machine interactions. The goal of our work is to generate engaging dialogue grounded in a user-shared image with increased emotion and empathy while minimizing socially inappropriate or offensive outputs. We release the Neural Image Commenting Evaluation (NICE) dataset consisting of almost two million images and their corresponding, human-generated comments, as well as a set of baseline models and over 28,000 human annotated samples. Instead of relying on manually labeled emotions, we also use automatically generated linguistic representations as a source of weakly supervised labels. Based on the annotations, we define two different task settings on the NICE dataset. Then, we propose a novel model-Modeling Affect Generation for Image Comments (MAGIC) – which aims to generate comments for images, conditioned on linguistic representations that capture style and affect, and to help generate more empathetic, emotional, engaging and socially appropriate comments. Using this model we achieve state-of-the-art performance on one setting and set a benchmark for the NICE dataset. Experiments show that our proposed method can generate more human-like and engaging image comments.
Improvement of Learning Outcomes Using Interactive Media in SDN 1 Sendang

&lt;p&gt;&lt;em&gt;This research was carried out with the aim of improving student learning outcomes in online learning with interactive media for grade 4 SD Negeri 1 Sendang students. This type of research is classroom action research (PTK). The subjects were grade 4 students of SD Negeri 1 Sendang, Todanan District, Blora Regency, totaling 15 students. The design of CAR uses interactive media to improve student learning outcomes in Thematic Subject 5 for grade 4 students of SD Negeri 1 Sendang. Data collection techniques using observation and tests. The data analysis used descriptive quantitative and qualitative statistics. &lt;/em&gt;&lt;em&gt;The results showed an increase in student learning outcomes, this can be seen from the results of the evaluation of the pre-action activities and each cycle, namely the pre-action by 33.3%., In the first cycle it was 53.3%, in the second cycle it was 66%., while the third cycle was 87%. Thus it can be concluded that the use of interactive media can improve student learning outcomes in thematic learning.&lt;/em&gt;&lt;/p&gt;
Penerapan Algoritma Naive Bayes Classifier Untuk Mendeteksi Tingkat Krediblitas Hoax News/ Fake News Pada Sosial Media Di Indonesia Berbasis Android (Studi Kasus : Kantor Tribun Medan)

The hoax is the most massive problem in Indonesia that requires more attention from the government and elements of society. People who easily receive hoax news from information that is disseminated instantly change their mindset and emotional feelings towards the contents of news that contain hate speech. The government is trying to prevent and oversee every hoax news disseminator, and will even give penalties to hoax spreaders. The reason is that hoax news only harms and gives a bad reputation to others for the delivery of incorrect information. To prevent this, a grouping of data is made to detect the level of accuracy of the news disseminated by the Naive Bayes classifier method in Android-based. This method was chosen in addition to new developments in spam filtering programming, it also has a higher level of accuracy.
Web-Based Expert System Detects Malnutrition in Toddlers with the Naïve Bayes Method

Nutrition is the supply of ingredients or food that both organisms and cells in the human body need to be able to: survive. While in the field of science and medical, nutrition may refer to: the science or practice of consumption as well the use of food. Malnutrition is a technical term commonly used in: nutrition, health, and medicine circles. Malnutrition: the condition of a person whose nutrition is below average. Symptoms of malnutrition can also be felt with following characteristics such as: fatigue, loss of appetite, impaired vision, growth and poor intellectual development too. According to the Basic Health Research in 2018, the percentage of the number of malnourished toddlers in Indonesia is: as much as 3.9% and malnutrition is: 13.8%. This study aims to detect malnutrition aged 1-5 years (toddler). This research uses: the Naive Bayes method. In this study, there're known to be types of disease based on the symptoms, namely: Kwarshiorkor (P1), Marasmik-Kwarshiorkor (P2), Marasmus (P3) with 24 symptoms of malnutrition. With this research, it is expected to: help in the prevention of diseases and minimize the symptoms of malnutrition in toddlers.
FAIR Practices at SEDAC

The Socioeconomic Data and Applications Center (SEDAC) is one of the Distributed Active Archive Centers (DAACs) in the Earth Observing System Data and System (EOSDIS) of the U.S. National Aeronautics and Space Administration (NASA). Focusing on human interactions in the environment, SEDAC has as its mission to develop and operate applications that support the integration of socioeconomic and earth science data and to serve as an Information Gateway between earth sciences and social sciences. Across several themes, SEDAC provides open access to and fosters use of over 240 curated data products, within 44 collections. SEDAC also provides access to over 2000 open access maps and facilitates open access to a variety of services for analyzing and visualizing the Earth science data that it manages. SEDAC is a member of the International Science Council (ISC) World Data System (WDS) and the Earth Science Partners (ESIP) and contributes to various international initiatives, including the Research Data Alliance (RDA) and the Group on Earth Observations (GEO). SEDAC is operated by the Center for International Earth Science Network (CIESIN), a research and data center of the Earth Institute of Columbia University. CIESIN is an interdisciplinary department that works at the intersection of the social, natural, and information sciences, and specializes in on-line data and information management, spatial data integration and training, and interdisciplinary research related to human interactions in the environment. The SEDAC website is accessible from the https://sedac.ciesin.columbia.edu/ webpage.
Educación de calidad en tiempos de pandemia

Education has undererted many changes in the last 6 months, the covid-19 pandemic presented in Colombia in March 2020 caused educational institutions to move from face-to-face education programs to virtual programs or as many institutions call it technology-assisted face-to-face education institutions. The problem with this new education is that it does not have the technological and connectivity resources for students, in addition teachers have also experienced many problems, one of them is the lack of training and the few resources that they have. Despite this negative situation many see positive things having this new education and see an opportunity for improvement in their institutions or classes. The methodology used was to know through semi-structured interviews each experience or reflection of students, teachers and administrators in this education lived during the covid-19 pandemic, many of the reflections shown in the interviews are not negative, but they see many opportunities for improvement for both virtual and face-to-face education.
The Teacher’s Authority in the Context of Educating Students to Values

The aim of this article is to draw attention to the fact that teaching and upbringing is not possible without the existence of authority based on permanent values. It has been argued by the authors that there is undeniably the natural human need to search for people who are role models, authentic authorities and foundations of knowledge, competence and life wisdom. The authors explain that there can be no learning without authorities, no school without teachers, no guilds without masters, no creativity without patterns, norms and customs.