Reviewerly/exHarmony huggingface dataset:
Non-Observable Quantum Random Oracle Model

The random oracle model (ROM), introduced by Bellare and Rogaway (CCS 1993), enables a formal security proof for many (efficient) cryptographic primitives and protocols, and has been quite impactful in practice. However, the security model also relies on some very strong and non-standard assumptions on how an adversary interacts with a cryptographic hash function, which might be unrealistic in a real world setting and thus could lead one to question the validity of the security analysis. For example, the ROM allows adaptively programming the hash function or observing the hash evaluations that an adversary makes. We introduce a substantially weaker variant of the random oracle model in the post-quantum setting, which we call the non-observable quantum random oracle model (NO QROM). Our model uses weaker heuristics than the quantum random oracle model by Boneh et. al. (Asiacrypt 2011) or the non-observable random oracle model proposed by Ananth and Bhaskar (ProvSec 2013). At the same time, we show that our model is a viable option for establishing the post-quantum security of many cryptographic schemes by proving the security of important primitives such as extractable non-malleable commitments, digital signatures and chosen-ciphertext secure public-key encryption in the NO QROM.
A Tightly Secure Identity-Based Signature Scheme from Isogenies

We present a tightly secure identity-based signature (IBS) scheme based on the supersingular isogeny problems. Although Shaw and Dutta proposed an isogeny-based IBS scheme with provable security, the security reduction is non-tight. For an IBS scheme with concrete security, the tightness of its security reduction affects the key size and signature size. Hence, it is reasonable to focus on a tight security proof for an isogeny-based IBS scheme. In this paper, we propose an isogeny-based IBS scheme based on the lossy CSI-FiSh signature scheme and give a tight security reduction for this scheme. While the existing isogeny-based IBS has the square-root advantage loss in the security proof, the security proof for our IBS scheme avoids such advantage loss, due to the properties of lossy CSI-FiSh. Moreover, we show that the user key size and signature size of our scheme are better than those sizes of existing isogeny-based IBS schemes, under suitable parameter settings.
Inclusion Must Be Inferred by the Reader When Digitalizing Elementary Schools

Digital tools shift pedagogical dimensions which have consequences for education with learning opportunities and sense of belonging for all students. Digital teaching tools have possibilities to adapt to students' needs and create inclusive schools. The aim of this text analysis is to characterize how inclusion is considered in four Swedish school developing projects that digitalize teaching. Inclusion did not have a prominent position. Accessibility was discussed regarding having or not having devices, not how they were used to achieve learning for all students. Descriptions of adapting tools to students are sweeping and general. Students' needs are vaguely described and secondary to teachers' needs. Collaborations between student peers and several professions provided support for learning. Although scientific or theoretical models had shortcomings, research provided support for learning and implementing digital tools in education. Suggestions are made to bolster models to provide further help in developing inclusive digital education.
SPDH-Sign: Towards Efficient, Post-quantum Group-Based Signatures

In this paper, we present a new diverse class of post-quantum group-based Digital Signature Schemes (DSS). The approach is significantly different from previous examples of group-based digital signatures and adopts the framework of group action-based cryptography: we show that each finite group defines a group action relative to the semidirect product of the group by its automorphism group, and give security bounds on the resulting signature scheme in terms of the group-theoretic computational problem known as the Semidirect Discrete Logarithm Problem (SDLP). Crucially, we make progress towards being able to efficiently compute the novel group action, and give an example of a parameterised family of groups for which the group action can be computed for any parameters, thereby negating the need for expensive offline computation or inclusion of redundancy required in other schemes of this type.
The Use of Augmented Reality to Promote Equity and Inclusion

The Fourth Industrial Revolution has impacted the educational sector, thus providing an array of digital technologies, which have become effective, efficient, and innovative media for transmitting knowledge and skills in contemporary times. The purpose of this study was to explore the experience of technology teachers on the use of augmented reality when teaching graphic communication and graphic techniques. This study used a qualitative research approach using semi-structured and observation as data sources. It purposively sampled five teachers who were interested in the use of augmented reality to teach, as such, TPACK was used as its framework. The findings revealed that technology teachers, to a great extent, cannot integrate augmented reality tools during the teaching and learning of graphical communication and graphic techniques. This chapter recommends that the Department of Education should create more opportunities that will expose teachers to these technological advances that are substantive to graphical communication and graphic techniques of learning.
Do Not Bound to a Single Position: Near-Optimal Multi-positional Mismatch Attacks Against Kyber and Saber

