Reviewerly/exHarmony huggingface dataset:
Classical Solutions for Quantum Challenges: An Introduction to Postquantum Cryptography

Quantum computing has tremendous potential to change the world by solving many previously unsolvable problems. However, with this tremendous computational power comes threats to our existing technologies safeguarding the world's communication channels and data storage. Specifically, it threatens our standardized and widely deployed cryptographic systems that are in use today. These existing cryptosystems are based on mathematical techniques that are difficult (essentially infeasible) for a classical computer to solve. Quantum computing presents a threat since many previously infeasible problems are likely to become feasible or even easy to solve by a quantum computer. This paper briefly reviews quantum computing and its properties before studying related work into postquantum cryptography. The eventuality of quantum computing is discussed based on readily available research and public information, in addition to expert opinion, which then provides insight into the eventuality of postquantum cryptography and the validity of action, or inaction, around this research. Further topics focus on the standardization of postquantum cryptosystems, and future research trends and opportunities in the field of postquantum cryptography.
Is Copyright Law the New Turing Test?

In December 2023, the New York Times Company filed a lawsuit against OpenAI and Microsoft for the "defendants' unlawful use of The Time's work to create artificial intelligence products..." [8]. While this lawsuit alone should interest the Computers and Society community, it struck me that its eventual judgment might serve as an interesting exhibit as to whether computers are creative in their intelligent thinking? 1 This Parting Opinion focuses on this question. As usual, I'll present some background context to set the stage , before diving into the primary question at hand. As a bit of nostalgia, let's begin with the early days of Artificial Intelligence (AI) and quickly move to the present.
Increasing the efficiency of independent work of higher education acquisitions under the conditions of distance education

Independent work is an important component of professional training of specialists in the higher education system. The paper considers the importance o f independent work of higher éducation learners in the organization o f distance learning. It is aimed at mastering and consolidating the theoretical knowledge acquired by the student during his studies, deepening them, as well as acquiring and improving professional skills and abilities, competencies in accordance with the chosen specialty. Independent work maximally develops creative thinking, individual abilities, and research skills of higher education students, allows training of proactive specialists, develops scientific intuition, depth of thinking, creative approach to knowledge perception, and practical application in solving certain tasks. The transition to distance learning has significantly increased the role of independent work for higher education students. Distance learning is not just a tribute to fashion or a desire to copy the successful educational solutions of developed countries. It has been revealed that the teacher can create problem-based situations at all stages of the learning process, namely: when explaining, consolidating the material, during control of knowledge, when directing students to solve it. It has been found that the students' independent work obtains importance in distance learning mode. Distance education is not just a tribute to fashion or a desire to copy the successful educational decisions of developed countries. At the heart of the distance educational process is the independent cognitive activity of learners, self-education, the opportunity not only to instill the skills of independent acquisition of new knowledge, but, most importantly, their practical use. The popularity of distance education is due to the flexibility and availability of these technologies. Increasing the number of extracurricular hours encourages teachers to seek new forms of teaching material, to develop new teaching methods, as well as ways to manage self-independent cognitive activity of students, which are the basis of modern educational technologies. Distance education is a fundamentally new, high-tech approach to the process of knowledge transfer, a very flexible education system that helps to solve these problems. The advantages of distance learning systems of providing educational process have been identified. It is emphasized that the using of social networks in the organization of independent educational activity provides an opportunity to develop communication skills, enhance the information culture, exchange views during the performance of educational tasks. It is noted that for the effective organization of independent educational activities of higher education applicants must be developed appropriate methodological advices and documents.
EDUCATIONAL TECHNOLOGIES IN TEACHING PRACTICE – AN IMPORTANT TOOL FOR EDUCATION QUALITY IN HIGHER SCHOOLS

