Reviewerly/exHarmony huggingface dataset:
Optimization of the Formula-1 Race Calendar Using Genetic Algorithm

The aim of this work is to solve an optimization problem using the genetic method. This could be considered similar to the Traveling Salesman Problem (TSP), as the topic is route optimization. The study is based on the Formula 1 race calendar and the geographical location of the Grand Prix venues. The optimization was done in two ways, with an add-on of Microsoft Excel, Excel Solver, and a program written in MATLAB. Excel Solver is based on: examining the possible solutions taking into account the constraints, then selecting the one that fits the most. The program written in MATLAB uses methods used in the genetic algorithm, such as selection, mutation, crossover and insertion.In this work, the results obtained in the two programs are compared and summarized. The Traveling Salesman Problem has been used many times to solve problems, but for this specific problem it has not been used yet.
Improving Math Proficiency Prediction in Computer-Based International Large-Scale Assessments with Data Augmentation

This study explores the possibility to improve students' math proficiency prediction with a multi-class neural network model by augmenting the training dataset with synthetic data. The original training dataset was based on the publicly released PISA 2012 computer-based database. Three math proficiency classes were established: low, mediocre and high. Minority class with the least number of samples was the high proficiency class. SMOTE, VAE and CTGAN methods were used to augment the minority class with additional data samples. G-mean was used as a performance measure for observing the enhancement to the prediction of the minority class.
TD3lite: FPGA Acceleration of Reinforcement Learning with Structural and Representation Optimizations

Reinforcement learning (RL) is an effective and increasingly popular machine learning approach for optimization and decision-making. However, modern reinforcement learning techniques, such as deep Q-learning, often require neural network inference and training, and therefore are computationally expensive. For example, Twin-Delay Deep Deterministic Policy Gradient (TD3), a state-of-the-art RL technique, uses as many as 6 neural networks. In this work, we study the FPGA-based acceleration of TD3. To address the resource and computational overhead due to inference and training of the multiple neural networks of TD3, we propose TD3lite, an integrated approach consisting of a network sharing technique combined with bitwidth-optimized block floating-point arithmetic. TD3lite is evaluated on several robotic benchmarks with continuous state and action spaces. With only 5.7% learning performance degradation, TD3lite achieves 21 ×and 8 ×speedup compared to CPU and GPU implementations, respectively. Its energy efficiency is 26 ×of the GPU implementation. Moreover, it utilizes ~ 25 - 40% fewer FPGA resources compared to a conventional sinale-precision floating-point representation of TD3.
Mining CryptoNight-Haven on the Varium C1100 Blockchain Accelerator Card

Cryptocurrency mining is an energy-intensive process that presents a prime candidate for hardware acceleration. This work-in-progress presents the first coprocessor design for the ASIC-resistant CryptoNight-Haven Proof of Work (PoW) algorithm. We construct our hardware accelerator as a Xilinx Run Time (XRT) RTL kernel targeting the Xilinx Varium C1100 Blockchain Accelerator Card. The design employs deeply pipelined computation and High Bandwidth Memory (HBM) for the underlying scratchpad data. We aim to compare our accelerator to existing CPU and GPU miners to show increased throughput and energy efficiency of its hash computations.
High Performance FPGA-based Post Quantum Cryptography Implementations

Post-quantum Cryptography (PQC) is an umbrella term for cryptographic schemes based on hard mathematical problems which are resistant to attacks by quantum computers. The National Institute of Standards and Technology (NIST) initiated a PQC standardisation process in 2017, with a total of 4 algorithms selected for standardisation after round 3 and 4 undertaken for further analysis in Round 4 in 2022. PQC schemes on hardware devices, such as Field Programmable Gate Arrays (FPGA), show the potential of higher throughput performance, for comparable security, at the cost of high area and power consumption. The major aim of this thesis is to help facilitate the global transition to a post quantum secure set of security protocols. This thesis will focus on the optimisation of the the hardware architectures to improve the computational speed and reduce the area overhead. The side channel analysis vulnerabilities and their countermeasures will also be studied.
Supporting the Development of a Mobile Context-Aware Application by an MDA-based Approach

