Reviewerly/exHarmony huggingface dataset:
THE EFFECT OF USING THE ELECTRONIC ADMINISTRATION PROGRAM ON IMPROVING EMPLOYEES PERFORMANCE IN THE ADMINISTRATION OF EDUCATION IN AL-QASSIM REGION, KINGDOM OF SAUDI ARABIA

As a result of the rapid developments and changes taking place in educational institutions, the responsibility of employees in the field of administration in these institutions has become great; To ensure the survival of these institutions, keep pace with the developments and rapid changes, and increase their ability to compete and excel in the era of knowledge and modern technology. In view of the weak performance of their employees, according to some studies (Al-Otaibi, 2019); This requires the need to activate modern electronic technology in carrying out business. Therefore, this study aims to identify the effect of using the electronic a program on improving the performance of employees in the administration of education in Al-Qassim region. The researcher adopted the descriptive approach. A questionnaire consisting of (28) items distributed in two fields is used as a basic tool for data collection. The researcher selected a stratified random sample of 25 members of the study population consisting of: (5) department heads, (6) administrators, and (14) school principals and agents who perform their work directly according to the electronic administration system. The results show that the effect of the electronic administration programs contribution in improving the administrative performance in the education department in Al-Qassim region in the fields of school resource administration and teacher affairs administration was up to a high degree.
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach.

We investigate the use of Answer Set Programming to solve variations of gossip problems, by modeling them as epistemic planning problems.
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).

Program synthesis promises to help software developers with everyday tasks by generating code snippets automatically from input-output examples and other high-level specifications. The conventional wisdom is that a synthesizer must always satisfy the specification exactly. We conjecture that this all-or-nothing paradigm stands in the way of adopting program synthesis as a developer tool: in practice, the user-written specification often contains errors or is simply too hard for the synthesizer to solve within a reasonable time; in these cases, the user is left with a single over-fitted result or, more often than not, no result at all. In this paper we propose a new program synthesis paradigm we call best-effort program synthesis, where the synthesizer returns a ranked list of partially-valid results, i.e., programs that satisfy some part of the specification.To support this paradigm, we develop best-effort enumeration, a new synthesis algorithm that extends a popular program enumeration technique with the ability to accumulate and return multiple partially-valid results with minimal overhead. We implement this algorithm in a tool called BESTER, and evaluate it on 79 synthesis benchmarks from the literature. Contrary to the conventional wisdom, our evaluation shows that BESTER returns useful results even when the specification is flawed or too hard: i) for all benchmarks with an error in the specification, the top three BESTER results contain the correct solution, and ii) for most hard benchmarks, the top three results contain non-trivial fragments of the correct solution. We also performed an exploratory user study, which confirms our intuition that partially-valid results are useful: the study shows that programmers use the output of the synthesizer for comprehension and often incorporate it into their solutions.
THE FLOUTING MAXIMS ON ENGLISH STUDENTSâ€™ PROPOSAL SEMINAR IN ENGLISH EDUCATION

This research aimed to identify the types of maxim (Griceâ€™s theory) and the most dominant maxim which was flouted by English studentsÂ  on English proposal seminar in English Education Study Program ofÂ  Muhammadiyah University of Bengkulu. The design of this research was descriptive method. The subjects of this research were 20 students as participants in question and answer on English Proposal Seminar, and the data were collected from the utterances of English students in answering the Examinersâ€™ questions in English Proposal Seminar in English Education Study Program ofÂ  Muhammadiyah University of Bengkulu. The instrument of this research was observation notes and checklist. The result of the researchÂ  could be concluded that first, there were four types of maxims flouted by the students. They were 1) maxim of quantity (21 utterances thatÂ  flouted by the students; 2)Â  maxim of qualityÂ  (4 utterances flouted by students); 3) maxim of manner (11 utterances that flouted by students), and 4) maxim of relevance (13 utterancesÂ  thatÂ  flouted by the students). Second, the most dominant maxim which flouted by students on English studentsâ€™ proposal seminar in English Education Study Program ofÂ  Muhammadiyah University of Bengkulu was maxim of quantity with percentage 42.85% and identified for 21 times. In line with information above, itÂ  was suggested thatÂ  the participants should awareÂ  and cooperate in doing communication particularly in answering the examinersâ€™ questions by knowing the types of flouting maxims and seeing the context corectly because it can make the seminar runs well and avoid miscommunication thatÂ  affected to the result of their seminars. Keywords : pragmatics, cooperative principle, flouting maxims, and english Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â proposal seminar
Automatic Facial Expression Recognition System Using Shape-Information-Matrix (SIM)

