Reviewerly/exHarmony huggingface dataset:
High-Level Synthesis of Security Properties via Software-Level Abstractions

High-level synthesis (HLS) is a key component for the hardware acceleration of applications, especially thanks to the diffusion of reconfigurable devices in many domains, from data centers to edge devices. HLS reduces development times by allowing designers to raise the abstraction level and use automated methods for hardware generation. Since security concerns are becoming more and more relevant for data-intensive applications, we investigate how to abstract security properties and use HLS for their integration with the accelerator functionality. We use the case of dynamic information flow tracking, showing how classic software-level abstractions can be efficiently used to hide implementation details to the designers.
Hybrid approach for content-based image retrieval

Content-based image retrieval (CBIR) is one of the vital research areas in image processing. The CBIR, also known as query by image content, i.e., the problem searching for similar digital images i...
Pengujian Software Aplikasi Akuntansi Open Source Gnucass Dan Odoo

Technological progress is something that cannot be avoided in this life. The use of information technology is a necessity in every company, and there is a need for an approach in developing an integrated system throughout the company. This condition is obtained by adopting technology that can integrate parts of the company, with ERP applications allowing data integration within the entire business organization so that it can produce more relevant information for making decisions. Open source technology is a technology term that consists of software that can open / free the source code for others to see and let others know how the software works. GNU Cash, and Odoo arefinancial information systems open source that can be owned for free without the need to pay a license. Keywords: Technology, Information, Company, Software, Open Source, Gnu Cash, Odoo
SISTEM INFORMASI PENJUALAN DAN PEMBELIAN OBAT PADA APOTEK DIKA FARMA PONTIANAK BERBASIS WEB

ABSTRACTPharmacies play a very important role in health services. Pharmacy as a form of business that has a high complexity also requires an information system in its business activities. All forms of recording, starting from recording incoming drug data, purchasing transactions, selling, searching for drug data and checking stocks to making reports are still done manually. This designed system aims to produce a drug sales and purchase information system at a web-based pharmacy in which it is integrated with an expired drug notification system, computerized recording of sales and purchase transactions, purchase and sales reports, assisting drug data management, and providing information to the public. regarding the availability of stock and the price of the drug sought at the Dika Farma Pontianak Pharmacy only through the web. This application is made using the stages of the Waterfall model which can produce data that is easily accessible, accurate, and fast in the report generation process.
Amazon to monitor price-gouging amid second wave of panic buying

Amazon will continue to combat third-party sellers for price-gouging as the spike in coronavirus cases brings on a second wave of panic buying.
Mathematical works of Vladimir A. Uspensky: a commentary (Enlgish and Russian texts)

Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general. This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) Harmonic functions The first paper of Uspensky [3] appeared when he was an undergraduate student. It suggests an elementary approach to harmonic functions that is based on the definition of a harmonic function on R 2 as a function that has the mean value property. The main tool in the following observation: for fixed two poinst A, B the oriented angle ACB is a harmonic function of C, 1 and this function is a locally constant function on any circle that goes through A and B. * Vladimir Andreevich Uspensky was my teacher (and undegraduate and Ph.D advisor). Here I concentrate on his mathematical works; I hope to express my deep gratitude to him elsewere.
DISTURBIOS DO SONO EM PROFISSIONAIS DA SAÚDE NO SURTO DE COVID - 19: UMA REVISÃO INTEGRATIVA DA LITERATURA

Coronaviruses (CoVs) are enveloped viruses with a crown aspect. The speed of COVID-19’s spread has interfered in the daily lives of billions of people on the planet in several aspects, such as social, economic, scientific and medical. The infection affects the upper respiratory tract, predominantly. The health team is vulnerable to the contagion of the virus and can evolve negatively to sleep disorders. This way, the investigation of the relationship between sleep disorders in health professionals in the face of the COVID-19 pandemic is necessary and becomes the main objective of this review, especially regarding to the quality of sleep, seeking to determine correlations between the occurrence of the pandemic around the world and sleep disorders caused by it. An integrative literature review was carried out, following the exploratory character of a qualitative approach. 735 articles were found, 78 met the inclusion criteria, 16 articles were selected for careful reading and in full and, finally, 7 articles were considered pertinent and studied. Thus, the assessment of sleep quality was analyzed through several screening questionnaires. Female representativeness was 61% and male 39% of the total number of participants. The average age of the sample was 28-40 years, being 35 years the age of emphasis. Nursing professionals were the most affected category by insomnia, being mentioned in four studies (57%). Numerous factors can contribute to the quality of sleep of health professionals, such as physical exhaustion due to social isolation, the use of personal protective equipment for many hours, concerns about the family and fear of contamination. The research was performed with adequate scientific rigor, with acquisition of new knowledge and, toward analysis, new coping strategies were suggested by the authors.
Biogeography Algorithm Based Cognitive Radio Network Spectrum Utilization

