Reviewerly/exHarmony huggingface dataset:
A systematic review on opinion mining and sentiment analysis in social media

This paper employed information retrieval and statistical techniques for producing systematic literature review (SLR). Sentiment analysis (SA) and opinion mining (OM) in social media domain were considered as a case study to produce an example of SLR. The produced SLR introduced the field of SA and OM and surveyed current issues in user content based mining in social media field. SLR retrieves and evaluates the multiple relevant research papers concerning specific research questions. The paper details different approaches for conducting SA and OM and provides a common framework for searching and selection procedure applied to extracting the research papers that cover comprehensively the intended research directions in the field. This systematic review investigates the SA and OM techniques that are found in more than 60 specialised research papers in the field of data mining with respect to social media.
Complete Non-Orders and Fixed Points.

In this paper, we develop an Isabelle/HOL library of order-theoretic concepts, such as various completeness conditions and fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often without any property of ordering, thus complete non-orders. In particular, we generalize the Knaster–Tarski theorem so that we ensure the existence of a quasi-fixed point of monotone maps over complete non-orders, and show that the set of quasi-fixed points is complete under a mild condition – attractivity – which is implied by either antisymmetry or transitivity. This result generalizes and strengthens a result by Stauti and Maaden. Finally, we recover Kleene’s fixed-point theorem for omega-complete non-orders, again using attractivity to prove that Kleene’s fixed points are least quasi-fixed points.
PENGGUNAKAN MEDIA KOMPUTER DENGAN PERANGKAT LUNAK AUTODESK INVENTOR UNTUK MENINGKATKAN HASIL BELAJAR MATA DIKLAT MENGGAMBAR TEKNIK MANUFAKTUR KELAS XI PROGRAM KEAHLIAN TEKNIK PEMESINAN DI SMK NEGERI 2 PALEMBANG

This study aims to develop computer-based learning devices with Autodesk Inventor software that is implemented in class XI machining engineering expertise programs, in the hope of increasing student mastery learning. The learning completeness indicator is that if a student obtains a score of at least 7.0 or 70% for productive education eyes and classically has obtained a value of at least 85% of the number of students in that class who have achieved an individual score of 70%. The results of the study show the following: for the assessment of the conventional method of 35 students, a range of values of less than 70 has been obtained by 24 students (68.57%) and a range of values of more than 70 as many as 11 students (31.53%). The assessment carried out by the method of using computer media with Autodesk Inventor software from 35 students has obtained a range of values of less than 70 as many as 5 students (14.29%) and a value range of more than 70 as many as 30 students (85.71%). From these data, it can be concluded that the eye learning training draws machine skills using the method of using computer media with Autodesk Inventor software significantly better when compared with learning using conventional methods.
Word Sense Disambiguation Focusing on POS Tag Disambiguation in Persian

The present study deals with ambiguity at word level focusing on homographs. In different languages, homographs may cause ambiguity in text processing. In Persian, the number of homographs is high due to its orthographic structure as well as its complex derivational and inflectional morphology. In this study, a broad list of homographs was extracted from some Persian corpora first. The list indicates that the number of homographs in Persian corpora is high and homographs with high frequency are those that occur as a result of the identical orthographic representation of some inflectional and derivational morphemes. Based on the list, the most frequent homographs are nouns and adjectives ending in /i/. POS tag disambiguation of such homographs would make word sense disambiguation easier and lead to better text processing. In this study, a list of noun and adjective homographs ending in is extracted in order to decide their correct POS tag. The result was studied to extract context-sensitive rules for allocating the right POS tag to the homograph in syntactic structures. The accuracy of rules was checked, and the result showed that the accuracy of most rules is high which proves most rules are true.
Control architectures for coherent phase photonics

As the complexity of optical systems grows novel system level functions emerge. In this talk I will discuss our recent work on understanding and controlling emergent phenomena in coherent phase optical systems and meta-structures.
Analyzing the Students’ Needs for Cross-Interest English Program of 2013 Curriculum in Indonesia

ABSTRACT Cross-interest is a curricular program that is prepared to expand the students’ choice of interest, talent, and/or academic skill aside from the interest-based program (Permendikbud No.64/2014). Based on the researcher’s preliminary observation to some students and teachers, it was inferred that the application of the English Cross-Interest in SMAN 3 Bukitinggi had been good. However, there were some problems found. They were assumed as the effect of inexistence or lacks of needs analysis. Thus, the aim of this research was to investigate the target and learning needs of the students in the program. To fulfill such an aim, three instruments were used to collect the data; the researcher itself as the instrument, questionnaire, and interview guide. Descriptive research was applied as the research method where the grade XI students of SMAN 3 Bukittinggi were chosen as respondents of the research. Then, the result showed that the students’ target needs are mainly related to their academic and occupational English in the future. The students have been proved to be lack in some micro-skills of speaking which will be needed in the target situations. But, speaking is not practiced much during their study in the program. Reading, on the other hand, is also considered as one of the main skills needed but luckily they have got sufficient reading skills in the program. It has also been concealed that the students need more various learning strategies from the teachers.
Model Driven Security: A Systematic Mapping Study

