Reviewerly/exHarmony huggingface dataset:
Spy versus I: Can employees trust and share knowledge under conditions of high security?

Organizations’ use of security is both widespread and often overwhelmingly comprehensive. Many employees work in firms where they are required to encounter or use a wide range of security measures including: storing confidential information in repositories and vaults when not in use, not accessing secret information without at least one other person present and undergoing annual background investigations to determine reliability with confidential information. Few studies have examined the effect of such organizational security strategies on employee outcomes, especially those related to key drivers of innovation. Theories of person-environment fit and psychological safety may explain why employees trust or share knowledge under perceived conditions of higher security. We use a sample of 297 employees to examine how perceptions of organizations’ strategic use of security and the threats they face influence individuals. Implications and directions for future research are discussed.
The Complexity of Model Checking Knowledge and Time

We establish the precise complexity of the model checking problem for the main logics of knowledge and time. While this problem was known to be non-elementary for agents with perfect recall, with a number of exponentials that increases with the alternation of knowledge operators, the precise complexity of the problem when the maximum alternation is fixed has been an open problem for twenty years. We close it by establishing improved upper bounds for CTL* with knowledge, and providing matching lower bounds that also apply for epistemic extensions of LTL and CTL.
O acesso à informação como supravalor ético em Ciência da Informação: diálogos entre a literatura científica e as fontes normativas na perspectiva brasileira

Information access in a fast, transparent and accurate way is one of the main objectives of information units, implying an ethical dimension that makes this objective identified as a moral value in the activities of Knowledge Organization. This issue becomes even more evident when considering the Brazilian Law of Information Access (LAI), which, among other purposes, regulates the fundamental right of information access, which is constitutionally present. Thus, the present article sought to relate the text of said law and the moral aspects found in the literature of the area of Ethics in Organization of Knowledge. In order to do so, the LAI integal text and a corpus of thirteen articles that worked with the ethical dimension in the studies on Knowledge Organization were comparatively analyzed, in order to identify the moral aspects found in this normative and bibliographic group. It was possible to identify a link between the analyzed scientific literature and normative prediction in Brazil, so that information Access as a moral supravalue that aims at equanimity and quality access to knowledge produced by society, and the normative about such access in terms of transparency in a democratic society dialogue in a consonant manner.
Towards Architecture-Agnostic Neural Transfer: a Knowledge-Enhanced Approach

The ability to enhance deep representations with prior knowledge is receiving a lot of attention from the AI community as a key enabler to improve the way modern Artificial Neural Networks (ANN) learn. In this paper we introduce our approach to this task, which comprises of a knowledge extraction algorithm, a knowledge injection algorithm and a common intermediate knowledge representation as an alternative to traditional neural transfer. As a result of this research, we envisage a knowledge-enhanced ANN, which will be able to learn, characterise and reuse knowledge extracted from the learning process, thus enabling more robust architecture-agnostic neural transfer, greater explainability and further integration of neural and symbolic approaches to learning.
Efficient Solving of Birds of a Feather Puzzles

In this article, we describe the lessons learned in creating an efficient solver for the solitaire game Birds of a Feather. We introduce a new variant of depth-first search that we call best-n depth-first search that achieved a 99.56% reduction in search time over 100,000 puzzle seeds. We evaluate a number of potential node-ordering search features and pruning tests, perform an analysis of solvability prediction with such search features, and consider possible future research directions suggested by the most computationally expensive puzzle seeds encountered in our testing.
A Study of Fuzzy Language in Business Negotiation

The study of Fuzzy language is an important branch in the family of linguistics. With the globalization of economy, people tend to pay more attention to international business negotiation, and fuzzy language in international business negotiation got particular attention. This paper makes sufficient review concerning the study of fuzzy language both at home and abroad. It reveals the pragmatic functions of saving face, being flexible and self protection. The paper provides a pragmatic analysis of fuzzy language in business negotiation from perspective of politeness strategy to give people a better understanding on how to use fuzzy language to achieve certain communicative purposes in business negotiation. It selects some dialogues with fuzzy language from real business negotiations and analyzes the significance as well as the positive and negative functions of fuzzy language in business negotiation. It discusses the application of fuzzy language in business negotiation and tries to arouse more attention to the research of the field.
Migration Model of Science and Education Management in the ‘Archive Philosophy’ of M.K. Petrov