Mobile devices and context recognition are the most important drivers of digitization. They help to increase productivity and efficiency by optimizing processes and adapting the situation according to context. For example, sensor data from a smartphone can be used together with vehicle and customer data to better plan routes for delivery drivers and adjust them during delivery. To exploit these possibilities, a mobile context-aware application must be developed. The model-driven architecture (MDA)-based development approach simplifies the development of such applications by designing a domain-specific modeling language (DSML) called SenSoMod. SenSoMod facilitates collaboration between domain experts and developers by discussing problems at a higher, more abstract level of the modeling language. Thus, SenSoMod helps to get a better estimation of the complexity of the application and thus supports the project management. Assisted by a modeling tool, code is generated from the designed model, reducing the implementation time of context-aware applications. Thus, the development time can be shortened and adaptations can be made faster. To test the assumed improvements that can positively impact project management, a proof-of-concept implementation of a mobile emergency corridor application was conducted. (Abstract)
DIGITAL COMPETENCIES OF SPECIALISTS OF SCIENTIFIC LIBRARIES

The article analyzes approaches to the definition of the concept of «digital competencies», considers basic and special digital competencies. Attention is paid to the development of digital competencies of specialists of scientific libraries in the context of intensive digitalization of all spheres of public life.
Morfologia digitale ed esame emocromocitometrico

The digital process is nowadays implemented in the entire National Health System, with important funded innovation existing even in many sectors of Laboratory Medicine. In the field of digital hematological morphology, whose first experience dates back to the beginning of the 2000s, there is a proposal and development of different new solutions, carried out by the various players from the clinical laboratory world (professionals, IVD industry, Information Technology); this fact underlines the central role that cytomorphology still plays, as an essential source of information in hematological diagnostics and as a very important part of blood count. This review examines the areas of interest, methods, possible advantages and difficulties encountered in the implementation of these technologies and their future applications, as reported in the literature and observed in real-life experience. The different digital image-acquisition methods, the planned laboratory achievements, the expected advantages, and the problems related to digital implementation in this specific field are reported. The difficulties and expectations related to digital hematological morphology concerning team operators, and the impact on professional roles in different organizational scenarios are taken into consideration, reaffirming the need of adequate training. One of the tasks of the Clinical Pathologist, is to consider the important innovation made from digital morphology as a strong contribution to an increasingly qualified work and as a technological facilitation tool to be included in study paths to promote professional growth. In turn, Scientific Societies in the laboratory field can guarantee the scientific dissemination of information on these technological innovations, which can also be integrated into high-quality training programs. Digital hematological morphology is currently recognized as a work in progress, towards a future of deep expansion in the real life of our laboratories, so far still unpredictable.
Joint Trajectory Generation of Obstacle Avoidance in Tight Space for Robot Manipulator

It is a difficult thing for robot working in a tight and narrow space with obstacles because of collision occurrence. For solving this problem, the paper proposes a joint trajectory generation method for obstacle avoidance. Besides of the end-effector, our work plans a collision free trajectory for each joint in the narrow space. Considering the complexity of obstacle distribution, the presented method combines Dynamic Movement Primitive (DMP) with a RRT-Connect algorithm that firstly, in the joint space DMPs generate trajectories for each manipulator joint, and then, in the cartesian space, the collision detection model checks the DMP generated trajectories. If any of the links collides with the obstacle, a collision free path will be planned on the trajectory points that encounter obstacles by employing RRT-Connect algorithm. Based on ROS platform, the experiments build a tight and narrow simulated environment, and test the method on a UR3 robot manipulator, which show the effectiveness of the presented method.
Trailer Tag Hitch: An Automatic Reverse Hanging System Using Fiducial Markers

Unmanned tractor-trailer vehicles are widely used in factory transportation scenarios. However, the trailer hitching process is still manually operated. The automatic trailer hitching is the precondition of fully unmanned logistics. Existing auto hitching methods directly detect the trailer or coupler features, making them hard to generalize and deploy to various types of trailers and couplers. To address this problem, this paper proposes a trailer hitch system using fiducial markers. The system is divided into two modules: hitch coupler pose estimation and visual servoing. An algorithm based on AprilTag detection is used for hitch coupler pose estimation. The pose messages guide the tractor to reverse to the trailer. An algorithm based on decoupled lateral-longitudinal control is used for visual servoing. The proposed system is experimented on 4 different tractor-trailer vehicles with 254 tests under various conditions. Large scale test condition variations include initial position and orientation, light illumination, indoor/outdoor scenario, and fiducial marker damage. Overall success rate of 95% shows that the proposed system is robust to environment variation and different kinds of trailers.
APPLICATION OF THE THEORY OF TYPE-2 FUZZY SETS TO THE FORECASTING OF CATEGORICAL TIME SERIES: A MATHEMATICAL MODEL AND ALGORITHM

