Reviewerly/exHarmony huggingface dataset:
Hybrid variance reduction algorithms with adaptive epoch sizes

Finite sum minimization has many applications in machine learning. Due to its wide applications, people have proposed many variation reduction algorithms to solve the finite minimization problems. Recently, some studies have shown that these variance reduction algorithms can also be extended to solve more general problems, i.e., monotone inclusion problem. In this paper, we propose a new algorithm that improves some traditional variance reduction algorithms and is able to solve general monotone inclusion problems. The new algorithm has a linear convergence and the worth of the new algorithm is additionally proved by numerical experiments.
Formalizing Graph Trail Properties in Isabelle/HOL

We describe a dataset expressing and proving properties of graph trails, using Isabelle/HOL. We formalize the reasoning about strictly increasing and decreasing trails, using weights over edges, and prove lower bounds over the length of trails in weighted graphs. We do so by extending the graph theory library of Isabelle/HOL with an algorithm computing the length of a longest strictly decreasing graph trail starting from a vertex for a given weight distribution, and prove that any decreasing trail is also an increasing one.
Application of Sexual Education Game To Increasing Knowledge and Attitudes About Sexual Abuse In Elementary School Children

Factors that cause sexual abuse in children are the lack of knowledge of children about the prevention of sexual abuse. Efforts to prevent sexual abuse against children that can be given are sexual health education. One of them is by using the Game Based Learning method. The purpose of this study was to examine the effect of sexual education applications to increasing children's knowledge and attitudes about sexual abuse. The study used a Quasi Experiment design with a pre-post test. using a control group. The sampling technique was simple random sampling with 48 samples, 25 in intervention and 23 in control groups. The intervention group was given a treatment of sexual education applications, and the control group was given the teachers method. The results showed that the application of sexual education applications had a significant effect on increasing students' knowledge (p = 0.005) and attitudes (p = 0.003) regarding sexual abuse in elementary school-age children. The application of sexual education can be applied as a strategy to provide health education to elementary school-age children.
PEMANFAATAN APLIKASI PREZI DI LEMBAGA BIMBINGAN BELAJAR GAMA UI CABANG DUREN TIGA JAKARTA SELATAN

GAMA UI tutoring is one of the educational institutions that provide additional tutoring outside school hours. The condition of students who take tutoring are students who have limitations in understanding learning material in school. So it needs to be given extra hours of study outside school hours. The existence of technology is able to make the teaching and learning process more interesting and by utilizing learning applications can facilitate teachers in managing and delivering messages to students. So that a positive impact on learning, because with a more attractive appearance children tend to be more understanding. One of the learning media that can be used is the Prezi application, the Prezi application can be used online and offline. Thus the purpose of community service activities aims to provide information related to the application of Prezi to GAMA UI tutors and provide short training utilizing the Prezi application both online and offline. So as to increase understanding and motivation to learn children tutoring participants in GAMA UI. The implementation of community service activities is carried out in three stages, the first is preparation by direct observation, the second is the delivery of material, and the last is evaluation. After this activity, it was seen that the teaching staff were very enthusiastic to use the Prezi application in the learning process in the future
Scale-adaptive Correlation Filter Tracking Algorithm Combined with Statistical Color Histogram Feature

Abstract The algorithm based on kernel correlation filtering shows excellent performance. Aiming at the problem that traditional correlation filtering algorithms are sensitive to deformation and cannot solve the tracking failure caused by scale changes, this paper proposes a scale-adaptive correlation filtering algorithm combining statistical color feature. Firstly, predict and train the HOG features of the correlation filter and the color histogram features to obtain the respective response values, namely the template response and the histogram response. Then adopt the block method, and perform scale prediction based on the position of each response point. Finally, the final fusion response is calculated. The experimental results demonstrate that compared with traditional KCF, when the target scale has large scale change and deformation, the improved algorithm in this paper performs better, and can still track stably.
The assessment for the learning of mathematics mediated by mobile applications

In the teaching-learning process of Mathematics, the evaluation is fundamental factor and requires new mechanisms from the academic community and strategies that not only reduce stress levels that generate the evaluation Activities, but also motivate him to be evaluated and most importantly to the appropriation of new learning cognitive type as affective. This paper describes the results by incorporating a mobile application, in the evaluation process in a university institution.
Fast acquisition of focal mechanism based on statistical analysis