Digital communication dependency requirement increases every day. Limited spectrum utilization attract researcher to optimize by means of data compression, routing, etc. This paper proposed a Bio Geography based Cognitive Network Routing (BGCNR) dynamic routing algorithm in cognitive radio network. Genetic algorithm was good in dynamic environment as they do not need any training. Use of crossover and mutation operation in selected chromosomes of the population increase the chance of good route selection. As short duration spectrum availability need less time consuming algorithm, so BGO performance for route generation was less. Proposed BGCNR uses a multi objective fitness function for improving spectrum utilization with low energy requirement to transmit packet. This energy efficient model indirectly increases life span of cognitive radio network having wireless communication. Experiment was done on different number of nodes, area, and position. Results were compared on different parameter with other existing routing methods.
Leveraging Intel SGX to enable trusted and privacy preserving membership service in distributed ledgers

Distributed ledger technology (DLT) provides decentralised services by removing the need of trust among distributed nodes in the distributed system. Transactions across the network are visible to a...
LEARNING AND TEST-TAKING STRATEGIES PERFORMED BY UNIVERSITY STUDENTS IN DOING TEST OF ENGLISH PROFICIENCY (TEP): A CASE STUDY

This study aims to discover learning strategies as well as test-taking strategies used by students who have successfully passed the Test of English Proficiency (TEP). The study intends to give an example of  a strategy that the other students, especially those who have not passed TEP yet, can imitate in order to aid them in both developing their English skills as well as passing TEP. The data were collected through an in-depth interview and analyzed by using the qualitative analysis model. The result revealed that the participants utilized various learning strategies to help to improve their English abilities and various test-taking strategies to assist them in passing TEP. For further findings, related to the issues, the researcher suggested to investigating the connection between learning strategies, test-taking strategies, and students’ learning style and whether they affect students’ achievement in the context of the test of English Proficiency.
Publishing Work on the Authority

In a conversation with the executive editor of a reputable periodical, I noticed that the journal “Economic Consultant”, according to the financial model of Gold Open Access, publishes its articles in the open access, but at the same time charges the authors (or institutions) for publishing services. In response, I heard the editor exclaim: “If our journal becomes paid, I will leave my job!” The authors are also dissatisfied with the need to pay for the publication, I quote: “I don’t agree! I have never paid for my intellectual product, and I am not going to pay for it. I give it for free, and I consider the publication of my material as a fee for my work”.Indeed, some institutions have their own journals, the publication of which is free for employees. However, this is possible because the work of proofreaders, reviewers, and employees of the printing house is paid by the scientific or educational organization itself. Young commercial publishers that do not have sponsorship have to cover their costs through payments from authors.It should be noted that the absence of printed versions of journals does not in any way simplify publishing: electronic periodicals have additional expenses for maintaining the site, preparing data for uploading to bibliographic and information databases, etc.With that, it is necessary to understand that the reflection of the results of specialists’ research work in periodicals significantly increases the authority not only of the authors themselves but also of these publications.A number of commercial periodicals take a hybrid approach to publishing. For example, some publications do not charge authors who “do credit to the journal”. There are journals in which the authors act as free consultants, reviewers, thereby getting the opportunity to publish their own articles free of charge.The rector of one of the higher education institutions, after another open day, said: “We used to choose, and now they choose us”. Something similar is now observed in the publishing industry – there is a struggle between authors for publication in reputable periodicals, and young journals themselves have to fight for authors.The journal “Economic Consultant” adheres to the financial model of Gold Open Access, which provides for payment by the authors for the services of preparing an article for publication. Almost the entire amount received from the author is spent on translating Russian-language articles into English, the rest – on typesetting, that is, the author understands what he is paying for. No fee is charged for authors of English-language articles – in this case, we work according to the Platinum Open Access model since we do not charge either readers or authors.Publishing activities under the open access model are funded by institutions, societies, using grants. In the absence of financial support, the publisher is forced to work for free – for the future, for credibility.
Pembuatan Fitur Login dan Fitur Input Tamu Pada Aplikasi “Buku Tamu” Berbasis Web di Dinas Komunikasi dan Informatika Kabupaten Banyumas

