Reviewerly/exHarmony huggingface dataset:
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme

The long term privacy of voting systems is of increasing concern as quantum computers come closer to reality. Everlasting privacy schemes offer the best way to manage these risks at present. While homomorphic tallying schemes with everlasting privacy are well developed, most national elections, using electronic voting, use mixnets. Currently the best candidate encryption scheme for making these kinds of elections everlastingly private is PPATC, but it has not been shown to work with any mixnet of comparable efficiency to the current ElGamal mixnets. In this work we give a paper proof, and a machine checked proof, that the variant of Wikström’s mixnet commonly in use is safe for use with the PPATC encryption scheme.
Application of Improved PSO-ELM in Auto Insurance Customer Risk Level Prediction

In order to improve the prediction accuracy of automobile insurance customer’s risk level, a prediction model of automobile insurance customer’s risk level based on GSPSO - ELM is proposed. The premium, insurance amount, number of risks, gender, driving age and other indicators were used as the main criteria to predict the risk level. The simulation results show that the proposed GSPSO - ELM prediction model can not only overcome the local optimal, and has higher precision of prediction, forecasting results of the mean square error (mse), decision coefficient and mean absolute percentage error and dynamic inertia weight PSO algorithm to optimize extreme learning machine, linear decreasing inertia weight PSO algorithm to optimize extreme learning machine model are improved.
Auto-UI

The Interactions website (interactions.acm.org) hosts a stable of bloggers who share insights and observations on HCI, often challenging current practices. Each issue we'll publish selected posts from some of the leading and emerging voices in the field.
SISTEM INFORMASI ORDER JASA PARIWISATA (STUDY KASUS : MUSA TOUR LAMPUNG)

Musa Tour Lampung is a company engaged in the field of tour services and tourism trevel, the problem with Musa Tour Lampung is managing data on booking tour services that are still done manually, which is recorded in the bus book and will be prescribed using the ms excel application, and there is no information if it occurs the similarity of data, and the absence of periodic booking reports in accordance with what is needed by Musa Tour Lampung. The system development method uses the waterfall method and the system design uses the UML system design. So that this study is not subjective, the authors also use research methods in the form of observations, interviews, documentation in processing tourism booking data.The result achieved is a tourism tour service system to increase the range of bookings owned by the company in listings, so Musa Tours Lampung wants to build a web-based booking facility using, focused on managing booking data so that it can generate reports that are needed by the company.. Keywords: Tourism Services Order Information System, Waterfall, UML
Report of the 15<sup>th</sup> International Conference on Webometrics, Informetrics and Scientometrics (WIS) and the 20<sup>th</sup> COLLNET Meeting

(2020). Report of the 15th International Conference on Webometrics, Informetrics and Scientometrics (WIS) and the 20th COLLNET Meeting. COLLNET Journal of Scientometrics and Information Management: Vol. 14, No. 1, pp. 203-209.
Computer Analysis of the Embodiment of Vocational Quality Training in Higher Mathematics in Higher Vocational Colleges under the Background of “Double High Plan”

Abstract In the era of computer information, the demand for talents with high information literacy is becoming more and more urgent, which brings new challenges to the talent cultivation of higher specialized colleges. However, there are some deficiencies in the current vocational education, for instance the imbalance between the demand and supply, the low quality of talent supply and the nonstandard supporting policies and procedures. Based on this, this paper first analyzes the connotation and policy background of the "double high program", then studies the current situation of higher mathematics teaching in Higher specialized colleges under the background of double high program, and finally gives the teaching strategies of Higher Mathematics in Higher specialized colleges under the background of double high program.
Customer assistance using artficial intelligence based chat bots

In this technology world, a recent technology called Chat Bot which have been in demand and usage for every business purpose and have hit the market Chat Bots is an interaction between person and bot which gives us an efficient service and it also gives the way to develop customer engagement and efficiency by reduction of cost by using these service Chat Bots can be accessible at any time, which can handle capacity that is chat bot can chat with thousands of people at a time It has a flexible attribute as well as customer satisfaction A Chat Bot is constructed using natural language processing with the help of machine learning algorithm for training the bot and to make up the bot to perform in a right way and so training and testing is done using ML This paper gives an overview of Chat Bot and challenges we faced behind the Chat Bot with extra features of images Our proposed system is aimed at giving out the desired answers to a definite set of queries This can be best employed in the situation of COVID-19 since every industry demands the less use of contact between each other since it works on an offline basis
Ethical Cyber Behaviour among Undergraduate Students in Selected African Universities. An Overview

