Reviewerly/exHarmony huggingface dataset:
Активизация учебной деятельности школьников при овладении математическими методами познания

The article is devoted to the problem of improving the teaching of mathematics in a comprehensive school, enhancing educational and cognitive activities based on mathematical methods of cognition, identifying the most effective teaching technologies that promote students to develop creative thinking, the ability to independently solve non-standard problems, and modeling complex mathematical objects. In connection with the introduction of innovations in the general education school, which posed fundamental questions to scientists and teachers about the specifics of teaching and educating schoolchildren, it became necessary to resolve the dialectic contradiction between the desirability of implementing a competency-based approach based on methods and techniques of scientific knowledge, mathematical logic, and a system of algorithmic prescriptions providing creative activities for students and still practicing the deductive nature of traditional methods dove teaching mathematics. The article focuses on the fact that in order to enhance the creative educational and cognitive activity of students, it is important to constantly correlate the studied mathematical models with their real prototypes by abstracting and generalizing the phenomena of the real world, substantive and methodological connection of theoretical conclusions with practical work. The methods and approaches proposed in the article for teaching students how to solve problems and equations together form the methodological field of various teaching methods and techniques in new, more flexible combinations and in non-standard contexts for the general course of mathematics. The creative development of the richest opportunities, characteristic for the practice of the work of the best teachers, should be the property of all teachers of mathematics, should find reflected in innovative approaches to teaching mathematics, the formation of logical thinking among schoolchildren.
A Reusable SQL Injection Detection Method for Java Web Applications

The fundamental reason why most SQL injection detection methods are difficult to use in practice is the low reusability of the implementation code.This paper presents a reusable SQL injection detection method for Java Web applications based on AOP (Aspect-Oriented Programming) and dynamic taint analysis, which encapsulates the dynamic taint analysis processes into different aspects and establishes aspect library to realize the large-grained reuse of the code for detecting SQL injection attacks.A metamodel of aspect library is proposed, and a management tool for the aspect library is implemented.Experiments show that this method can effectively detect 7 known types of SQL injection attack such as tautologies, logically incorrect queries, union query, piggy-backed queries, stored procedures, inference query, alternate encodings and so on, and support the large-grained reuse of the code for detecting SQL injection attacks.
Indigenous Graphic Communication Systems: A Theoretical Approach. KATARZYNA MIKULSKA and JEROME A. OFFNER, editors. 2019. University Press of Colorado, Louisville. xx + 393 pp., 134 figures. $93.00 (hardcover), ISBN 978-1-60732-876-6.

Indigenous Graphic Communication Systems: A Theoretical Approach. KATARZYNA MIKULSKA and JEROME A. OFFNER, editors. 2019. University Press of Colorado, Louisville. xx + 393 pp., 134 figures. $93.00 (hardcover), ISBN 978-1-60732-876-6. - Volume 31 Issue 2
Conditionals and Abduction

The chapter gives a preliminary sketch of some cognitive differences between indicative conditionals and counterfactual conditionals relevant to the testing of hypotheses by experiment. They especially concern cases where the indicative conditional can be decided without new evidence while the counterfactual conditional cannot. They also show that the antecedent of a ‘counterfactual’ conditional need not be presupposed to be false. Differences connected with the past tense morphology of ‘would’ are explored. Cases are given where the morphology should be understood as expressing a ‘fake past’, modal rather than temporal.
Data Transmission Using HDD as Microphone

The technology of Covert Channel is often used for communications between computers and the Internet with high sensitivity or security levels. Presently, some research were carried out on covert channel using computer screen light radiation, speakers, electromagnetic leakage, etc. In this paper, the technology of SoundHammer is studied. It is a technical bridgeware that use acoustic waves to transmit data from sound device into an air-gapped network. Firstly, an idea was proposed for data transmission by covert channel through acoustic waves. Then, this method was validated by experiment and the risks of the air-gapped network were confirmed. Finally, some countermeasures for detecting and eliminating such covert channels were listed.
PERBAIKAN CITRA MENGGUNAKAN HISTOGRAM EQUALIZATION PADA DETEKSI TEPI BATIK