The rapid development of information and communication technology is increasingly sophisticated in everyday life. Therefore, many agencies use information technology assistance in order to help disseminate information owned by agencies through the website. Information systems are an important factor in an agency, especially those that carry out community services and require structured data management. One of the agencies that requires a government agency guest reception because every day there are always guests who come to the office with various needs in filling in the guest book, until now the Banyumas Regency Communication and Informatics Office is still done manually which in the end has many obstacles and has not. computerized where visitors only write the identity in the guest book. In this study, the authors designed and designed the login feature and guest input feature on the Web-Based Guest Book Application at the Communication and Informatics Office of Banyumas Regency. Keywords: Website, Information System, Guest Book, Communication and Information Office
IR Questioner: QA-based Interactive Retrieval System

Image retrieval from a given text query (text-to-image retrieval) is one of the most essential systems, and it is effectively utilized for databases (DBs) on the Web. To make them more versatile and familiar, a retrieval system that is adaptive even for personal DBs such as images in smartphones and lifelogging devices should be considered. In this paper, we present a novel text-to-image retrieval system that is specialized for personal DBs. With the cross-modal scheme and the question-answering scheme, the developed system enables users to obtain the desired image effectively even from personal DBs. Our demo is available at https://sites.google.com/view/ir-questioner/.
Usage of Electronic Resources by Teacher Trainees during Covid-19 pandemic: A Case Study

Electronic resources generally known as e-resources are materials in digital format accessible electronically. It consists electronic journals (e-journal), electronic books (e- book), online databases, online databases in varied digital formats. These resources play an indispensible role during Covid-19. The COVID-19 pandemic situation has posed unprecedented challenges requiring teachers to adapt to teaching online. Until March 2020, the typical teaching situation at colleges of education was characterised by teacher trainees who convened in classrooms according to their timetables and teachers who covered their subjects' syllabus, frequently through formal lecturing. Teacher trainees were required to listen to their teachers in a formal way. The college lockdown confronted teachers, students, and parents with an entirely new situation. Teaching and learning during pandemic period is only possible through alternative means of education. Teachers need to use various digital tools and resources to solve problems and implement new approaches to teaching and learning process. In this present prevailing situation of Covid-19, libraries are more concerned with electronic resources as these provide accurate information with the latest data to fulfill their needs. The teacher trainees consult the electronic resources for their teaching learning process. This article focuses on various aspects of electronic resources and their subscription in colleges of education and usage by teacher trainees. © 2021. All Rights Reserved.
Automatic Detection Approach of Basketball Track in Sports Video

Video image track of basketball flight path can precisely analyze flight trajectory curve in basketball so as to direct basketball shooting training. Thus, this paper puts forward image video sequence analysis and adaptive objective model-based flight trajectory tracking method of basketball. This algorithm fully utilizes correlation of time and space between adjacent blocks. On one hand, in order to overcome effect of basketball rotary motion, matching criterion which is not related to regional location is set up; on the other hand, diamond movement search path is improved based on sport correlation of basketball and center-biased characteristics in order to reduce search times and improve tracking speed. The experiment results show that methods in this paper can effectively track basketball under complex background and have effective robustness of basketball rotary movement and partial occlusion.
Further Improved Heuristics For Conflict-Based Search

Conflict-Based Search (CBS) is a leading two-level algorithm for optimal Multi-Agent Path Finding (MAPF). At its high level, CBS expands nodes by resolving conflicts. In recent years, admissible heuristics were added to the high level of CBS. We enhance all known heuristic functions for CBS by using information about the cost of resolving certain conflicts, with only a small computational overhead. We experimentally demonstrate that the improved heuristics contribute to making CBS even more efficient.
Efficacy of Family Communication Pattern on Communicative Competence among Secondary School Students: An Explorative Study

Family is an integral part, which has an exclusive control on the child’s communication and it is the first place where the communication begins and continues till mastery. This study aims to analyze the influence of family communication patterns on the Communicative Competence of secondary school students. Family communication pattern involves more liberal conversation, sharing of thoughts, ideas, and emotions, respecting and valuing of even a child's opinion for any family-oriented decisions, significantly influence children's linguistic competence in a language other than the mother tongue. The data for this quantitative study has been analyzed for both descriptive and differential statistics and the results reveal that the language spoken at home does not have any effect on family communication but it has a significant effect on communication. Moreover, interview results reveal that communication patterns significantly influenced student's personal and professional development.
A Proposed Solar Panel to operate Computer Laboratory of Messiah’s Angel Learning School