Purpose:The article deals with the features of science and education in the context of the management system, presenting not a traditional management system, but the innovative idea of a migration management model.Design/Methodology/Approach: The study is based on the archive philosophy of M.K. Petrov.Under the conditions of 'big science', its creative potential focusing on innovations in the field of practical applications and in the education system, assigns its generation feature to cybernetic management models. Findings: Authors presents a model of education, facing the issue of management science and education in modern conditions. It analyses the concepts of the 'science of science' and 'society scientification' in the conditions of the modern 'big science'. Practical Implications:The results gives the view on shaping the institute of science in modern times and could be used in managing science and education at all levels.Originality/Value: The study has a unique viewpoint on the framework of science and education, addrssing the very nature of these sociocultural phenomena .
Visual-auditory Volume Rendering of Scalar Fields

This paper describes a novel approach to visual-auditory volume rendering of continuous scalar fields. The proposed method uses well-established similarities in light transfer and sound propagation modelling to extend the visual scalar field data analysis with auditory attributes. We address the visual perception limitations of existing volume rendering techniques and show that they can be handled by auditory analysis. In particular, we describe a practical application to demonstrate how the proposed approach may keep the researcher aware of the visual perception issues in colour mapping and help track and detect geometrical features and symmetry break, issues that are important in the context of interpretation of the physical phenomena.
Simultaneous Inference under the Vacuous Orientation Assumption.

I propose a novel approach to simultaneous inference that alleviates the need to specify a correlational structure among marginal errors. The vacuous orientation assumption retains what the normal i.i.d. assumption implies about the distribution of error configuration, but relaxes the implication that the error orientation is isotropic. When a large number of highly dependent hypotheses are tested simultaneously, the proposed model produces calibrated posterior inference by leveraging the logical relationship among them. This stands in contrast to the conservative performance of the Bonferroni correction, even if neither approaches makes assumptions about error dependence. The proposed model employs the Dempster-Shafer Extended Calculus of Probability, and delivers posterior inference in the form of stochastic three-valued logic.
Designing unmanned aerial vehicle for minimum takeoff and landing distance

In this paper, preliminary level designing of a tilt rotor UAV and tilting mechanism, are presented. Tilt rotor aircraft is a VTOL which offers more speed and comfort for payload than other VTOLs. A conceptual configuration for tilt rotor based remote controlled (RC) plane has been developed. Three tilt rotor mechanisms have been devised, modeled in CATIA V5 and analyzed with the help of the multibody dynamics simulation software ADAMS and details of the feasible mechanism were found out.
Seminar dan Pelatihan Penulisan Karya Tulis Ilmiah bagi Siswa MTs Raudlatul Munawwaroh Jatirejo Pringsewu

The implementation of Community Service activities was carried out through a seminar and training on writing scientific papers for students of MTs Rhaudlotul Munawwaroh Jatirejo Pringsewu. The results of this activity include: (1) can grow students' interest in writing, (2) students are able to write reports on tourism activities in accordance with EYD and scientific writing writing guidelines (3) students become trained to think scientifically, and (4) students able to be competitive in participating in the Youth Scientific Work competition in the local / national / international arena. Keywords: writing, scientific thinking, scientific writing
Effect of Physical Exercise on Functional Recovery after Injury of Nervous System from the Perspective of Ecological Science

To explore the effect of physical exercise on the recovery of function after injury of the nervous systemy in Ecological environment, the recovery of hindlimb function of spinal cord injury in rats was taken as an example to explore the effect of exercise training on the mRNA expression of neuroinhibitory factor Nogo-A, receptor (NgR) and Cdh1 in the spinal cord injury of rats. The rat model of T10 spinal cord injury was made by modified Allens strike method. After making the model, the movement function of hindlimbs of rats was observed by BBB scoring method. The relative mRNA content of Nogo-A, NgR and Cdh1 in spinal cord tissues at different time points were measured by Fluorescence quantitative PCR method. The results showed that 4-8 weeks after the surgery, the ranking of BBB scores were: exercise training group (group B) >SCI group (group A) > control group (group C) (P 0.05).The experimental results show that physical exercise training can reduce the mRNA expression of Nogo-A and NgR, promote the mRNA expression of Cdh1 in the injured area of the spinal cord injury rats, and stimulate the recovery of hindlimb function of the rats after spinal cord injury.
Library: PRISM: FAQs

PRISM (formerly known as DSpace) is University of Calgary's Digital Repository used to collect, preserve and disseminate the academic works of faculty, students, and research groups.
The Robot Crawler Model on Complete k-Partite and Erdős-Rényi Random Graphs

Web crawlers are used by internet search engines to gather information about the web graph. In this paper we investigate a simple process which models such software by walking around the vertices of a graph. Once initial random vertex weights have been assigned, the robot crawler traverses the graph deterministically following a greedy algorithm, always visiting the neighbour of least weight and then updating this weight to be the highest overall. We consider the maximum, minimum and average number of steps taken by the crawler to visit every vertex of firstly, sparse Erdős-Rényi random graphs and secondly, complete k-partite graphs. Our work is closely related to a paper of Bonato et al. who introduced the model.
Two-stage Training for Chinese Dialect Recognition

