Reviewerly/exHarmony huggingface dataset:
Functional Encryption Against Probabilistic Queries: Definition, Construction and Applications

Functional encryption (FE for short) can be used to calculate a function output of a message, without revealing other information about the message. There are mainly two types of security definitions for FE, exactly simulation-based security (SIM-security) and indistinguishability-based security (IND-security). Both of them have some limitations: FE with SIM-security supporting all circuits cannot be constructed for unbounded number of ciphertext and/or key queries, while IND-security is sometimes not enough: there are examples where an FE scheme is IND-secure but not intuitively secure. In this paper, we present a new security definition which can avoid the drawbacks of both SIM-security and IND-security, called indistinguishability-based security against probabilistic queries (pIND-security for short), and we give an FE construction for all circuits which is secure for unbounded key/ciphertext queries under this new security definition. We prove that this new security definition is strictly between SIM-security and IND-security, and provide new applications for FE which were not known to be constructed from IND-secure or SIM-secure FE.
Research on the Cultivation of Applied Talents in ASEAN Minor Languages under the Background of Digital Economy

With the comprehensive launch of the construction of China ASEAN free trade area, the trade exchanges and exchanges between China and ASEAN countries have become closer, and the related cooperation fields have become more and more extensive.In the related cooperation and exchanges, language is one of the main obstacles.With the increase of digital trade and exchanges at this stage, the shortage of minor language talents is more prominent in the development of China and ASEAN.This paper takes Thai minor language as an example, and studies the ideas and strategies of ASEAN minor language applied talents training under the background of digital economy.
A Pipeline for Traffic Accident Dataset Development

Many traffic accidents happen on the roads every day and a lot of them are captured on traffic or dashboard cameras. This data could be used to train machine learning models to predict dangerous situations so that they can be prevented. For that, it should be organized into datasets. Nowadays a limited amount of traffic accident datasets is available and those are not as well annotated as, for example, driving datasets with no accidents, used for training automated vehicles. Following this, our paper presents a review of existing traffic accident datasets. The search was carried out to provide a list of video datasets relevant to the analysis of dangerous situations involving vehicles. For each dataset under consideration, a brief description of the process of data collection and annotation is presented, and the structure and format of videos are analyzed. In addition, the sources of the video, their amount, and the method of splitting the video into fragments are indicated. Where possible, software tools used for video processing are listed. Further, the paper explores existing solutions for dataset development and annotation. Based on the performed analysis, we propose a pipeline for traffic accident dataset development.
‘‘Automatic Stamping and GroupingMachine’’

Punching stamps on documents is one of the most practiced works in day-to-day life. Also, grouping of documents is done daily from separating them from larger bundles into small bunches. In government administrations and various educational institutions, like schools and colleges, the stamping process is done manually by an individual, and after that another or same individual is involved in counting the number of the certificates or applications, on which the facsimile is stamped. This process not only results in labor cost, but also various drawbacks such as time consuming, inaccuracy, hand fatigue, and so on. Thus, this proposed methodology proposes the solution for the same with some electrical and mechanical functions combined throughout the process. This paper deals with the development of such automatic stamping and grouping machine.
No more technology? A TPACK-survey for pre-service teachers with social media in the digital world

In the digital age, social media are integrated into everyday life. To include corresponding topics of the digital world in the classroom, future teachers require specific knowledge and abilities. The extent to which these prerequisites are connected to technology, however, needs to be reevaluated in light of social media's ubiquitous nature. Through adopting the TPACK model for an exemplary topic of the digital world, constructions of space in Geography education, a self-evaluation survey instrument for pre-service teachers is compiled and validated (n = 364); social media are conceptualized as an aspect of technological knowledge. Confirmatory factor analysis confirms that the TPACK model is appropriate for the data, as fit-indices show favorable results. A transformative view of the model is supported. Correlations among all constructs exist, endorsing previous studies’ findings on the difficulties in distinguishing the TPACK knowledge constructs. Technological knowledge, noticeably, displays comparatively low correlations with the other knowledge constructs. This result is contrary to previous studies on TPACK and social media, as well as the relation of TPACK to technological knowledge. Albeit these results are not generalizable for all digital world content in pre-service teacher education, this study, by way of example, contributes to a debate on the conceptualization of technological knowledge when introducing phenomena of the digital world that are related to social media through the TPACK model. Additionally, this study advances research in the area of embedding pre-service teacher education with social media in domain-specific pedagogies.
Exploring Locomotion Techniques for Seated Virtual Reality

