Reviewerly/exHarmony huggingface dataset:
On the Security of NTS-KEM in the Quantum Random Oracle Model

NTS-KEM is one of the 17 post-quantum public-key encryption (PKE) and key establishment schemes remaining in contention for standardization by NIST. It is a code-based cryptosystem that starts with a combination of the (weakly secure) McEliece and Niederreiter PKE schemes and applies a variant of the Fujisaki-Okamoto (Journal of Cryptology 2013) or Dent (IMACC 2003) transforms to build an IND-CCA secure key encapsulation mechanism (KEM) in the classical random oracle model (ROM). Such generic KEM transformations were also proven to be secure in the quantum ROM (QROM) by Hofheinz et al. (TCC 2017), Jiang et al. (Crypto 2018) and Saito et al. (Eurocrypt 2018). However, the NTS-KEM specification has some peculiarities which means that these security proofs do not directly apply to it. This paper identifies a subtle issue in the IND-CCA security proof of NTS-KEM in the classical ROM, as detailed in its initial NIST second round submission, and proposes some slight modifications to its specification which not only fixes this issue but also makes it IND-CCA secure in the QROM. We use the techniques of Jiang et al. (Crypto 2018) and Saito et al. (Eurocrypt 2018) to establish our IND-CCA security reduction for the modified version of NTS-KEM, achieving a loss in tightness of degree 2; a quadratic loss of this type is believed to be generally unavoidable for reductions in the QROM (Jiang et al. ePrint 2019/494). Following our results, the NTS-KEM team has accepted our proposed changes by including them in an update to their second round submission to the NIST process.
Brief Discussion on the Application of Micro Course in the Flipped Classroom of Professional English in Higher Vocational Education—Taking Hotel English as an Example

With the development of science and technology, information-based teaching methods have gradually become popular. Teaching methods such as pictures + video + interesting animation have improved the traditional teaching mode, made the classroom alive, and increased students' interest in learning. This article uses the "micro class" combined with the "flip class" teaching mode, allowing the "micro class" to enter the hotel English teaching and the pre-learning and post-learning , which used in English class in colleges and universities, so that students have more opportunities to contact English . Combined with the situation in the hotel work, students can understand the application of hotel English more deeply. This article takes "Hotel English" teaching as an example, analyzes the applicability of micro-learning applied teaching courses in hotel English, conducts feedback research on the design and effect of practical processes, finds out problems and proposes suitable teaching methods for the course, in order to the purpose of teaching reform. The core content of "micro class" is the classroom teaching video (lesson clip). Students are not easy to get tired and absorb the teaching content in the learning process. The content of the micro course includes the teaching design, material courseware and so on. According to the teaching theme and teaching thoughts, micro course can make "small environment" for learner. . For the students of Higher Vocational Education, "micro class" learning time is not long and easy to master knowledge. Before class, students learn and preview the teaching content by watching videos and other ways on micro course. In class, teachers check the students' learning situation through interactive mode. It can arouse the students' memory, improve the students` learning efficiency. Hotel English in professional English of Higher Vocational Education is the core course of hotel management. Its main teaching objective is to cultivate students' practical ability of listening, speaking and translating in the hotel workplace environment, and train students' basic skills of hotel service. In the process of hotel English teaching, teachers must create a working environment atmosphere and pay attention to the three-dimensional training and practice of listening, speaking and translating based on the completion of hotel tasks. The application of micro class teaching mode provides a huge space and platform for English teaching, and provides students with more intuitive situational teaching.
Contextual Grounding of Natural Language Entities in Images

In this paper, we introduce a contextual grounding approach that captures the context in corresponding text entities and image regions to improve the grounding accuracy. Specifically, the proposed architecture accepts pre-trained text token embeddings and image object features from an off-the-shelf object detector as input. Additional encoding to capture the positional and spatial information can be added to enhance the feature quality. There are separate text and image branches facilitating respective architectural refinements for different modalities. The text branch is pre-trained on a large-scale masked language modeling task while the image branch is trained from scratch. Next, the model learns the contextual representations of the text tokens and image objects through layers of high-order interaction respectively. The final grounding head ranks the correspondence between the textual and visual representations through cross-modal interaction. In the evaluation, we show that our model achieves the state-of-the-art grounding accuracy of 71.36% over the Flickr30K Entities dataset. No additional pre-training is necessary to deliver competitive results compared with related work that often requires task-agnostic and task-specific pre-training on cross-modal dadasets. The implementation is publicly available at this https URL.
LibGuides: Active Reading and Notetaking Skills for Research: Reading and Note-taking Skills for Research