Model Driven Software Engineering (MDSE) promotes the use of models, rather than code, as the primary development artifacts. Models tend to be more understandable than code and can represent systems are variable levels of abstraction. MDSE promises improved code quality and engineers’ productivity. Many of those benefits have been well examined and evaluated. However, the potential implications of MDSE on software security and reliability is not well understood. Model-Driven Security (MDS) is an approach that can support the process of modeling security requirements at a high level of abstraction in the early stage of software development. In this paper, we conduct a systematic study on MDS methodologies and concepts. The scope of the review is ten years from 2008 to 2018. The study reports on the frequencies of publication over this time period to identify the MDS forums based on seven classifications: online databases, year of publications, type of publication (journal or conference paper), the geographical distribution of the researchers, the main contribution of each paper, MDS approaches, and the security concepts. The majority of studies focused on extensions to existing UML languages suggesting some limitations in the current UML standard support for security. Most studies report on empirical evaluations, and UML Class Diagrams were the most extended language.
A Study on Diagnosis and Design of Liberal Education in Thinking and Discussion Areas

This research explored the ultimate direction and value of discussion course in the college liberal arts education. The goal of this research is to explore the possibility of specific methodology to realize this. Discussion course of liberal arts education in a college aims at learning two competencies, ‘critical and creative thinking ability’ and ‘rational and logical speaking skill’. For this, this research emphasized the basic aim of liberal arts education, which is liberal culture education, and humanistic value.BR To realize this, this research suggested two methods of teaching. First, the design of free discussion course with the mediation of liberal arts and art. For example, free discussion of Art and Culture and Contemporary Art and Human of Keimyung University was conducted after providing students with abundant humanities knowledge and artistic experience. This led students to feel the necessity of internal communication and conduct an autonomous and active discussion.BR Second, reading discussion of ‘tasting reading(味讀)’, which is a deep and slow-learning of a book. Tasting reading is slow reading, slow and deep reading by tasting and appreciating the taste of a book. The model of the lecture of tasting reading is ‘Silver Spoon class’, where Hashimoto Takeshi, a Japanese middle school teacher, read a coming of age novel, Silver Spoon, in 1950s. This way, students can discover their own tastes and preferences through a reading discussion by deeply and thoroughly reading a novel. Such reading is to enable students to ‘explore life in their own way’ and ‘discover and extend their possibility’.BR Based on these two cases, this research insisted that university discussion classes should go back to the ‘foundations again’. In other words, as the liberal arts course of the university, discussion class should aim at the basic value of liberal arts, which is liberal arts and personality education.
Implementasi Jaringan Syaraf Tiruan Backpropagation Untuk Mengidentifikasi Jenis Tanaman Mengkudu Berdasarkan Tekstur Buah

Noni plants are plants that are widely used for herbal medicine. Noni plants have various types. Noni has a type of fruit that is poisonous to distinguish is difficult because noni fruit has a similar texture in terms of fruit. Identification of the type of noni fruit using backpropagation artificial neural network based on fruit texture to identify the type of noni in order to distinguish which non-toxic and poisonous fruit types. Characteristics used include in terms of homogeneity, energy, entropy, and contrast. The results of the testing process obtained a numerical value of 86% accuracy on the results of the 10 cm MSE 1e-10 distance ANN test.
Public Ledger for Sensitive Data.

Satoshi Nakamoto's Blockchain allows to build publicly verifiable and almost immutable ledgers, but sometimes privacy has to be factored in. In this work an original protocol is presented that allows sensitive data to be stored on a ledger where its integrity may be publicly verified, but its privacy is preserved and owners can tightly manage the sharing of their information with efficient revocation.
Conceptualising a Multi-level Integrative Model for Trust Repair

Trust in business is at an all-time low due to a continuous stream of high profile scandals and wrongdoings. Businesses affected by trust erosion must repair this trust to survive. Conceptualising a model for trust repair based on the integrative framework proposed by Bachmann et al. (2015), this paper suggests the inclusion of four moderating variables to aid selection, implementation and success of six key trust repair mechanisms. Moderating variables incorporated are: stakeholder attributes; type of trust relationship; cause of trust erosion; severity of trust erosion. In so doing, this paper contributes to understanding how the effectiveness of trust repair mechanisms can vary in different contexts, and the need to select appropriate trust repair mechanism(s) dependent on audience and source of trust erosion. Operationalising this model will benefit managers across a range of business sectors by signposting them to trust repair strategies fitting for their customers and situation.
Detection of Unobserved Ground Targets by Use of Seismic Location Stations

