Reviewerly/exHarmony huggingface dataset:
Algebra of Self-Replication

Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic. In fact, the connection of combinatory logic and computability theory is very old, and this paper extends this connection in new ways. In one direction, we counter the main trend in both computability theory and combinatory logic of heading straight to undecidability. Instead, this paper proposes using several very small equational logics to examine results in computability theory itself. These logics are decidable via term rewriting. We argue that they have something interesting to say about computability theory. They are closely related to fragments of combinatory logic which are decidable, and so this paper contributes to the study of such fragments. The paper has a few surprising results such as a classification of quine programs (programs which output themselves) in two decidable fragments. The classification goes via examination of normal forms in term rewriting systems, hence the title of the paper. The classification is an explanation of why all quine programs (in any language) are "pretty much the same, except for inessential details." In addition, we study the relational structure whose objects are the programs with the relation "p expresses q" meaning that if the program p is run on nothing, then it eventually outputs the program q.
Designing Access Together: Surviving the Demand for Resilience

&lt;p&gt;This paper critically reflects on our attempts to design access with disability artists and designers. Together we engaged in a project to co-design and co-create a fictional near-future world that would enable us to interrogate our present techno-social dilemmas. Accessibility was central to our workshop for the way that access is always central to enacting crip, mad, Deaf, and spoonie communities. Without access, we cannot meet, discuss, share, struggle, fight, dismantle or create. Crucially, access was tied to our desire to co-create crip near-futures. Crip near future, a methodological intervention we engage in our work, refers to a temporal period a few years from our present day. It is a future close enough for our individual experience to be and remain directly relevant, yet distant enough that the boundaries of our experience could be ‘cripped’ - expanded, revised or ruptured - by technological trends. Crip near futures also promise our survival and reference our resilience in the face of past and present ableist violence. Our presence in a crip near future suggests that we have somehow disrupted the current normative order. In alignment with our methodological orientations then, our work sought to disrupt normative artistic and design studio practice to open a space for crip, mad, spoonie and Deaf artists to imagine worlds in which our body-minds are anticipated, welcomed and integral. In what follows, we describe our work and the steps we took to transform it into an accessible space where we could interdependently imagine and create future worlds. Our reflections pivot to consider how access is an “unfinished project” (McKittrick, 2013), always in tension with the demand for individual resilience within the neoliberal university.&lt;/p&gt;
Keynote Speech 1: Who You Gonna Call? Unmasking AI Investigations through AI Forensics

Machine Learning (ML) and Artificial Intelligence (AI) have become inescapable forces, permeating every facet of our society, from business and academia to public and private sectors. However, AI failures are an undeniable reality that demands urgent attention from forensic researchers and practitioners. When AI embarks on mischievous endeavors, an important question arises: Who you gonna call? While AI/ML/ are hailed as powerful tools to enhance digital forensics processing, it is imperative that we redirect our focus towards the forensics of AI. Join me in this keynote as we explore the emerging field of AI forensics, an essential sub-discipline within the realm of digital forensics. Through an overview of this evolving field and a spotlight on intriguing research problems, we will ignite understanding of the pressing need to address AI investigations.
Ciphertext-policy attribute-based delay encryption

Timed-release CP-ABE can provide fine-grained and timed-release access control while ensuring data confidentiality. Existing schemes usually rely on a trusted third-party called time server. This paper proposes a novel timed-release CP-ABE scheme named ciphertext-policy attribute-based delay encryption (CP-ABDE), which does not require a time server. Specifically, we formalise the notion of CP-ABDE and its system model and security model. Furthermore, we provide a formal construction that is secure under the decisional bilinear Diffie-Hellman assumption and repeated squaring assumption. Finally, performance analysis shows that the scheme performs well while achieving timed-release access control.
Formal verification of software-only mechanisms for live migration of SGX enclaves

Live migration is not supported by current Intel® SGX implementations. So, software emulation is unavoidable to enable deployed hypervisors migrating live virtual machines running SGX enclaves in the cloud. However, copying the running state of an enclave requires read/write of enclave's memory from outside, which is impossible. Therefore, software-only mechanisms, as opposed to hardware extensions, are not transparent to the virtual machines, and need to deduce some hardware-defined metadata by emulation. Also, they need to synchronise enclaves' stop/resume between two remote platforms. In this paper, we formally verify the only solution proposed in the literature that uses such a mechanism, in which we identify a severe critical situation where the whole live migration process gets stuck. Moreover and due to a specification flaw, we determine a condition that leads to the violation of instance uniqueness of enclaves. That may induce vulnerabilities for fork and rollback attacks. To remedy to these design shortcomings, we propose some easy-to-implement solutions to remove deadlock situations and ensure state uniqueness at the expense of a longer downtime.
Openness in Scientific Research: A Historical and Philosophical Perspective.