In this paper is considered the problem of forecasting categorical time series. Such series have a wide practical application in almost all spheres where judgments and expert evaluations are used. The analysis of modern research shows that the problem of taking into account the linguistic uncertainty remains insufficiently studied. The purpose of this research is to design a time series model based on type-2 fuzzy sets theory that will allow to perform computing with words. The type-2 fuzzy time series model gives the result in the form of a granular term, which is described by a word and a discrete interval type-2 fuzzy set. Based on the proposed model, the fuzzy algorithm for forecasting time series has been developed, which consists of five steps: word model definition; fuzzification of time series values; fuzzy relations definition; fuzzy forecasting; defuzzification. The high quality of the proposed forecast model is confirmed by three evaluation characteristics: Mean Absolute Percentage Error (MAPE), Mean Absolute Error (MAE), Root Mean Squared Error (RMSE).
Unknown Catalog of the Library of Kharkiv Collegium of 1823

The article for the first time aims to investigate the catalog of the library of Kharkiv Collegium of 1823. Since the document was concluded shortly after the Kharkiv Collegium was transformed into a seminary, it recorded the final stage of the history of this library. By comparing the catalog of 1823 with the known previous catalogs (1753 and 1769) the task is to identify the dynamics and determine the essential characteristics of those changes in the book collection that occurred in the last third of the 18th – early 19th centuries. The importance of such intelligence is enhanced by the fact that in the first decade of the 19th century Kharkiv Collegium experienced the moment of its greatest development, completeness and number of academic disciplines taught there. In the course of researching the catalog of 1823, the quantitative composition of the collection (3228 manuscripts and printed books), the ratio of books published in different languages, the content of thematic "departments" of the library were analyzed. All parameters were considered with an emphasis on the growth of the library, which was observed after 1769. The study revealed that the collection of the Kharkiv Collegium in 1823 accumulated an array of modern scientific books from almost all fields of knowledge. They were supplemented by numerous natural-scientific works of a generalizing nature. The catalog of the library of 1823 presents the most important at that time textbooks in each of the sciences. The study of this catalog refuted several well-known claims based on the results of the analysis of the catalog of 1769 (in particular, the lack of works in the library that contained new ideas in literature, philosophy, science). The catalog of 1823 fully reflects the changes in the educational process that took place in colleges since the 1760s and continued in the early 19th century. Significant volumes of new educational literature testify to the birth of a new format of the library of this school, and the change of its mission. Since then, the library has performed not only the function of storing the most necessary books for study, but also rare editions and manuscripts. From the last third of the 18th century, the book collection of the library demonstrates a close connection with innovations in the educational process, a quick response to the challenges of the time, as evidenced by the emergence of new scientific and educational literature. At the beginning of the 19th century, the collection of books of Kharkiv Collegium acquired distinct features of the library of modern educational institution.
Algorithms of Behavior and Behavior of Algorithms: A Conversation between Ashish Jha and Patrick Whitney

Many pressing challenges affecting the health of the public are characterized by a misfit between algorithmic and behavioral systems. Algorithmic systems are highly predictable as they rely on current information and deep knowledge. Behavioral systems are highly unpredictable as they are influenced by emotion, culture, and context. Overcoming complex public health challenges demands integrating knowledge from disciplines that evolved to work within and across these systems. We begin this article by elaborating on the characteristics of each one of these systems. We present curated excerpts from a conversation between Ashish Jha and Patrick Whitney, exploring how public health and design could complement each other in situations where algorithmic and behavioral challenges interact and influence one another. We discuss pathways to advance contributions at the intersection of both fields and conclude with an example of how we are pushing this agenda forward.
Looking for default vocabulary insertion rules: Diachronic morphosyntax of the Japanese addressee-honorification system

As opposed to syntactic operations (such as Merge), morphology has been seen as the source of language variation. But few attempts have been made in the field of Distributed Morphology to explicitly and formally identify the role of postsyntactic rules in language change. By analyzing the change in the Japanese addressee-honorification system (Yamada 2019c), this paper proposes that the emergence of the new grammar — which seems to be an instance of a microparametric change in the Agree operation (Kayne 2000; 2005; Biberauer &amp;amp; Roberts 2012; Barbiers 2013) — is, in fact, explained as a morphological reanalysis: the reanalysis is caused by overgeneralization of vocabulary insertion rules resulting from abductive reasoning in pursuit of default rules. It is also suggested from a quantitative corpus survey using Time Series Analysis (the Dynamic Generalized Linear Mixed Effects Model) that the reanalysis is facilitated particularly in the configuration where the addressee-honorific marking is immediately followed by a sentence-final particle.
On expected waiting time until given words appear in random sequence

We provide a formula for the expected waiting time until more than one words appear among given words in a random sequence, and show that distributions of random variables of waiting times of words and their reversals are the same.
Selecting Rotation Constants on SIMON-Type Ciphers

