Reviewerly/exHarmony huggingface dataset:
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

We present in this paper a novel framework for the definition of formal software component models, called the Hypercell framework. Models in this framework (hypercell models) allow the definition of dynamic software architectures featuring shared components, and different forms of encapsulation policies. Encapsulation policies in an hypercell model are enforced by means of runtime checks that prevent a component, in a given context, to evolve in violation of these policies. We present the main elements of the framework, its operational semantics and the first elements of its behavioral theory. We give some results concerning its ability to express different forms of composition, and show by means of examples its ability to deal with sharing and different forms of encapsulation.
Sufficient conditions for a digraph to admit a (1,≤ l)-identifying code

A (1, ≤ )-identifying code in a digraph D is a subset C of vertices of D such that all distinct subsets of vertices of cardinality at most have distinct closed in-neighbourhoods within C. In this paper, we give some sufficient conditions for a digraph of minimum in-degree δ -≥ 1 to admit a (1, ≤ )identifying code for ∈ {δ -, δ -+ 1}.As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree δ ≥ 2 and girth at least 7 admits a (1, ≤ δ)-identifying code.Moreover, we prove that every 1-in-regular digraph has a (1, ≤ 2)-identifying code if and only if the girth of the digraph is at least 5.We also characterize all the 2-in-regular digraphs admitting a (1, ≤ )-identifying code for ∈ {2, 3}.
Full-field deflectometry for optical characterization of high-precision mirrors

Full-field deflectometry, which combines high-precision and robustness to external perturbations, is well adapted for the characterization of high-precision freeform mirrors. Instead of measuring the surface height map like interferometry does, the instrument will estimate the surface slopes in two perpendicular directions. The principle of the method is to measure the angular distribution by applying spatial filtering. This method has been called phase-shifting Schlieren deflectometry Inspection of mirrors in terms of slopes instead surface height offers multiple advantages. In particular, deflectometry is well adapted for the detection of waviness, which is a mid-spatial frequency topography error. Waviness detection during the diamond turning process is critical since it is hard to remove afterwards by polishing. Keeping the mirror mounted in the lathe during the measurement of its shape will simplify the process since it will avoid misalignment when remounting the mirror in the lathe.
Depth tracking using a multi-aperture microscope

We present a multi-aperture gigapixel microscope that is capable of imaging a 600cm2 area at 10 micrometer resolution and can simultaneously track the depth of objects within the scene. We demonstrate this capability by tracking freely swimming zebrafish larvae in a large petri dish.
Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality

This paper addresses Ludwig Wittgenstein’s claim that “there can never be surprises in logic” (TLP 6.1251) from a perspective of the distinction between substantial and dynamic models of formality. It attempts to provide an interpretation of this claim as stressing the dynamic formality of logic. Focusing on interactive interpretation of compositionality as dynamic formality, it argues for the advantages of dynamic, i.e., game-theoretical approach to some binary semantical phenomena. Firstly, model-theoretical and game-theoretical interpretations of binary quantifiers are compared. Secondly, the paper offers an analysis of Wittgenstein’s idea that mixed colours (e.g., bluish green, reddish yellow, etc.) possess logical structures. To answer some experimental challenges, it provides a game-theoretical interpretation of the colours opponency in Payoff Independence (PI) logic. Comparing Nikolay Vasiliev’s logical principles and Wittgenstein’s internal properties and relations, Wittgenstein’s approach is argued for as an attempt of modelling a balance between logic and the empirical.
Special Issue on Education Based on Practical Exercise on Sensing and Control

Control engineering and sensing engineering improve productivity and save resources and energy in industry, and they are also deeply related to the solving greater societal, economic, and environmental problems. Control engineering and sensing engineering have become dynamic forces that enrich various phases of life through interdisciplinary or cross-sectional study. Furthermore, in recent years, due to the development of information technology, as symbolized by terms such as “big data” or “AI,” “sensing and control at a higher level” has become possible, premised by big data processing that is faster by orders of magnitude than conventional data processing. All this has increased the importance of control engineering and sensing engineering. In response to the development of the fields of control engineering and sensing engineering associated with the advance of the “information society,” education in these fields has also needed to be enhanced. On the national scale, the Ministry of Education, Culture, Sports, Science and Technology will introduce Japanese elementary school computational thinking education into elementary school in fiscal year 2020, and the new Courses of Study for High School Information Education in fiscal year 2022. At the same time, individual companies, educational institutions, etc. have also been experimenting with various forms of education in control engineering and sensing engineering. During these changing times, the most advanced studies related to the development of instruction and evaluation methods for educational materials on control engineering, sensing engineering, and control technology have been collected, and the present special issue was planned. This special issue is a collection of practical papers related to measurement and control education, including one paper on Model-Based Development education in a company and eight papers on education in an educational institution. These eight papers include two on education using a robot contest in a university, one on introducing measurement and control engineering education in a national institute of technology college, three on introducing it in a junior high school, and two on introducing it in an elementary school. We hope that this special issue serves to support the readers’ future efforts in control engineering and sensing engineering education, and we thank the authors and reviewers of the papers.
Predicting visual saliency via a dilated inception module-based model

