Reviewerly/exHarmony huggingface dataset:
Industrial Application Data Security Preservation in Edge Computing

Authentication is the process of verifying the identity of a user or device attempting to access an application. In an industrial setting, authentication can be used to ensure that only authorized personnel or devices can access critical data. Considered to be a development of cloud computing, edge computing moves computational and storage capabilities to the network edge. Users need to be verified before accessing the geographically dispersed edge servers for several Industrial Internet of Things (IIoT) applications. In response to this issue, this chapter suggests EdgeAuth, a cutting-edge token-based authentication system that enables quick edge user authentication through cooperation between cloud servers and edge servers. In accordance with the EdgeAuth scheme, edge servers can quickly confirm the login information of users who have already been verified by the cloud server. Users can also be protected by EdgeAuth from a variety of authentication threats, such as the man-in-the-middle assault, replay attack, and denial of service (DoS) attack. By a comparison of latency and throughput against two benchmark systems, the findings of studies carried out in a simulated edge computing environment prove the effectiveness of EdgeAuth.
Expanding the concept of preventive medicine through the using explaining machine learning models in remote clinic-patient interaction

This paper introduces the study of motivation models for the use of conversational agents in the daily practices of individuals in the case of patient-clinic interactions. We present the data of the conducted surveys and describe the model of motivation created on their basis. The implementation of a chatbot that embodies the theoretical principles developed during the study is described. The paper also provides quality metrics for the proposed practical solutions.
Semantic Interoperability for Legal Information: Mapping the European Legislation Identifier (ELI) and Akoma Ntoso (AKN) Ontologies

The legislative landscape, characterized by overwhelming amounts of legal data which, on many occasions, is only accessible by legal experts, the fragmented nature of information and the ever-increasing number of disparate systems, have given more impetus to the interoperability realm of legal data. The semantic interoperability of Linked Open Legal Data (LOLD) requires rich and well-defined metadata, as well as the establishment of standards, in order to be able to connect and link these scattered legal data resources. This is usually achieved through the transformation of legal information into structured format and through the utilization of legal ontologies whose main purpose is to connect the legal basis of two or more countries by allowing for reusability and the ability to adequately represent legal information, which is understood and retrieved across borders. Within the context of this study, the European Legislation Identifier (ELI) and Akoma Ntoso (AKN) ontologies are mapped in order to make legal data compatible and reusable in as many contexts as possible and to support the Linked Open Legal Data (LOLD) concept. The mapping of these two widely used legal ontologies was evaluated by domain experts and strongly validated by tools. The usefulness of the produced mapping is proven through its real-life context application, although one thing to consider regarding possible future perspectives, could be the inclusion and mapping of more legal ontologies to expand the application domain and improve the semantic interoperability of legal information. These mappings could be either achieved using similar methodological approaches or applications of automated and AI-based ontology mapping techniques.
Influence of ICT governance on cyber security: a Generalized Method Moment (GMM) approach in Asia

Purpose: This study aims to understand what role Information and communications technology (ICT) governance plays in enhancing cyber security in Asia. Assessing the governance of the exploding ICT adoptions and the achievement of ICT educational measures for cyber security is the research agenda.
Supporting Sequential Memory to Facilitate Reading Comprehension on a Tablet

In recent years, reading through electronic books (e-books) has been increasing, but it is said that the comprehension of the contents is inferior to that of paper books. We propose two visualising bookmark methods to support the retention of sequential memory, one of the causes of poor comprehension, by focusing on the difficulty of “looking back” at e-books. To verify the effectiveness of the proposed methods, a comparative experiment was conducted to measure the degree of sequential memory retention and the ease of looking back on different reading styles. The results showed no significant differences in post-reading test scores for sequential memory retention. Still, the correlation between subjects’ reading comprehension and the test scores measuring ease of looking back at pages of an e-book was closer to that for paper books than the correlation for conventional e-book readers. The post-experiment questionnaire also showed that many subjects felt that the proposed methods were comfortable to look back at, indicating that the methods were highly effective in easing looking back.
Two-point measurement energy statistics from particle scattering

We show that the energy statistics resulting from a two-point measurement of an isolated quantum system subject to a time-dependent driving protocol can be probed by subjecting the same system to a collision with a suitably prepared incoming particle. This means that the particle acts both as an external drive and as an energy measurement device for the quantum system and that energy fluctuations can be defined within a fully autonomous setting.
Polarization alignment in measurement-device-independent quantum key distribution with intrinsic events