Virtual reality often only uses locomotion techniques that require users to stand or walk around in physical spaces. We explore the feasibility of selected promising locomotion techniques for a seated stationary VR setting, as it might better support lengthy sessions and small physical spaces, and has the potential to include people with limited mobility. Therefore, we present our evaluation approach and preliminary user study to evaluate these factors. Our results suggest that it is feasible to adapt common locomotion techniques, like teleportation, for this purpose, while more physically demanding techniques may exhibit problems, including motion sickness and usability issues.
IPS: Integrating Pose with Speech for enhancement of body pose estimation in VR remote collaboration

We propose a Speech-Pose integration method to overcome the limitation of existing body pose estimation. Unlike previous Speech-based gesture generation method, our proposal reflects the user's actual pose using a vision-based system and speech as a subsidiary. When the system detects the camera out of sight, we carry out a context-aware method analyzing the speech. The system determines the target pose and connects it with the last pose captured by the camera using the bounding box. Our system can be a robust solution for avatar-mediated remote collaboration which requires accurate gesture delivery such as VR remote yoga training.
Put your glasses on: A voxel-based 3D authentication system in VR using eye-gaze

Due to the current push of social Virtual Reality (VR) apps and mobile VR headsets, users are surrounded by people in real life and virtually. Users need a private method to authenticate payments or login into apps. In this paper, we propose VoxAuth, a novel voxel-based 3D authentication system, allowing users to input their password in a private way. By using eye-gaze as a secure, input method, people outside VR are prevented from observing the pass-word. Sunglasses on the avatar appear during the authentication process both as a gaze observation prevention and as a signal that the user is still connected.
Design of the Seated Navigation for Immersive Lower Limb Exergame

Immersive lower limb exergames have been used to motivate phys-ical training or rehabilitation. Due to the relative constraint on mobility in the seated pose, interacting with the distanced object using the leg could be challenging. To tackle the challenge, we de-scribe the detailed design and implementation of Dual Point-Tugging (DPT) seated navigation. The DPT interface unifies the translation and rotation, allowing users to refine their position and extend leg reachability in the immersive virtual environment. Also, by rear-ranging the arm position, the user could continuously perform swift translation around a spot in a comfortable and balanced pose.
Impact of Spatial Environment Design on Cognitive Load

This paper conducted a preliminary study to investigate the impact of the environment style on the cognitive load demanded task in virtual reality. Participants experienced recall tests and spatial reasoning tests in the four different types of virtual classroom environments. A within-subject design was used with four conditions, task within a generic classroom, music room, science lab, and outdoor classroom. We found significant differences in the spatial environment design on the Spatial Reasoning with trivial effect sizes. The results indicate that we showed minimal evidence to support that spatial environment design could impact cognitive load in VR.
Forensic Examination of Documents Made Using Computer equipment

The relevance of the study is conditioned by the presence of problems of forensic analysis of documents and the great importance of practical application of computer technology for the production of such documents. The purpose of the study is to investigate the prospects of using modern computer technology in the production of special documents and to assess the prospects for studying such documents using modern forensic methods. The basis of the methodological approach is a qualitative combination of methods of system analysis of modern criminalistics in the field of document research with an analytical investigation of the prospects for the use of computer equipment for the production of documents for their further criminal use. The results obtained should be considered the definition of the main types of forgery of documents and criteria for the use of modern computer equipment for the production of documents for the purpose of their further use in criminal intentions; the formulation of the main goals and objectives of performing methods of forensic analysis of documents made using computer equipment. The findings and the conclusions formulated on their basis are of significant importance for employees of modern forensic institutions, whose duties include performing a forensic analysis of documents produced using computer equipment, which is essential for solving crimes committed using modern computer and electronic equipment and preventing computer and electronic terrorism in everyday life
MATLAB-based Image-to-Speech Conversion

With the increasing importance and popularity of smartphones, there has been a need to include function within the phone that is catered toward users with impairments or disabilities. An example of this is the inclusion of accessibility features such as a screen reader for the visually impaired; however, this is unable to read text from live video. The paper aims to create and implement using MATLAB and image-to-speech conversion system that lets the user point a smartphone camera toward a scene with text and the system will then read the text aloud for the user to hear which is beneficial for visually impaired users to navigate their surroundings. Results have shown that scenes with greater contrast tend to have more accurate readings.
Discussion of Practical Application of Virtualization Technology in Computer System