The ephemeral-key setting of a lattice-based Key Encapsulation Mechanism (KEM) scheme assumes critical importance when considering certain advanced functionalities, such as forward secrecy. Accidental reuse of the ephemeral key may compromise the scheme’s security and thus underscores the need for examining its keypair-reuse resilience. Keypair-reuse attacks include key mismatch attacks as a special case. In this paper, we propose new key mismatch attacks against Kyber and Saber, NIST’s selected scheme to be standardized for encryption and one of the finalists in the third round of the NIST process, respectively. Our novel idea is to recover partial information of multiple secret entries in each mismatch oracle call. These multi-positional attacks greatly reduce the expected number of oracle calls needed to fully recover the secret key. They also have significance in side-channel analysis. Regarding lower bounds, our new attacks falsify the Huffman bounds proposed in [Qin et al. ASIACRYPT 2021], where a one-positional mismatch adversary is assumed. Our new attacks can be bounded by the Shannon bounds, i.e., the entropy of the distribution generating each secret coefficient times the number of secret coefficients. The proposed attacks are »near-optimal« since their query complexities are close to the Shannon bounds.
Feature Fusion Based on Transformer for Cross-modal Retrieval

Abstract With the popularity of the Internet and the rapid growth of multimodal data, multimodal retrieval has gradually become a hot area of research. As one of the important branches of multimodal retrieval, image-text retrieval aims to design a model to learn and align two modal data, image and text, in order to build a bridge of semantic association between the two heterogeneous data, so as to achieve unified alignment and retrieval. The current mainstream image-text cross-modal retrieval approaches have made good progress by designing a deep learning-based model to find potential associations between different modal data. In this paper, we design a transformer-based feature fusion network to fuse the information of two modalities in the feature extraction process, which can enrich the semantic connection between the modalities. Meanwhile, we conduct experiments on the benchmark dataset Flickr30k and get competitive results, where recall at 10 achieves 96.2% accuracy in image-to-text retrieval.
Detection Accuracy of Colorimetric Water Quality Analyzer

Abstract The accuracy of the titration device for colorimetric water quality analysis is the key to its detection accuracy. In order to solve the problem of excessive titration of traditional Chinese medicine in the traditional titration method, a structure optimization scheme of a micro-peristaltic pump applied to a water quality analyzer was designed. By analyzing the phenomenon of periodic water backflow and the “creep” of the pump tube when the peristaltic pump is working, the pump tube is changed from a traditional circular section to an elliptical section; the eccentricity of the pump tube section is adjusted to improve the pressure characteristics of the pump tube and reduce the effect of the “creep”; Ansys is used for solid-fluid coupling and simulation and compared with the experimental results, and the reasons for the differences are analyzed. The experiment proves that the design scheme can improve the stability of the output flow compared with the original design, and the degree of reflux is also reduced to 20.72%, which meets the need of improving the detection accuracy of the water quality analyzer.
A Fast Reconstruction Algorithm for Stereolithography File Topology Based on Hash Tables

Abstract Aiming at the problem of redundant data and loss of original topological relations in the conversion of 3D models into STL files in the engineering manufacturing process, a hash table structure based on the square-taking method and the chain table method is established based on extracting the information storage characteristics of STL files, and a fast reconstruction algorithm based on the hash table for the topological relations of STL files is proposed. The hash table is used to merge redundant point data, and the topological reconstruction of the model is completed by using the point table and face table structure to store the index value relationships of the vertex and face pieces. Finally, four example models are verified respectively. The verification results show that the algorithm reduces the storage space of STL files by 91% on average, and the topology reconstruction time is reduced by 25%, which improves the efficiency of processing such as layering and region division in subsequent manufacturing.
Fractional-Valued Modal Logic and Soft Bilateralism

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Trajectory Optimization of Long-Range Guided Rocket-Propelled Vehicle Based on Pseudo-spectral Sequential Convex Programming

Abstract Aiming at the trajectory optimization problem of long-range guided rocket-propelled vehicles with multiple constraints, an improved pseudo-spectral sequence convex programming, which takes into account the efficiency and accuracy of optimization, is proposed. First, taking the change rate of the angle of attack and the bank angle as the control variables, the vehicle’s dynamic equation is discretized by using the flipped Radau pseudo-spectral method, and the trajectory optimization problem including start, end, and path constraints is transformed into a convex optimization problem by using the continuous linearization method, and then the solution is obtained by using the original dual interior point method. To make the optimized trajectory near the no-fly zone or the severe weather area more accurate, the concept of the predicted separation point is introduced to subdivide the trajectory. The simulation results show that the improved pseudo-spectral sequence convex programming has high discretization accuracy and fast solution speed, and can be applied to the online use of long-range guided rocket-propelled vehicles.
State Public Scientific Technological Library of the SB RAS: a century-long journey