ABSTRACTIndonesia has 17 diverse cultures that have been recognized by UNESCO, one of which is batik.There is recognition from UNESCO that Indonesian cultural heritage of batik may not berecognized by other countries. Batik as a cultural heritage has its own uniqueness, to maintain theuniqueness of batik, it is necessary to document batik motifs. Batik motifs can be documented bychanging batik motifs into images or images. One way to change batik motifs into images is by using optical devices such as cameras,scanners, and so on. The authenticity of batik motifs from the documentation needs to be done bydetecting the edge of the batik so that the batik motif can be maintained properly. One methodused is to use the canny method in Matlab 2013, but edge detection with canny has weaknesses inimages that have uneven gray values, so to level up the grayishness of batik it is necessary toimprove the image using the histogram equalization method. Detection of batik edges with image improvement using histogram equalization methodand canny method can improve the detection results with the number of test data 13 with a totalof batik images that can be repaired 10 batik images and 3 batik images have not been able to berepaired. The best MSE value is 0.229538 and PSNR is 54.5563. Poor value with MSE 0.676356and PSNR 49,863.
PENGGUNAAN MODEL PEMBELAJARAN EKSPOSITORI BERBANTUAN MEDIA VISUAL UNTUK MENINGKATKAN PRESTASI BELAJAR SISWA KELAS VIII C SMP NEGERI 1 RENDANG SEMESTER GANJIL TAHUN PELAJARAN 2019/2020

The purpose of this research is to improve student’s achievement in class VIII C SMP Negeri 1 Rendang with expository teaching model aided visual media in the 2019/2020 period. This study takes 30 students from VIII C class of SMP Negeri 1 Rendang as the subject, and the object of this study is to increase the student’s achievement of class VIII C with expository teaching model with visual media. After the data is collected through achievement test instruments and analyzed by quantitative descriptive analysis of the data obtained preliminary observations with an average 59.00, 33,33% mastery learning. This data is increased in the first cycle to 69.00 on average with 63,33% mastery learning and the second cycle of the data on increases to the average of 77.76 with 93,33% mastery learning. In the second cycle of data has been obtained as expected indicators of the success of research with the acquisition value exceeds the classical completeness mastery learning were set at 85% in social studies. Based on the data obtained, this research can be terminated until the implementation of the second cycle, given the success that has been achieved as expected, the implementation of the teaching and learning process is maximal can be implemented. So the use of expository teaching model aided visual media has been implemented can improve student achievement class VIII C SMP Negeri 1 Rendang semester of academic year 2019/2020
Tracking an Auto-Regressive Process with Limited Communication

Samples from a high-dimensional AR[1] process are quantized and sent over a time-slotted communication channel of finite capacity. The receiver seeks to form an estimate of the process in real-time. We consider the slow-sampling regime where multiple communication slots occur between two sampling instants. We propose a successive update scheme which uses communication between sampling instants to update the estimates of the latest sample. We show that there exist quantizers that render the fast but loose version of this scheme, which updates estimates in every slot, universally optimal asymptotically. However, we provide evidence that most practical quantizers will require a judiciously chosen update frequency.
Protecting quantum entanglement by repetitive measurement

Information processing based on the laws of quantum mechanics promises to be a revolutionary new avenue in information technology. This emerging field of quantum information processing (QIP) is however challenged by the fragile nature of the quantum bits (qubits) in which quantum information is stored and processed. An error in even a single qubit makes the quantum processor go off-track, corrupting the calculation as a whole. Therefore, the chance for an erroneous outcome increases with the number of qubits in the processor. Large-scale QIP thus hinges on the ability to correct for these errors. Classical information processing often uses error correction algorithms to identify errors by checking whether information is consistent in multiple copies. This strategy is unfortunately not applicable to QIP as quantum states cannot be copied. Moreover, direct measurements on qubits collapse their quantum states, reducing them to classical information. Fortunately, the theory of quantum error correction (QEC) overcomes these complications by encoding quantum information in entangled states of many qubits and performing parity measurements to identify errors in the system without destroying the encoded information. Implementing these codes is challenging as it requires many qubits and quick interleaving of operations and measurements. Moreover, to not introduce more errors in the system than QEC can solve for, these operations and measurements need to be of sufficient fidelity and speed...
A Visual Tracking Method Based on an Adaptive Overlapping Correlation Filter for Robotic Real-Time Cognitive Imaging

Computer vision is a very important research direction in the cognitive computing field. Robots encounter various target-tracking problems with computer vision systems. Robust scale estimation is an important issue in tracking algorithms. Most of the available methods have difficulty addressing even reasonable changes of scale in complex videos. In this paper, we propose a visual tracking method based on robust scale estimation, which uses a discriminant correlation filter based on a time-dependent scale-space filter and an adaptive cross-correlation filter. The tracker uses separate essential filters for sample migration and scale estimation. Furthermore, the built-in scale estimation method can be introduced into other tracking algorithms. We validate the proposed method on the UAV123 dataset. The results of comparison experiments with the traditional correlation filter tracking method demonstrate that the proposed method improves the success rate and tracking accuracy while controlling the computational complexity; its success rate measured by the area under the curve is 0.638, while at a location error precision of 20%, it is 0.649.
A STUDY ON JOB SATISFACTION