Automatic recognition of facial expressions and modeling of human expressions are very essential in the field of affective computing. The authors have introduced a novel geometric and texture-based method to extract the shapio-geometric features from an image computed by landmarking the geometric locations of facial components using the active appearance model (AAM). Expression-specific analysis of facial landmark points is carried out to select a set of landmark points for each expression to identify features for each specific expression. The shape information matrix (SIM) is constructed the set salient landmark points assign to an expression. Finally, the histogram-oriented gradients (HoG) of SIM are computed which is used for classification with multi-layer perceptron (MLP). The proposed method is tested and validated on four well-known benchmark databases, which are CK+, JAFFE, MMI, and MUG. The proposed system achieved 98.5%, 97.6%, 96.4%, and 97.0% accuracy in CK+, JAFFE, MMI, and MUG database, respectively.
Secure Data Processing for Industrial Remote Diagnosis and Maintenance

In this work, we study the digitization of the industrial maintenance process, and its mutation towards new methods such as remote diagnosis (i.e., over the air) and preventive maintenance. First, we describe the advantage of remote and preventive maintenance. Then, we apply it to a reference industrial architecture and investigate its security vulnerabilities. Finally, we propose a secure framework that ensures the confidentiality of maintenance data during its life-cycle. We do so by using homomorphic encryption which not only ensures the confidentiality of maintenance data at transit and rest, but also their confidentiality in use. We give some implementation results regarding simple maintenance operations and discuss the viability of the approach.
The Application of "Sets" of Discrete Mathematics everyday in life

&lt;p&gt;&lt;em&gt;Mathematics is related to something that can be calculated or something expressed in terms of quantity (number). There are so many economic variables (concepts) that are quantified, such as the price of goods, the amount of goods demanded and offered, the money supply, the level of profit sharing margin, national income, investment level, and so on. Mathematics does not only play a role in quantifying economic variables, but also explores the relationship between economic variables. The relationship of an economic variable with other economic variables is often expressed in the form of an economic model. Because economic variables can be quantified, these economic models can be expressed in the form of mathematical symbols / models.&lt;/em&gt;&lt;/p&gt;
Research on Improving Teaching Efficiency in Class of English Grammar in China Based on Information Technology

English grammar is deep and thus difficult for Chinese students. Some students think that English grammar cannot be mastered by Chinese students for its large volume. Some students often like to learn English grammar with Chinese thinking mode, thus it leads to some jokes in life. In fact, there are some scientific rules in English grammars. If teachers can use scientific ways to teach students English grammar, students will grasp them better than their imagining. In this paper, the author communicates her teaching experiences in English grammar and figures out her the problems in her teaching in English grammar. The author used investigation method to collect data for the paper, at the same time, some comparisons are also used, which are necessary for the author to study more scientific teaching methods.
Evidence from Sason Arabic for Ā-Movement Feeding Case-Licensing Relations

This squib presents an argument for a locality-based, Case-theoretic licensing approach to configurations in which certain positions cannot be occupied by overt material at Spell-Out. Investigating an indirect causative construction in Sason Arabic, I demonstrate that the embedded agent is separated from its licenser by a phase domain, and as such cannot be Case-licensed. Ā-movement makes licensing possible, placing the embedded agent and its licenser in a local configuration. I also show that this approach fares better than alternative hypotheses such as the Exfoliation account or a PF-based account.
ENCOURAGING STUDENTS TO IMPROVE SPEAKING SKILLS THROUGH COMMUNITY LANGUAGE LEARNING

Particularly for speaking skill, the students often find some problems. The problem frequently found is that their native language causes they difficult to use the foreign language. Other reason is because lack of motivation to practice the foreign language in daily conversation. English teacher should be able to motivate the learners in learning this foreign language. Motivation is a change of energy in a person's which is characterized by the emergence of affective and reaction to achieve the goals. It should be done by every English teacher in order that the students are interested to learn this language. English teacher must be able to manage the teaching by using certain method in the teaching-learning process, so that the students will like it without boring and despair. This research focused to find out whether community language learning method able to overcome the problem. It is proved by the difference between pre-test and post-test result of the three components speaking ability and final score of the students speaking ability
Influence of Artificial Intelligence on the Necessity of China’s English Learning

As one of the three major compulsory subjects for Chinese students, English has been receiving the most communicated comments almost all the time. Now it is confronted a big challenge on its necessity today with the development of artificial intelligence in education. This paper will make an investigation of the influence of artificial intelligence on Chinaâ€™s English learning. Since English is an international language and China is expected to be a modern responsible part of the world, Chinese students should learn English in the artificial intelligence era.
Development of a Synchrophasor Data Concentrator Based on the IEEE C37.118.2 Standard

