Reviewerly/exHarmony huggingface dataset:
Almost all Classical Theorems are Intuitionistic

Canonical expressions represent the implicative propositions ( i.e. , the propositions with only implications) up-to renaming of variables. Using a Monte-Carlo approach, we explore the model of canonical expressions in order to confirm the paradox that says that asymptotically almost all classical theorems are intuitionistic . Actually we found that more than 96.6% of classical theorems are intuitionistic among propositions of size 100.
Effect of Ticagrelor Combined with Acupuncture on Myocardial Infarction and its Effect on Levels of Serum Myocardial Enzymes, Cytokines and T Lymphocytes

Effect of Ticagrelor Combined with Acupuncture on Myocardial InfarctionTo investigate the effect of ticagrelor combined with acupuncture on myocardial infarction and its effect on levels of serum myocardial enzymes, cytokines and T lymphocytes.90 patients with myocardial infarction were equally divided into observation and control groups.The observation group was treated with ticagrelor combined with acupuncture, while the control group was treated with ticagrelor only.Hemodynamic indexes, left ventricular parameters, serum myocardial enzyme levels, cytokine levels and T lymphocyte levels were analyzed.The incidence of cardiovascular events 1 mo and 3 mo after treatment was investigated.There were no significant differences in heart rate, left ventricular end systolic diameter, left ventricular end diastolic diameter, intermittent septum thickness and posterior wall of left ventricle between two groups (p>0.05), while systolic blood pressure, diastolic blood pressure, mean arterial pressure and left ventricular systolic pressure in the observation group decreased and left ventricular end-diastolic pressure increased (p<0.05).After treatment, the levels of serum myocardial enzymes, tumor necrosis factor alpha, interferon gamma, interleukin-6, interleukin-17, interleukin-21 and interleukin-23 of observation group were significantly lower than control group, while transforming growth factor beta and T lymphocyte levels were significantly higher (p<0.05).The incidences of cardiovascular events in observation group were 2.22 % and 4.44 %, 1 mo and 3 mo after treatment, while it was 4.44 % and 8.89 %, respectively, in control group (p<0.05).
Pengolahan limbah elektronik (E-Waste) mix resin sebagai embrio usaha berbasis seni estetika

This Community Service is a Student Creativity Program carried out by the partners of the Karang Taruna Group, Batulappa Village, Patimpeng District, Bone Regency. This activity aims to solve problems regarding E-Waste that occur due to continuous accumulation. E-Waste buildup usually occurs due to minor damage or has entered the end of use. E-Waste is one of the wastes made from hazardous materials, so it includes hazardous and toxic materials (B3) whose concentration will affect health and pollute the environment if it accumulates. E-Waste Processing, a very crucial impact is that generally the owner of the electronic service only burns the generated electronic waste. However, this can pollute the air and environmental ecosystems, so other efforts are needed in overcoming and reducing electronic waste for education to the Karang Taruna Group in Batulappa Village. E-Waste mix resin can be used as a means to channel the creativity of the Karang Taruan Group in Batulappa Village as a partner by processing the components that exist in E-Waste. The work produced can be commercialized with a high selling value to help improve the partner's economy as a provision for future skills for entrepreneurship.
Faktor-faktor yang Mempengaruhi Kesuksesan Sistem Informasi Remunerasi pada Fakultas Teknik Universitas Brawijaya Malang)

Universities have implemented many information systems that can facilitate the work of users but need to be considered to address the problems faced. Remuneration Information System at Brawijaya University has often been improved, both from the user side of the application and from the application system itself. The purpose of this study is to find out what factors affect the Net Benefits of Remuneration Information System (Study at the Faculty of Engineering Universitas Brawijaya Malang) using the theory of DeLone &amp;McLean 2003. Hypothesis testing formulated in this study uses Partial Least Squares (PLS). The result of this study is that there are seven factors that affect the net benefits of Remuneration Information System, namely: System Quality against User Satisfaction, Quality of Information against Use, Quality of Information on User Satisfaction, Quality of Service to Use, Quality of Service to User Satisfaction, User Satisfaction against Use, User Satisfaction to Net Benefits. The quality of the System on Remuneration Information System has not been good so its use is still low and the use in remuneration information systems is still low so that the Net Benefit is still low.
METHODS OF STABILIZATION

