Reviewerly/exHarmony huggingface dataset:
Anthropomorphic Metaphorical Features in Figurative Content of ISLAND Concept

The problem of actualization of anthropomorphic metaphorical features in the figurative content of the ISLAND concept is considered. The object of the research is the ISLAND concept as a cultural concept. The subject of the research is the anthropomorphic metaphorical features included in the figurative content of the ISLAND concept, and the means of their linguistic verbalization. On the basis of the classifications of the main types of metaphorical transfers and the main types of figurative-metaphorical signs in the content of the concept, a classification of anthropomorphic metaphorical signs that are included in the figurative content of the ISLAND concept is proposed. As a result of the analysis, five main groups of anthropomorphic metaphorical features have been identified: 1) gender; 2) physiological properties; 3) somatic affiliation; 4) the physical properties of a person; 5) mental properties. It is shown that the feature of the female is present in the figurative content of the concept under study. It is noted that such parts of the human body as the head, heart, spine, as well as physical actions: coming, lying, standing, etc. are most often metaphorized. A number of physiological and mental properties of a person are revealed, which are subject to metaphorization: the ability to live, visual ability, feelings of happiness and tranquility.
LibGuides: Library Liaisons: Home

The Library Liaison program pairs librarians with specific academic programs to better support faculty teaching and research, and to enhance the library’s instruction and collection development programs.
Dampak Teknologi Informasi Bagi Siswa-Siswi SMP Kartika 1-7 Padang

-
Design and Implementation of Internet Ticketing System Based on Distributed Data Processing Platform

The application of cloud computing, artificial intelligence, big data, Internet of Things, blockchain and other emerging technologies has changed the traditional business operation model, and distributed computing has also been widely used. The design of high-performance database and The application of distributed computing in the Internet ticketing system is also becoming more and more perfect. The Internet ticketing system based on distributed architecture is realized through Java EE technology and distributed database, and serves the transportation ticket selling units such as automobile passenger stations.
Digital Evidence Admissibility: Some Issues

This paper addresses some issues surrounding the gathering, authentication and production of digital evidence in court proceedings. Evidence in digital form is paradigmatically different from pre-digital evidence which generally was inextricably associated with a medium be it paper, film, video, audiotape or some other fixed medium. Digital information is not dependent upon a specific medium other than a digital device to render it visible or comprehensible. In addition, digital information is possessed of a number of properties that challenge our assumptions about the authenticity and reliability of such information. This paper identifies some of the problems that arise from the use of digital information as evidence and suggests some steps that may be taken to ensure the authenticity and reliability of such evidence. In addition, the paper addresses evidence that is produced by a machine device or technical process and considers the processes that should be employed in adducing such evidence.
A Detailed Examination of Mongo DB and MYSQL

We must stay up with technology since it is never-ending and develops daily. This is why we must exercise extreme caution when selecting a database for the application we will create. This paper will attempt to provide a case study of comparison between non-relational databases with relational databases. We focus our discussion on one use of NoSQL database technology, MongoDB, and compare it to another application of relational databases, MySQL, to demonstrate why MongoDB is more efficient than MySQL.We compared the performance evaluation of MYSQL and MongoDB. According to the results, MongoDB outperforms MySQL in terms of inserting, updating, and deleting data. So, we have determined that MongoDB performance is superior to MySQL performance
Popcorn in the Washbasin or Making Pictograms Legible

During the corona pandemic, pictograms are often used to communicate hygiene measures and behavioural rules. However, designing readable pictograms is a challenging task.
METODE PENGADUAN FASILITAS PERKULIAHAN DAN PRAKTIKUM BERBASIS WEB (STUDI KASUS: STIKOM UYELINDO KUPANG)

The more rapid development of universities in Indonesia, the competition between universities is getting bigger so that the quality and facilities of each university greatly affect the attractiveness and competitiveness of universities. College of Computer Informatics Management (STIKOM) Uyelindo Kupang has 672 students. The campus of STIKOM Uyelindo Kupang has three departments, namely, first-class informatics engineering, undergraduate information systems and D3 informatics engineering with each accredited B. The development and improvement of lecture and practicum facility services at (STIKOM) Uyelindo Kupang is very important to be monitored and maintained. If the campus has provided services and facilities for students but these services and facilities are not monitored and maintained, sooner or later the services and facilities provided will be damaged and can no longer be used. The purpose of this research is to build a complaint information system website for lecture facilities and practicum to help and facilitate students. Based on the results of the test analysis using the Slovin method, there is an average value of 87% with Strongly Agree (SS) criteria. Even with the index value, when viewed based on the type of variable, there are several question items with unfavorable criteria. Question items with these criteria need to be considered for future website development. In the future, the website development will take into account the lowest index value of each indicator, especially those with poor and bad criteria.
Innovative methods in teaching the discipline "Organization of pharmaceutical activities" for students of the pharmaceutical faculty