&amp;lt;p&amp;gt;Earthquake and tsunami early warning systems and post-event urgent computing simulations require of fast and accurate quantification of earthquake parameters such as magnitude, location and Focal Mechanism (FM). Methodologies to estimate earthquake location and magnitude are well-established and in place. However, automatic solutions of FMs are not always provided by operational institutions and are, in some cases, available only after a time-consuming inversion of the wave-forms needed to determine the moment tensor components. This precludes urgent seismic simulations, which aim at providing ground shaking maps with severe time constraints. We propose a new strategy for fast (&amp;lt;60 s) determination of FM based on historical data sets, tested it at five different active seismic regions, Japan, New Zealand, California, Iceland, and Italy. The methodology includes the k-nearest neighbor's algorithm in a spatial dimension domain to search the most similar FMs between the data set. In our research, we focus on moderate to large earthquakes. The comparison algorithm includes the four closest events, and also a hypothetical event building by the median values of strike, dip, and rake of the k-neighbors. The validation stage includes the minimum rotated angle measure to compute the similitude between a pair of FMs. We find three model parameters, such as the minimum number of neighbors, the threshold radius that defines the neighboring sphere, and the magnitude threshold, that could improve the statistical similitude results. Our fast methodology has a 75%-90% agreement with traditional inversion mechanisms, depending on the particular tectonic region and dataset size. Our work is a key component of an urgent computing workflow, where the FM information will be used as input for ground motion simulations. Future work will assess the sensitivity of FM uncertainty in the resulting ground-shaking maps.&amp;lt;/p&amp;gt;
Analysis on Causal Structure of Policy and SDGs using System Thinking -Focusing on Gyeonggi-do’s Policy Tasks and G-SDGs-

Purpose of this study is to analyze the relationship between Gyeonggi-do''s major policy tasks and Gyeonggi-do''s Sustainable Development Goals(G-SDGs) using causal loop diagram, and to find policy paths and policy entry points. For this purpose, policy tasks of Gyeonggi-do were linked to the goals and targets of the G-SDGs, and the causal structure of the policies was examined using causal loop diagram. Where link is missed, the National Sustainable Development Goals (K-SDGs) was suggested to complement the missing linkage to improve policy in this area. Study result shows that the Gyeonggi-do policy tasks are closely linked with G-SDGs, forming virtuous cycles. Based on these study results, some suggestions were made for Gyeonggi-do''s policy tasks and sustainable development.
Design of Model and Application Development for Agile Practices Assessment

The drive to create greater perceived value and proximity to their customers and markets has led organizations to become increasingly agile in their structures, business processes and information systems, identifying areas of inefficiency and inefficiency, in terms of value creation with its clients (internal / external) and markets. This article aims to present an evaluation model (of maturity), in the field of agile practices, from the context of the individuals and development teams to the organization in the management of their products, project / program management. where agile values and principles are the guiding axes throughout the model and its application.The methodology underlying to this article development was based on a systematic literature review and reference models and frameworks analysis in the thematic domain. The developed model is an added value since there is currently no multidimensional model (capacity and maturity levels versus the perspective of dimensions oriented to the individual, teams, products, projects / programs and clients), in the context that helps organizations to identify their status quo and to promote the implementation of agile practices.
Certimus, a seismic station optimized for rapid deployment in rugged terrain

&amp;lt;p&amp;gt;Operators of broadband seismic stations, particularly in hostile locations, are restricted in experiment design and deployment time-frames by the significant constraints of historical instrumentation. Manufacturers need to move away from the strict requirements on tilt tolerance and associated performance compromises, fixed frequency responses, unfriendly interfaces, slow data downloads and power-hungry systems in favour of simple, flexible and smart instruments that allow the operator to focus on the science at hand.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;This transition is already happening with the evolution of seismic monitoring towards compact technologies: rapid-response deployments have, in recent years, become more and more feasible. However, installing low-noise, broadband instruments in remote areas has remained a challenge: low-noise force-balance broadband seismometers are typically heavy and delicate. They require significant infrastructure and logistics.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;By developing the standalone, compact Certimus - with the same level of performance as traditional force-balance broadband seismometers - G&amp;amp;#252;ralp now offers researchers the opportunity to further push the boundaries of seismic monitoring and deploy stations in more and more challenging environments.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;Unique sensor components allow Certimus to function up to 90 degrees tilt, removing the need for time-consuming centring, and allowing the station to be placed in small, hand-dug shallow holes. In 1s mode, the sensor will settle quickly and reliable data can be available in a matter of hours. &amp;amp;#160;The frequency range is fully configurable in the long-period corner to allow this level of flexibility: 120s, 10s and 1s to 100Hz.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;Certimus offers easy ways to check installation integrity &amp;amp;#8211; State-of-Health and live waveforms &amp;amp;#8211; before leaving the site: both with the surface and the burial variants, either via Bluetooth, LCD screen or Web Interface.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;Since power consumption is a major limitation, Certimus comes with an ultra-low power mode (under 300mW) and a rugged battery module to gain up to six weeks of data before retrieval &amp;amp;#8211; or before a permanent power supply is arranged.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;All files are recorded in industry standard miniSEED format making data download and management simplistic and universal. The metadata auxiliary channels record a vast range of state of health parameters to ensure optimal qualification of the seismic data with the environmental conditions of the seismic station.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;All these advanced features are gathered in a compact, lightweight case that can be carried with all its accessories in a backpack to the most inaccessible areas. Quality seismic data is made available swiftly from anywhere, anytime.&amp;lt;/p&amp;gt;
A Geolocator System of Long Stay Institutions For the Elderly