With the advent of deep convolutional neural networks (DCNN), the improvements in visual saliency prediction research are impressive. Despite this, it is still needed to fully characterize the multi-scale saliency-influential factors into the current deep saliency framework for further improvement. However, the existing approaches aiming at capturing multi-scale contextual features either suffer from the heavy computation or limited performance gain. To overcome this, a lightweight yet powerful module for fully exploiting multi-scale contextual features is desired. In this paper, we propose a DCNN-based visual saliency prediction model to approach this goal. Our model is inspired by the GoogleNet, which use the inception module to capture multi-scale contextual features at various receptive fields. Specifically, we revise the original inception module to have more powerful multi-scale feature extraction capacity and less computation load by utilizing dilated convolutions to replace the original standard ones. The whole model is trained end-to-end and is efficient to achieve real-time performance. Experimental results on several challenging saliency benchmark datasets, including SALICON, MIT1003, and MIT300, demonstrate that our proposed saliency model can achieve state-of-the-art performance with competitive inference time.
A novel correlation filter based on variational calculus

Correlation filters have been a popular technique for tackling image classification problems. The traditional criteria used to design correlation filters overlook some properties that can improve their discriminative power. Therefore, new criteria are proposed to design a novel correlation filter. Such criteria take advantage of negative samples, spatial information and the smoothness of the correlation output space. A closed form is derived from the criteria proposed using variational calculus. Moreover, it is shown that the resulting correlation filter is a bandpass filter. Experiments are conducted for face identification under illumination variation for a single training image per subject and head pose classification. The correlation filter proposed delivers favorable scores when compared to other correlation filters and state-of-the-art approaches.
INFORMATION TECHNOLOGY-BASED LEARNING (Media Development Applications Quizlet on students in MI DDI Seppange Bone)

pplication quizlet is one of media-based learning android application that can be&#x0D; used to a limited extent to the students, that is, their use by teachers who provided the material&#x0D; is in the form of questions relating to the learning and grating exam questions that will be&#x0D; dihadapai by the students of classes VI MI DDI Seppange Bone. Granting of quizlet is done&#x0D; gradually so that absorption to the students can be more rapid and structured. Use of the&#x0D; media learning is very beneficial to students because it can be developed by entering (input)&#x0D; the subject matter in the form of questions that melingupi an important part of the sub a lesson.&#x0D; Quizlet apps is also a means of contracting the message and information learned. As well as&#x0D; the power tTarik learning using information technology is well designed to help learners in the&#x0D; digest and understand the subject matter. On dasarya this research uses Quasi Experimental&#x0D; Research method, by using the subject of research in the form of a group (class). Class VI MI&#x0D; DDI Seppange taken as the population because, this class was considered qualified and&#x0D; already have knowledge about android-based learning, this can be seen from the quizlet&#x0D; diajuan at the time of pre-test. Variables that are revealed in this research is a study of the&#x0D; response against the application of learning to the students ' quizlet klas VI students taught&#x0D; using quizlet and response application of their learning. Next design research is applied in this&#x0D; study isThe pre-test – post-test control group design.
Performance Assessment of an Efficient Search and Realization Technique of the S-Box in the AES Cryptosystem

The speed and area performance of the byte-substitution (S-Box) impose a correlated impact on the speed and area of the Advanced Encryption System (AES) cryptosystem. In this paper, we present an efficient realization technique of the S-Box in the AES cryptosystem. We start by classifying the S-Box byte-substitution design techniques. We then provide a brief coverage of the hardware, software, and hybrid S-Box realization techniques. We then present an efficient S-Box realization technique that replaces the search needed in the 16 ×16 S-Box by four simpler searches two of them can be conducted in parallel and in a way that reduces the final search into searching within a set consisting of only four 2×2 cells which in turn leads to a faster search strategy. We also provide a simple hardware to carry out the search. A performance comparison among five realization techniques is conducted. The comparison is based in terms of the area (A) and the delay (T). It is shown that the technique due to Bertoni is the fastest followed by the technique due to Abd-El-Barr. In terms of area, it was found out that the technique due to Abd-El-Barr consumes the least area followed by the technique due to Canright. The technique due to Abd-El-Barr achieves the best normalized O(AT2) where A is the area and T is the critical path delay.
Short Communication Greening Electrocoagulation Process for Disinfecting Water