In recent years, with the gradual development of information technology, most industries in China began to pay attention to the advantages of information technology, especially in the enterprise resource management and business model management, which can bring advanced management ideas and models for enterprises.Traditional information technology is no longer satisfactory, in this case, the application of virtual technology and computer system can greatly improve the computer productivity and system stability.In the era of highly developed information technology, the innovation of information system and the use of virtualization electronic technology to realize the urgency of effective integration ability to solve some common problems in computer system to improve the working quality of computer system, with the development of computer technology, virtualization technology application in computer system will gradually increase, the role of the enterprise will be more obvious.
Maximal elements with minimal logic

There is a remarkable argument for Krull's maximal ideal theorem in the countable case—which is constructive, the essence of which traces back to Krivine, with no choice involved, and requiring minimal logic only. A simple extension to abstract domains is possible: principles of intuitionistic set theory on top of minimal logic suffice to ensure that every countably based bounded complete dcpo has a maximal element. The aforesaid theorem is a ready instance.
L’influence normative de l’IA en droit de la propriété intellectuelle

We have identified three points that demonstrate the normative influence of artificial intelligence (AI) on intellectual property law. First, the application of intellectual property law to AI is going to be conditioned by the ethical and legal norms that frame the use of AI. Second, AI is a tricky innovation to bring into the intellectual property fold because of its evolving nature. Its introduction into the field of intellectual property law inexorably leads to the transformation of the main notions of this law, and in particular the notions of protectable creation and protected creator. Thirdly, it appears from the above that intellectual property law has not yet been adapted to AI. On the other hand, outside of intellectual property law, several rules have already been adopted to foster the development of AI. In particular, they aim to make accessible the data necessary for AI to function. Finally, intellectual property law, as it exists today, does not seem to be the regime chosen to foster AI technologies.
Assessment of Water Distribution for the Effectiveness of Water Allocation Modeling

This research intends to conduct the assessment of water distributing performance for supporting the performance index assessment of water allocation modeling.The main aim is intending to solve the conflict of water interest, so there is necessary to be carried out the water allocation so water user society will get the water regarding to their right fairly, efficiently, and sustainably.Along with the increasing of population number and the social and economy conditions of society, there will all be increasing water demand for various uses.However, the quality tends to decrease because it has potency to increase the local conflict becoming a conflict between the regency and city that is unwanted.The water preparation and allocation are activities in operating the water resource infrastructure, whose aim is to optimize the usage of water resource infrastructure.This research was conducted in the watersheds of Manjuto, Slagan, Dikit, Teraman, Muar, Padang Guci, Bangkenang, Manna, Kelam, Nasal, and Luas.The methodology consists of collecting data on each watershed that are water availability and water demand; then, water balance and distribution (allocation) are analyzed.The result of water allocation analysis shows the water availability due to the dependable discharge as the reference such as Q 80 or discharge with the probability of 80%; still several watersheds experience the water deficit in fulfilling the irrigation water requirement, householdcity-industry (RKI), plantation, fishery, husbandry, and river flow maintenance needs.A new research is needed for the index assessment of water allocation in the watersheds that experience the water deficit to obtain the plan value of water demand fulfilling allocation in the water deficit condition, whether non-critical, lightly critical, moderately critical, and heavily critical.
UPAYA MENINGKATKAN EFISIENSI, PERAWATAN, DAN PEMELIHARAAN DRAINASE DUSUN RAWA INDAH

Rawa Indah hamlet is one of the hamlets in Segaran Village, Karawang Regency which often experiences flooding due to poor drainage system, so it is necessary to handle drainage problems that occur in the hamlet. Based on the results of field observations, it was found that the main problem in the drainage of the Rawa Indah hamlet is the accumulation of garbage in the drainage channel which hampers drainage performance, so it is necessary to clean, handle, and maintain the channel so that the drainage system can work properly. Community service activities by conducting socialization and directing the implementation of activities, how to clean / reactivate / repair drainage channels, and how to determine the tools used to suit the needs. As a result of this activity, the community has learned how to activate or repair drainage channels so that drainage canals function normally.
Security Process in Hadoop Using Diverse Approach