This document presents the development and validation steps for the design and implementation of a synchrophasor data concentrator based (PDC) on the IEEE C37.118.2 standard.The PDC can send, receive and interpret data from one or more synchrophasorial measurement units.Additionally, it has a graphical user interface that facilitates its configuration and visualization of information from different sources dynamically.It was possible to develop a synchrophasor data concentrator to send, receive, and interpret data from more than one synchrophasorial measurement unit.Additionally, thanks to the graphic user interface designed, the PDC becomes versatile and easy to use the tool.This software allows the user to visualize, add or remove dynamic trend graphs in real-time, see the vectorial behavior of the phasors, review the variations in the frequency of the electrical network, all this for several servers concurrently.
54 An artificial intelligence approach to automated glomerular annotation and counting in digital renal biopsies

<h3>Introduction</h3> In recent years digital pathology is evolving into the standard of care for the histology laboratory workflow; allowing remote reporting of cases, improved record keeping, and accountability in reporting (1). Digital pathology allows us to bring quantitative and advanced analysis to the histopathology field. Machine learning has been implemented to segment features of whole slide images (WSI), with a U-net architecture (2) accurately segmenting glomeruli, tubuli and interstitium (3). Here we create a workflow for automated glomerular annotation and deliver number and shape of glomeruli metrics to the pathologist. <h3>Materials and Methods</h3> Anonymised Haematoxylin and Eosin (H&amp;E) stained, archival diagnostic paediatric renal biopsy samples from Great Ormond Street Hospital were imaged on an Aperio CS2 slide scanner at 40x magnification. Glomeruli were manually annotated using ImageScope software and image patches (2048 × 2048) with annotation masks saved to the training database which was used to train a U-net model. A pipeline was developed using Python to take WSIs, export tiles which feed the trained U-net to generate predictions. Prediction tiles are recombined into a mask indicating the presence of glomeruli. This was converted into WSI annotation format using the bounding polygons of positive mask regions. <h3>Results</h3> The mean dice score for all test image patches (n=384) was 0.71 for glomerular segmentation. The network identified 106 glomeruli with 8 false positives and 8 false negatives for the testing WSIs (N=3). The speed of image annotation on a CPU was 13.63±1.31 minutes (mean±SD, n=3); producing annotations for a 18000 × 203000 pixel WSI. <h3>Discussion</h3> U-net segmentation of histopathology features in WSI renal biopsies is readily incorporable into the histology pipeline and can be used to produce annotation files before reaching the pathologist. A quantitative glomerular count can improve the reproducibility of reports and lead to a better-informed treatment plan for the patient.
Sentiment Analysis Of COVID-19 As A Social Media Pandemic

A large amount of information about Covid-19 that spreads quickly can lead to a perception of opinion and sentiment for those who read it. This research studies how text networking is formed, sentiment analysis and topics modelling that is widely discussed related to the Covid-19 theme. The text networking analysis was carried out on taken from 4 different times, namely on 26 March, 29 March, 28 June and 23 July 2020 giving the result that the largest edge, nodes and modularity were in the conversation on July 23, 2020. Sentiment analysis shows how the public responds to the Covid-19 pandemic. Sentiment analysis from tweet in March 2020 showed 51% as positive sentiment and 49% as negative sentiment, with an accuracy rate of 0.7586, specificity 0.6667, prevalence 0.5862. Then tweet in June 2020 showed 59% as negative sentiment and 41% as positive sentiment, with an accuracy rate of 0.6486, specificity 0.6111, prevalence 0.5135. Analysis of topic modelling has succeeded in collecting words related to certain topics, such as the on March 26, 2020, representing talks related to the topic of doing from home, health, and government The on March 29, 2020, represent talks related to the topic of activities from home, expression of feelings, new habits. The on June 28, 2020, represent talks related to the topic of health protocol, social assistance, health. And on July 23, 2020 represents talks related to the topic of data security, fine policy, and policy.
대학생 창업의 성공에 미치는 영향요인들의 구조적 관계분석: 시스템다이내믹스 방법의 적용

