Reviewerly/exHarmony huggingface dataset:
A Scanner Deeply: Predicting Gaze Heatmaps On Visualizations Using Crowdsourced Eye Movement Data

Visual perception is a key component of data visualization. Much prior empirical work uses eye movement as a <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">proxy</i> to understand human visual perception. Diverse apparatus and techniques have been proposed to collect eye movements, but there is still no optimal approach. In this paper, we review 30 prior works for collecting eye movements based on three axes: (1) the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">tracker</i> technology used to measure eye movements; (2) the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">image stimulus</i> shown to participants; and (3) the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">collection methodology</i> used to gather the data. Based on this taxonomy, we employ a webcam-based eyetracking approach using task-specific visualizations as the stimulus. The low technology requirement means that virtually anyone can participate, thus enabling us to collect data at large scale using crowdsourcing: approximately 12,000 samples in total. Choosing visualization images as stimulus means that the eye movements will be specific to perceptual tasks associated with visualization. We use these data to propose a SCANNER DEEPLY, a virtual eyetracker model that, given an image of a visualization, generates a gaze heatmap for that image. We employ a computationally efficient, yet powerful convolutional neural network for our model. We compare the results of our work with results from the DVS model and a neural network trained on the Salicon dataset. The analysis of our gaze patterns enables us to understand how users grasp the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">structure</i> of visualized data. We also make our stimulus dataset of visualization images available as part of this paper's contribution.
Tailored Quantum Alternating Operator Ansätzes for Circuit Fault Diagnostics

The quantum alternating operator ansatz (QAOA) and constrained quantum annealing (CQA) restrict the evolution of a quantum system to remain in a constrained space, often with a dimension much smaller than the whole Hilbert space. A natural question when using quantum annealing or a QAOA protocol to solve an optimization problem is to select an initial state for the wavefunction and what operators to use to evolve it into a solution state. In this work, we construct several ansatzes tailored to solve the combinational circuit fault diagnostic (CCFD) problem in different subspaces related to the structure of the problem, including superpolynomially smaller subspaces than the whole Hilbert space. We introduce a family of dense and highly connected circuits that include small instances but can be scaled to larger sizes as a useful collection of circuits for comparing different quantum algorithms. We compare the different ansätzes on instances randomly generated from this family under different parameter selection methods. The results support that ansätzes more closely tailored to exploiting the structure of the underlying optimization problems can have better performance than more generic ansätzes.
Gold functions and switched cube functions are not 0-extendable in dimension n &gt; 5

Abstract In the independent works by Kalgin and Idrisova and by Beierle, Leander and Perrin, it was observed that the Gold APN functions over $$\mathbb {F}_{2^5}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>F</mml:mi> <mml:msup> <mml:mn>2</mml:mn> <mml:mn>5</mml:mn> </mml:msup> </mml:msub> </mml:math> give rise to a quadratic APN function in dimension 6 having maximum possible linearity of $$2^5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mn>2</mml:mn> <mml:mn>5</mml:mn> </mml:msup> </mml:math> (that is, minimum possible nonlinearity $$2^4$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mn>2</mml:mn> <mml:mn>4</mml:mn> </mml:msup> </mml:math> ). In this article, we show that the case of $$n \le 5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≤</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> is quite special in the sense that Gold APN functions in dimension $$n&gt;5$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>&gt;</mml:mo> <mml:mn>5</mml:mn> </mml:mrow> </mml:math> cannot be extended to quadratic APN functions in dimension $$n+1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> having maximum possible linearity. In the second part of this work, we show that this is also the case for APN functions of the form $$x \mapsto x^3 + \mu (x)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>x</mml:mi> <mml:mo>↦</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mn>3</mml:mn> </mml:msup> <mml:mo>+</mml:mo> <mml:mi>μ</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> with $$\mu $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>μ</mml:mi> </mml:math> being a quadratic Boolean function.
Software Engineering After the COVID-19 Outbreak

Software Engineering (SE) has evolved over many decades and has led to many proven and well-established methods and tools that support the efficient development of software and IT systems in general. Although software development had often been performed by distributed teams even before the pandemic, the COVID-19 outbreak exacerbated the physical separation of teams, creating numerous challenges and issues for both organizations and developers. Therefore, in this new column "Software Engineering After the COVID-19 Outbreak", we aim at providing insights into the impact of the COVID-19 outbreak on the work of Software Engineering practitioners and researchers. We intend to collect past and current challenges, changes in structures and organizations, reports of experiences and, of course, proven solutions for solving problems that have arisen.
MCQ QUIZ PORTAL