We are living in the world of technology where people are exposed to different technologies such as cell phone, computer, tablet and other gadgets as their personal use. In our community we can see various changes from primitive technology to high technology. In the hospital, technology is used to detect the result of one’s illness, in the bank, technology is utilized to process one transaction after the other, in offices documents are keep in the computer or in the cloud, in schools - records are kept electronically and are stored in digital form, and most specially with the way communication is, it is done via computer and internet (IoT and VoIP). Solar Energy as one of the top Technology of the future is a technology that has been increasing its substance and significance in our community nowadays. According to the research of Siddiqui, he stated that Solar energy is a solar power that comes from the sun by means of solar panels. Active solar energy includes the adaptation of sunlight to electrical energy. Solar electricity depends upon artificial strategies such as solar panels or solar cells in order to deliver a source of clean, and low-cost renewable energy. Messiah’s Learning Angel School is using Power Supply provided by the private company in the Philippines, and they are paying an incredibly high electricity fee monthly. One of the ways to lower their operational cost is through the avenue of embracing the use of solar energy. At first, the initial investment or setup cost is high but eventually after 5 years the complete benefits (based on cost benefit analysis and payback time) of solar energy will be experience by the school. This study is designed to have a Solar Panel to run the computer laboratory of the earlier mentioned learning institution, where the main objective is to provide power to their 30 computers by means of Solar Energy.
An analysis of Network Traffic Identification based on Decision Tree

With the strong development momentum of the Internet, network not only brings convenience to our life, but also poses threats to our network security. Users can hide their IP and identity information through encryption algorithm, and carry out various illegal activities and transactions in the network. Therefore, it will be of great value to identify special traffic which impact on network security and exploring abnormal situations in the network. Special traffic is important to the security of the network space. In this paper, we establish a decision tree model based on C4.5 and random forest to compare the accuracy of the two decision tree algorithms in traffic classification. Experimental results show that these two methods can identify traffic effectively.
Design and Implementation of a Mobile Application for a Question Paper App Based on Cordova Framework

In our day to day life, we come across many useful mobile apps, which are beneficiary for human life specifically for students for educational purpose- can be framed in this form.  Our paper comprises of the creation of a question bank app, for the Karnataka PU board, Engineering and Commerce Students. Creation of the app is done with the help of apache Cordova software. The app is being developed mainly to help the Karnataka board PU, Engineering and Commerce students to achieve good marks in their examinations and to mould a good future for them. This app helps students to build confidence during examinations. Keywords: Cordova, Hybrid, Mobile, Application, Android, iOS.
Deformable TDNN with Adaptive Receptive Fields for Speech Recognition

Time Delay Neural Networks (TDNNs) are widely used in both DNN-HMM based hybrid speech recognition systems and recent end-to-end systems. Nevertheless, the receptive fields of TDNNs are limited and fixed, which is not desirable for tasks like speech recognition, where the temporal dynamics of speech are varied and affected by many factors. This paper proposes to use deformable TDNNs for adaptive temporal dynamics modeling in end-to-end speech recognition. Inspired by deformable ConvNets, deformable TDNNs augment the temporal sampling locations with additional offsets and learn the offsets automatically based on the ASR criterion, without additional supervision. Experiments show that deformable TDNNs obtain state-of-the-art results on WSJ benchmarks (1.42\%/3.45\% WER on WSJ eval92/dev93 respectively), outperforming standard TDNNs significantly. Furthermore, we propose the latency control mechanism for deformable TDNNs, which enables deformable TDNNs to do streaming ASR without accuracy degradation.
Financial Stability: Does Social Activism Matter?

This study investigate the impact of social activism on financial system stability. Financial stability was analysed from two complementary perspectives: bank-led financial stability and financial system stability driven by sector-wide credit supply. Social activism was analysed from three perspectives: gender equality advocacy, environmental sustainability advocacy, and social protection advocacy. The findings reveal that gender equality and environmental sustainability advocacy have significant positive effects for financial stability while social protection advocacy has a significant negative effect for financial stability. Also, social activism has negative effects for financial stability in the post-2008 financial crisis era. Finally, there are differential effects for country-groups, for instance, social activism strongly improves bank-led financial stability in African countries and for BLEND countries (countries that are eligible for IDA borrowing based on per capita income levels and are also creditworthy for some borrowing from the International Bank of Restructuring and Development (IBRD). The findings are relevant for the on-going debate about whether social inclusivity and activism has any economic value for the stability of businesses and the financial system. The findings have implications.