The article is devoted to the analysis of methods of stabilization of photo-video camera and image, advantages and disadvantages of different methods of camera stabilization in order to improve the quality of photo and video shooting. The optical image stabilization system is an automated control system. In its composition, it must have a motion sensor, such as a gyroscope or accelerometer, analog or digital computing device and an actuator for motion compensation (motor). The purpose of such a control system is to maintain a fixed position relative to the inertial coordinate system, line of sight or light beam that passes through the camera lens and falls on the light-sensitive matrix. It is possible to realize it by means of the electric motor on the basis of the information from sensors. The electric motor rotates a certain stabilized optical unit, which in turn refracts the light beam. This unit is made with the possibility of rotation around the vertical and horizontal axes or the axes of the course and pitch. The optical unit rotates so that the projection of the image on the film or light-sensitive matrix fully compensates for camera shake during exposure. As a result, the projection always remains stationary with respect to the light-sensitive matrix for small oscillations of the camera. This provides the necessary image clarity. The steadic camera stabilization device provides smooth camera movement in different planes. Steadicams are used in film and video shooting, as it is the easiest way to get a quality picture in motion without shaking with minimal cost. To ensure high accuracy of image stabilization, it is proposed to use an optical stabilization system based on image stabilization. It can be used for photo and video equipment and even in systems such as binoculars and sights.
Use of Trending Web Technology Tools in Technological Institution Libraries: A Study

The research paper extracts the information and factors about the adopting social media sites and awareness on possibilities of adoption. On use of Social Media Sites and factors to use them in engineering and technological institution library for various services. The study is based on a survey research method. The paper cover four VTU regional divisions affiliated college as random samples. The questionnaire is distributed through e-mail with Google Form design. 40 college libraries are selected for research sample. The study is limited to use of Social Medeia Sites and its use by the professionals and awareness on the web tools. The paper also explores the expression on some reasons for using them. The SPSS statistical software is used to analyse for the received data.
An analysis between exact and approximate algorithms for the k-center problem in graphs

&lt;span lang="EN-US"&gt;This research focuses on the k-center problem and its applications. Different methods for solving this problem are analyzed. The implementations of an exact algorithm and of an approximate algorithm are presented. The source code and the computation complexity of these algorithms are presented and analyzed. The multitasking mode of the operating system is taken into account considering the execution time of the algorithms. The results show that the approximate algorithm finds solutions that are not worse than two times optimal. In some case these solutions are very close to the optimal solutions, but this is true only for graphs with a smaller number of nodes. As the number of nodes in the graph increases (respectively the number of edges increases), the approximate solutions deviate from the optimal ones, but remain acceptable. These results give reason to conclude that for graphs with a small number of nodes the approximate algorithm finds comparable solutions with those founds by the exact algorithm.&lt;/span&gt;
Application Research of Multimodal Sensing Technology in Online Classroom

Online classroom can be said to be the result of the combination of Internet technology, multimedia technology and classroom teaching.In particular, since the 2020 new crown, many schools have implemented online courses, as an alternative to suspension during the epidemic.Multi-mode perception technology is a very practical technology to carry out online classrooms. It can make classroom teaching diversification, making classroom teaching more lively and relaxed, further promoting the improvement of students’ interest in learning.Therefore, we should actively promote the use of multi-modal perceptual technology online class. Below, we will carry out some analysis according to this topic.
Pengembangan Media Pembelajaran Berbasis Aplikasi Kinemaster Untuk Menunjang Belajar Mengajar Siswa Pada Gugus 6 Pirus Martapura