Measurement-device-independent quantum key distribution (MDI QKD) is a crucial step for the quantum Internet, as it removes all detector side channels and enables secure QKD with untrusted nodes. However, MDI QKD faces a significant challenge from polarization alignment, since drift of the state of polarization affects the efficiency of key generation, especially when the quantum states are sent from remote locations. Conventional methods for polarization alignment either require additional resources, such as classical lasers or reference pulses, or interrupt the QKD process, which reduces the efficiency of the system. In this paper, an efficient polarization-alignment method in MDI QKD is proposed that leverages intrinsic events from MDI to directly calculate how to compensate for polarization drift. The proposed method does not require additional resources such as reference pulses, thereby eliminating bandwidth limitations, and it is fast, as it can directly calculate how to correct polarization with a small criterion fluctuation. We also introduce the polarization dimension in addition to the encoding dimension and establish a response-rate model for MDI QKD with additional polarization dimensions. Overall, the proposed method is a resource-efficient solution for polarization drift correction in MDI QKD, which can enhance the practicality and scalability of QKD networks.
Thirty Years of Consolidating the Professional Community

On the occasion of the 30th anniversary of the Department of Library Science of the International Academy of Informatisation, the article presents an overview of its activities, its place in the academic environment, and its reflection in the professional press. The statutory tasks, main directions of work, principles of membership, participation in conferences of national and international level in 2022 are given. Information is presented about the publication activity of the Branch members, their assistance in the preparation of draft professional and educational standards, in the work of the expert commission for the analysis of educational programmes of professional development and professional training, in the studies “Monitoring of the staff composition of public libraries under the jurisdiction of regional/municipal cultural authorities of the subjects of the Russian Federation”, “Workshop of the staff partnership: library aspect”, etc. Various theoretical, applied and methodological issues requiring scientific understanding and practical solutions are constantly in the field of vision of the Division’s specialists. The author emphasizes the significant role of the Branch members in organizing and conducting national industry competitions. The anniversary year of 2023 marked a new stage of the Branch’s activities and prospects, taking into account the realities and global challenges.
Extending Your Academic Footprint: Readability, Originality, and Altmetrics

In their first edition of The Elements of Style that was published in 1932, Strunk and White (The elements of style. Independently Published, 2022) criticized scholarly writing for being less readable and accessible than other forms of writing. Their book became a classic guide to American English, yet these problems persist. At times, academic writing is more an effort to display authors’ superior intelligence than to communicate effectively with readers. Convoluted sentences, obscure vocabulary, and excessive use of jargon characterize some academic writing even though experts advocate a more readable style. Changes in the scientific communication environment underscore the need for greater readability. Now that the number of scholarly publications has grown exponentially and can be accessed instantly through online search tools, readers can scan, skim, and move on when the writing does not flow. Thus, the efforts that authors make to improve their academic writing style can enhance the discoverability of their work. Altmetrics—defined as various quantitative indicators of how influential published works become—are not without controversy. Nevertheless, statistics on the number of downloads/citations of articles and the prestige/competitiveness of publication outlets are used by committees to evaluate scholars’ contributions. In this final chapter, we argue that authors who manage their own professional development, pursue a research agenda, and implement strategies to extend their “academic footprint” are better equipped, not only to survive but also to thrive in Academia.
Siberia and the Far East in the “Most Reading Region” Competition

The article analyzes the scientific and practical strategy, aims, criteria and indicators for evaluating the participants of the All-Russian contest “The Most Reading Region” among the subjects of the Federation for the title “Literary Flagship of Russia” (2015— 2022). The winners, laureates, holders of the status of “Territory of Book and Reading” are described; the participation in the competition of the regions of Siberia and the Far East is investigated. Effective solutions and best practices of involving the population in the literary and book environment, implemented within the framework of the contest in the regions that have become literary flagships of Russia: in the Irkutsk region (2018), the Republic of Sakha (Yakutia) (2020), the Novosibirsk region (2022) are analyzed. The subjects of the Siberian Federal District (SFD) and the Far Eastern Federal District (FEFD), which were not among the winners of the competition, are noted. The general trends of activities to promote books and reading in the regions are revealed. The significance of the All-Russian project for the organisers and participants, its impact on the cultural life in the regions is described.
Linear cross-entropy benchmarking with Clifford circuits

