Reviewerly/exHarmony huggingface dataset:
Carnap’s <i>λ</i>-System: Many Families

Abstract This is the seventh chapter of Confirmation Theory. Confirmation Theory is a book manuscript that Lewis wrote in 1969 on the basis of a course he’d given at UCLA. He submitted the manuscript to Harvard University Press who expressed an interest. It consists of seven chapters covering intensional semantics, probability measures, rational belief, principles of indifference and Carnap and Hintikka’s inductive systems. The work was intended to be accessible to students with, as Lewis put it, ‘hairy high-school algebra’. He described the manuscript to Richard Jeffrey as ‘Mathematically self-contained, with proofs for the major theorems’. Lewis originally envisaged that Carnap’s The Continuum of Inductive Methods (1952) be used as an accompanying text. Lewis focused on Carnap and Hintikka in particular because he believed that their work constituted the attractive core of what competing theories of confirmation had in common.
Carnap’s <i>λ</i>-System: One Family

Abstract This is the sixth chapter of Confirmation Theory. Confirmation Theory is a book manuscript that Lewis wrote in 1969 on the basis of a course he’d given at UCLA. He submitted the manuscript to Harvard University Press who expressed an interest. It consists of seven chapters covering intensional semantics, probability measures, rational belief, principles of indifference and Carnap and Hintikka’s inductive systems. The work was intended to be accessible to students with, as Lewis put it, ‘hairy high-school algebra’. He described the manuscript to Richard Jeffrey as ‘Mathematically self-contained, with proofs for the major theorems’. Lewis originally envisaged that Carnap’s The Continuum of Inductive Methods (1952) be used as an accompanying text. Lewis focused on Carnap and Hintikka in particular because he believed that their work constituted the attractive core of what competing theories of confirmation had in common.
Изгубената памет, изгубеното по пътя: антихуманистичният скептицизъм в романа „Везни“ на Павел Вежинов

The article examines the last novel of Pavel Vezhinov–Libra (1982), which in a narrower sense also culminates the last, clearly separated period/section in the writer’s work–the philosophical-scientific one (after the novel The Barrier, 1976). Here, the novel’s fiction masks in a highly stripped-down fashion a central scientific theory, both civilizational and biological–of human evolution as devolution. Part of a larger study, the article discusses the P. Vezhinov’s radical anti-humanist criticism in the broad context of late modern philosophical skepticism (Heidegger, Deep Ecology) and its autochthonous reflections in Bulgarian literature during the second half of the twentieth century.
Dilemmas and Countermeasures of Human Resource Management in Universities under Epidemic Normalization

With the outbreak of COVID-19 epidemic in late 2019, universities can't get away from the involvement of human resource management work from the initial suspension of classes to online teaching to the resumption of offline classes. In the face of the challenge of COVID-19, especially since the epidemic has become normalized, how to do a good job of personnel management, talent introduction, training and development, salary management, job hiring and other human resource management work is an urgent issue for university human resource management practitioners to think about.
Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui

BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples.
No Reference 3D Mesh Quality Assessment Using Deep Convolutional Features

3D meshes have gained significant interest in computer vision community due to their use in several applications such as virtual reality, gaming, heritage preservation, etc. How-ever these 3D contents might be altered in the pre-processing steps like acquisition, compression or denoising. In this context, visual quality assessment algorithms can be used to quantify the amount of distorsions that affect a 3D mesh and hence degrade its visual rendering. We introduce a no-reference mesh quality assessment index based on deep convolutional features named DCFQI (Deep Convolutional Features Quality Index). Leveraging the power of deep learning, particularly transfer learning, allows the proposed approach to score visual quality without the need of reference content, hence emulating the human vision. By rendering a 3D mesh into 2D views and patches, a pre-trained convolutional neural network is used to automatically extract deep features from the latters. The obtained features are used in a Multi Layer Perceptron (MLP) to predict the objective quality score. Two learning strategies are presented and compared for blind quality estimation. Obtained results in terms of correlation with subjective human scores of quality demonstrate the superiority of the proposed index over existing methods.
Pre-editing influence on the machine translation of the historical literature: “A General History of Science and Technology in China” as an example