This study examined the ethical behaviour of undergraduate students in relation to cyber technology at the University of Zululand (UNIZULU), South Africa, and the Federal University of Agriculture in Abeokuta (FUNAAB), Nigeria. We adopted the pragmatic research paradigm that combines both quantitative and qualitative research methods through the survey method. The sample for the study was drawn from undergraduate students in two purposively selected universities in South Africa and Nigeria. Overall, 450 undergraduate students were invited to participate in the survey; 380 respondents completed and returned the questionnaire, resulting in a response rate of 84.4%. 14 of the expected 16 members of staff of both Information &amp; Communication Technology Resource Centre ICTREC and Information Technology Section ITS were interviewed, resulting in a response rate of 88%. A combination of quantitative and qualitative approaches was used for data analysis. Most of the respondents from the sampled universities reported that they were aware of what constitutes unethical cyber behaviour. Further, the participants (98; 52.1%) revealed that they had never received ethical orientation/training in the university on cyber behaviour, cyber space, or cyber technology. Challenges facing the students is reported. The study recommends that universities should sustain orientation/training programmes on cyber ethics and cyber security awareness at the start of each academic year, especially for newly enrolled students so that they can act responsibly when using the university’s cyberspace. The results of this study may spark further discussions and research on cyber technology access and use in contemporary society.
Sediments of the Wala catchment and reservoir, Jordan: Geochemical analysis

&amp;lt;p&amp;gt;This study reports data from field sampling of catchment and reservoir bed sediments undertaken in October 2013 in the Wala catchment, Jordan, and findings of geochemical analysis of the sediments. The primary aim of this study is to investigate the relationship between sediments from different locations within the catchment and those deposited within the reservoir. This is set within the overall context of an attempt to rationalise the use of modelling in a data-poor environment. Can targeted, limited acquisition of geochemical information within a logistically challenging environment add value to existing datasets in respect of ground truth for model predictions of sediment provenance within the catchment? Channel bed sediments were collected from sub-catchment outlets throughout the Wala catchment and shallow cores (c. 500 mm) extracted from three locations around the Wala reservoir. XRF and particle size analysis were performed on all samples and the data analysed in respect of mineralogical and pollutant geochemical signatures. Contrary to evidence from temperate lake studies, there was no strong record of discrete event-driven deposition at the Wala, likely due to reworking of sediments during high-flow recharge events following complete draw-down of the reservoir in the highly intermittent hydrological setting. Pollutant geochemistry shows variations consistent with patterns of land-use in the catchment, with levels of Pb, Co, Cu and Cr associated with urbanised regions in the north and west of the region. Sampled concentrations, particularly those of the reservoir sediments, are typically below thresholds for environmental health concern. However, combined with the modelled bias in flow and sediment inputs from this region (driven by asymmetric rainfall distribution), this emphasises a potential concern for future management of water quality and protection of groundwater during aquifer recharge.&amp;lt;/p&amp;gt;
LibGuides: Assertiveness Training Resources For Public Librarians: Home

Working with the public can be challenging, but excellent customer service should never come at the expense of a library employee's safety or dignity.
A study of poetry in script for story-telling of the of Song Dynasty -- Focusing on Kyomoto Popular Novels and Qingping shantang script for story-telling

The script for story-telling in Song Dynasty is a leap in the history of Chinese novels. In it's system, a large number of poems are used as the beginning, middle and end of the chapter. The tradition of script for story-telling had a far-reaching influence on later novels. For many years, the poetry in script for story-telling is in an awkward position, has drifted away from the vision of poetics and fiction, and the academic criticism is too strong. Therefore, the author selects 21 extant script for story-telling of Song Dynasty in Kyomoto Popular Novels and Qingping shantang script for story-telling as object, and investigates the phenomenon of poetry fusion in script for story-telling of Song Dynasty by means of close reading and statistical analysis。The first is the statistics and summary of the phenomenon of poetry fusion. In the novels selected by the author, there are 381 poems, with an average of 18 places in each article, and the penetration rate of poetry is almost one fifth of the length. Secondly, it analyzes these poems. Finally, it extracts the value of poetry from four aspects: first, it inherits the tradition of poetry and Sao; second, it provides a basis for the textual research of poetry; third, it makes the life of the world refined; fourth, it is a picture of the festival and custom life of the citizens in Song Dynasty. Therefore, We should be less critical and more gentle treat to poetry in script for story-telling.
Bibliolaboratory to educate librarians of the future

Bibliolaboratory is a learning conference for efficient librarians all over Russia and the near abroad countries. Its mission is to unite the young professionals for them to exchange new ideas, experience and inspiration. Every year, for three days, the Bibliolaboratory provides the site to discuss acute problems, get participants acquainted with the latest library projects, and to find inspiring ideas and partners for further development.
Identifying the role of remote display Protocol in behavioral biometric systems based on free-text keystroke dynamics, an experiment