This tutorial consists of short instructional videos that introduce you to effective strategies for reading and notetaking for research projects.
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists.

A considerable corpus of research on software evolution focuses on mining changes in software repositories, but omits their pre-integration history. We present a novel method for tracking this otherwise invisible evolution of software changes on mailing lists by connecting all early revisions of changes to their final version in repositories. Since artefact modifications on mailing lists are communicated by updates to fragments (i.e., patches) only, identifying semantically similar changes is a non-trivial task that our approach solves in a language-independent way. We evaluate our method on high-profile open source software (OSS) projects like the Linux kernel, and validate its high accuracy using an elaborately created ground truth. Our approach can be used to quantify properties of OSS development processes, which is an essential requirement for using OSS in reliable or safety-critical industrial products, where certifiability and conformance to processes are crucial. The high accuracy of our technique allows, to the best of our knowledge, for the first time to quantitatively determine if an open development process effectively aligns with given formal process requirements.
A Preliminary Study of the Vocational Education of Chinese Art from the Perspective of Market

The development of the educational industry lied on the different market requirement about talent, and the arts vocational education calls for the practicability and market demand. It plays an important role in cultivating play actors, musical performance and so on. They are the important tasks that arts vocational education adapting better the market demand in the future, constructing reasonable the speciality knowledge framework and organizing the speciality knowledge content. After our country attending the WTO, the socialism market economy will demand intensively the arts talent. Therefore it will accelerate the arts vocational education development. Arts vocational education and the development of economy strengthen contact with the high vocational college and the development of economy strengthens contact. The phenomenon hastens the arts vocational education pay attention to bring up the talent and meet the market requirement. Finally there are new education pattern, it emphasize the arts and vocational education, accomplishment and skill, curriculum and practice keeping combine.
Colour Sensitive Image Segmentation Using Quaternion Algebra

In colour image segmentation, a few vector filters are useful, and they are not well applicable. The segmentation tools which are still available, not also colour sensitive. In this paper, we present an approach for color sensitive segmentation method by using the color sensitivity property of hyper complex or quaternion algebra. The filter is based on quaternion convolution and impulse response is determined using modified gray centered RGB color cube. This method demands that every color can be segmented by choosing suitable impulse response.
Parallel approaches of genetic algorithm in the MIC architecture of the Intel Xeon Phi

Today, genetic algorithms are widely used in many fields such as bioinformatics, computer science, artificial intelligence, finance ... Genetic algorithms are applied to create high quality solutions for complex optimization problems in the above industries. There have been many studies based on the proposed new hardware architecture that aims to speed up the execution of genetic algorithms as quickly as possible. Some studies suggest parallel genetic algorithms on systems with multicore CPUs and / or graphics processing units (GPUs). However, very few solutions propose a genetic algorithm that can be run on systems that use the new Intel Xeon Phi co-processor (Intel Many-Integrated Core (MIC) architecture). For that reason, we propose and develop the study of the genetic algorithm on high-performance computing systems with Intel Xeon Phi co-processors. This study will present the results of parallel approaches of genetic algorithm on one and more Intel Xeon Phi co-processors by the following methods: (i) Intel Xeon Phi programming model Offload and Native; and (ii) a combined model of MPI and OpenMP. The proposed genetic algorithm can find the optimal schedule for the energy-efficient scheduling problem of virtual machines on physical machines with the goal of minimization total energy consumption. The results of the simulations show the feasibility of implementing a genetic algorithm on one or many Intel Xeon Phi. Genetic algorithm on one or more distributed Intel Xeon Phi always results in faster algorithm execution time than sequential genetic algorithm and the ability to find better solutions using more Intel Xeon Phi. This research result can be applied to other meta-heuristic like TABU search, Ant Colony Optimization.
MOBILE TECHNOLOGY AS A GOAL AND MOTIVATION IN TEACHING AND EVERYDAY USE