The ‘MCQ Quiz Portal project will be developed to overcome the time-consuming problem of the manual system. Apart from that in the current system, checking the answer sheets after taking the test, waste the examiner's time, so this portal will check the correct answer and save the examiner time and carry out the examination effectively. Apart from this, data that exist in this system will exist for a long period and will be easily accessible. This project aims to computerize the existing manual system and helps the examiners to save their valuable time and important data. The objective of this project is to manage the details of students, examinations, marks, and courses in a good manner. The performance of the portal will be fully controlled by the administrator. The project will reduce the manual process of managing examinations and all issues regarding that.
Blockchain Technology in Aviation, Tourism, and Hospitality

Blockchain, the underlying technology of Bitcoin, has a promising future beyond the realm of digital currencies. The experts predict that this technology could potentially transform many industries, including the tourism industry. The potential applications of this new, rapidly evolving technology in tourism are wide, ranging from secure payment, to the co-ordination and management of hotels, to transportation and baggage. This technology is beneficial to the entire value chain of tourism, which includes hotels, restaurants, airlines, travel agencies, and other hospitality services. Although the technology is still in the early stages of development, it is projected to continue reshaping the tourism industry. The chapter introduces the fundamental underlying technology of blockchain, putting forward its application in the tourism industry, which includes the aviation and hospitality sectors. The principal challenges associated with blockchain adoption are also discussed. The chapter contributes to the body of knowledge by clarifying the role, potential application, and adoption challenges of blockchain in the tourism industry.
Analisis Dan Perancagan Sistem Informasi Penjualan dan Pengelolaan Persediaan Obat Pada Apotek

&lt;p&gt;&lt;em&gt;Data management and management reporting for controlling drug sales systems in pharmacies are still done manually, causing the process to be ineffective and inefficient. This study aims to analyze and design a sales information system model and drug inventory management, with a case study at the Natha Farma pharmacy. The system model development uses the Waterfall method, up to the system modeling stage. The needs elicitation process is carried out using structured interview techniques to understand the company's work system, as well as assessing the need for information systems to support the existing work system. Requirements analysis produces functional features for drug, customer, and supplier data collection. The system also provides functional features for the drug ordering service process (both orders by customers and orders to suppliers), sales to customers, as well as the provision of outputs in the form of invoices and notes of purchases and sales, drug inventory information, management reports. System modeling using structured modeling tools. The resulting model becomes a reference for Natha Farma's pharmacy management to develop applications in the future.&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;Keyword: Information Technology; Internal Control; System Modeling; Waterfall&lt;/em&gt;&lt;strong&gt;&lt;em&gt;&lt;/em&gt;&lt;/strong&gt;&lt;/p&gt;&lt;p align="center"&gt;&lt;strong&gt;&lt;em&gt; &lt;/em&gt;&lt;/strong&gt;&lt;/p&gt;&lt;p&gt;&lt;strong&gt;Abstrak.&lt;/strong&gt; Pengelolaan data dan pelaporan manajemen untuk pengendalian sistem penjualan obat di apotek yang masih dilakukan secara manual, menyebabkan proses tidak efektif dan tidak efisien. Penelitian ini bertujuan menganalisis dan merancang model sistem informasi penjualan dan pengelolaan persediaan obat, dengan studi kasus pada apotek Natha Farma. Pengembangan model sistem menggunakan metode &lt;em&gt;Waterfall&lt;/em&gt;, hingga pada tahapan pemodelan sistem. Proses elisitasi kebutuhan dilakukan menggunakan teknik wawancara terstruktur guna memahami sistem kerja perusahaan, serta mengkaji kebutuhan sistem informasi untuk mendukung sistem kerja yang ada. Analisis kebutuhan menghasilkan fitur-fitur fungsional untuk pendataan obat, pelanggan, dan pemasok. Sistem juga menyediakan fitur-fitur fungsional untuk proses layanan pemesanan obat (baik pemesanan oleh pelanggan maupun pemesanan pembelia ke pemasok), penjualan ke pelanggan, serta penyediaan luaran berupa faktur dan nota pembelian dan penjualan, informasi persediaan obat, laporan-laporan manajemen. Pemodelan sistem menggunakan &lt;em&gt;tools&lt;/em&gt; pemodelan terstruktur. Model yang dihasilkan menjadi acuan bagi manajemen apotek Natha Farma mengembangkan aplikasi di masa mendatang.&lt;/p&gt;&lt;p&gt;&lt;strong&gt;Keyword:&lt;/strong&gt;&lt;em&gt; Teknologi Informasi; Pengendalian Internal; Pemodelan Sistem; &lt;/em&gt;&lt;em&gt;Waterfall&lt;/em&gt;&lt;/p&gt;
Construction of self-learning platform for English reading based on artificial intelligence