With the advent of quantum processors exceeding 100 qubits and the high engineering complexities involved, there is a need for holistically benchmarking the processor to have quality assurance. Linear cross-entropy benchmarking (XEB) has been used extensively for systems with 50 or more qubits but is fundamentally limited in scale due to the exponentially large computational resources required for classical simulation. In this work we propose conducting linear XEB with random Clifford circuits of constant to logarithmic depth, a scheme we call Clifford XEB. Since Clifford circuits can be simulated in polynomial time, Clifford XEB can be scaled to much larger systems. To validate this claim, we run numerical simulations for the classes of Clifford circuits we propose with noise and observe exponential decays. When noise levels are low, the decay rates are well correlated with the noise of each cycle assuming a multiplicative error accumulation, i.e., where the fidelities of individual gates multiply. We perform simulations of systems up to 1225 qubits, where the classical processing task can be easily dealt with by a workstation. Furthermore, using the theoretical guarantees in Chen et al. [PRX Quantum 3, 030320 (2022)], we prove that Clifford XEB with our proposed Clifford circuits must yield exponential decays under a general error model for sufficiently low errors. Our theoretical results explain some of the phenomena observed in the simulations and shed light on the behavior of general linear XEB experiments.
Verifying quantum phase estimation using an expressive theorem-proving assistant

The general-purpose interactive theorem-proving assistant called prove-it was used to verify the quantum phase estimation (QPE) algorithm, specifically claims about its outcome probabilities. prove-it is unique in its ability to express sophisticated mathematical statements, including statements about quantum circuits, integrated firmly within its formal theorem-proving framework. We demonstrate our ability to follow a textbook proof to produce a formally certified proof, highlighting useful automation features to fill in obvious steps and make formal proving nearly as straightforward as informal theorem proving. Finally, we make comparisons with formal theorem proving in other systems where similar claims about QPE have been proven.
Quantum error correction under numerically exact open-quantum-system dynamics

The known quantum error-correcting codes are typically built on approximative open-quantum-system models such as Born-Markov master equations. However, it is an open question how such codes perform in actual physical systems that, to some extent, necessarily exhibit phenomena beyond the limits of these models. To this end, we employ numerically exact open-quantum-system dynamics to analyze the performance of a five-qubit error-correction code where each qubit is coupled to its own bath. We first focus on the performance of a single error-correction cycle covering timescales and coupling strengths beyond those of Born-Markov models. We observe distinct power-law behavior of the error-corrected channel infidelity $\ensuremath{\propto}{t}^{2a}$: $a\ensuremath{\lesssim}2$ in the ultrashort times $t&lt;3/{\ensuremath{\omega}}_{\mathrm{c}}$ and $a\ensuremath{\approx}1/2$ in the short-time range $3/{\ensuremath{\omega}}_{\mathrm{c}}&lt;t&lt;30/{\ensuremath{\omega}}_{\mathrm{c}}$, where ${\ensuremath{\omega}}_{\mathrm{c}}$ is the cutoff angular frequency of the bath. Furthermore, the observed scaling of the performance of error correction is found to be robust against various imperfections in physical qubit systems, such as perturbations in qubit-qubit coupling strengths and parametric disorder. For repeated error correction, we demonstrate the breaking of the five-qubit error-correction code and of the Born-Markov models if the repetition rate of the error-correction cycles exceeds $2\ensuremath{\pi}/\ensuremath{\omega}$ or the coupling strength $\ensuremath{\kappa}\ensuremath{\gtrsim}\ensuremath{\omega}/10$, where $\ensuremath{\omega}$ is the angular frequency of the qubit. Our results provide bounds of validity for the standard quantum error-correction codes and pave the way for applying numerically exact open-quantum-system methods for further studies of error correction beyond simple error models and for other strongly coupled many-body models.
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