The article raises the question of the importance of using educational technologies (information, cooperative learning, modeling, projective, etc.) by teachers of higher schools, which are an important tool for the effectiveness of the educational process and its quality control. The contribution of domestic researchers to the study of the problem of using educational technologies is analyzed. The essence of the concepts "educational technology" and "pedagogical technology" is revealed. Educational technologies identify the general strategy for the development of education, a single educational space; their purpose is to forecast the development of education, its specific design and planning, prediction of results, as well as determination of standards corresponding to educational goals. Educational technologies are a broad concept that includes pedagogical technologies, which include educational, educational technologies and management technologies. Educational technologies are also socio-educational and information-communication technologies, which are end-to-end, cross all selected groups of technologies, are used in education, education (social education) and management. Attention is paid to determining the essence and features of the use of project technology in teaching practice, an example is given, the basic requirements for the organization of students' project activities and the teacher's role in this process are prescribed, and the conditions for the development of an educational project are defined. During the study of educational disciplines of the pedagogical cycle, teachers most often use informational, research, creative projects; in terms of content, they can be interdisciplinary, extracurricular and mono-subject; according to the method of implementation, projects are classified into individual and collective (pair, group). Project technology provides a transition from traditional educational technologies to a new type of learning, strengthens its developmental nature, provides for joint, justified, planned and conscious activities of partners.
Assertion, Assumption, and Deduction

This paper concerns the connection between speech act theory, especially the theory of assertion, and deduction, especially Natural Deduction. From a very abstract point of view, an assertion of a content p can be described as the ascription of the property of being p to the actual index, or point of evaluation. This is the abstract characterization of assertoric force. Let's assume that the actual index is a possible world, namely the actual world. Thus, the conclusion of a closed argument, as an act, is an assertion, and thereby characterized as the ascription of the conclusion content as a property to the actual world. The question that will concern us in this talk is how this idea extends to the status of other acts in the practice of Natural Deduction. In these terms, what is the force of an inference that depends on one or more open assumptions? What is the force of the assumption itself? What is the force of an assertion that depends on an entire derivation? Do we need to ascribe a force to the derivation as a whole? Is there a coherent complete theory of act forces of Natural Deduction along these lines? What is the relation of such a theory to the theory of validity of an argument?
From Proof-Objects to Grounds

The paper is devoted to an examination of the epistemic account of the notion of deductive inference recently provided by D. Prawitz, and based on the notion of ground. This is part of the general scenario constituted by the "Proof-theoretic semantics", presented since the '70s of the last century as an alternative to the standard model-theoretic explication of the notion of logical consequence. Our argument pivots on the so-called "Curry–Howard Correspondence", which exploited the idea of considering proofs as proper mathematical objects in a remarkable way. A sort of rational reconstruction of this idea is outlined, tracing it back to Hilbert and Husserl's investigations.
Martin-Löf on the Validity of Inference

An inference is valid if it guarantees the transferability of knowledge from the premisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting explanation is the main topic of this article.
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to the natural deduction framework, Girard's mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz's ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi.
A Comparative Analytics for Dynamic Load Balancing Mechanisms Intended to Improve Task Scheduling in Cloud Computing With Security Challenges

Cloud computing refers to a network of computing resources (servers, networks, applications, hardware, and software) interconnected globally. A good usage technique for resource utilization is load balancing. The practice of reassigning the total load to the individual nodes in a particular network is known as task distribution in the cloud. Since there is now no specific research carried out to perform comparative analytics in terms of different parameters of scheduling of task-based algorithms, it is crucial to develop a consistent comparison mechanism among them. FCFS, SJF, OLB, and GPA are the scheduling algorithms that are explored. Distribution of tasks is the main concern of crucial elements that boosts performance and optimizes resource usage. This study surveys the various scheduling methods employed by cloud service providers. There are so many scheduling approaches available to optimize performance and minimize execution time. It also discusses the security challenges in the cloud according to infrastructure and services.
Cloud Security Based on Data Fragmentation and Improved Encryption for Optimal Performance