The article discusses the implementation of the case-study method in teaching disciplines at the Department of Pharmaceutical Disciplines, which ensures the acquisition of knowledge, the formation of skills and the development of the value system of students, professional skills and competencies.
The Correlation between Vocabulary Mastery and Their Ability in Writing Descriptive Text

This research is aimed to find out correlation between two variables, the vocabulary mastery as the objective variable (X) and the writing ability in descriptive text as the subjective variable (Y). The research method used is quantitative method. The population used is 7 grade of SMPN 2 Pringapus with a total of 194 students. For the sample, only one class is used, there is 7E grade with 38 students. To analyzed the instrument, there are two types of analysis, namely the technique of dividing students into three criteria and the analysis technique using Pearson Product Moment correlation. With the results, there is a significant correlation between vocabulary mastery and writing ability in writing descriptive text in 7 grade at SMPN 2 Pringapus, with the following results: With degree of significance 5%, the score of r table () obtained is 0.329, therefore, &gt; (0.603 &gt; 0.329), meanwhile, with degree of significance 1%, the score of rt gained is 0.424, therefore, &gt; (0.603 &gt; 0.424). The conclusion is H A is accepted.
Pie and Polar Charts

In the previous chapter, you learned how to visualize and process images and audio with Matplotlib and SciPy.
The Influence of Instructional Media E-Learning Based Edmodo on Student Learning Outcomes of Basics Banking Class X Accounting

This study aims to determine the effect of Edmodo-based e-learning media on student learning outcomes in the subjects of banking basics class X Accounting at SMK Negeri 42 Jakarta. The research method used is a quasi-experimental method with a research design post-test only control design. The samples taken were class X Accounting 2 as the experimental class and X Accounting 1 as the control class with 36 students each. The instrument used is a test. The test results data were analyzed by normality test, homogeneity test and hypothesis testing. The results of the normality test showed that the experimental class obtained Lcount (0.113) &lt; Ltable (0.147) this means the data is normally distributed and in the control class obtained Lcount (0.101) &lt; Ltable (0.147) this means the data is normally distributed. The homogeneity test shows that Fcount (1.22) &lt; Ftable (1.76) then the data used is homogeneous. The results of hypothesis testing state that tcount (13.79) &lt; ttable (1.66) this means that there is an influence of Edmodo-based e-learning learning media on the learning outcomes of students of class X accounting expertise competence at SMK Negeri 42 Jakarta&#x0D; Keywords: Learning Media, Learning Edmodo, Instructional Media E-Learning
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.

Formally reasoning about functional programs is supposed to be straightforward and elegant, however, it is not typically done as a matter of course. Reasoning in a proof assistant requires reimplementing the code in those tools, which is far from trivial. SMLtoCoq provides an automatic translation of SML programs and function contracts into Coq. Programs are translated into Coq specifications, and function contracts into theorems, which can then be formally proved. Using the Equations plugin and other well established Coq libraries, SMLtoCoq is able to translate SML programs without side-effects containing partial functions, structures, functors, records, among others. Additionally, we provide a Coq version of many parts of SML's basis library, so that calls to these libraries are kept almost as is.
FEATURES OF LOGICAL AND MATHEMATICAL DEVELOPMENT OF PRESCHOOLERS WITH THE HELP OF FLASH GAMES