The ubiquity and speed of Internet access led over the past decade to an exponential increase in the use of thin clients and cloud computing, both taking advantage of the ability to remotely provid ...
An Efficient Crowd Density Estimation Algorithm Through Network Compression

EstimatingLi, MengChen, TaoLi, ZhihuaLiu, Hezi count and density maps from crowd images has a wide range of applications such as video surveillance, traffic monitoring and pedestrian dynamics study. The state-of-the art deep learning approaches generally build a multi-column deep network architecture. Although such architectures perform well, the inference cost is neglected. In this paper, we apply the net-work compression to the convolutional neural network-basedConvolutional Neural Networks (CNN) crowd density estimationDensity estimation model, to reduce its storage and computation costs. Specifically, we rely on using l1-norm to select unimportant filters and physically prune them. Convolutional filters with small scaling factor value and its corresponding kernels in the next layer will be removed. The model can be trained to improve its regression performance and identify the unimportant filters at the same time. A state-of-the art model, the CSRNet, is tested in the ShanghaiTech dataset. Our method can reduce inference costs for the network significantly (up to approximately 78%) while regaining close to the original accuracy by retraining the networks.
Desarrollo de una biblioteca que permita la programación de aplicaciones móviles que utilicen interfaces físcas artesanales

Sensormov is an open-source library, developed in the native language, for mobile devices with Android operating system. This library brings a set of functionalities aimed at extending the use of various mobile sensors (hence its name), through physical objects called “tangible”. SensorMov seeks to make it easier for developers to create applications that use the sensors that are embedded in the mobile device. In particular, to extend its functionality beyond the physical limits of the device, through tangibles.
Perancangan User Interface Dan User Experience Aplikasi Lintas Bandung Berbasis Mobile Android Untuk Tindakan Perbaikan Angkutan Umum Di Kota Bandung Menggunakan Metode User Centered Design

Abstract Bandung City is one of the biggest cities in Indonesia. Bandung is a metropolitan city that is quite densely populated, and even the city of Bandung has been named the capital of West Java Province. In the city which is also dubbed as the Flower City, it has public transport modes that serve travel routes within the city or across the city around Bandung Raya. Public transportation that is very often found in the city of Bandung is City Transportation or Angkot, and Damri Bus or Trans Bandung. Public Transport is a means of public transportation with predetermined routes. According to the West Java Transportation Agency in 2016, based on statistical data on the use of conventional public transportation in the last 10 years has decreased from the previous 40% to 20%. Meanwhile, according to the Central Statistics Agency of West Java Province in 2018, based on statistical data on the use of private vehicles in the past 5 years, there has been an increase in vehicles in the city of Bandung, amounting to 3.9% each year. Meanwhile traffic jams in several locations in the city of Bandung are increasing. The decline in public interest in using public transportation is due to every information terminal on public transport routes, especially in the city of Bandung, which is very minimal, even in some terminals there is no information at all, making it difficult for users of public transportation services. Based on these problems, a solution is created, a platform that can provide that information and is expected to help users of public transportation services to find out various travel routes in Bandung. The design of the solution focuses on the design of the User Interface and User Experience (UI/UX) of the platform to be developed. The design of the User Interface design will use the User Centered Design method to approach prospective users to get the needs of the design to be designed. Design testing refers to the System Usability Scale (SUS) as a standard in Usability Testing that will be carried out by users. The results of this study are the User Interface design on an application called Lintas Bandung based on Android mobile that has a test score of 79 and 80% acceptable to the user. Keywords: Bandung City, Public Transportation, UI / UX, User Centered Design.
Design activism in a pandemic, towards a life otherwise

This paper speculates on changes in PD practices in circumstances of necessity in a pandemic that may become part of a new normal - a way of life to revitalise communities through inter-generational collaboration, combining lo-tech permaculture insights with a renewed interest in traditional agricultural practices.
Peramalan Menggunakan Time Invariant Fuzzy Time Series

Forecasting is a technique for estimating a value in the future by looking at past and current data. Fuzzy Time Series is a forecasting method that uses fuzzy principles as the basis, where the forecasting process uses the concept of fuzzy set. This study discusses the Time Invariant Fuzzy Time Series method developed by Sah and Degtiarev to forecast the East Kalimantan Province Consumer Price Index (CPI) in May 2018. In the Time Invariant Fuzzy Time Series method using a frequency distribution to determine the length of the interval, 13 fuzzy sets are used in the forecasting process. Based on this study, using CPI data of East Kalimantan Province from September 2016 to April 2018, the forecasting results for May 2018 were obtained 135.977 and obtained the results of forecasting error values using Mean Absolute Percentage Error (MAPE) is under 10% of 0.0949%.
Visualizing Correlations in the 2D Fermi-Hubbard Model with AI