In this paper, we present a two-stage language identification (LID) system based on a shallow ResNet14 followed by a simple 2-layer recurrent neural network (RNN) architecture, which was used for Xunfei (iFlyTek) Chinese Dialect Recognition Challenge and won the first place among 110 teams. The system trains an acoustic model (AM) firstly with connectionist temporal classification (CTC) to recognize the given phonetic sequence annotation and then train another RNN to classify dialect category by utilizing the intermediate features as inputs from the AM. Compared with a three-stage system we further explore, our results show that the two-stage system can achieve high accuracy for Chinese dialects recognition under both short utterance and long utterance conditions with less training time.
Space-Efficient Gradual Typing in Coercion-Passing Style

Herman et al. pointed out that insertion of run-time into a gradually typed program could hamper tail-call optimization and, as a result, worsen space complexity of program. To address problem, they proposed a space-efficient coercion calculus, which was subsequently improved by Siek et al. The semantics of these calculi involves eager composition of run-time expressed by coercions to prevent size of a term from growing. However, it relies also on a nonstandard reduction rule, which does not seem easy to implement. In fact, no compiler implementation of gradually typed languages fully supports space-efficient semantics faithfully. In this paper, we study coercion-passing style, which Herman et al. have already mentioned, as a technique for straightforward space-efficient implementation of gradually typed languages. A program in coercion-passing style passes the rest of run-time checks around---just like continuation-passing style (CPS), in which the rest of computation is passed around---and (unlike CPS) composes coercions eagerly. We give a formal coercion-passing translation from $\lambda$S by Siek et al. to $\lambda$S$_1$, which is a new calculus of first-class coercions tailored for coercion-passing style, and prove correctness of translation. We also implement our coercion-passing style transformation for Grift compiler developed by Kuhlenschmidt et al. An experimental result shows stack overflow can be prevented properly at cost of up to 3 times slower execution for most partially typed practical programs.
An Error Analysis Of The Cohesive Devices Made By The Students In Writing Paragraph (A Study Of English Department Students Of Letters Faculty)

This research investigates cohesive devices errors in paragraphs written by the seventh semester students at UMI Makassar. This graduating paper intends to be a descriptive qualitative research which consist of a detail linguistic description and explanation of cohesive devices errors. It explains how cohesion is used erroneously in the students’ writing. The objectives of this research are to know whether there are any cohesive errors in English essays written by the seventh semester students at UMI Makassar, to find out the types of cohesive devices error committed in those paragraphs, and to describe the dominant of errors in using cohesive devices in those paragraphs. The results show that a total of 25 errors are identified in those paragraphs include errors on the use of reference, conjunction and lexical cohesion. Errors on the use of substitution and ellipsis are not found. The percentage of errors on the use of reference is 64%, conjunction 24%, and lexical cohesion 12%. From percentage of each types of errors on the use of cohesive devices, reference becomes the first dominant error, conjunction as the second dominant error, and lexical cohesion as the last dominant error.&#x0D;
The Teaching Learning Process of Public Speaking from An Ethnographical Perspective

This research aims to explore how the application of public speaking at an English course in Pare, Kediri, East Java. This research was qualitative in the form of ethnography research. The research objective is from an ethnography study in an English course in Pare Kediri East Java. The subject from the research is the teacher and students from public speaking class at an English course in Pare, Kediri, East Java. The data obtained through interviews, observation, and document analysis. The findings of the implementation of public speaking at an English course in Pare, Kediri, East Java. This study shows that there are three methods which the speeches were impromptu speech in the placement test to select students. Introduction speech to describe their name or background and storytelling speech with different themes to express their ideas and knowledge. Further, in the beginning, class, the teacher gives the power words to motivate students. Moreover, the teacher stimulates the speaking skill of students with dialog in the forum; The teacher gives the evaluation of strengths and weakness from students’ speech one by one.
Sentiment Analysis Using Maximum Entropy on Application Reviews (Study Case: Shopee on Google Play)