Internet access is higher from mobile devices than from desktops. Users use mobile devices and mobile applications more than desktops and desktop applications. Many children no longer use desktop applications and prefer mobile applications. And not only for internet access but also for communication tools and games. This article deals with the use of mobile technologies among students. Research shows that mobile technology is essential for students. The article describes the possibilities of using mobile technologies in education and practical use. This article describes the difficulties and benefits of mobile technology. The author of the article shows how it is possible to contribute to better and more efficient use of mobile technologies in teaching the development of mobile applications. Case studies conducted with high school and university students describe the possibilities of teaching mobile application development. These studies show opportunities in the development of the recent use of mobile technologies as well as more efficient teaching of algorithmization and programming. The results of the survey show that mobile technologies can also serve as an incentive for learning.
Better Secret-Sharing via Robust Conditional Disclosure of Secrets.

A secret-sharing scheme allows to distribute a secret s among n parties such that only some predefined “authorized” sets of parties can reconstruct the secret, and all other “unauthorized” sets learn nothing about s. For over 30 years, it was known that any (monotone) collection of authorized sets can be realized by a secret-sharing scheme whose shares are of size 2 n−o(n) and until recently no better scheme was known. In a recent breakthrough, Liu and Vaikuntanathan (STOC 2018) have reduced the share size to 20.994n+o(n), which was later improved to 20.892n+o(n) by Applebaum et al. (EUROCRYPT 2019). In this paper we improve the exponent of general secret-sharing down to 0.637. For the special case of linear secret-sharing schemes, we get an exponent of 0.762 (compared to 0.942 of Applebaum et al.). As our main building block, we introduce a new robust variant of conditional disclosure of secrets (robust CDS) that achieves unconditional security even under bounded form of re-usability. We show that the problem of general secret-sharing reduces to robust CDS with sub-exponential overhead and derive our main result by implementing robust CDS with a non-trivial exponent. The latter construction follows by presenting a general immunization procedure that turns standard CDS into a robust CDS.
Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution

In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to incre ...
Semantic Web for Machine Translation: Challenges and Directions

A large number of machine translation approaches have recently been developed to facilitate the fluid migration of content across languages. However, the literature suggests that many obstacles must still be dealt with to achieve better automatic translations. One of these obstacles is lexical and syntactic ambiguity. A promising way of overcoming this problem is using Semantic Web technologies. This article is an extended abstract of our systematic review on machine translation approaches that rely on Semantic Web technologies for improving the translation of texts. Overall, we present the challenges and opportunities in the use of Semantic Web technologies in Machine Translation. Moreover, our research suggests that while Semantic Web technologies can enhance the quality of machine translation outputs for various problems, the combination of both is still in its infancy.
Fabricated Pictures Detection with Graph Matching

Fabricating experimental pictures in research work is a serious academic misconduct, which should better be detected in the reviewing process. However, due to large number of submissions, the detection whether a picture is fabricated or reused is laborious for reviewers, and sometimes is unrecognizable with human eyes. A tool for detecting similarity between images may help to alleviate this problem. Some methods based on local feature points matching work for most of the time, while these methods may result in mess of matchings due to ignorance of global relationship between features. We present a framework to detect similar, or perhaps fabricated, pictures with the graph matching techniques. A new iterative method is proposed, and experiments show that such a graph matching technique is better than the methods based only on local features for some cases.
LibGuides: Student Support for Remote Learning: Other Resources

Your guide and resource for everything you need to prepare for and conquer remote learning. Stay connected, engaged, and involved beyond the remote classroom.
Library Research Guides: GWC Digital Tools for Teaching: Home

Links and resources for faculty and staff, presented at Flex Day - Spring 2020. Links and resources presented at Flex Day, Spring 2020
About domestic press machine immediately after World War II considered through the press machine manufactured by Shikoku machine in 1947