Strongly correlated phases of matter are often described in terms of straightforward electronic patterns. This has so far been the basis for studying the Fermi-Hubbard model realized with ultracold atoms. Here, we show that artificial intelligence (AI) can provide an unbiased alternative to this paradigm for phases with subtle, or even unknown, patterns. Long and short range spin correlations spontaneously emerge in filters of a convolutional neural network trained on snapshots of single atomic species. In the less well-understood strange metallic phase of the model, we find that a more complex network trained on snapshots of local moments produces an effective order parameter for the non-Fermi liquid behavior. Our technique can be employed to characterize correlations unique to other phases with no obvious order parameters or signatures in projective measurements, and has implications for science discovery through AI beyond strongly correlated systems.
“Aronson Effect” in Formative Assessment of College Students' Curriculum Evaluation

Formative assessment of college curriculum teaching refers to the assessment of the performance and effect of college students' learning process in the process of college curriculum teaching. Each form can also contain several items. According to the teaching forms of different modes of teaching in colleges and universities, the nature and characteristics of courses, the types of examinations are selected to carry out formative examinations. As universities pay too much attention to summary evaluation, to a certain extent, it weakens the normal exertion of examination function and the realization of educational goals, which not only affects the quality of higher education, but also affects the learning enthusiasm of the majority of students and hinders the cultivation of high-quality talents. “Aronson Effect” is a common psychological effect, which has a significant effect on the behavior changes of students. Based on this article, from the perspective of “Aronson Effect”, this paper discusses an effective, practical and scientific formative assessment scheme under process control to improve the teaching quality of the specialized courses and promote the improvement of students' professional quality and application ability.
Analisis Kualitas Udara Pulau Sumatera, Provinsi Sumatera Barat, dan Kabupaten Lima Puluh Kota serta Perubahannya Tahun 2014-2017

Forest fires that occur in Riau Province due to the rampant clearing of forests used as plantation land, such as oil palm plantations have a negative influence on the air quality of the surrounding area, one of them is Lima Puluh Kota. The purpose of this study was to determine the Air Quality Index (AQI ) hierarchically from Sumatra Island, West Sumatra Province, and larger scale in Lima Puluh Kota Regency and analyze changes in the value of AQI in Lima Puluh Kota in the last few years (2014-2017). This research includes quantitative descriptive research with literary study approach and literature then coordinating national AQI values on Sumatra Island and making more detailed observations in West Sumatra Province, and District of Lima Puluh Kota. The spatial analysis uses the interpolation process (IDW Method). The value in the analysis refers to the prevailing AQI value. The results of the study were fluctuating changes in Sumatra Island AQI values, in 2014 had an average score of AQI 86,796, down in 2017 with an average value of 84,295, after cases and environmental phenomena on the island of Sumatra in the period of 2014-2015, the average AQI value in 2016 dropped to 81.24, in 2017 there have been environmental improvements, this is illustrated by the increase in AQI to 90.471 on the average provincial AQI on Sumatra Island. Positive correlation occurs between the increase and decrease in the value of AQI on the scale of Sumatra Island with concentrations of PM10, SO2, CO and NO2 in the District of Lima Puluh Kota.
Future Visualizing in Swarm Robotics

AI & Swarm intelligence is the latest trending technology in many fields especially in industries like Manufacturing,Automation, Control Systems, Healthcare, Energy, Transport, Defence, Space, Data Mining, etc. ArtificialIntelligence will be a common platform to gain knowledge and share new ideas amongst the Technologist,Professionals, Industrialists, Researchers, Innovators and students from research area of Machine Learning. Expertswill share their research experiences and engage in many interactive discussions at the event.Our high-level conferences will bring together forward thinking brands, market leaders, AI & Swarm intelligenceevangelists and hot start-ups to explore and debate the advancements in Artificial Intelligence & Swarm intelligence,the impacts within Enterprise & Consumer sectors as well as Development platforms and Digital Transformationopportunities. Topics covered include Business Intelligence, Deep Learning, Machine Learning, AI Algorithms,Data & Analytics, Virtual Assistants & Catboats as well as case study based presentations proving an insight intothe deployment of AI across different verticals.On behalf of the International Journal of Swarm Intelligence and Evolutionary Computation I am gratified topresent the journal. Our articles include review, research, short communication, short commentary, full lengtharticles etc. Our Journal is running successfully since 2012 with the encouragement and inspiration of readers,researchers and editorial board members. The achievement is due to the support given by Editorial board members,researchers, authors and readers.