The elderly population in Brazil and in the world increase every year and tend to grow more and more, appearing several demands for technology to contribute. Facing the difficulty to finding information from nursing homes for such a public and, by the inexistence of data and applications of the same purpose, a web system has developed. An innovative system that makes it possible to locate nursing homes with their information and characteristics, according to the needs and selection criteria of the users.
A domain-specific language for exploratory data visualization

With an ever-growing amount of collected data, the importance of visualization as an analysis component is growing in concert. The creation of good visualizations often doesn't happen in one step but is rather an iterative and exploratory process. However, this process is currently not well supported in most of the available visualization tools and systems. Visualization authors are forced to commit prematurely to particular design aspects of their creations, and when exploring potential variant visualizations, they are forced to adopt ad hoc techniques such as copying code snippets or keeping a collection of separate files. We propose variational visualizations as a model supporting open-ended exploration of the design space of information visualization. Together with that model, we present a prototype implementation in the form of a domain-specific language embedded in Purescript.
Billing in the Mobile Era : Octa Code’s Study Case

Existing services are ever adapting to the digital era and its benefits. With the appearance of new legislation, soon it will be mandatory to emit invoices exclusively in digital platforms. This change will create the need to use mobile applications in order to replace the traditional handwritten invoice, still in use in many businesses, especially those with ambulatory characteristics, where access or usage of a computer or laptop is not easy. But this new market is also ripe with challenges which will be probed in this study case. Octa Gest Faturas by Octa Code, is a new application that intends to offer an easy user experience, while at the same time applying the best practices when it comes to mobile application development.
Optimization of the performance of an online payment application by the improviment of its infrastructure

This work aims to report a practical experience of a big Brazilian bank, which used a highly critical payment application. With the raise in transactions, the application started showing some limitations, generating unavailabilities. As it was not possible to change the application code to procede with optimizations since the application had a closed code, it was applied the MIASP method to identify and solve the limitations by adjustments in the infrastructure. The problems were overcome by concepts of systems distributed like middleware architecture; concurrent processing; database and programmed routines in operational systems.
Kinematic constraining of the multi-fault rupture dynamics of the Norcia, Mw 6.5, 30 October 2016, Central Italy earthquake

&amp;lt;p&amp;gt;The 2016 Central Italy sequence showed a remarkable complexity involving multiple faults. Highly heterogeneous slip distributions were inferred from kinematic finite source inversions. The coverage and quality of the geodetic and seismic data allow resolving high-resolution details of rupture kinematics of the largest event of the sequence, the Mw 6.5 30 October 2016 Norcia earthquake. Composite fault rupture models suggest that two fault planes may have slipped simultaneously. Nevertheless, kinematic modeling cannot assess the mechanic viability of such multiple fault plane models.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;Using SeisSol, a software package for simulating wave propagation and dynamic rupture based on the arbitrary high-order accurate derivative discontinuous Galerkin method, we therefore try to generate spontaneous dynamic ruptures models compatible with the two fault planes constrained by kinematic inversions. To this end, we adopt a simple slip-weakening friction law with spatially variable dynamic friction and initial strength parameters along multiple faults, compatible with the slip distributions found in the literature. Although we do not to aim to explore the full parameter space, our approach allows testing the feasibility of kinematic models in conjunction with successfully generating spontaneous dynamic rupture scenarios matching seismic and geodetic observations with geological constraints. Such linking enhances and validates the physical implications of kinematic earthquake source inversion.&amp;lt;/p&amp;gt;
Radar Emitter Identification Based on Naive Bayesian Algorithm

The aim of this study is to realize radar emitter Identification with high-efficiency. In this article, an approach based on naive Bayesian algorithm is introduced. For recognizing radar radiations, this paper utilizes Naive Bayes classifier for radar signal sorting, and selects the pulse parameters (direction of arrival, pulse width, pulse repetition frequency and radar frequency) as features for training the classifier. The paper also compares the method based on naive Bayesian algorithm with the methods based on artificial neural network, K-means algorithm and support vector machine. The performance evaluation shows that naive Bayes classifier can achieve a high recognition accuracy, and the approach presented in this article is proved to be more efficient.
Cost Minimization of Solidity Smart Contracts on Blockchain Systems