Openness is widely regarded as a pillar of scientific ethics because it promotes reproducibility and progress in science and benefits society. However, the sharing of scientific information can sometimes adversely impact the interests of human research participants, human communities or populations, scientists, and private research sponsors; and may threaten national security. Because openness may conflict with other important social values, solutions to ethical and policy dilemmas should include meaningful input from those who are impacted by the sharing and use of scientific information, including research participants, communities, and the public. Data sharing and use policies should be reviewed and revised periodically to account for ongoing changes in science, technology, and society.
Selecting Algorithms

Machine learning offers a variety of algorithms for both supervised and unsupervised learning tasks, each with numerous parameters to fine-tune. However, testing and optimizing all of these models in each category would be incredibly cumbersome and require significant computational power. To address this challenge, this chapter introduces k-fold cross-validation, a technique that helps select the best-performing model from a range of different algorithms. With this method, the top-performing models can be short-listed for further evaluation and testing.
A Hidden Markov Model-Based Speech Recognition System Using Baum-Welch, Forward-Backward and Viterbi Algorithms

Speech is the most complex part or component of human intelligence and for that matter speech signal processing is very important. The variability of speech is very high, and this makes speech recognition difficult. Other factors like dialects, speech duration, context dependency, different speech speed, speaker differentiation, environment and locality all add to the difficulty in speech processing. The absence of distinct boundaries between tones or words causes additional problems. Speech has speaker dependent characteristics, so that no one can reproduce or repeat phrases in the same way as another. Nevertheless, a speech recognition system should be able to model and recognize the same words and phrases absolutely. Digital signal processors (DSP) are often used in speech signal processing systems to control these complexities. This paper presents a Hidden Markov Model (HMM) based speech signal modulation through the application of the Baum-Welch, Forward-Backward and Viterbi algorithms. The system was implemented using a 16-bit floating point DSP (TMS320C6701) from Texas instruments and the vocabulary was trained using the Microsoft Hidden Markov Model Toolkit (HTK). The proposed system achieved about 79% correct word recognition which represents approximately 11,804 correct words recognized out of a total of 14960 words provided. This result indicates that the proposed model accuracy and speaker independent system has a very good evaluation score, and thus can be used to aid dictation for speech impaired persons and applications in real time with a 10 ms data exchange rate.
Pelatihan Instalisasi Windows Pada Siswa dan Guru SMA Negeri 3 Kota Pagar Alam

Most students and teachers in Pagar Alam City know a lot about the basic concepts of installing a computer operating system as a support for learning, the role of computers is very important, especially because early students and teachers have to meet many computer subjects who must have a good understanding of programming logics, so that installation training becomes very important because generally teachers and early students are only able to operate it, without understanding what tips and tricks if there are things or things that must be maintained from the computer system, this training is the first understanding for teachers and students. To increase knowledge in this maintenance, training participants are given basic knowledge and skills about; Preparation Make the installation of software and what devices must be provided, a computer operating system installation guide and a tutorial for making an installation system with Windows. Located at the Computer LAB of SMA Negeri 3 Pagar Alam City with a total of 30 participants, the training was held on: 05-03-2021. The method used is the lecture method, practice, question and answer, discussion and practice. Based on the results of the evaluation, it turned out that in general there was an increase in the knowledge of the trainees. It is also hoped that from this activity students can also pass on the knowledge that has been obtained to other students and teachers
PENERAPAN APLIKASI ANATES DALAM MENGANALISIS BUTIR SOAL PADA GURU MATA PELAJARAN EKONOMI SMA YAPI PADANG

The position and high level of dedication of the teacher are essential to the effective delivery of instruction and learning in classrooms. The instructor must be able to perform their responsibilities and functions as a facilitator effectively. Teachers must be competent to facilitate learning, evaluate student work, employ learning media, and possess a thorough understanding of information and technology. The application of anates on instructors in the analysis of item items is one of the uses of learning media and assessment tools required by teachers. A computer application program called anates software seeks to examine individual things. Teachers believe that using Anates software is essential for assessing student learning outcomes, and observers of educational evaluation can also benefit from its use. However, because the teachers are unfamiliar with and do not comprehend how to utilize the Anates software, they still have trouble using the item analysis tool. This activity's objective is to give teachers useful practice in analyzing item questions using the anates application, particularly at YAPI Padang High School.
PEMBELAJARAN BATIK DALAM PROGRAM KEAHLIAN KRIYA TEKSTIL DI SMK NEGERI 8 PADANG