This study takes the machine translation of the historical literature “A General History of Science and Technology in China' as an example. By analyzing the errors and their causes in the machine-translated text without pre-editing, relevant methods for pre-editing were derived. Using the BLEU metric, a comparison was made between the machine-translated text before and after pre-editing, and the statistical results showed a significant improvement in the quality of the machine translation after pre-editing.
ANALISIS ETIKA KEGURUAN DALAM MENCIPTAKAN SUASANA BELAJAR YANG MENYENANGKAN DALAM PROSES PEMBELAJARAN DI SMA NEGERI 5 MEDAN

Education plays a significant role in shaping the character of students through a learning process that involves knowledge, understanding, and information conveyed by educators. Teacher ethics play a crucial role in ensuring quality education. As a teacher, creating an engaging and stimulating learning environment is essential to enhance student motivation and engagement in the learning process. This research adopts a descriptive method with a qualitative approach conducted at SMA Negeri 5 Medan. Data were collected through individual behavior observation and interviews with PPKn teachers. PPKn teachers are expected to possess skills such as effective questioning, providing motivation, classroom management, and creating learning variations. Various teaching methods utilized by PPKn teachers to create an interesting learning atmosphere include role play, group discussions, and the use of digital media. Learning while playing can assist students in better understanding and absorbing the learning materials.
COMMUNITY PARTICIPATION IN FLOOD DISASTER MITIGATION IN THE CAPITAL OF NORTH ACEH DISTRICT

Floods are one of the most frequent disasters that hit Indonesia, especially North Aceh District. Flood is a disaster that causes a lot of loss in the form of property and lives, disrupting the activities of the population. Therefore, flood disaster mitigation is important to be carried out by the government by involving the community to reduce the impact of flood disasters that occur so that this can reduce the number of flood risks. One of the efforts made by the government is a cooperative relationship between the government and the community to obtain optimal results. In reviewing flood mitigation efforts, a qualitative approach was carried out with research procedures that produced descriptive data. This descriptive data can be sourced from the local community and observable community behavior. Data collection was carried out by means of in-depth interviews. The results of the analysis show that there has been a flood mitigation effort from the government in the Krueng Keureuto area in the form of the current dam construction and cooperation with the community which is called community participation. This is done by inviting the community to be able to carry out flood disaster mitigation plans. Mitigation planning activities involving the community are carried out by studying and discussing things that might happen before the flood occurs, emergency response during the flood and post-flood recovery. Therefore, disaster mitigation is needed both structurally and non-structurally.
Is “ai” a Unitary or Separate Morpheme?

Yorubá is one of the major languages spoken in Nigeria alongside Hausa and Igbo. It has enjoyed extensive research works from both native and non-native authors in virtually all the sub-fields of linguistics. However, there are areas of disagreement among scholars, one of which is the status of the negative maker "ai" as a morpheme or two morphemes. This argument, among other reasons, prompted this paper. Albeit, Oye (2007) argues that negative marker /ai/ is a morpheme while Awobuluyi (2005), Adewole (1992) Solomon (1983) and Olumuyiwa (2006) have a contrary opinion, they claim that the negative prefix marker /ai/ is two morphemes. In this paper, we shall examine the arguments of Yoruba scholars on the negative prefix marker /ai/ as to whether it a unitary morpheme or two separate morphemes. We shall argue in this paper, that the morpheme /i/ has two variants; one is a nominal prefix while the other is a negative marker and the variants are in complementary distribution. We shall also show in this paper that /a/ is a nominal prefix while /i/ is the negative marker in support of the earlier scholars that claim that /ai/ is two morphemes.
Frameless Folk Psychology

In this paper, I will argue that the rise in hostility and polarization on social media is explainable by taking into account a radical difference between online and face-toface interaction. In everyday offline environments, socially shared and context-dependent norms frame the understanding of other people’s minds based on their behavior. I will argue that, on social media platforms, social cognition is distorted thanks to two deliberate design choices that are a means for financial gain for the platform’s designers: namely, the lack of socially shared norms on these platforms (entailed by what is known as context collapse) and their interfaces’ extreme user- centeredness. I will argue that such design features not only cause frustration in the understanding of others but encourage testimonial injustice in interaction.
Non-ICT Students’ Familiarity with Basic Computer Concepts at the Faculty of Philosophy at the University of Novi Sad

As a continuation of our previous paper, the aim of this research was to determine the level of familiarity of the freshmen at the Faculty of Philosophy, University of Novi Sad, Novi Sad, Serbia, with the basic concepts related to computers. The sample included the same 568 respondents as in our first study, and the same two control groups. Familiarity was analysed with 14 questions from the field of computer literacy, both at the level of individual questions and in relation to the total number of correct answers. The results were also analysed in relation to the condition of passing the test from the appropriate European Computer Driving Licence module. No student answered all the questions correctly, which clearly indicates the need to educate students on basic concepts related to computers. The obtained results can be used to better adapt teaching to the students’ needs and their prior knowledge.
Multi-scale Features Destructive Universal Adversarial Perturbations