The detection method of moving unobserved ground military heavy trucks is considered in paper. The 3D coordinates detection set and the seismic location method are used in our study. The computational algorithm of determination of the bearing angle and distance to unobserved ground target are presented, the computational uncertainties are estimated. The triangular form of 3D detectors in one seismic location cell is offered. It allows minimizing distance and angle uncertainties in target direction. To improve the detection effectiveness, the optimal geometry disposition of 3D detectors in seismic location cells is determined. The offered method is effective in case of terrain relief where seismic-acoustic signal is propagated by approximately straight line. Therefore, this method can be applied only to homogenous medium, for example, to mountainous, solid rocky soil.
Estimating Gaps in Martingales and Applications to Coin-Tossing: Constructions and Hardness.

Consider designing a distributed coin-tossing protocol for n processors such that the probability of heads is X0 in [0,1], and an adversary can reset one processor to change the distribution of the final outcome. For X0=1/2, in the non-cryptographic setting, Blum's majority protocol is $\frac1{\sqrt{2\pi n}}$ insecure. For computationally bounded adversaries and any X0 in [0,1], the protocol of Moran,Naor,Segev (2009) is only O(1/n) insecure. In this paper, we study discrete-time martingales (X0,X1,..,Xn) such that Xi in [0,1], for all i in {0,..,n}, and Xn in {0,1}. In particular, for any X0 in [0,1], we construct martingales that yield $\frac12\sqrt{\frac{X_0(1-X_0)}{n}}$ insecure coin-tossing protocols with n-bit communication; irrespective of the number of bits required to represent the output distribution. Note that for sufficiently small X0, we achieve higher security than Moran et al's protocol even against computationally unbounded adversaries. For X0=1/2, our protocol requires only 40% of the processors to obtain the same security as the majority protocol. We introduce a new inductive technique that uses geometric transformations to estimate the large gaps in these martingales. For any X0 in [0,1], we show that there exists a stopping time $T$ such that $\mathbb{E}[|{X_T-X_{T-1}}|]\geq\frac2{\sqrt{2n-1}}\cdot X_0(1-X_0)$. The inductive technique also constructs martingales that demonstrate the optimality of our bound - we construct optimal martingales such that any $T$ has$\mathbb{E}[|{X_T-X_{T-1}}|]\leq\frac1{\sqrt{n}}\cdot\sqrt{X_0(1-X_0)}$. Our lower-bound holds for all X0 in [0,1]; while the previous bound of Cleve,Impagliazzo (1993) exists only for positive constant X0. Our approach only employs elementary techniques and avoids the complex probabilistic tools inherent to the approaches of Cleve,Impagliazzo (1993) and Beimel,Haitner,Makriyannis,Omri (2018).
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).

The Julia programming language supports multiple dispatch and provides a rich type annotation language to specify method applicability. When multiple methods are applicable for a given call, Julia relies on subtyping between method signatures to pick the correct method to invoke. Julia's subtyping algorithm is surprisingly complex, and determining whether it is correct remains an open question. In this paper, we focus on one piece of this problem: the interaction between union types and covariant tuples. Previous work normalized unions inside tuples to disjunctive normal form. However, this strategy has two drawbacks: complex type signatures induce space explosion, and interference between normalization and other features of Julia's type system. In this paper, we describe the algorithm that Julia uses to compute subtyping between tuples and unions - an algorithm that is immune to space explosion and plays well with other features of the language. We prove this algorithm correct and complete against a semantic-subtyping denotational model in Coq.
Scholarly Communications Librarian

The Future Academic Librarian’s Toolkit is a thorough handbook designed to guide future academic librarians from library school through first several years. This chapter specifically focused on scholarly communications librarian, which is a relatively recent area of professional focus for academic librarians.
PENGGUNAAN TEKNOLOGI DALAM PENDIDIKAN: TANTANGAN GURU PADA ERA REVOLUSI INDUSTRI 4.0