Through quantitative and qualitative research methods, this paper investigates the application of online learning platform for English reading among Chinese college students, and puts forward the construction mode of self-learning platform for English reading based on artificial intelligence due to application problems and students’ needs. The survey shows that both English reading websites and smart-phone apps are students’ favorite reading platforms. The former are more comfortable and convenient to read with rich reading resources and the latter are easy to carry and can act as learning assistants. The main problems of the current online English reading platform include: the classification of articles on the website is based on topic but not the difficulty; it has few related background information or extended learning material; it is lack of synchronous exercises covering listening, speaking, reading, writing and translating skills; the knowledge learned cannot be effectively recorded or stored in personal learning corpus. Based on these problems, the AI-based learning platform for English reading lays emphasis on the following aspects: classifying online articles due to their difficulty, supplying reading articles with extended reading material and supporting English exercises, recording key words and accumulating knowledge in personalized self-learning corpus.
Grayscale image colorization based on multi-scale input adversarial generative networks

Grayscale image colorization is a process of adding reasonable color information to an image, and converting grayscale images into color images is an important and difficult image processing task. The process of colorization is to predict the color information corresponding to the grayscale image by the colorization model. In this paper, the proposed multi-scale input adversarial generative network coloring model with multi-scale input is used in the generator, and the input condition map is fused with the network feature map using the input fusion module so that the network can better utilize the information on each scale of grayscale image for color prediction and improve the effect of colorization. The effectiveness of the generator in this paper is verified experimentally. And it is compared with several existing methods to prove the improvement of the colorization effect of this paper's method.
Application of mathematical thinking in artificial intelligence

The society has entered the era of big data, computer network technology has improved people's living standards to a new level, and continues to progress toward the direction of artificial intelligence. Artificial intelligence is one of the three major scientific and technological achievements of the 20th century, and mathematics is its key theoretical foundation. Taking artificial intelligence in the era of big data as the research object, this paper analyzes the application of traditional mathematical operations in artificial intelligence in the field of computer science and technology in the future from the perspective of mathematical thinking. This paper mainly introduces the typical mathematical basis of artificial intelligence, including linear algebra, probability theory, mathematical statistics, discrete mathematics and mathematical modeling, and prospects the development trend of mathematical basis of artificial intelligence, hoping to provide some reference for the application of artificial intelligence in computer network technology.
First-Order Arithmetic

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations.
Research Ethics and Experiments Involving Human Subjects

This book is designed for an undergraduate, one-semester course in experimental research, primarily targeting programs in sociology, political science, environmental studies, psychology, and communications. Aimed at those with limited technical background, this introduction to social science experiments takes a practical, hands-on approach. After explaining key features of experimental designs, Green takes students through exercises designed to build appreciation for the nuances of design, implementation, analysis, and interpretation. Using applications and statistical examples from many social science fields, the textbook illustrates the breadth of what may be learned through experimental inquiry. A chapter devoted to research ethics introduces broader ethical considerations, including research transparency. The culminating chapter prepares readers for their own social science experiments, offering examples of studies that can be conducted ethically, inexpensively, and quickly. Replication datasets and R code for all examples and exercises are available online.
Semantics of Propositional Logic

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations.
Ethereum, Hyperledger and CordaA Side-by-Side Comparison of Capabilities and Constraints for Developing Various Business Case Uses