Deep Neural Networks (DNNs) are suffering from adversarial attacks, where some imperceptible perturbations are added into examples and cause incorrect predictions. Generally, there are two types of adversarial attack methods, i.e., image-dependent and image agnostic. As for the first one, Image-dependent attacks involve crafting unique adversarial perturbations for each clean example. As for the latter case, image-agnostic attacks create a universal adversarial perturbation (UAP) that can fool the target model for all clean examples. However, existing UAP methods only utilize the output of the target DNNs within a limited magnitude, resulting in an ineffective application of UAP to the entire feature extraction process of the DNNs. In this paper, we consider the difference between the mid-level features of the clean example and their corresponding adversarial example in the different intermediate layers of target DNN. Specifically, we maximize the impact of the adversarial examples in the forward propagation process by pulling apart the feature representations of the clean and adversarial examples. Moreover, to achieve targeted and non-targeted attacks, we design a loss function that highlights the UAP feature representation to guide the direction of perturbations in the feature layers. Furthermore, to reduce the training time and training parameters, we adopt a direct optimization approach to craft UAPs and experimentally demonstrate that we can achieve a higher fooling rate with fewer examples. Extensive experimental results show that our approach outperforms state-of-the-art methods in both non-targeted and targeted universal attacks.
Dataset publication

The paper deals with issues related to the creation of data archives, their publication and placement of their metadata in the Crossref bibliographic database.
«Paperless Informatics» Today

40 years ago, the book “Fundamentals of Paperless Informatics” was published. And this August, the 100th anniversary of the birth of its author, the outstanding scientist V.M. Glushkov, was celebrated. The paper contains quotations from this monograph, describes the modern development of the ideas and forecasts described in it in relation to various spheres of society.
Applications of Knowledge Graphs in modern Industry

Knowledge graphs have come a long way in evolution from a simple set of RDF triples to systems for obtaining new knowledge. While in previous years semantic search was considered the main application of knowledge graphs, nowadays knowledge graphs penetrate into all areas of industrial production. This work is an survey of new applications of knowledge graphs intended for use in modern production.
Towards the Development of a Complex of Open Scientific and Publishing services

This article analyzes IT solutions for scientific and publishing processes. The needs of users in the preparation and publication of scientific articles are described, a list of services aimed at improving the convenience and speeding up the process of scientific publications has been compiled. The composition of the developed services includes a service for reviewing scientific articles, a service for working with user data, a recommendation service, and an service of messages. The architecture and functionality of scientific and publishing services are described, the technical stack of the developed IT solution is given.
Creation of an online software for research work with the archive of F. M. Dostoevsky's manuscripts

A software package has been created and has been developing for a number of years, the work of textologists studying the handwritten archive of F.M. Dostoevsky. The portal "Archive of F.M. Dostoevsky" combines the results of several projects using a single primary data array – digital copies of pages of nineteen handwritten notebooks of F.M. Dostoevsky with corresponding text transcripts (more than 3000 pages). Software interpretation of text markup allows you to interactively identify layers of author's edits. Currently, work is underway to create a corpus of graphic samples, software solutions have been implemented that provide online tools for creating, web publishing and flexibly displaying a library of graphic samples. The database of graphic samples is being updated, the possibilities of viewing and filtering materials are being developed. The results of the work will provide a basis for further research work.
Relative programming language definition

The article proposes a formalism that supports the relative definition of programming languages, allowing you to clearly express the difference between languages when analyzing and comparing them, as well as when defining new languages based on already known ones. Formalism is an extension of the BNF, in which the names of the concepts used can be accompanied by an indication of foreign concepts from other languages. As a result, it becomes possible to specify parts of the used concept, such as variants of the definition or implicit concepts, up to a syntactic position. The syntactic position can be specified using a terminal string, symbolizing the choice of a variant of the definition of a concept or indicating an implicit concept, the unnamed definition of which is located immediately after the string.
Access to the List of HAC through the user interface