One challenges teachers in Era industrial revolution 4.0 is use technology in education which focuses on shifting world towards digital. Age developments caused by innovation or breakthrough by utilizing sophistication. The era industrial revolution 4.0 was characterized by cyber physical and computerized digital-based manufacturing collaboration with an Internet-of-Things (IoT) based system that was globally connected. In general, experts argue that multiple-faced technology. On one hand, technology provides many conveniences and benefits, so there are teachers who rely on use technology in education. However, on other hand, technology can also have a negative impact on education. The use scaffolding in form technology can eliminate essence education. Therefore, use technology as an educational support must be accompanied by an awareness to continue to accommodate and maintain essence education not only concerning knowledge transfer, but also giving example, instilling good values, fostering character, fostering potential uniqueness each student, giving motivation, and various other hidden curriculum. Such a cannot be achieved by relying solely on technological support, but requires human-intersubjective interaction between teacher-students, between students, and between teachers and students with learning resources. Therefore, a thought about the use technological support in learning, but still gives essence of education, it is necessary with awareness carried out by teacher. If not, accumulation long-term negative impacts from use technological support in education will be very large. We might actually lose important thing in education.
Generale e particolare nelle descrizioni e nelle spiegazioni linguistiche

This paper presents a theoretical and methodological reflection on the relevance of particulars in linguistic descriptions and explanations and emphasizes the need to conjugate theoretical generalizations with close analysis of details in both descriptive and explanatory procedures. It also debates the different nature of the operations implied by describing and explaining linguistic phenomena in synchrony and diachrony and stresses the need to differentiate diachronic and historical explanations with respect to the level of historical particularism taken into account and the joint consideration of internal and external factors of language. The considerations presented are substantiated by the discussion of two descriptive problems, i.e. the Pro-drop parameter and the theoretical status of clitic pronouns, and two explanatory problems, i.e. the so-called “prepositional object” of Romance languages and the “inertial theory” of the development of chez in French.
Research on the Development Strategy of Language Service Industry in Hubei Province in the Context of Artificial Intelligence

In recent years, with the rapid development of artificial intelligence in Hubei province, how to meet the demand of market for language services in the context of artificial intelligence represents a major issue. Starting with the development of the man-machine translation, this paper considers the change of talent training plan in colleges and universities and formulates the strategy research that can cultivate the talents in the man-machine translation as a way to meet the needs of regional economic development.
Communication through quantum coherent control of $N$ channels in a multi-partite causal-order scenario

In quantum Shannon theory, transmission of information is enhanced by quantum features. Up to very recently, the trajectories of transmission remained fully classical. Recently, a new paradigm was proposed by playing quantum tricks on two completely depolarizing quantum channels i.e. using coherent control in space or time of the two quantum channels. We extend here this quantum control to the transmission of information through a network of an arbitrary number $N$ of channels with arbitrary individual capacity -- information preservation -- in the case of indefinite causal order. We propose a general procedure to assess information transmission in the most general case. We give and discuss the explicit information transmission for $N=2$, $N=3$ and in some special cases for an arbitrary $N$ as a function of all involved parameters. We also exhibit the detailed dependence of information transmission on the causal orders involved in the quantum control. We find, for example, in the case $N=3$ that the transmission of information for three channels is twice of transmission of the two channel case when a full superposition of all possible causal orders is used. For the case of $N$ channels, we find that the transmission of information depends on the parity of the number of channels $N$ and that certain causal orders yield a constant transmission of information, equal to the two-channel case. Finally, we suggest an optical implementation using standard telecom technology.
Non-task-oriented Dialogue System specialized in distinguishing multiple meaningful words

We propose Non-task-oriented dialogue system for elderly person living alone. The proposed system has three features. First, it can work without internet. Second, it provides a lot of opportunities to speak for elderly person. Third, it can distinguish multiple meaningful words. Also, the system is evaluated by co-occurrence network.
LibGuides: Children Literature Genres: Fantasy

This guide will help readers, educators, and parents identify common children literature genres so that the reading experience can be diversified by genre or to help readers figure out what genre they enjoy reading.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)

This work introduces the novel concept of kind refinement, which we develop in the context of an explicitly polymorphic ML-like language with type-level computation. Just as type refinements embed rich specifications by means of comprehension principles expressed by predicates over values in the type domain, kind refinements provide rich kind specifications by means of predicates over types in the kind domain. By leveraging our powerful refinement kind discipline, types in our language are not just used to statically classify program expressions and values, but also conveniently manipulated as tree-like data structures, with their kinds refined by logical constraints on such structures. Remarkably, the resulting typing and kinding disciplines allow for powerful forms of type reflection, ad-hoc polymorphism and type meta-programming, which are often found in modern software development, but not typically expressible in a type-safe manner in general purpose languages. We validate our approach both formally and pragmatically by establishing the standard meta-theoretical results of type safety and via a prototype implementation of a kind checker, type checker and interpreter for our language.
Användarinvolvering för ökad medvetenhet : En studie om policyutvecklingsprocessen

Many organisations experience the new general data protection regulation (GDPR) as difficult to understand and are unsure as to how they should formulate and communicate a policy that is complied b ...