Resources are valuable for the organization nothing. This file of workers, supervisors, and managers, and on behalf of employees and their skills, in the general level of natural ability, knowledge, and experience. This human resources and to achieve the objectives of the organization should use as much as possible, it should be noted here. Therefore, a decision in this regard, and to achieve the performance objectives of an employee. However, the result is a negative impact on your motivation and satisfaction.
Sistem Pakar Diagnosa Penyakit pada Ibu Hamil

The high maternal mortality rate in the city of Palembang in 2017 reached 7 maternal deaths out of 27,876 live births largely due to ignorance regarding pregnancy issues and delays in handling. This expert system of diseases diagnosis in pregnant women is made to provide knowledge about diseases in pregnant women and its handling and prevention. The Naive Bayes Classifier method applied to this expert system is a simple probabilistic classification that calculates a set of probabilities by summing the frequency and combination of values from a given dataset. The final result of this study was an expert system of diseases diagnosis in pregnant women that can provide knowledge about diseases in pregnant women and its handling and prevention.
Adaptive Real-Time Method for Anomaly Detection Using Machine Learning

Anomaly detection is a sub-area of machine learning that deals with the development of methods to distinguish among normal and anomalous data. Due to the frequent use of anomaly-detection systems in monitoring and the lack of methods capable of learning in real time, this research presents a new method that provides such online adaptability. The method bases its operation on the properties of scaled convex hulls. It begins building a convex hull, using a minimum set of data, that is adapted and subdivided along time to accurately fit the boundary of the normal class data. The model has online learning ability and its execution can be carried out in a distributed and parallel way, all of them interesting advantages when dealing with big datasets. The method has been compared to other state-of-the-art algorithms demonstrating its effectiveness.
Early Terminating Viterbi Decoding of Reed-Muller Code

The trellis-based decoding of Reed-Muller code (RM) has superior error performance amongst the RM decoding algorithms. However, the problem of the associated complexity limits its hardware implementation. The trellis complexity of the Reed-Muller codes, as any linear block codes, can be measured in terms of the state and branch complexities. To reduce the associated complexity of the trellis-based decoding, two major successful improvements have been introduced to the trellis structure of Reed-Muller code; sectionalization of a trellis, and parallel decomposition into sub-trellis. This work focuses on the decomposed implementation of the Reed-Muller trellis code into parallel identically sub-trellis (isomorphic) without any cross connection. We will introduce a novel complexity reduction approach to these decomposed RM code that can early terminate the decoding process of the conventional Viterbi algorithm (VA). The proposed early terminating Viterbi algorithm (ETVA) can eliminate 50% of the sub-trellises while maintaining the same error performance of the conventional VA. The gained results are of special interest for power limited space communication applications.
Interactions between Plain Conditionals and Quantifiers

First, the role of ‘if’ in articulating instances of universal generalizations is considered: what ‘Every F is a G’ tells us about a given object is ‘If it is an F, it is a G’; the truth-functional interpretation is best placed to fulfil that role. Interpretations on which the conditional has a truth-value gap when its antecedent is false are shown to be less effective for this task. Next, an analogue of the Suppositional Role is suggested for assessing generalizations. Finally, sentences with conditionals under quantifiers such as ‘most’, ‘no’, and ‘usually’ raise problems for the truth-functional interpretation. Some are resolved by reflection on conditional testimony, which tells against supposition-based assessments of the generalizations; other cases are resolved (using an idea of Kratzer’s) by the independently motivated postulate that explicit material under an adverbial quantifier can be reused context-dependently as an implicit restriction of the quantifie
4李??곗뾽 ?듭떖湲곗닠 鍮꾧탳怨??꾨줈洹몃옩??????щ??앹쓽 援먯쑁?붽뎄 遺꾩꽍

The aim of this study was to establish an university informal program roadmap, and also to draw up operational plans for human resources with core...
Bringing The Outdoors Indoors: Immersive Experiences of Recreation in Nature and Coastal Environments in Residential Care Homes

This paper critiques the opportunities afforded by immersive experience technology to create stimulating, innovative living environments for long-term residents of care homes for the elderly. We identify the ways in which virtual mobility can facilitate reconnection with recreational environments. Specifically, the project examines the potential of two assistive and immersive experiences; virtual reality (VR) and multisensory stimulation environments (MSSE). Findings identify three main areas of knowledge contribution. First, the introduction of VR and MSSE facilitated participants re-engagement and sharing of past experiences as they recalled past family holidays, day trips or everyday practices. Secondly, the combination of the hardware of the VR and MSSE technology with the physical objects of the sensory trays created alternative, multisensual ways of engaging with the experiences presented to participants. Lastly, the clear preference for the MSSE experience over the VR experience highlighted the importance of social interaction and exchange for participants.
Implementasi Algoritma Zhu Takaok Pada Aplikasi Translator Bahasa Indonesia-Finlandia Berbasis Android