Alteration in learning styles during the Covid-19 pandemic requires educators, i.e. teachers, to be more innovative in delivering learning materials so that students can understand learning materials well during learning from home. As an educator must quickly relate to these circumstances, innovation and creativity of an educator become the spearhead in the teaching and learning process so that students always feel the existence of effective interaction and communication in the teaching and learning process. Kinemaster application is one of the media that can be used to develop learning media to make it more interesting and interactive. The use of this Kinemaster application tends to be easier to implement because it is more popular and easy to use. The purpose of this community service activity is to foster the spirit of teachers and students in the teaching and learning process, as well as improve the teacher's ability to create learning media in the form of video learning materials. This community service activity took place in Group 6 Turquoise Martapura City Banjar Banjar District of South Kalimantan Province. This activity was held in August 2021 with a total of approximately 30 teachers. The method of approaching the implementation of community service activities in the form of socialization, training, and application of Kinemaster applications to create interactive learning media, beyond this activity is the improvement of teachers' in the creation and development of interactive and innovative learning media.
Comparative Study on DES and Triple DES Algorithms and Proposal of a New Algorithm Named Ternary DES for Digital Payments

Whenever new algorithms are designed intruders try to break the key with the help of attack models. No algorithm is perfect against all attacks. But DES irrespective of its small key size, it has been considered to be strong design cipher till today. Designers of DES guaranteed a security margin of 2 power 56. If any attack which is essentially better than 2 power 56 search then that considered to be attack. To crack DES attackers need to spend $ 220000 so that the key can be revealed in 56 hours. But for digital transactions if the key can expire for less than 5 minutes it‟s difficult to crack. If this is the case with DES then it will be much more difficult to break Triple DES, which uses 112 bits of key size. The problem with Triple DES is having more rounds, which takes more processing time and space. Not only cryptography, even Light Weight Cryptography needs low processing time and space. Hence a new algorithm named ternary DES is proposed which requires only 56-bit key and 16 rounds. Ternary DES has the advantage of DES with the same key space and number of rounds, and advantage of Triple DES with difficult to break. To propose new algorithms for solving security issues many constraints we need to take into account. With one algorithm we can solve one or a few issues but not all.
Angle Dependence of Solar Power Capacity: The Case of Setit Humera

The solar power capacity depends on orientation angle of the solar panel. This study evaluates the angle dependence of solar power capacity for a summer season in 2017. Using three solar panels, with 10 Watt capacity each placed on a metallic frame to facilitate changing tilt and azimuth angles independently. Experiments were done for the first six days of three months, and the first three days of each month were used to measure voltages for different tilt angles by changing from 0° to 26° in steps of 2o. The remaining three days of a week of every month, the middle solar panel was fixed at a tilt angle that yielded maximum power while the two panels were moved with azimuth angles from 0o to 270 in steps of 3o to clockwise and counterclockwise with respect to the middle solar panel. A digital multimeter was used to record the circuit voltage of the solar panels with 10 ohms resistor serving as a load. Data gathering was done every ten minutes, during the daytime from 9:30 am to 16:30 pm. The study has shown that the maximum power output was obtained at the tilt angle of 4o in June and July, 2o in August and a season tilt was found at 4o. Maximum solar power outputs were obtained when solar panels facing east and west were oriented between 0o and 3o. This recommends that the maximum solar power production depends on the tilt angle of 4o and clockwise and counterclockwise of 3o orientation for this geographical location.
Classification based topic extraction using domain-specific vocabulary: a supervised approach