One of the largest libraries in Russia on the Eurasian continent, the State Public Scientific Technological Library of the Siberian Branch of the Russian Academy of Sciences (SPSL SB RAS) in 2023 celebrates its 105th anniversary from the date of foundation (Moscow) and the 65 th anniversary of its activity in the Siberian region (Novosibirsk). The library’s main periods of development from 1918 to the present are considered.
Maverick: a smart mobile application-based automated system to combat food insecurity and ensure efficient monitoring for the school mid day meal feeding in developing countries

To eradicate malnutrition problem in rural areas of developing countries like Bangladesh, the Government of Bangladesh started school feeding programme as a pilot project. But the current operational structure of the programme does not provide varying nutritious foods and has no reliable monitoring system. To eradicate the problems, this paper proposes a complete solution residing in a mobile application for school feeding programme. This paper provides a meal generation system based on remaining budget, attendance on each day, nutrition, and students' preference. After serving the selected meal, the meal serving process is monitored by first recognising students who were present before serving the meal through face recognition and then recognising if the selected meal was served through food recognition. The evaluation result verifies that our food recognition model achieves up to 98% precision and almost 80% of users are satisfied with our android application features for the school feeding programme.
The impact of snow losses on solar photovoltaic systems in North America in the future

The percent change in solar photovoltaic potential lost due to snow cover for the optimistic SSP126 scenarios between 2019 and 2040.
Library and Information Activity on Promoting Historical and Cultural Heritage Among the Youth

The article defines the main directions of library and information activities to popularize the historical and cultural heritage among the youth; the problems of cultural values influence on the spiritual and moral development of young people are considered. It is stated that in working with youngsters to promote the historical and cultural heritage of Russia, traditional and innovative forms of enlightenment and educational practices remain in demand. The mechanisms for promoting cultural values of the country in the educational, cultural and leisure activities of library institutions are revealed on the example of the State Universal Scientific Library of the Krasnoyarsk Territory. The experience of the regional library in the implementation of social and cultural projects aimed at forming the national and civic identity of young people is reflected. It is indicated that the socio-cultural design of the library is a unique technology that can systematically perform operations and procedures, ensure the reliability of results, and the flexibility of implementation. The features of the organization of project activities are highlighted - information, consulting and subscription services, information support for self-education of participants in each project. The creation in the library of the historical and cultural space “The Book Heritage of Krasnoyarsk”, which during the project contributed to the convergence of the value orientations of young people and older people, made it possible to use diverse innovative forms of promoting cultural and historical heritage. It is noted that the library projects helped to convey to the youth the cultural traditions of the peoples of Russia, the Krasnoyarsk Territory, brought the organization of educational events to upgrade the book culture to a higher qualitative level, created conditions for the use of modern technologies. Project initiatives result in the library becoming a powerful tool for the cultural and reproductive activities of young people in mastering the most important achievements of Russian culture through access to information resources, the main component of which is the book.
Some basic concepts of algebraic calculus in tensors

In this paper we discuss about algebraic calculus from the tensors.Some of the basic problems are lying to basics nature of that underlying the space with geometry.We made to survey certain instance of finite dimensional spaces also covers instance of infinite dimensional vector spaces.
Development and Implementation of a Web-Based Citizen Data Management System for Village Administration: A Case Study of Keboan Anom Village, Sidoarjo, Indonesia