The article analyzes the problem of logical and mathematical development of senior preschoolers by means of flash games. The importance of mathematical education has been substantiated in accordance with the new educational realities: the needs of the implementation of the Concept for the development of natural and mathematical education (STEM education) and the new Concept for the development of preschool education. Since now mathematics, together with computer science, is becoming an interdisciplinary toolkit, and modern children feel free in the world of information technology, the authors of the article note that it is advisable to use network resources to benefit the educational process and ensure its quality. One of the options for such a network resource are flash games - game interactive platforms that optimize the game process in order to solve educational problems. The authors analyzed the views on the appropriateness of the use of flash games by preschoolers from such foreign scientists as Feliks Gorski, Alex Soares, Adelheid Reinhardt, David Nascimento, Gabriella Domeny, Mozilla Firefox, Peer Dorow, Benjamin Cooper, Zsuzsanna Csarnai Straub. The specificity of the experimental work, which involves two directions, is characterized. In the first educational - stage I is highlighted - propedeutic (criteria: abstraction with indicators - the ability to highlight the most significant characteristics of the object and exclude insignificant signs, where the flash game "Choose transport" was used; analysis with indicators - the ability to determine the relationship of an object and objects; to compare and analyze the data obtained; flash game: "Whose traces?"; synthesis with indicators - the ability to observe the laws of logic, build hypotheses and find out the consequences of reasoning; flash game "When does this happen?"); Stage II - implementation (criteria: classification with indicators - the ability to perform logical operations, deliberately argue them, formulate the grounds for classifying objects; flash games "The artist was mistaken", "Find a pair"; serialization with indicators - the ability to lay out a set of elements in accordance with the connections established between them; flash games: "Find a pair", "Logical connections", "In search of a shadow", "Into the forest for mushrooms", "Let's play snowballs", "Whose voice is heard on the farm?"); II direction - consulting: work with the teaching staff and with the parents of the pupils. The effectiveness of the work carried out was revealed using five diagnostic methods, carefully described in the article.
An Intelligent Design Explorer for New Violin Shapes

This work focuses on a design tool, the violin design explorer, for classic violin outline design. Our design tool employs an evolution strategies algorithm and can be viewed as a creative evolutionary system. With this system, users without any design knowledge can create their favorite violin outline through a set of simple choices. The underlying violin designs are implemented using the Digital Amati geometry engine. In order to validate the design tool we conducted an anonymous experiment. Four groups of participants were asked to design their favorite violin outline. Design patterns that emerged within these four participant groups during the experiment seem to validate that our design tool works as we envisioned. We view this implementation of the designer as the first stage of a comprehensive violin design tool.
Sarcasm Detection and Building an English Language Corpus in Real Time

This is a research proposal for doctoral research into sarcasm detection, and the real-time compilation of an English language corpus of sarcastic utterances.It details the previous research into similar topics, the potential research directions and the research aims.
E-learning to Ensure the Educational Services' Quality in University Distance Learning

The high-tech industry and the development of applicable online tools are inspiring various institutions and individual educators to change teaching and learning approaches and methods, especially in higher education. Borys Grinchenko Kyiv University has been implementing distance learning technologies as one of the components of blended learning for 10 years now. Today's challenges for world pedagogy have shifted the emphasis to the need for speedy introduction of distance learning technologies at all stages of education. It is important not only to organize distance learning, but also to ensure sufficient quality of educational services and to design objective assessment technology. The article summarizes the experience of BGKU in organizing e-learning to provide distance learning for students and its impact on improving the quality of educational services. Also it presents the analysis of using various services and tools for organizing the educational activity of students in e-learning. Several options for organizing and conducting summative assessment as combined online-exams in the implementation of e-learning are described. Recommendations for the use of online tools and services to disseminate positive experiences in ensuring the quality of educational services are provided.
Critical Animal Design: Contesting Human Exceptionalism in Design Research

As part of a larger “animal turn” in the arts and humanities, the field of design research has increasingly oriented itself towards multispecies efforts. Notions of “multispecies design”, “more-than-human design”, “biocentric design”, or “non-anthropocentric design” are prominent in contemporary design research, practice, and education. Various “post-anthropocentric” approaches – often influenced by strands of actor-network theory, posthumanism, and new materialist thinking – are increasingly used as theoretical grounding for design work. Explicit references to critical animal studies are still rare in design. In this paper we sketch the landscape of design research that is first-and-foremost driven by a critique of animal oppression. Through a mapping and discussion of such design projects this paper assembles a repertoire of tactics, methods and materials that may be of use for CAS scholar-activists interested in crafting tangible prototypes and proposals for more desirable ways of living with animals. We also elaborate on how a firm commitment towards animal liberation troubles the human-centric foundations of the design field.
Life Priorities Of Russian Students

The article deals with the value priorities of Russian students.This group does not have sustainable socioeconomic characteristics and therefore requires continuous scientific monitoring.The authors analyse current social problems and their changes caused by the transformations of the last period.They discuss the results of diagnosing the personal values and behavioural practices of young students in the current context.Young people have always been the most dynamic, energetic and critically minded part of society, with the fastest-growing professional and career paths.Youth feels and experiences change more deeply than others, and is a kind of change indicator, builds capacity and is a major driving force for society's progress.Many countries, including Russia, face a sharp increase in the social problems of young people.The nature and direction of current transformations are increasingly determining the worldview of young people and its most educated part -the student class.Student youth inherit the achieved level of development of society, are the main participant in social mobility and economic initiative, and determine the essence of social reproduction in all spheres.But not all young people find their place in the market system, there is a decline in their social status, access to education and cultural values, an increase in crime, deviant behaviour, unemployment and social inequality.Creating the conditions for the country's progress contributes fully realization of the potential of students, the use of professional, moral, legal, general humanistic attitudes for the creation and social cohesion.
ICT LITERACY IN RURAL COMMUNITIES IN THE ERA OF GLOBALIZATION