Recently, a probabilistic topic modelling approach, &lt;span&gt;latent dirichlet allocation (LDA), has been extensively applied in the arena of document classification. However, classical LDA is an unsupervised algorithm implemented using a fixed number of topics without prior domain knowledge and generates different outcomes with the change in the order of documents. This article presents a comprehensive framework to evade the order effect and unsupervised probabilistic nature. First, the framework creates the vocabulary specific to the category using a weight-dependent model that extracts distinctive features suitable for supervised classification. Then, it transforms a classified cluster of documents from the domain corpus to the relevant topic making it more robust to noise. The framework was tested on a comprehensive collection of benchmark news datasets that vary in sample size, class characteristics, and classification tasks. In contrast to the conventional classification methods, the proposed framework achieved 95.56% and 95.23% accuracy when applied on two datasets, indicating that the proposed algorithm has a better classification capability. Furthermore, the topics extracted from the classified clusters are highly relevant to domain categories.&lt;/span&gt;
PENERAPAN METODE MARKER-BASED DAN MARKERLESS AUGMENTED REALITY PADA APLIKASI PENGENALAN ALAT KIMIA DASAR LABORATORIUM KELAS X SMKN REMBANG

&lt;p&gt;&lt;strong&gt;Abstract&lt;/strong&gt;&lt;span style="text-decoration: underline;"&gt;:&lt;/span&gt;&lt;em&gt;Understanding of chemical tools is very important for laboratory workers to achieve experimental goals and maintain work safety. The form of application of the method of introducing basic chemical tools at SMKN REMBANG is that students draw chemical tools in books. This method is considered less effective because it makes students feel bored and have difficulty in drawing chemical tools. Therefore, it is necessary to innovate learning methods by making applications for introducing basic laboratory chemistry tools designed using Unity3D and Vuforia with Augmented Reality technology and based-marker, markerless and mpdel waterfall methods as software development. The result of this research is to build an application for the introduction of basic chemical tools packaged in APK form. Based on the results of the pre-test, the average score was 55.7 and there was a very good improvement after the post-test with an average score of 67.7. This study obtained the value of respondents reached 87.3%.&lt;/em&gt;&lt;em&gt;. &lt;/em&gt;&lt;em&gt;&lt;/em&gt;&lt;/p&gt;&lt;p&gt; &lt;/p&gt;&lt;p&gt;&lt;strong&gt;&lt;em&gt;Keywords :&lt;/em&gt;&lt;/strong&gt;&lt;em&gt; Augmented Reality, Laboratory Chemical, Markerless, Based Marker&lt;/em&gt;&lt;/p&gt;
Image segmentation for content-color-dependent screening (CCDS) using U-net

In this work, we propose to use deep learning to segment an image based on its color and content.We start by reviewing previously developed content-color-dependent screening (CCDS) presented in [1] [2].The goal of CCDS is to apply different color assignments for the two or more regular or irregular halftones within the image depending on the local color and content of the image.If the image content locally contains high variance of color and texture, the artifacts due to halftoning will not be as visible as the artifacts in smooth areas of the image [1].Therefore, the objective of CCDS was to detect the smooth areas of the image and apply the best possible color assignments in those areas.In order to detect smooth areas, the image segmentation algorithm involving the retrieval of the cluster-map and the segmented edge-map was proposed.The main disadvantage of the current approach is that for any given image, the result is highly dependent on the initial parameters, such as the number of clusters, low and high thresholds for edge detection, bilateral filter parameters and others.In this work, we propose to use the wellknown U-net architecture to detect the smooth areas of the image, and then apply the well-known K-means algorithm to cluster the image based on color.The U-net is a type of a convolutional neural network (CNN) designed for quick, precise image segmentation, and it is used to predict a label for every single pixel [3].The architecture of the U-net is suitable for this work because it consists of a contracting path to capture context and a symmetric expanding path that enables precise localization [3].We believe that using the U-net to detect smooth areas of the image greatly improves the current approach and provides better results.
Intelligent UAV Spoofing Detection Method