The research entitled "Batik Learning in the Textile Craft Expertise Program at SMK Negeri 8 Padang" examined the batik learning process and the techniques used for making batik craft products in batik learning in the textile craft expertise program at SMK Negeri 8 padang. This research uses a descriptive qualitative method that discusses data in accordance with the facts encountered in the field. Data collection in this study was carried out through observation, interviews, documentation and literature studies. The implementation of the batik learning process is divided into several stages, first starting with preparation and then the learning process. Preparation begins with preparing learning tools (syllabus and rpp) as well as tools and materials used in the batik process. The learning process is divided into two stages, namely the introduction and core activities. The classic motifs used by students are floral motifs in the form of pucuak rabuang motifs, siriah gadang, kaluak paku kacang belimbiang. The motif of the fauna motif of itiak pulang patang, the motif of kuciang lalok. Geometric motifs in the form of saik galamai motifs and other natural object motifs in the form of gadang houses which became minangkabau identities. Making batik writing techniques begins with making designs, cutting fabric materials, moving design patterns on fabrics, setting nights, dyeing, giving waterglass, parodying and ending with finishing. The quality of the shawl products produced is already good.
Bawang Army in Malaysia: Reaction Toward Hate Speech – Is it a Cyber-Bully or Cyber-Aggression?

The Bawang army phenomenon is newly recognized, and no prior studies have explored it yet. Consequently, understanding this concept necessitates a qualitative research approach. Eight semi-structured interviews were conducted with pertinent stakeholders to probe various research questions. To achieve the first research objective, involving understanding Bawang army, the codes were organized into four categories; definitions, reasons, issues, and activities. The terminologies coined by Malaysian netizens, such as Bawang army and ‘mak kau hijau’, shape the identity of this phenomenon. The second research objective is to differentiate the Bawang army’s classifications, determining whether it falls under cyber-bullying or cyber- aggression. In-depth discussions were analyzed based on previous literature using the constant-comparative method. Several implications were observed. Firstly, industry practitioners need to exercise greater consideration when creating social media content. Secondly, future research should further investigate the distinct typologies of cyber-bullying and cyber-aggression autonomously.
Online Learning During Covid-19 Pandemic in the Sixth Semester Students of University of Muhammadiyah Tangerang

The objective of this research found out The Impact of Online Learning in The Covid-19 Pandemic on Students in the Sixth Semester of the University of Muhammadiyah Tangerang. This research used a qualitative approach. The participants of this research were 109 students from four classes of the Sixth Semester at the English Study Program of the University Muhammadiyah of Tangerang. The data collection used observation, interviews, and documentation. The result of the research included the positive and negative impacts on students in the Sixth Semester of the English Study Program at the University of Muhammadiyah Tangerang. One of the positive impacts of online learning during Covid-19 was the flexibility of time and places. Then the negative impact found about the problem of internet connection. Therefore, the result of this research is concerned with the main point of the positive and negative impact.
An Overview of the Study of Language in the History of Philosophy (Ancient Greek to Medieval Age)

To English educators and researchers, having a good grasp of what a language is and how language learning takes place is important. To a certain extent, surveying the development of language studies is a good start to achieve the goal. This article is the first part of a literature review summarizing language studies taking place along the history of philosophy, starting from the ancient Greek to the postmodern era. This first part includes language studies conducted in the Ancient Greek Period up to the Medieval Age, whereas the second part will later discusses language studies carried out in the Renaissance Period, the Modern Period, and Post Modern Period. Data was gathered by surveying relevant and credible textbooks and scientific articles. The findings reveal that the initiators of the study of language issues were philosophers, not linguists. Philosophers in the Ancient Greek up to the Middle Ages had studied language as a topic of study because they need an effective language to assist them in studying philosophical ontologies and epistemology. This shows that humans never stop trying to understand language better as the need for language continuously changes to accommodate the development of human life and culture. The results of language studies in ancient Greece have provided us with various paradigms about the nature of language and micro-linguistic concepts in the form of elements of semantics, etymology, grammar, and various discourses that now become inherent parts of linguistic studies. Medieval philosophers focused on the use of straightforward, simple, and practical expressions as a language analytic method, etymological elements, and the development of Speculative Grammar.
Empirical Research on Digital Literacy in English Education in Indonesian Setting in Recent 10 Years