This research focuses on the development and implementation of a web-based citizen data management system in Keboan Anom Village, Sidoarjo, Indonesia. The aim of the study is to enhance the efficiency and effectiveness of citizen data recording and management processes. The System Development Life Cycle (SDLC) Waterfall model is employed as the methodology for system development, ensuring an organized and systematic approach. Data collection involves semi-structured interviews and unstructured observations, targeting the village's RT 01 (neighborhood association) officials. The application features two key functions: citizen registration, including permanent and non-permanent residents, and a comprehensive data summary. Access to these functions is limited to the RT Secretary and the RT Chairman. The implementation of the system provides improved data management and financial tracking capabilities, enabling simplified reporting. The web-based platform ensures accessibility for RT officials and residents with internet connectivity. Black box testing confirms the functionality of the website and its compliance with expected outputs. The results demonstrate that the application supports the transformation of Keboan Anom Village into a more efficient and technologically connected Digital Village. Future research is suggested to examine community participation levels in using the citizen data management application and its impact on decision-making and overall village governance, incorporating participatory approaches to understand the perspectives and active involvement of Keboan Anom Village residents.&#x0D; Highlight:&#x0D; &#x0D; Efficient citizen data management: The development of a web-based application for citizen data management in Desa Keboan Anom enables efficient recording and documentation of resident information, improving data accuracy and accessibility.&#x0D; Technological transformation: The implementation of the web-based system contributes to the realization of a Digital Village concept, facilitating efficient and technology-connected administration in Desa Keboan Anom, Sidoarjo.&#x0D; Participatory approach: Future research should focus on evaluating community participation levels and the impact of the citizen data management application on decision-making and overall village governance, utilizing a participatory approach to gain insights and foster active involvement of Keboan Anom Village residents.&#x0D; &#x0D; Keyword:&#x0D; Keboan Anom Village, Citizen Data Management, Web-Based Application, Efficiency, Participatory Approach
Exact dynamics of multimode periodic input states in coupled waveguide arrays

Abstract In this work, we investigate the quantum state reconstruction of the periodic input state in a 1-D waveguide array. In particular, we consider a single-photon multimode entangled W-state with different periodicities as an input to the array and study the effect of periodicity in the output. For comparison, we also study separable single photon periodic input states. We study the evolution of average photon number and the fidelity of the periodic input state and give the exact solution to investigate the revival of single photon multimode periodic input. Our solution is valid for any number of waveguides in the array. Our findings show the revival of the average photon number and almost complete quantum state reconstruction of the initial multimode entangled state for certain periodicities. The results reported here are significant because multimode-entangled states are essential resources for various applications in the physical implementation of photonic quantum technologies.
Monotonic learning with hypothesis evolution

A machine learning algorithm is monotonic if it returns a model with better performance when trained with a larger data set. Monotonicity is essential in scenarios when a learning algorithm is working with continually collected data, as non-monotonicity may result in unstable performance and a huge waste of resources during the learning process. However, existing learning algorithms working in scenarios such as online learning, domain incremental learning and reinforcement learning hardly address the monotonicity issue. In this paper, we propose an evolutionary framework that focuses on the enforcement of monotonicity for a learning algorithm over streaming data feeds. In each iteration, training is triggered by a new collection of incoming data, which consequently creates a new generation of hypotheses, and only a portion of the generation with best performance is retained for the next round based on a novel statistical hypothesis test. We carry out experiments on DNN models with continual data feeds constructed from MNIST, CIFAR-10, SST-2 and Tiny ImageNet. The results justify that our approach can significantly increase the probability of locally monotonic updates on the generated learning curves for the trained models and outperforms the state-of-the-art methods on that purpose.
3D Object Detection

This chapter provides an overview of 3D object detection methods, starting with an introduction to sensors and datasets commonly used in autonomous driving in Sects. 2.1 and 2.2 , respectively. Based on the existing work on sensor modalities, the discussion will be summarized into single sensor-based methods, point cloud-based methods and fusion methods. In Sect. 2.5 , a paper is selected and combined with open-source code to discuss 3D object detection. Finally, in Sect. 2.6 , current research challenges and future research directions are discussed as follows:
Brain tumor segmentation using UNet-few shot schematic segmentation

Early finding and determination of a proper therapy technique will build the endurance of people with cancer. A key step in the diagnosis and treatment of brain tumors is accurate and reliable segmentation. Given its uneven shape and opaque borders, gliomas are among the most difficult brain cancers to detect. Because of significant differences in their design, programmed division of glioma brain growths is a fluid topic. Improved UNet-based designs for the automatic segmentation of brain tumors from MRI images are reported in this article. Training semantic division models requires an enormous measure of finely clarified information, making it challenging to quickly acclimatize to unfamiliar classes that don’t meet this requirement. The original Few Shot Segmentation attempts to address this issue but has other flaws. Hence in this paper a generalized Few-Shot Schematic Segmentation is discussed to break down the speculation capacity of at the same time sectioning the original classifications with the base classes and adequate models. A Context-Aware Prototype Learning (CAPL) which is used for improving the performance by utilizing the co-occurrence of earlier information from help tests and progressively enhancing logical data to the classifier, molded on the substance of each question picture. Results reveal the outperformance of the developed model.