This chapter provides on an in-depth discussion of three currently popular blockchain frameworks, namely, Ethereum, Hyperledger and Corda. The Ethereum discussion section starts by presenting the various components of Ethereum, a public blockchain with its own cryptocurrency (Ether). Historically, Ethereum was the first blockchain framework to introduce the concept of smart contracts – a game-changer for blockchain technology. The characteristics and limitations of Ethereum smart contracts and consensus mechanism and a brief discussion of several Ethereum use cases in healthcare and supply chain management are also included in the first section of this chapter. In the second part of this chapter, several Hyperledger frameworks, such as Hyperledger Burrow, Fabric, Indy, Iroha and Sawtooth are discussed in order to enable readers to become better acquainted with these various private, permissioned Hyperledger ‘flavors’. Additionally, several Hyperledger-related tools are also introduced and discussed. These include Hyperledger Caliper, Composer, Cello, Explore and Quilt. The third part of this chapter focuses on the Corda framework, a popular blockchain framework in the banking and financial services industry. Corda’s various components are also introduced and discussed. This section also briefly discusses the characteristics of Corda smart contracts, consensus mechanism as well as several Corda use cases in healthcare, construction and finance. A brief discussion about user privacy in the Corda network and Corda’s limitations is also included in the third section of this chapter. Finally, the chapter concludes with a side-by-side comparison of these three frameworks in an easy-to-reference format, along with a decision tree that can be used as a first step to decide on adopting the most appropriate framework, depending on an organizational contemplated use case.
Angle recognition of pointer meter based on pan-tilt

Pointer meters are widely used in industrial production, and it is very important to read the position of instrument pointer accurately for monitoring the running state of equipment. In view of the type of pointer meters and the environment of the factory, a method of detection of the angle of the pointer meter using the two-dimensional pan-tilt is proposed. First of all, the image pre-processing part meant to reduce the degree of interference, and then the use of Hough circle detection to find the position of dial, according to this position and the size of the image turn the pan-tilt and zoom. After the end, the image by bit and operation will be removed outside the dial, and then use Hough line detection to obtain all the lines in the image, through the distance between the straight line and the center of the circle to filter out the pointer, and finally according to the coordinates of the pointer to calculate the angle. The results show that compared with other methods, this method allows a certain distance and angle between the image acquisition device and the pointer meters, reduces the requirement of image acquisition, and successfully eliminate other interference information by bit and operation method, reduces the operating burden of the algorithm and improves the accuracy.
A research overview on spatial imagination in teaching geometry at high schools

The article presents a research overview of the works of mathematics educators, related to fostering spatial imagination for students in teaching mathematics in general, teaching geometry in particular. This research aims at conceptions understanding of the authors in the world and in Vietnam about the constituents of spatial imagination and activities that need to be fostered for students when teaching geometry at high schools to form and develop spatial imagination, and it also targets to study the role of fostering spatial imagination in mathematics education.
Quasi-Light Storage Enabled Cognitive RF Sensing

We report a cognitive RF sensing system enabled by quasi-light storage. A multichannel signal identification has been experimentally demonstrated based on time-frequency coherence. The method is reconfigurable, wideband and supports real-time signal processing.
Programmable Multimode Interference in a VIS-NIR Photonics Platform

We recently introduced an architecture for universal optics in a multimode waveguide. Here we implement its essential building blocks in piezoelectrically programmable photonic integrated circuits.
Online inverse design chip for matrix computation and tunable wavelength selection switch

We demonstrate an online inverse design chip realizing incoherent arbitrary positive matrix computation with high accuracy and tunable wavelength selection switch whose extinction ratio of each output port is beyond 10dB.
Multiple-access channel with a single photon

We present and experimentally demonstrate a quantum-enhanced multiple-access channel consisting of multiple senders, a single receiver and a single particle as the medium. A Bell-type inequality violation and greater capacity rate sum are observed.
Pace Perception by Employing Open CV

Abstract: In this paper I am going to make research on the project speed detection by employing open CV and also called as the speed detection by employing open CV. In this research paper I am explaining that how the computer vision is going to find the pace of the object and deteting it the over speed if the vehicle crosses the speed limit that has been set.
A Study on the Positive and Negative Determinants of Behavioral Intention to Use the Integrated Project Management System

This study aims to analyze positive and negative factors determining the behavioral intention in using the Integrated Project Management System(IPMS), which is the main information system since 2009 regarding project management of defense acquisition. For this, an integrated research model was constructed with the factors from Information System Success Model, Knowledge Sharing Climate, UTAUT theory, Work Stress and carried out empirical study with IPMS users. As a result, it was verified that independent variable of Information System Success Model and Knowledge Sharing Climate affect the intermediary variables of UTAUT theory, subsequently to the behavioral intention. Among all factors, Effort Expectancy was the most dominant one so it was recommended that data standardization and other system revisions to be applied for the users in terms of easy access in timely manner. Besides, external system factors, Knowledge Sharing Climate and Work S tress, don't affect t he b ehavioral intention, which m eans a dditional efforts should b e taken into account to activate user intention in the involuntary environment.