Recently the blockchain technology has been actively studied due to its great potentiality. The smart contract is a key mechanism of the blockchain system. Due to the short history of the smart contract, many issues have not been solved yet. One main issue is vulnerability and another main issue is cost optimization. While the vulnerability of smart contract has been actively studied, the cost optimization has been rarely studied. In this paper, we propose two cost optimization methods for smart contracts running on the blockchain system. Triggering a function in a smart contract program code may require costs and it is repeated continuously. So the minimization of costs required to trigger a function of smart contract while maintaining the performance equally is very important. The proposed two methods minimize the usage of expensive permanent variables deployed on the blockchain system. We apply the proposed two methods to three prevalent blockchain platforms: Ethereum, Klaytn and Tron. Evaluation experiments verify that the proposed scheme significantly reduces the costs of functions in the smart contract written with Solidity.
Design and Implementation of the first Generic Archive Storage Service for Research Data in Germany

Research data as the true valuable good in science must be saved and subsequently kept findable, accessible and reusable for reasons of proper scientific conduct for a time span of several years. However, managing long-term storage of research data is a burden for institutes and researchers. Because of the sheer size and the required retention time apt storage providers are hard to find.&#x0D; Aiming to solve this puzzle, the bwDataArchive project started development of a long-term research data archive that is reliable, cost effective and able store multiple petabytes of data. The hardware consists of data storage on magnetic tape, interfaced with disk caches and nodes for data movement and access. On the software side, the High Performance Storage System (HPSS) was chosen for its proven ability to reliably store huge amounts of data. However, the implementation of bwDataArchive is not dependant on HPSS. For authentication the bwDataArchive is integrated into the federated identity management for educational institutions in the State of Baden-WuÌˆrttemberg in Germany.&#x0D; The archive features data protection by means of a dual copy at two distinct locations on different tape technologies, data accessibility by common storage protocols, data retention assurance for more than ten years, data preservation with checksums, and data management capabilities supported by a flexible directory structure allowing sharing and publication. As of September 2019, the bwDataArchive holds over 9 PB and 90 million files and sees a constant increase in usage and users from many communities.
Peningkatan Kemampuan Menyajikan Rangkuman Teks Laporan Hasil Observasi dengan Model Instruksi Langsung Menggunakan Media Bagan

nn The ability of presenting summary of observation result report text of 14 Junior High School Semarang students grade VII E has not yet achieve the minimum completenesstarget. This action research classroom aims to improve the ability of presenting summary of observation result report text using direct instruction model and chart media. The Collecting data used test techniques and nontest. The research result of skill aspectshowed that there was significant improvement in the namount of 19,44%n from the cycle 1, the average of the skill test result was in the amount of 77,87 with the completeness precentage of 80,56% and the cycle 2 in the amount of 86,03 with the completeness precentage of 100%. The improvement of presenting summary of observation result report text also followed by the learning process, students response to the learning and alteration of student social attitude directed to a better way.nKeywords: summary, observation result report text, direct instruction, chart media, social attitude.
BIT ERROR AWARE LOSSLESS COLOR IMAGE COMPRESSION

Advanced Image Compression has various applications that extend from picture pressure for individual useto compacting progressively critical pictures like clinical pictures, sight and sound applications, a web of things, andbiomedical applications, transmitting an enormous volume of picture and video data which are altogether popular.The goal of this exploration is to consider different strategies for advanced picture pressure and actualize a picturepressure procedure. Two of the basic Digital Image Compression Techniques are lossless pressure and lossy pressure.In this proposition work, we propose bit-blunder mindful lossless pressure calculations for shading picture pressuresubject to the bit-mistake rate during transmission. Every one of the proposed calculations incorporates three phases.The main stage is to change over the RGB pictures to YCrCb pictures and the subsequent stage predicts the changedpictures to produce the buildup arrangements. Improvement calculations are utilized to scan for the best mix ofpicture change and expectation. At the last stage, the created buildup arrangements are encoded by a few buildupcoding calculations, which are 2-D and 1-D bi-level square coding, span Huffman coding, and standard Huffmancoding calculations. Key boundaries, for example, shading change data, indicator boundaries, and buildup codingboundaries, are ensured by utilizing Hamming code during picture transmission. The pressure proportion (CR) andpinnacle sign to clamor proportion (PSNR) are two huge execution pointers which are utilized to assess the trialresults.