(Purpose) This study investigated the causal relationship of the variables of university start-up support policy, which has been relatively little researched in the field of university start-ups, and performed macroscopic policy simulation required for establishment of start-up support policy. In this study, a simulation method utilizing system dynamics was used.(Design/methodology/approach) This study created a causal map based on the methodology used in system dynamics, and derived a reinforcement loop and a balanced loop based on this, and explored the causal relationship among variables that can induce the success of college student’s startup.(Findings) In the case of the university''s start-up support system loop, if the university''s start-up support system is strengthened, university students'' interest in startup increases. If college students have high interest in start-ups, college students will be more prepared to start business, and if college students are more prepared for start-ups, college students'' knowledge capacity for startup will increase. Such startup knowledge competency strengthens startup efficacy, and the startup efficacy of university students raises university students'' interest in startup again, and startup interest increases startup readiness, thereby lowering the rate of startup failure (-).(Research implications or Originality) Policies and support systems to induce the success of college students'' startups and activate startups are presented as follows. ① Enhancement of the startup of university students, ②Effectiveness of creating a startup ecosystem, ③Improvement of startup education, ④Improvement of university-level startup support system, ⑤Actively reflect the achievements of startups in the assessment of university.
Usage-based Approaches

The label “usage-based linguistics” is a framework subsuming several theories including Construction Grammar, Cognitive-Functional Linguistics, emergentism, and Complex Dynamic Systems Theory. For second language acquisition beyond the onset of puberty, formal approaches vary in their hypotheses regarding if and to what extent universal grammar is still accessed. Maybe the most widely used corpus-linguistic method inspired by usage-based assumptions in second language acquisition research is collostructional analysis, originally outlined by A. Stefanowitsch and S. Gries. One of the basic tenets of usage-based approaches is that language is a complex system. Ellis and Ferreira-Junior is an example of a study based on the European Science Foundation Database through a usage-based lens. Research in one usage-based framework in particular, namely Complex Dynamic Systems Theory, reveals that no learners behave identically, and learning trajectories are typically non-linear, with dips and spikes emerging before a learner reaches a more robust performance plateau.
KELAYAKAN MATHEMATICS MOBILE LEARNING APPLICATION MATERI LINGKARAN KELAS VIII SMP

This study aims to determine the feasibility of mathematics mobile learning application based on expert judgment. This research is a type of quantitative descriptive. The data in this study were collected using a questionnaire. The research instruments used were expert validation sheets. Data analysis uses descriptive statistical. The research results obtained are mathematics mobile learning application received an assessment of 80,17% from the material experts, 80,77% from design experts and 80,00% from IT experts. Thus the results of expert judgment obtained an average overall value of 80,31% with the criteria valid and concluded that the mathematics mobile learning application was said to be feasible to use.
Research on Strategies to Effectively Promote English Reading Teaching in Junior High School

Reading is not only one of the purposes of English teaching, but also an important way of English learning. Students’ knowledge of English reading enables them to read effectively. At this time, students’ reading focus will gradually shift from learning to using English to obtain information and experience the real purpose of English reading. The traditional junior high school English reading teaching can’t meet the requirements of the new curriculum reform and helps students achieve their initial learning goals. Based on the basic theoretical knowledge of English reading teaching, this article analyzes the problems encountered by teachers and students in the process of English reading teaching, and puts forward the corresponding countermeasures, hoping to promote the level of junior high school students’ English reading teaching.
Blasphemy, freedom of expression and the role of constitutional rights: the case of Ireland

In this chapter, and with particular regard to the approach to blasphemy law in the Republic of Ireland, the author argues that a genuine blasphemy law (as distinct from a law that targets blasphemous speech because it has perceived residual consequences) represents a societal statement that speech which treats sacred matters in an inappropriate way is unacceptable. Such a law therefore constitutes an interference with the right to freedom of expression in the name of public morality. The author argues that, as a matter of human rights law, there is nothing objectionable in principle to a law of this kind, provided that it represents a proportionate response to a genuine public morals concern. The example of the Republic of Ireland, where a blasphemy law exists despite the fact that contemporary Irish public morality objects to rather than demands a blasphemy law, demonstrates that it is only where a state’s public morality is religiously based that such a law could be justified. Equally, and because morality is objectively unprovable as being right or wrong, the fact that most Western states now endorse secular, individual focused moral visions does not mean that a public morality grounded in religion is universally unacceptable. Therefore, the fact that a blasphemy law is out of place in a secular society does not mean that it is inherently and universally unacceptable.
Imported Food Price Shocks and Socio-Political Instability

Using a panel of 101 low- and middle-income countries with data covering the period 1980-2012, this paper applies various econometric approaches that deal with endogeneity issues to assess the impact of food price shocks on socio-political instability once fiscal policy and remittances have been accounted for. It focuses on import prices to reflect the vulnerability of importer countries / net-buyer households to food price shocks. The paper finds that import food price shocks strongly increase the likelihood of socio-political instability. This effect is greater in countries with lower levels of private credit and income per capita. On the other hand, while remittances seem to dampen the adverse effect of import food price shocks on socio-political instability in almost all countries, the mitigating role of fiscal policy is significant only in countries with low-levels of private credit.