In the adoption of cloud computing technology, the data security of customer data is prime research these days. The user gets access of the cloud resources that are hosted over the internet that can be hijacked by the attacker. In one example, the access of the virtual machine (VM) as a dedicated resource is given to the end user by the CSP; and when the end user is accessing these resources through an internet-connected PC, there is a possibility of security violation by the attacker, who can take full control of the data. Most of the intrusion detection and prevention system implemented over the cloud infrastructures is rule-based and therefore are only capable to detect the known threats. This research work addressed the security problem by a) selection of optimal data security algorithm, and b) data fragmentation and distribution of data blocks over the multiple cloud nodes that make it difficult to guess about the actual data and its location.
Load Balancing Using Swarm Intelligence in Cloud Environment for Sustainable Development

Load balancing plays a vital role in the effective management of resources within cloud computing environments. As the use of cloud technologies continues to expand rapidly, it becomes increasingly important to ensure efficient allocation of resources and address performance issues. The utilization of load balancing techniques becomes crucial in the distribution of workloads across multiple servers, thereby optimizing resource usage and enhancing system performance. Swarm intelligence-based load balancing presents a promising approach to achieving sustainable resource allocation in cloud environments. By leveraging self-organization and decentralized decision-making principles, swarm intelligence algorithms can optimize resource utilization, minimize energy consumption, and improve overall system performance. This chapter offers a comprehensive overview of this topic, emphasizing the potential advantages, challenges, and future directions associated with load balancing using swarm intelligence within the context of sustainable development in cloud environments.
Adoption of Green Cloud Computing for Environmental Sustainability

Individuals worldwide are increasingly embracing new technology, dedicating more time to portable devices, and contributing to high energy consumption and carbon emissions in the IT industry. Green cloud computing aims to optimize energy efficiency, promote renewable energy sources, and implement eco-friendly practices in cloud computing infrastructure. By prioritizing energy conservation and sustainable production, it plays a vital role in mitigating environmental challenges. This chapter analyzes factors impacting energy consumption in cloud computing, emphasizing power efficiency and energy-efficient mechanisms in data centers. It also highlights the role of cloud users in achieving sustainable cloud computing and emphasizes the importance of energy-performance. Authors have proposed steps to reduce carbon emissions in data centers and conserve power at home. Adopting green cloud computing practices contributes to protecting the environment and advancing sustainable development goals through advanced technologies.
RESPONS SISWA TERHADAP MEDIA PEMBELAJARAN BERBANTUAN POWTOON PADA PEMBELAJARAN TEKS NEGOSIASI SISWA KELAS X

This research article aims to determine students' responses to powtoon learning media, and to determine the ability to write negotiating texts with powtoon-assisted learning media. The method used in this study is descriptive qualitative method with data collection techniques using questionnaires and tests. Learning is done with the Discovery Learning learning model. Based on the results of the study, it was shown that student responses obtained an average percentage of 84.53%, it can be concluded that the use of instructional media has received a good enough response to be used in learning, and from the results of the recapitulation of knowledge and skills tests the average value of knowledge and students' skills after using learning media is 91.6%. Thus it is stated that the students' abilities in understanding and writing negotiating texts are categorized very well. Based on the results of the discussion, it was concluded that powtoon learning media can be used in the process of learning activities, especially in learning negotiating text for class X high school students. Powtoon-assisted learning media is also effective in the role of increasing learning motivation and especially in the results of writing skills
ANALISIS KESALAHAN EJAAN BAHASA INDONESIA PADA ABSTRAK SKRIPSI MAHASISWA PROGRAM STUDI PENDIDIKAN GURU SEKOLAH DASAR

This research article aims to examine Indonesian spelling errors in student thesis abstracts where writing errors are found. Student mistakes in writing thesis abstracts sometimes do not use the correct Indonesian spelling. The method used in this study is a qualitative descriptive method and data collection procedures in the form of observation. Based on the results of the research, the samples taken were 10 thesis abstracts of IKIP Siliwangi Elementary School Teacher Education Studies program. In writing an abstract, there is a language spelling that is not correct according to the Enhanced Indonesian Spelling Guidelines (EYD), namely the use of prepositions, the use of capital letters, writing full stops, the use of italics and errors in writing words. There are 16 spelling errors in the abstract of Elementary School Teacher Education students. Based on the results of the discussion above, it can be concluded that there was an inaccuracy of the author in using language spelling in italics, capital letters, prepositions, writing periods and errors in writing words.
PEMBELAJARAN TEKS CERPEN MENGGUNAKAN MEDIA ANIMASI BERBASIS THINK TALK WRITE