Shopee was one of the e-commerce application that could found on Google Play. The amount of Shopee application reviews on Google Play continues to grow over time. These make the company trying to get the overall information from all reviews because it would take a long time to read each of the reviews on Google Play. Therefore analysis was used using text mining. One part of text mining was sentiment analysis that applied the maximum entropy method to classification. Based on the results of the analysis found an accuracy of 97.32%. By using the maximum entropy method it could be concluded that word association obtained related to â€œapplicationâ€, â€œpromoâ€, â€œsatisfyâ€, and â€œdiscountâ€ for positive sentiment. Meanwhile for negative sentiment, the reviewers of Shopee application on Google Play were related to â€œproblematicâ€, â€œloginâ€, â€œoldâ€, â€œverificationâ€, and â€œexpensiveâ€. The results of this research in Indonesian.
Edge-guided Non-local Fully Convolutional Network for Salient Object Detection

Fully Convolutional Neural Network (FCN) has been widely applied to salient object detection recently by virtue of high-level semantic feature extraction, but existing FCN based methods still suffer from continuous striding and pooling operations leading to loss of spatial structure and blurred edges. To maintain the clear edge structure of salient objects, we propose a novel Edge-guided Non-local FCN (ENFNet) to perform edge guided feature learning for accurate salient object detection. In a specific, we extract hierarchical global and local information in FCN to incorporate non-local features for effective feature representations. To preserve good boundaries of salient objects, we propose a guidance block to embed edge prior knowledge into hierarchical feature maps. The guidance block not only performs feature-wise manipulation but also spatial-wise transformation for effective edge embeddings. Our model is trained on the MSRA-B dataset and tested on five popular benchmark datasets. Comparing with the state-of-the-art methods, the proposed method achieves the best performance on all datasets.
On BL-Algebras and its Interval Counterpart

Interval Fuzzy Logic and Interval-valued Fuzzy Sets have been widely investigated. Some Fuzzy Logics were algebraically modelled by Peter Hájek as BL-algebras. What is the algebraic counterpart for the interval setting? It is known from literature that there is a incompatibility between some algebraic structures and its interval counterpart. This paper shows that such incompatibility is also present in the level of BL-algebras. Here we show both: (1) the impossiblity of match imprecision and the correctness of the underlying BLimplication and (2) some facts about the intervalization of BL-algebras.
Towards a Democratic Laboratory School

Nowadays, a new model of democratic school must contemplate educational dimensions capable of realizing those ethical relationships that can face the now unpredictable learning challenges of contemporary global society. Those involved in education have the task of organizing education by taking into account both the differences of each student to enhance the full development of the single individual’s potential, as well as the opportunity to enhance talent to ensure a merit system based not on competitiveness but on recognition of the different skills of each pupil in the class. Perrenoud affirms the importance for the teacher to question himself about his activities and the educational relationship with young people, also with a view to an observation process that the school itself can undertake in the context of an overall self-assessment process.Against this background, the reflection proposed here focuses, in particular, on flipped methodologies, those cognitive and formative processes that, developed within the school of competencies, can be declined in real answers related to the existential, professional and social needs of young people. The transition to this type of school has meant the enhancement of a teaching approach in which pupils take the lead of their own learning pathway, learning to manage those key competences, including digital skills, social and civic competences, which are necessary for personal growth. In the context of these educational issues, it becomes useful to reflect on technology in a broader perspective, not only as a means to learn something but as an "object" able to promote the exploitation of those dimensions of existence, such as cooperation, sense of judgement, and the principle of responsibility, necessary to overcome society’s challenges. Taking a chance on a democratic school means possessing digital wisdom, borrowing an expression from Mark Prensky, namely, that quality that can come out thanks to the enhancement of human capabilities through a balanced use of technologies. The digital wisdom, today's teacher, will reflexively identify the circumstances in which technology can be a valuable aid to stimulate students' understanding and creativity. Therefore, a proposal for those involved in education, may be to consider technology in a different perspective which, as Calvani suggests, embraces a different level of technology, the "contour ", the potential, that which can be moved in terms of communication and cooperation. In this sense, flipped technologies (or an inverted way of teaching/learning: a task is given to the class that can be a video to watch, a book to read, or an experience to becarried out , usually to be done at home) such as the Flipped Classroom and the method of the EAS ( method, transforming the school into a laboratory school, can represent an important learning opportunity for the adults of tomorrow. In fact, these technologies, due to their implementation methods, put into effect those values, such as collaboration, reflexivity, sharing, in a learning pathway suitable for living in today's complex society.
On the Pathological Search Behavior of Distributed Greedy Best-First Search

Although A* search can be efficiently parallelized using methods such as Hash-Distributed A* (HDA*), distributed parallelization of Greedy Best First Search (GBFS), a suboptimal search which often finds solutions much faster than A*, has received little attention. We show that surprisingly, HDGBFS, an adaptation of HDA* to GBFS, often performs significantly worse than sequential GBFS. We analyze and explain this performance degradation, and propose a novel method for distributed parallelization of GBFS, which significantly outperforms HDGBFS.