Due to its crucial significance to function in today's globally e-interpenetrated, schools are supposed to be the first institution to accelerate digital literacy competence improvement. To meet the challenge, English educators are in a strong position to contribute significantly due to the natural close link between language and digital literacy and the status of English as the current first global language. Like in other skills development programs, digital literacy skills development considerably depends on serious methodological and theoretical research. This systematic review aims at portraying the trends of research in the last decade on digital literacy integration in English Education (EE) in Indonesian context in terms of yearly distribution, research designs, research focuses, data collection methods, and the educational levels of the setting. To serve the aims, some databases were searched, through which 66 research articles were obtained. The results showed that digital literacy research in the field is still new, but it keeps on proliferating since 2020. The predominant research designs are case study and survey. Major focuses are related to the instrumental aspect of digital literacy. The studies were set at higher learning, senior high school, and junior high school levels, and none were set at the primary school level. This paper ends with recommendations for further research and for actual enactments.
Penerapan Model Regresi Linear Untuk Estimasi Mobil Bekas Menggunakan Bahasa Python

Used cars have a significant transaction value in the automotive market. Estimating the price of a used car is important for buyers and sellers to determine the appropriate value. In this study, we apply a linear regression model using the Python programming language to estimate the price of a used car based on relevant attributes such as year of production, mileage, car tax, fuel consumption, and number of engines. We use a used car dataset that contains important information for analysis. In using the linear regression model in this study, it was successful in obtaining an accuracy of 0.76% and the results for estimating car prices were obtained by inputting car year = 2019, car mileage = 5000, car tax = 145, fuel consumption = 30,2, and engine size = 2. Then managed to get an estimated value of 21.208,505 in Pounds and 393.608,6514549 in Rupiah units. So that it can be said that the Linear Regression model has proven successful in the good category for finding used car price estimates based on certain factors using python language.
The Effect of Adult Learners' Motivation to participate in Lifelong Learning on Learning Transfer: The Mediating Effect of Learner Satisfaction

Objectives The purpose of this study is to empirically analyze the relationship between lifelong learning partic-ipation motivation, learner satisfaction, and learning transfer for adult learners.&#x0D; Methods An empirical analysis was conducted by conducting a survey on 342 adult learners participating in life-long learning at lifelong education institutions located in the Seoul metropolitan area by multi-regression analysis and bootstrapping with SPSS statistical program.&#x0D; Results The following major results were derived. First, both adult learners' learning-oriented motivation, goal-oriented motivation, and activity-oriented motivation were found to have a significant positive effect on learner satisfaction. Second, it was found that adult learners' learner satisfaction had a significant positive effect on learn-ing transfer. Third, both adult learners' learning-oriented motivation, goal-oriented motivation, and activity-ori-ented motivation were found to have a significant positive effect on learning transfer. Fourth, both number learn-ing-oriented motivation, goal-oriented motivation, and activity-oriented motivation were found to have a positive effect on learning transfer through learner satisfaction.&#x0D; Conclusions It was identified through empirical analysis that goal-oriented motivation is important for adult lear-ners' satisfaction and learning-oriented motivation is important to increase learning transfer.
Improving the Performance of Arabic Information Retrieval Systems: The Issue of Resolving Word Sense Disambiguation

This study aimed at assessing the performance and efficacy of the retrieval information (IR) systems implemented in three widely used search engines (Google, Bing, and Yahoo), specifically with regard to the challenge of word sense disambiguation in Arabic texts. Such a challenge has been confirmed to negatively influence the retrieval of the most relevant documents. Therefore, we extended the paradigm of using computational methods and natural language processing (NLP) tools, primarily tailored for processing English texts, to explore morphosyntactic as well as lexical issues disturbing the accuracy of Arabic IR systems. Findings revealed striking disparities in the efficacy of IR systems integrated into these search engines, which can be attributed to four principal challenges: (a) the intricate morpho-syntactic structures inherent in Arabic; (b) the idiosyncratic orthographical system of the Arabic script; (c) the multifaceted semantic flexibility of certain lexical elements; and (d) the intriguing diaglossic nature of Arabic, allowing for the coexistence of multiple linguistic varieties within a single discourse situation. Drawing from these findings, a series of solutions rooted in supervised machine learning techniques, including clustering models and adaptations based on geographic locations, are proposed. Moreover, the study advocates for the capacity of search engines to interpret queries across all Arabic varieties, encompassing vernacular dialects. Furthermore, the importance of search engines accommodating queries irrespective of the specific language adopted by users is underscored. While the research primarily centers on Arabic, its implications resonate beyond this language alone. By applying computational methodologies originally designed for English to Arabic, the study not only addresses the challenges specific to Arabic IR systems but also contributes valuable insights that transcend linguistic boundaries. Through a comparative lens, issues like word sense disambiguation between Arabic and English are juxtaposed, extracting lessons that can inform advancements in information retrieval for both languages.