The Toyota Commemorative Museum of Industry and Technology reproduces the production process of forged parts for automobiles from the 1930s to the 1940s, and performs a dynamic display with demonstrations. This time, a complete overhaul of one of the exhibited presses, the 200T press made by Shikoku machine (now Sumitomo Heavy Industries), was conducted. This press machine revealed that it was manufactured immediately after the WWII in 1947. As part of the postwar US government's occupation policy, 600,000 of the 750,000 machine tools remaining in Japan were seized. As a result, press machines were manufactured despite the shortage of reconstruction machines and the supplies. This press machine was manufactured in poor materials and machine tools, so the quality and machining accuracy was insufficient, but there are many traces of repeated skill and ingenuity to fulfill the function of the press machine.
Library Guides: eBooks and audiobooks: Big Library Read

Stuck at home in lockdown? Here are Kerferd Library eBooks and audio books you can use from home
The role and importance of pedagogical technologies in the development of entrepreneurial competences in students

The article discusses the role of pedagogical technologies in the development of entrepreneurial competencies in young people. In particular, the case studies technology and its application, and its effectiveness. In the system of higher education, there are 44 inter-faculty faculties on the formation of entrepreneurial competence in the theory of economics, taxes and taxation, and future economists on the basis of the existing curriculum 44 training. They form common economic thinking and knowledge in students. Effective development of the national economy, modernization of its structure, achievement of competitiveness of the national economy and welfare of the population as a result of macroeconomic stability are the priorities of today's economic policy. In this respect, the case method has a wide range of capabilities that allow it to properly evaluate various complex situations and to learn how to effectively cope with this situation. Especially in the form of a modeling game, it allows you to achieve the expected result. Therefore, this technique is often used as an imitation method. The relevance and scientific novelty of the topic is that the use of case studies technology in students’ development of entrepreneurial competence has not been studied as a separate research object. Therefore, this technique is often used as an imitation method. The difference between this method and the other is that the student learns the problem and draws conclusions, makes decisions, and how to get out of it. This method requires students to gain a thorough knowledge. Because decision-making requires knowledge not only of economics, but also of business, organization of business, information and work with them, sociology, psychology and other disciplines.
Covid-19 UMP activates virtual classes

KUANTAN: Universiti Malaysia Pahang (UMP) is the latest higher learning institution in the country to activate e-learning for its students in a move to curb the spread of Covid-19.
Cloud Resources Reassignment Based on CPU and Bandwidth Correlation

Using virtualization, cloud environments satisfy dynamically the computational resource necessities of the user. The dynamic use of the resources determines the demand of working hosts. Through virtual machine (VM) migrations, datacenters perform load balancing to optimise the resource usage and solve saturation. In this work, a policy is implemented to choose which virtual machines are more suitable to be migrated. The policy evaluates, for each VM, both the CPU load and the Network traffic influence on the assigned host. The corresponding Pearson correlation coefficients are calculated for each one of them, and then, they are evaluated together. The main goal is clearly to identify and then migrate the VMs that are responsible of the Host saturation but also considering their communications. Using the CloudSim simulator, the policy is compared with the rest of heuristic techniques in the literature, resulting in a reduction of 72% in the number of migrations, and thus reducing the use of bandwidth (12%), network saturation (32%) and over-saturated hosts (13%).
Research on the Deep Integration Development of Higher Vocational Electronic Commerce Education and Innovation and Entrepreneurship Education

Innovation and entrepreneurship education emphasizes on cultivating students' ability to choose jobs and competence, so that students can better face the challenges and opportunities brought by social development. Based on the lack of traditional professional education, in the new era, the integration of innovative and entrepreneurial education and professional education is of great significance in cultivating students' knowledge utilization ability, practical ability, and innovation and entrepreneurship ability. In this regard, this article takes higher vocational e-commerce professional education as the research object, analyzes the current situation of higher vocational e-commerce professional education, discusses the overview of innovation and entrepreneurship education, and the value of integration with higher vocational e-commerce professional education. The strategy of deep integration of education and innovation and entrepreneurship education aims to make students better employment and entrepreneurship.
"GREEN" SKILLS FORMATION IN RUSSIAN UNIVERSITIES

E. Kriukova1, E. Goryacheva1, A. Djabakova1, E. Selivanova2 1Moscow State University of Food Production (RUSSIAN FEDERATION) 2Russian Presidential Academy of National Economy and Public Administration (RUSSIAN FEDERATION)