Electrocoagulation (EC) process is an efficient method for treating water especially in terms of killing pathogens. This paper discusses some tools to promote the large industrial usage of EC as a green technology. Concerning EC process design, the focus should be accorded to intensify the EC device in terms of residence time and close contact opportunities between water pollutants and electrodes area. The laminar vs. turbulent regime should be given more interests to better increase the metallic cations liberation from the anode and avoid or reduce the passivation of the electrodes. Evolution of hydrogen form cathode and oxygen from anode should be well optimized; at the same time, chlorine emanation from anode should be avoided or decreased to avoid disinfection by-products generation. Moreover, increasing the water temperature using solar energy heating would enhance the EC process efficiency technically, energetically, and economically. The heated EC process combines EC with distillation (or its similar version, even if at low temperature between 20-100°C) or membrane distillation using solar radiation. Finally, the EC method remains promising vis-a-vis pathogens’ removal and water treatment in a general manner.
ON THE CHOICE OF OPTIMAL PARAMETERS FOR THE INTEGRATED ASSESSMENT OF SURFACE WATER QUALITY

The quality and depth of content Web of Science offers to researchers, authors, publishers, and institutions sets it apart from other research databases. The inclusion of News of NAS RK. Series of geology and technical sciences in the Emerging Sources Citation Index demonstrates our dedication to providing the most relevant and influential content of geology and engineering sciences to our community.Қазақстан Республикасы Ұлттық ғылым академиясы "ҚР ҰҒА Хабарлары.Геология жəне техникалық ғылымдар сериясы" ғылыми журналының
Automatically Selecting Complementary Vector Representations for Semantic Textual Similarity

The goal of the Semantic Textual Similarity task is to automatically quantify the semantic similarity of two text snippets. Since 2012, the task has been organized on a yearly basis as a part of the SemEval evaluation campaign. This paperHay, Julien presentsVan de Cruys, Tim a method that aims to combine differentMuller, Philippe sentence-based vector representations in order to improve the computation of semantic similarity values. Our hypothesis is that such a combinationDoan, Bich-Liên of different representations allows us to pinpoint different semantic aspects, which improves the accuracy ofPopineau, Fabrice similarity computations. The method’s main difficulty lies in the selection of the most complementaryAit-Elhara, Ouassim representations, for which we present an optimization method. Our final system is based on the winning system of the 2015 evaluation campaign, augmented with the complementary vector representations selected by our optimization method. We also present evaluation results on the dataset of the 2016 campaign, which confirms the benefit of our method.
A Novel Architecture for Detecting Phishing Webpages using Cost-based Feature Selection

Phishing is one of the luring techniques used to exploit personal information. A phishing webpage detection system (PWDS) extracts features to determine whether it is a phishing webpage or not. Selecting appropriate features improves the performance of PWDS. Performance criteria are detection accuracy and system response time. The major time consumed by PWDS arises from feature extraction that is considered as feature cost in this paper. Here, two novel features are proposed. They use semantic similarity measure to determine the relationship between the content and the URL of a page. Since suggested features don't apply third-party services such as search engines result, the features extraction time decreases dramatically. Login form pre-filer is utilized to reduce unnecessary calculations and false positive rate. In this paper, a cost-based feature selection is presented as the most effective feature. The selected features are employed in the suggested PWDS. Extreme learning machine algorithm is used to classify webpages. The experimental results demonstrate that suggested PWDS achieves high accuracy of 97.6% and short average detection time of 120.07 milliseconds.
Analysis and compensation of telescopes’ gaps effect on aperture synthesis in a multi-channel synthetic aperture ladar system

The azimuth multi-channel synthetic aperture ladar (SAL), which arranges multiple telescopes along the flight direction of the platform, transmits signals through a single telescope and receives echoes by multiple telescopes simultaneously to obtain data. The aperture synthesis technology, which has the ability to achieve high resolution through multiple small telescopes, is applied to the multi-channel SAL system to realize the reconstruction of the complete azimuth Doppler spectrum in a short observation time. However, there are gaps inevitably between telescopes, which degrade the results of aperture synthesis. In this work, the effect of gaps on the instantaneous Doppler spectrum of each channel and the influence on the result of the azimuth impulse compression after aperture synthesis are analyzed. In addition, an estimation method of gaps based on the phase errors between channels is proposed to reduce the influence. The estimation accuracy of the proposed method is analyzed, and the effectiveness of the method is verified with simulations. The estimated gaps are used to compensate for the phase discontinuity of the azimuth signal after aperture synthesis caused by gaps. The method improves the result of aperture synthesis and reduces the side-lobe of the azimuth impulse compression after aperture synthesis.
Uniform Labelled Calculi for Conditional and Counterfactual Logics