Quality, innovative, and applied learning media can increase motivation and activation learn learners. Thus, the research this time USES a think talk write based animation medium. The think talk write model makes the learner more active in building his knowledge through reading, thinking, discussing, and interpreting. The study aims to describe students' responses to the think talk write based media animation. The study USES qualitative descriptive methods in the form of case study conducted at SMA Karya Pembangunan Cikalongwetan. The data collection consists of observation of responses and direct interaction with learners. Studies have proven that the clever text study using animated media collaborated with the think talk write model makes learners more active and able to understand the stories theoretically and empirical.Â
PENERAPAN MEDIA CANVA DALAM PEMBELAJARAN KETERAMPILAN MENULIS TEKS PROSEDUR MENGGUNAKAN DISCOVERY LEARNING DI KELAS VII

The background of this research is that students experience many factors during learning. This includes limitations in writing ability and idea development. During learning, the teacher usually only learns through monotonous methods without media and then only gives assignments. The method that is often used is the lecture method from textbooks, which does not require students to be active. The formulation of the research problem is as follows. 1) How does Canva media affect the ability to write procedural text? 2) How is the implementation of learning with discovery learning models in students' writing abilities? The research objective was to determine the effect of Canva media on the ability to write Indonesian procedural texts and the effect of implementing the discovery learning model on writing ability. The discovery learning model aims to facilitate the development of ideas in writing. One of the efforts to improve procedural text writing skills is to conduct research using discovery learning assisted by Canva media. Canva is an online application designed for more interactive and creative learning in writing. The method used is descriptive qualitative using observation techniques, data collection and tests. The subjects in this study were 30 students in class VII-E of SMPN 3 Cimahi. The results showed that the discovery learning model can be used effectively in learning procedural text writing skills. Judging from the results of students' ability to write procedural texts, they generally get good criteria because they get scores above 80.
Pendekatan TOGAF Architecture Development Method Sebagai Perencanaan Strategi Sistem Informasi Penjualan Zolla Cosmetic

Zolla Cosmetic is one of several businesses located on Jl. Surya Utama, Jebres, Surakarta. This business offers all things skincare and makeup for teenagers and adults, both women and men. In business process activities, Zolla Cosmetic has implemented strategic planning, but in this prospect the planning has missed the target so that it cannot be realized properly, problems regarding the process of collecting data on products sold and ordering data for customers are sometimes only written down, entered into Ms. Word and Ms. Excel. In odd moments, sharing and promoting Zolla Cosmetic products on social media, the beauty community has every rule if you want to post in the group. So, Zolla Cosmetic must plan an Information System strategy and information technology strategy to become a good business process in the future. In conclusion, the TOGAF ADM approach as a sales system strategic planning is one of the best solutions to support the Zolla Cosmetic business or organization. So with this, the author conducted research using the TOGAF ADM study to support a Sales Information System that is integrated, right on target and according to needs.
Development of Character Makeup Learning Videos for the Makeup and Beauty Department Students

Character Make-up is one of the materials consists of theory and practice. Based on the results of observations, it shows that Students have difficulty in determining the theme of character makeup which is the final project in this material. Based on these problems, this study aims to develop learning video on character makeup material. This video can be used as a reference for students looking for character makeup themes to complete assignments in character makeup courses. The method in this research is R&amp;D method, with the Ploomp development model. The stages of the Ploomp model are initial investigation, development and manufacture of prototypes and the assessment phase. The conclusion of the research shows that the resulting character makeup learning video is valid which is shown in the results of the media expert validation test is 0.85 and the material expert validation is 0.88, while the practicality of the lecturers is 82% with practical criteria and the practicality of the students is 93.9% with very practical criteria. The resulting learning video is also effectively used, which is indicated by the difference in the value of student learning outcomes when the posttest is higher than the value of the pretest learning outcomes.