Today, data is one of the most important assets for nearly every sector of industry. Advances in information technology and widespread growth in various fields such as business, engineering, medicine, and scientific research have resulted in an explosion of data. This data explosion presents new challenges that traditional methods cannot handle. One of the biggest concerns of our time concerns the security and protection of sensitive information. In today's Big Data era, where organizations collect, analyse, and make decisions based on analysis of massive datasets from various sources, security in this process becomes more and more important. At the same time, more and more organizations need to enforce access controls and privacy restrictions on these records to meet regulatory requirements such as HIPAA and other privacy laws. Network security breaches by internal and external attackers are on the rise, often taking months to discover, and those affected pay the price. Organizations that fail to properly control access to records face lawsuits, negative publicity, and fines.
"Utopia": an Interactive Visual Experience --- Equal and Borderless World, from a Semantic Concept of a Painting to a Comprehensive Eye-Guidance ---

"Utopia" is a novel artistic representation with an interactive visual experience. It consists of a painting that depicts an imaginary neighborhood in which all residents are living together, happily, and peacefully. The aim of "Utopia" is to provide a viewer an interactive experience of appreciating a painting that is technically and semantically designed to represent an equal and borderless world. In order to create such an experience, in addition to conveying the Utopia's concept by illustrations such as people of all ages and descents, etc., we aspired to design and created a structure that induces the viewer's eyes on the whole painting ceaselessly and in a uniform manner. Thus, every painted element has an equal chance to be seen. For the first step, we applied artists' conventional eye-guiding techniques and painted and arranged the visual elements and cues considering the proposed affordable guidance method. Secondly, we designed an interface that displays a painting on a monitor connected to an eye camera that allows the viewer to interact, zoom and move the painting within the frame only by eyesight flow. The interface also provides a loop structure in all directions to realize borderless world, that helps the viewer to observe the painting without any interruptions. To reinforce the ceaseless interaction and guidance, we added animation and auditory effects that induce corresponding eye movements. Finally, the afford of applied visual elements and cues to guide the viewer's eye and the feasibility of the designed system, for the proposed concept of equality was examined and evaluated by experiments. The results of the experiments show that the implemented features of the system and the designed eye navigation, generated a uniform distribution of the gaze in the painting and the viewers could have a comprehensive experience of appreciating a painting while every element of the painting has been visited.
Proof-carrying parameters in certified symbolic execution

Abstract Complex frameworks for defining programming languages aim to generate various tools (e.g. interpreters, symbolic execution engines, deductive verifiers, etc.) using only the formal definition of a language. When used at an industrial scale, these tools are constantly updated, and at the same time, it is required to be trustworthy. Ensuring the correctness of such a framework is practically impossible. A solution is to generate proof objects as correctness artefacts that can be checked by an external trusted checker. A logic suitable for developing such frameworks is matching logic. K framework is a canonical example having matching logic-based foundation. Since the (symbolic) configurations of the programs are represented by matching logic patterns, the algorithms computing the dynamics of these configurations can be seen as pattern transformers and a proof object should be generated for the relationship between these patterns. In this paper, we show that conjunctions and disjunctions of patterns, produced by semantics or analysis rules, can be safely normalized using unification and antiunification algorithms. We also provide a prototype implementation of our proof object generation technique and a checker for certifying the generated objects.
Real-time Video Frame De-raining using Disentangled Generative Models

Many autonomous systems (e.g., unmanned and autonomous vehicles) rely on computer vision algorithms to gather information about the surrounding environment and perform decision-making tasks accordingly such as tracking, detection, and segmentation. The performances of these systems can severally degenerate due to bad weather conditions such as rain and fog, which can result in erroneous and fatal decisions. Therefore, there is an urgent need to restore clear and rain-free background scenes from degraded videos in timely manner. In this paper, we propose a minimal-delay de-raining pipeline to eliminate noisy and unwanted rain artifacts from a live video feed. We propose a disentangled approach where we design a standalone deep learning Convolutional AutoEncoder (CAE) network to reconstruct noise-free images and then upgrade this architecture by adding a sequential Generative Adversarial Network (GAN) based module that enhances the quality of the image frames. Experimental results on rainstreak and raindrop datasets show that the proposed CAE architecture with GAN enhancing outperforms a benchmarking CNN for several image quality metrics. Other comparative simulations show that our proposed approach achieves close performances to an attentive standalone GAN de-raining approach with significant time complexity saving.