The development of information and communication technology is one form of the presence of the era of globalization. The faster the development, the easier it is for someone to access information. However, the inequality of technological developments can be felt in places where internet access is difficult, such as in Ciakar Village. With descriptive quantitative research, this research can see the views of the Ciakar Village community in facing the development of information and communication technology. The development of ICT is currently needed not only in cities but also in villages, because ICT literacy provides many benefits both in the economic, social, cultural, political and so on. So that the development of this ICT
Bayes Estimator for inverse Gaussian Distribution with Jeffrey’s Prior

This paper presents a Bayesian analysis of the parameters for the inverse Gaussian distribution under the Jeffrey's prior assuming a quadratic loss function.Analysis begins with the parameterization to the parameters in the distribution, then construct the posterior distribution based the likelihood function and prior, while the Bayes estimator is concluded based the posterior mean.
EXPLORING TEACHERS’ PERSPECTIVE IN USING WHATSAPP APPLICATION IN ENGLISH LANGUAGE TEACHING

Abstract&#x0D; &#x0D; This research aims to report the teachers’ perspectives in using WhatsApp application in English language Teaching. This qualitative research employed case study by distributing the questionnaire and interview to five participants who used the WhatsApp Application in online English teaching and learning. This study reported that the comfortable, the reasonable cost of internet data, and the ease of communicating with the students were the importance of use of WhatsApp. The strengths of this application covered on the easy and practical application to share the information (schedule and time flexibility), the practical medium to explain the material and set the instruction before, during and post activity of teaching and learning English. The limitation of the WhatsApp covered in term of incomplete features in the WhatsApp application that the students have in their phone, some language skills that are not maximally practiced by the students, the rules that cannot be covered by the teachers and students in learning assessment and incautious checking of the students when the rules is missing. Thus, this study implied the cautious attention from the teachers on the planning, implementing and evaluation for the online teaching and learning of English.&#x0D; Keywords: WhatsApp Application, Online Learning, Teachers’ Perspectives
Research on intelligent teaching model from the perspective of deep learning

Deep learning and shallow learning (or surface learning) are two types of learning that are classified according to the level of understanding that students achieve in learning.As the concept of education continues to be upgraded, the cultivation of higher-order thinking in students is being emphasized more and more, and deep learning is being strongly promoted as an inevitable trend of the times.In the traditional teaching mode, deep learning is difficult to be implemented.With the continuous use of modern information technology in the field of teaching and learning, intelligent teaching and learning have brought convenience to deep learning.The implementation of an intelligent teaching model to achieve deep learning needs to meet at least three major requirements: the creation of an intelligent teaching environment, the cultivation of teachers' intelligent teaching ability, and the enhancement of students' self-learning awareness.Taking Jack London's "Love of Life" as an example, this paper
Representation and Reasoning about Strategic Abilities with ω-Regular Properties

Specification and verification of coalitional strategic abilities have been an active research area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic logics, e.g., Strategy Logic (SL) and alternating-time temporal logic (ATL*), have been proposed based on classical temporal logics, e.g., linear-time temporal logic (LTL) and computational tree logic (CTL*), respectively. However, these logics cannot express general ω-regular properties, the need for which are considered compelling from practical applications, especially in industry. To remedy this problem, in this paper, based on linear dynamic logic (LDL), proposed by Moshe Y. Vardi, we propose LDL-based Strategy Logic (LDL-SL). Interpreted on concurrent game structures, LDL-SL extends SL, which contains existential/universal quantification operators about regular expressions. Here we adopt a branching-time version. This logic can express general ω-regular properties and describe more programmed constraints about individual/group strategies. Then we study three types of fragments (i.e., one-goal, ATL-like, star-free) of LDL-SL. Furthermore, we show that prevalent strategic logics based on LTL/CTL*, such as SL/ATL*, are exactly equivalent with those corresponding star-free strategic logics, where only star-free regular expressions are considered. Moreover, results show that reasoning complexity about the model-checking problems for these new logics, including one-goal and ATL-like fragments, is not harder than those of corresponding SL or ATL*.