Education is one thing that is very important for one's life, education also plays a big role for the progress and development of a nation. A developed and large nation that is certainly supported by adequate quality education for its citizens. One of the countries that has the best education level in the world is Finland. Finland is currently in fifth place after Hong Kong. Continuing college education in Finland is the desire of many Indonesian students, especially through scholarships, because continuing education in Finland can gain a lot of knowledge that may be rarely found in Indonesia. String Matching is an algorithm used to speed up the search process for the desired word. String matching is divided into two, namely exact matching and heuristic or statistical matching. The string matching algorithm has often been used before as an example in the string matching process based on the data text equation, namely Brute Force. In this case, the brute force algorithm is chosen because this algorithm can be used to search strings or texts. Brute force algorithm is an algorithm to match patterns with all text between 0 and n-m to find the existence of patterns in text. With the development of technology today string matching can also be used in education. Education is one thing that is very important for one's life. To overcome the above problems the authors build an android-based application, namely the Indonesian-Finnish translator application. In the search tools the author implements the string matching algorithm namely zhu takaoka algorithm. The zhu takaoka algorithm is one of the best algorithms that can do the string matching process quickly because it shifts with bad characters for two text characters in a row from right to left.
UNT Dallas Library: Kanopy and Streaming Video Services: Other Streaming Video Services

Kanopy is a streaming video service. You may see the current Kanopy videos that the library has available to view.
A Less Convoluted Approach to 3D Pose Estimation

In this paper, we present our approach on the reconstruction of 3D human pose estimation from 2D body joint landmarks and camera intrinsic parameters from a single view without the application of neural network-based architecture, multiple camera views or video sequences. The approach we use to approximate body segments is rigid in space, by which a relationship between the end-joints of a segment in space and its camera projection on the image plane can be established. The joints are then determined in order according to a classification system and the anthropomorphic approximation of a rigid torso plane. Thus the joints of neck, shoulders, and hip make up a primary class whose co-ordinates in space are determined first. These joints are then used in turn to determine subsequent joints in the skeleton. In theory, this should provid two sets of depth solutions, which would require several elimination stages to parse. However our experiment shows that a single stage of selection of real and positive depth values is sufficient.
Размышления о Платонове. Обзор XVI конференции Института философии РАН «Проблемы российского самосознания: “народ жить может, но ему нельзя”. К 120-летию со дня рождения Андрея Платонова». Москва, 24 сентября 2019 г.

On September 24, 2019, the Institute of Philosophy of the Russian Academy of Sciences held the XVI Conference “Problems of Russian Self-Consciousness: ‘People Can Live, but It Is Forbidden,’ Dedicated to the 120 th Birth Anniversary of Andrei Platonov.” The presentation of reports by the participants was built as a discussion about the book Philosophical Anthropology of Andrei Platonov by S.S. Neretina, S.A. Nickolsky, V.N. Porus (2019). After the reports of the book’s author, other scholars from various Russian universities and research institutes made presentations. The main topics of the reports were: the relationship between philosophy and artistic creation, the writer’s response to the historical and cultural context of his epoch, the formation of a special language for describing the reality perceived by the author, the need for interpretation and study of human nature in the culture of the 20th century. During the discussion, a special interest was paid to the motives of utopia in Platonov’s work, to the themes of the realization of abstract ideas, the correlation of a general idea and a particular thing, the motives of dehumanization and humanism, the literary motive of “duality” and alienated and impartial observation and witnessing, the existential problem of borderline states that transform a person and society.
Design and Implementation of a Voice-Controlled Human-Following Mobile Toolbox

When repairing equipment, going back and forth to find the maintenance tools we need exactly is so difficult and will waste too much time. To solve the problem, we designed a voice-controlled human-following mobile toolbox. The layer and grid structure allowed it to hold tools of different types and sizes. The wheeled structure made it mobile. With specific voice commands, the layers where corresponding tools were located would rotate to the front of the toolbox to facilitate users to take. We added the target following and obstacles avoidance functions for the toolbox to make it avoid obstacles automatically while following the red target. We also used the filtering and anomaly detection algorithms to make signals of the visual sensor more stable. To test the toolbox’s humanfollowing and obstacles avoidance performance, we tied a red marker around the shank, walked around in front of the toolbox freely and placed obstacles randomly. The results showed that the toolbox could avoid obstacles timely and realize the voice-controlled and human-following functions.