The List of scientific journals of the Higher Attestation Commission (HAC) is gradually turning into a complex information system tied to the normative documents of the HAC, bibliometric data from eLibrary.ru, decisions of the expert councils of the HAC and working groups engaged in the analysis, ranking and categorization of the journals of the List. An urgent task is to create an officially recognized information system that ensures the filling and development of the List of HAC with access interfaces for different categories of users. The system should include an open interface addressed to the degree applicant to verify compliance with the requirements of the HAC for publications in journals from the List.
SAT-Aided Differential Cryptanalysis of Lightweight Block Ciphers Midori, MANTIS and QARMA

Lightweight primitives have already received a lot of attention with the growth of resource-constrained devices, and many lightweight block ciphers such as Midori, MANTIS and QARMA have been proposed in recent years. In this paper, we present a SAT-aided search of the optimal (related-tweak) differential characteristics for such block ciphers combined with the Matsui’s bounding conditions and the technique of dichotomy. Using this method, we find the optimal differential characteristics for Midori-128 up to 10 rounds, and the optimal related-tweak differential characteristics for QARMA-64 and MANTIS up to 11 rounds and 10 rounds respectively. To obtain better attacks, we add some constraints into the search model to restrict the number of active S-boxes for input and output differences. As a result, we give a differential attack on 12-round Midori-128 based on the found 10-round differential characteristic with probability $$2^{-115}$$ . Moreover, we present a related-tweak differential attack on 11-round QARMA-64 based on the optimal 9-round differential characteristic with probability $$2^{-52}$$ , which improves the previous attacks as far as we know.
DRoT: A Decentralised Root of Trust for Trusted Networks

For many years, trusted computing research has focused on the trustworthiness of single computer platforms. For example, how can I decide whether I can trust my personal computer (A) or another computer (B), who communicates with A? In reality, both A and B are part of a computing network, in which there are many other computers, and these computers’ behaviour affects the trustworthiness of any communication between A and B. Obviously, the target of trusted computing is not only to build trusted devices but also trusted networks. Attestation is a mechanism initially designed to ascertain the trustworthiness of a single device. To check on the trustworthiness of a network, we need a network attestation mechanism. The basis of attestation is a root of trust, and research on building roots of trust for individual devices has been successful. One of the next challenges, the most important one, is to create a root of trust for network attestation. In this paper, we introduce our research on designing such a root of trust. This uses devices’ individual roots of trust and a decentralised ledger together with the techniques of “zero trust but verify”, which means that to start with, any entity in the system is not trusted until its functionality can be verified. Based on the verification results, the entities can establish trust. We aim to use such a root of trust to aggregate the attestation evidence and verification results from multiple devices in a network and to achieve trust in the network.
Texture-based approach to classification meningioma using pathology images

Manual analysis and judgement system suffered by two boundaries: first, studying histological slides by manual human's effort is time overhead and the human specialists are not permanently obtainable. Secondly, a lot of work has been done to outline diagnostic standards for all tumour components. CAD is quickly developing owing to the obtainability of up-to-date computing procedures, fresh imaging tools, plus patient data for infection diagnosis. Decision making using computer-assisted can be used to enhance histopathologists by providing additional objective diagnostic and analytic parameters. Recently, tumour has become one of the diseases that affect human health the most. Brain is a central system for human bodies that control, organise and arrange regular habit tasks. This paper talks about meningiomas tumour, which is considered one of the popular brain tumours. Colour-based segmentation, is a morphological operation used to enhance the appearance of cells. Texture-based features (FOS, GLCM, GLRS, GLDS and NGTDM) are used to enhance CAD feature extraction process and two classifiers are used to improve decision making (SVM and KNN).
H5P jarduerak hizkuntzen eskolarako

Hizkuntzak derrigorrezko hezkuntza-etapa ezberdinetan ikasten dira; are, bizialdi osoko errealitatea ere bada ikaskuntza hori. Moodle bezalako ikaskuntza-inguruneek aukera ematen diete herritarrei ikastaroak online edo jardun biko ereduan egiteko eta, ondorioz, horrelako inguruneak erabiltzeak etengabeko ikaskuntzarako sarbidea erraztu du mundu osoan. Hala ere, plataformaren oinarrizko funtzionaltasunek, elkarreragin txikia dutenez, beti ez dute lortu ikasleen motibazioa mantentzea. Moodle barruan H5P plugina sartzeak aukera berriak ekarri ditu ikastaroak edo, besterik ga-be, jarduerak diseinatzeko, eta, horrela, ikasleen interesari eusteko eta ikaskuntza esanguratsua sortarazteko.