Lewis’s counterfactual logics are a class of conditional logics that are defined as extensions of classical propositional logic with a two-place modal operator expressing conditionality. Labelled proof systems are proposed here that capture in a modular way Burgess’s preferential conditional logic $$ \mathbb {PCL}$$, Lewis’s counterfactual logic $$ \mathbb {V}$$, and their extensions. The calculi are based on preferential models, a uniform semantics for conditional logics introduced by Lewis. The calculi are analytic, and their completeness is proved by means of countermodel construction. Due to termination in root-first proof search, the calculi also provide a decision procedure for the logics.
ALIH KODE DAN CAMPUR KODE DALAM INTERAKSI PEMBELAJARAN BAHASA INDONESIA DI KELAS VIII F SMP NEGERI 2 BRANGSONG KABUPATEN KENDAL

&lt;p&gt;&lt;em&gt;The purpose of the research are kind of code-switching and code-mixing, the factor of the result from the code-switching and code-mixing; and the role of the code-switching and code-mixing in the Indonesian lerning of the seventh F class SMP N 2 Brangsong, Kendal regency. &lt;/em&gt;&lt;em&gt;The research used descriptive qualitative method with &lt;/em&gt;&lt;em&gt;case study &lt;/em&gt;&lt;em&gt;approach.The research used purposive sampiling and snow ball sampling, then the technique of the collecting data by record, report, and interview. Validity test is triangulation theory.The result of the research are: the first, find out 12 code-switching in the javanese is four times and from Arab is 8 times; the second, find out the code-mixing consist of 44 times divided to be Indonesian dialeg from Jakarta is 12 times and english is 6 times; the third, factor of the result from the code-switching and code mixing from the research devided to be 5 factors (a) personal and speaker, (b) the partner of the speech, (c) the place, (d) topic, and (e) function and purpose&lt;/em&gt;&lt;em&gt;.&lt;/em&gt;&lt;/p&gt;
Verification of Programs with Pointers in SPARK

In the field of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-defined subset of the Ada language, intended for formal verification of mission-critical software. Our solution uses a permission-based static alias analysis method inspired by Rust’s borrow-checker and affine types. To validate our approach, we have implemented it in the SPARK GNATprove formal verification toolset for Ada. In the paper, we give a formal presentation of the analysis rules for a core version of SPARK and discuss their implementation and scope.
Automatic Question Paper Generator System

Information and intelligence are two vital columns on which development of humankind rise and knowledge has significant impact on operating of society.Student assessment is a crucial part of teaching and is done through the process of examinations and preparation of exam question papers has consistently been a matter of interest.Present-day technologies assist the teacher to stock the questions in a computer databases but the problem which emerges is how the present day technologies would also assist the teachers to automatically create the variety sets of questions from every now and then without worry about replication and duplication from the previous exam while the question bank keeps growing.
Symbiota2: Enabling greater collaboration and flexibility in mobilizing biodiversity data

Symbiota, the most used biodiversity content management system in the United States, has helped mobilize over 35 million specimen records from over 750 natural history collections via 40+ separate installations. Most Symbiota records come from natural history collections but some Symbiota instances also incorporate records from observations, images, publications, and gardens. Symbiota serves as both a data management system for entering, annotating, and cleaning occurrence data, images and associated specimen data (e.g., genetic sequences, images, publications) and as a primary aggregator/publisher for data stored in any database system that can export to a comma separated value (csv) file. Symbiota integrates and displays data and images from many resources in multiple formats, some of which appeal primarily to researchers, others to land managers, educators, and the general public. After nearly 20 years, Symbiota is going through a major software revision through Symbiota2, a US National Science Foundation-funded project. The broad goals of Symbiota2 are to make it easier for developers to add new functionality, to improve usability, and to help site managers administer a site. Symbiota2 will have a plugin-based architecture that will allow developers to encapsulate functionality in a plugin. Symbiota2 will improve usability by supporting off-line use, enabling Wordpress (content-managment system) integration, and having a customizable user interface. Symbiota2 will help site managers by simplifying installation and management of a site. The three-year project is on-going, but so far we have created a Symbiota2 GithHub repository and a Docker image with all the necessary components for installing, configuring, and running Symbiota2, an object relational mapping (ORM) of the tables in the database management system (DBMS), and web services to connect to the DBMS via the ORM. We used Doctrine 2 for the ORM and API-Platform for the web services. By the third quarter of 2019, we anticipate deploying the plugin framework to encourage developers to create new functionality for biodiversity content management.
mir-pucrs/smartix-rl v1.0

Code companion to the paper: SMARTIX: A database indexing agent based on reinforcement learning