Stabilizer simulation can efficiently simulate an important class of quantum circuits consisting exclusively of Clifford gates. However, all existing extensions of this simulation to arbitrary quantum circuits including non-Clifford gates suffer from an exponential runtime.To address this challenge, we present a novel approach for efficient stabilizer simulation on arbitrary quantum circuits, at the cost of lost precision. Our key idea is to compress an exponential sum representation of the quantum state into a single <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>s</mml:mi><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mi>a</mml:mi><mml:mi>c</mml:mi><mml:mi>t</mml:mi></mml:math> summand covering (at least) all occurring summands. This allows us to introduce an <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow class="MJX-TeXAtom-ORD"><mml:mtext class="MJX-tex-mathit" mathvariant="italic">abstract stabilizer simulator</mml:mtext></mml:mrow></mml:math> that efficiently manipulates abstract summands by <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>o</mml:mi><mml:mi>v</mml:mi><mml:mi>e</mml:mi><mml:mi>r</mml:mi><mml:mo>&amp;#x2212;</mml:mo><mml:mi>a</mml:mi><mml:mi>p</mml:mi><mml:mi>p</mml:mi><mml:mi>r</mml:mi><mml:mi>o</mml:mi><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>t</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>g</mml:mi></mml:math> the effect of circuit operations including Clifford gates, non-Clifford gates, and (internal) measurements.We implemented our abstract simulator in a tool called Abstraqt and experimentally demonstrate that Abstraqt can establish circuit properties intractable for existing techniques.
Linked Data Networks

Abstract This chapter provides an introduction to Linked Open Data (LOD), a method for publishing structured data on the web. It explains what the goals, motivation, and foundational technologies of LOD are, presents its uses in the humanities, and discusses how LOD relates to network analysis. In particular, this chapter adopts a more user-centered perspective of LOD: what are the challenges, opportunities, and potentials of LOD for network analytical tasks in humanities scholarship? How can tools help tackle LOD’s notorious lack of usability, and lower the barrier to entry for a wider audience? The chapter concludes with an exemplary workflow, from scholarly source to qualitative analysis, using open source tools.
Multi-camera optical tracking and fringe pattern analysis for eye surface profilometry in ocular proton therapy

An optical tracking system for high-precision measurement of eye position and orientation during proton irradiation of intraocular tumors was designed. The system performed three-dimensional (3D) topography of the anterior eye segment using fringe pattern analysis based on Fourier Transform Method (FTM).The system consisted of four optical cameras and two projectors. The design and modifications to the FTM pipeline were optimized for the realization of a reliable measurement system. Of note, phase-to-physical coordinate mapping was achieved through the combination of stereo triangulation and fringe pattern analysis. A comprehensive pre-clinical validation was carried out. Then, the system was set to acquire the eye surface of patients undergoing proton therapy. Topographies of the eye were compared to manual contouring on MRI.Pre-clinical results demonstrated that 3D topography could achieve sub-millimetric accuracy (median:0.58 mm) and precision (RMSE:0.61 mm) in the clinical setup. The absolute median discrepancy between MRI and FTM-based anterior eye segment surface reconstruction was 0.43 mm (IQR:0.65 mm).The system complied with the requirement of precision and accuracy for image guidance in ocular proton therapy radiation and is expected to be clinically tested soon to evaluate its performance against the current standard.
AIBugHunter: A Practical tool for predicting, classifying and repairing software vulnerabilities

Abstract Many Machine Learning(ML)-based approaches have been proposed to automatically detect, localize, and repair software vulnerabilities. While ML-based methods are more effective than program analysis-based vulnerability analysis tools, few have been integrated into modern Integrated Development Environments (IDEs), hindering practical adoption. To bridge this critical gap, we propose in this article AIBugHunter , a novel Machine Learning-based software vulnerability analysis tool for C/C++ languages that is integrated into the Visual Studio Code (VS Code) IDE. AIBugHunter helps software developers to achieve real-time vulnerability detection, explanation, and repairs during programming. In particular, AIBugHunter scans through developers’ source code to (1) locate vulnerabilities, (2) identify vulnerability types, (3) estimate vulnerability severity, and (4) suggest vulnerability repairs. We integrate our previous works (i.e., LineVul and VulRepair) to achieve vulnerability localization and repairs. In this article, we propose a novel multi-objective optimization (MOO)-based vulnerability classification approach and a transformer-based estimation approach to help AIBugHunter accurately identify vulnerability types and estimate severity. Our empirical experiments on a large dataset consisting of 188K+ C/C++ functions confirm that our proposed approaches are more accurate than other state-of-the-art baseline methods for vulnerability classification and estimation. Furthermore, we conduct qualitative evaluations including a survey study and a user study to obtain software practitioners’ perceptions of our AIBugHunter tool and assess the impact that AIBugHunter may have on developers’ productivity in security aspects. Our survey study shows that our AIBugHunter is perceived as useful where 90% of the participants consider adopting our AIBugHunter during their software development. Last but not least, our user study shows that our AIBugHunter can enhance developers’ productivity in combating cybersecurity issues during software development. AIBugHunter is now publicly available in the Visual Studio Code marketplace.