The paper presents an intelligent method for detecting UAV spoofing. A distinctive feature of the method is the use of subtrajectory calculation technology based on visual odometry subtrajectories and GPS positions in a sliding window, taking into account the intelligent estimation of the optical flow and the formation of UAV “Ego-movement” descriptors. In the course of the study, an analysis and comparative studies of a wide range of UAV spoofing methods were carried out, the most frequently recommended and practically used methods were identified. The conclusion is made about the relevance of the problems of GPS spoofing. The analysis of methods of protection against UAV GPS spoofing has been carried out. Promising directions for intelligent detection of UAV spoofing using methods and means of visual odometry are identified. In the course of studying methods for fixing input data, an approach was proposed for estimating the optical flow using a sliding window. At the same time, the need for intelligent processing of input data is argued. The estimation of the optical flow and the formation of descriptors was carried out using recurrent convolutional neural networks. As a result, a block diagram of the UAV spoofing detection method was developed. This allowed us to study the developed method. The results of the experiment for two spoofing scenarios showed the efficiency of estimating the positions of at least two of the three indicators under the conditions of using sliding windows of size 15 or more, with a time delay of half the window size.
Evaluation the implementation of the regional government accounting information system

&lt;p&gt;This study aims to determine the implementation of the regional government accounting information system. This paper is a descriptive analysis with a qualitative approach. In data collection, interview and documentation techniques were employed. The results of this study indicate that the Accounting Information System (AIS) applied by the Kendari City has not been implemented optimally. It is proven that has not carried out its financial report input independently using the SIMDA Finance application. Instead, the authorized officer still went to the Kendari BPKAD office.&lt;/p&gt;
Satisfiability in a Temporal Multi-valueted Logic Based on Z

In this paper we continue the series of papers by V. V. Rybakov devoted to properties of multi-valueted logics and where he propose a new approach for modelling knowledge and reasoning of agents in a multi-agent system. We prove that the satisfiability problem is decidable in a temporal multi-valueted logic based on Z
Facial expression recognition using Eigen face approach

Emotion recognition via identification of face emotion is the primary areas of research between human and the machine communication. In order to identify facial emotion, one device must locate different variabilities of human face including color, stance, emotions, direction, and so on. Initially, the human facial expressions are recognized by the various features such as eye, nose, mouth, etc. must be detected and then classified using an appropriate expression recognition classifier compared to the qualified results. In this analysis a method of identification of human facial expression is modeled on its own hands. The approach proposed uses the color model HSV (Hue-Saturation-Value) to identify the facial image. Principal Component Analysis reduce the size of the space, later the test image is projected on the space. The Euclidean distance between the test image and the mean individual of the training data and categorized the phrases. For testing purposes, a standardized dataset is used. The device uses the gray representations of the face to categorize five simple emotions including surprise, sadness, anxiety, indignation and satisfaction.
Stilla og det omvende i musikken

This essay by composer Knut Vaage employs the idea of silence, or stillness, in music, as a frame, first for describing certain characteristics found in the music of Magnar Åm, and then discussing several aspects of four of his own compositions. In the first part, he describes how Åm’s music paradoxically seems to evoke stillness whilst clearly moving forward, holding a productive tension between qualities of beauty and solace, and «rasping dissonances that last long enough to scratch scars on the soul». In the second part, Vaage describes how his own music often contrasts sharply with that of Åm, although both are concerned with the stretching-out of sound and qualities of stillness between more intense areas in the music. Another shared interest is the use of literature as inspiration for music, while differing in approach. Reflecting over his settings of texts by his grandfather, author Ragnvald Vaage, Vaage refers to the inevitable structural relationship between sound and silence, and how the effect of silence in music can be more dramatic than that of sound itself. Concomitantly, when repetitions and pauses are written into a dramatic text, as in the libretto for Vaage’s opera based on Jon Fosse’s play Someone is going to come (1996), Vaage fills these silences with music, creating an interpretative commentary on the drama of the silences themselves. Thus music, however noisy, may also communicate the complexity of human vulnerability.