In 2013, a lightweight block cipher SIMON is proposed by NSA. This paper tries to investigate this design criterion in terms of resisting against impossible differential cryptanalysis. On one hand, starting from all the possible rotation constants, this paper sieves those “bad parameters” step by step, for each step, the regular patterns for those “bad parameters” are deduced. Accordingly, basic rules for selecting rotation constants on SIMON-type ciphers to construct shorter longest impossible differentials are proposed. On the other hand, the authors categorize the optimal parameters proposed in CRYPTO 2015, according to these results, some “good parameters” in terms of differential cryptanalysis may be rather “bad parameters” while considering impossible differential cryptanalysis. Finally, a concrete attack on 26-round SIMON(13,0,10) is proposed, which is a suggested SIMON variant in CRYPTO 2015 against differential cryptanalysis and linear cryptanalysis. The result in this paper indicates that it is very important to choose appropriate rotation constants when designing a new block cipher.
Security of Medical Images Using a Key-Based Encryption Algorithm in the RDWT-RSVD Domain

Today, in the era of big data, an increasingly serious problem is the security of digital media in the healthcare domain. Encryption is a popular technique to resolve the security concern of medical data. In the paper, the authors propose a key-based encryption algorithm – namely, SeMIE, designed by RDWT and RSVD for healthcare applications – which can guarantee the security of the medical images. Initially, the image normalisation procedure along with RDWT-RSVD is followed to generate hash value. Here, image normalisation is used to ensure the high resistance against the geometric modifications. Then, a key expansion process is utilised with the hash value for generating the secure keys. Finally, the encryption process uses Feistel structure along with constant substitution-permutation functions to provide sufficient confusion and diffusion of cipher data. Experimental evaluation indicates that the SeMIE algorithm is secure against several attacks. From the simulation findings, it is inferred that the algorithm exhibits improved security compared to existing methods.
Design and Implementation of Home Video Surveillance Systems Based on IoT Location Service

Due to its simplicity, directness, and rich content, home video surveillance has gradually become the core content of the smart home security system. The rapid development of computer technology, the internet, video image processing, and transmission technology, as well as the emergence of “wireless cities,” have continuously expanded the coverage of wireless internet such as 5G and WiFi and greatly changed data processing methods and transmission speeds. Video surveillance has also gradually developed from traditional wired networking to mobile video surveillance of wireless networks. Therefore, this paper will focus on the design of the home video monitoring system based on the IoT location service. The system combines traditional network video surveillance with intelligent mobile terminals, which can meet the needs of users for video surveillance of home conditions at any location and at any time. And it compared the sensitivity, accuracy, capture time interval, and energy consumption of the two by comparing with traditional internet video surveillance.
Accuracy improvement of surface measurement through phase correction in spectrally resolved interferometer

The spectrally resolved interferometer (SRI) is used to measure the surface profile by the linear fitting line of its phase distribution of spectral interference signal. However, the noise existed in the phase cannot be ignored if the nano-scale measurement accuracy is required. In this paper, a novel algorithm is proposed to improve the measurement accuracy by using the constant term oflinear fitting line of phase distribution in wavenumber domain. The simulations indicate that the algorithm achieves the similar measurement accuracy under the influence of three kinds of noise. Even though the proposed algorithm has the possibility of 4% to bring the additional minor error, it provides a better performance on measurement of entire surface in different SNRs compared with the other two common algorithms. In experiments, the variations of surface less than 10 nm and 30 nm and the repeatability of 2.2 nm and 4.9 nm are obtained in the measurements of a protected aluminium mirror with and without proposed algorithm. A smooth profile with a step shape of nearly 3 μm height is tested, where the maximum repeatability of step height and maximum magnitude of variations of the surfaces reaches to 3.8 nm and 10 nm from the 15.3 nm and 30 nm by using this algorithm. Both the simulations and experimental results demonstrate that the proposed algorithm is feasible for high-precision measurement.
Analysing debate on infrastructures using abstract argumentation

Infrastructure projects induce various impacts on stakeholders, which can lead to a strong opposition to the project. In order to support urban planning, we propose a method called AFORI (Argumentation for Formalizing and analysing Opinions on Infrastructure project) based on the AIPA abstract argumentation model, to collect, formalize and analyse the views of the different stakeholders on the project. AFORI permits to collect data from various sources (newspaper, social media…), to formalize the pros and cons of argumentation relating to an infrastructure project and to provide an easier understanding of the debate. The structured formalization of the argumentation facilitates the understanding of the different points of view and their interdependence. AFORI was applied to a real case study in order to illustrate its functioning and interest.