Reviewerly/exHarmony huggingface dataset:
The Impact of Real Rain in a Vision Task

Single image deraining has made impressive progress in recent years. However, the proposed methods are heavily based on high-quality synthetic data for supervised learning which are not representative of practical applications with low-quality real-world images. In a real setting, the rainy images portray a scene with a complex degradation caused by the rain weather and the low-quality factors. The goal of this paper is to investigate the impact of two visual factors that affect vision tasks: image quality and rain effect. To evaluate this, an image dataset with images varying these factors has been created. Aiming to evaluate them, different object detection algorithms are applied and evaluated on the dataset. Our findings indicate that the fine-tuned models can efficiently cope with this problem regardless of the rain intensity of the scene, however it is greatly affected by the image quality gap.
Architecture of AI Semantics

AI models have cognitive (non-formalizable) and denotative (formalizable) semantics. The former covers non-local, subatomic, and relativistic effects. These effects cannot be fully embraced using the denotative semantics created by logic or even deep neural networks. The cognitive and denotative semantics, which embrace logical, atomic- and universe-level elements, is the subject of AI models semantics architecture.
La tecnología Blockchain como mecanismo para transar contratos forward en Colombia

Technological developments have influenced the traditional approach in which the local and international financial industry operates in recent years. For instance, blockchain has transformed the negotiation of financial instruments on derivative markets. The main objective of this paper is to demonstrate the influence of the blockchain implementation in the traditional forward trading process in Colombia and its advantages and disadvantages in the Over - The - Counter (OTC) market. Initially, blockchain technology in the Chilean and United States markets was examined, and then its incorporation in the Colombian capital market through already accomplished pilot tests.Furthermore, information and user security were improved, optimizing execution time, process automation, reduction of operating costs, access to information in real-time, and in general greater efficiency in negotiation processes, creating scenarios in which users could participate in international forward agreements without geographical limitations. Finally, by introducing blockchain into the traditional Colombian financial system requires that local banks, which are the ones with the highest demand for forward agreements, encourage the training of this technology use and invest in technological infrastructure. In consequence, instead of replacing the participants involved in the FWD market negotiations, they do require adaptation.
APPLICATION OF THE WAY MODELING METHOD TO IMPROVE STUDENTS 'SPEAKING SKILLS IN CLASS V SDN 4 BULANGO TIMUR

The problem studied in this research is Can the application of the modeling method the Way improve the speaking skills of students in class V SDN 4 Bulango Timur? The purpose of this study was to improve students' speaking skills through the application of the Modeling the Way method in class V SDN 4 Bulango Timur. The research method used is classroom action research (PTK). Data collection techniques through observation, tests, and documentation. In the initial observation, 7 students or 36% of the 19 students spoke fluently. In the first cycle after using The Way modeling method increased to 12 people or by (63%). In the second cycle, it increased again to 18 students or (94%) from 19 total students. Based on these results, it can be concluded that the Modeling the Way method can improve the speaking skills of students in class V SDN 4 Bulango Timur.n
Do Not Cast the Result of malloc

In C, we do not need to cast the result of malloc. The following example wrongly performs the cast:
Mineral Prospectivity Mapping for energy critical elements in Europe: the Cell Based Association approach

Summary Lithium, cobalt and natural graphite are essential for energy storage technologies. Their demand is expected to surge with the increasing electrification in the transport sector. As they are all produced outside Europe, their supply for the European industry is potentially a threat. To address this, the FRAME project has produced prospectivity maps for Li, Co and Gr, to identify high potential mineral areas in Europe. They were calculated with the Cell Based Association (CBA) method, developed to better manage uncertainties related to cartographic data, often significant at continental scale. The base principle is to identify the associations of evidential features in the cells of a regular grid. Several techniques for scoring the favourability of the cells were tested. A prospectivity map was then calculated for each commodity (Co, Li and Gr) with the 1:1.5 million geological map of Europe, a regular grid of 10 by 10 km cells covering the whole Europe and the most performant scoring technique. These maps highlights favourable areas for the discovery of new energy critical elements deposits in Europe, and are valuable outputs of the FRAME project that help assessing highly prospective areas where mineral exploration should be focused in the coming years.
Communication in project activities of the teaching staff in vocational education institutions

Relevance: Project communication aims to ensure constant interaction among the teaching staff of vocational education institutions during the implementation of project objectives. Project management communication presupposes that all project participants are aware of the requirements and progress of step-wise execution of tasks within a project. Project activities ensure communication by implementing the functions and principles of project interaction. Purpose: To describe modern approaches to the organisation of communication in project activities of the teaching staff at vocational education institutions. Methods: Theoretical analysis in order to explore the research problems in the scientific literature and the status of project communication at vocational education institutions and to define research avenues; comparison in order to investigate different scientific approaches to resolving the problem; analysis and synthesis in order to justify the functions of communication and forms of project interaction.
Computational and Symbolic Models for Secure Computation

Formalization and modeling are important topics in cryptography. They are crucial for precisely defining cryptographic problems and for rigorously deriving security analysis. In this dissertation, we study some computational and symbolic models in secure computation, namely: Passive computational security model for homomorphic approximate encryptions. In this part, we study homomorphic encryption schemes, as they can be used to construct secure computation protocols. We identify the shortcomings of the classical passive security model \emph{indistinguishability under chosen plaintext attacks} when applied to approximate encryption, and we propose and study new security definitions in a model that captures the special properties of approximate encryption. As a concrete example showing the gap between these two models, we present a passive key recovery attack against the popular CKKS homomorphic approximate encryption scheme (Cheon et. al., Asiacrypt 2017) that is IND-CPA secure. We implement our attack against several open-source libraries, and we briefly discuss countermeasures to our attack. Symbolic security model for garbled circuits. In this part, we present the first computationally sound symbolic security analysis of Yao's garbled circuits. We extend the symbolic framework of Micciancio (Eurocrypt 2010), and we prove Yao's garbled circuit scheme is (simulation-based) secure in a purely syntactic fashion, which implies concrete computational security statements by the computational soundness theorem of the symbolic model. We also implement our symbolic analysis in Haskell that can prove the security of garbling large circuits within several seconds. Equational security model of oblivious transfer (OT) protocols. In this part, we analyze some concrete OT protocols in the equational security framework (Micciancio and Tessaro, ITCS 2013). Our analysis uncovers subtle timing issues in these protocols that are partly caused by shortcomings in the typical OT definitions. We show that the OT length extension protocol can be proved secure using a revised OT definition that adds an acknowledgment bit to the sender output. Our analysis on the ``simplest'' OT protocol of Chou and Orlandi (Latincrypt 2015) shows that this protocol cannot be proven secure in the equational framework, even using the revised OT definition.
Over 100 Bugs in a Row: Security Analysis of the Top-Rated Joomla Extensions.

Nearly every second website is using a Content Management System (CMS) such as WordPress, Drupal, and Joomla. These systems help to create and modify digital data, typically within a collaborative environment. One common feature is to enrich their functionality by using extensions. Popular extensions allow developers to easily include payment gateways, backup tools, and social media components. Due to the extended functionality, it is not surprising that such an expansion of complexity implies a bigger attack surface. In contrast to CMS core systems, extensions are usually not considered during public security audits. However, a Cross-Site Scripting (XSS) or SQL injection (SQLi) attack within an activated extension has the same effect on the security of a CMS as the same issue within the core itself. Therefore, vulnerabilities within extensions are a very attractive tool for malicious parties. We study the security of CMS extensions using the example Joomla; one of the most popular systems. We discovered that nearly every second installation of such a system also includes Joomla's official top-10 rated extensions as a per se requirement. Moreover, we have detected that every single extension of the official top-10 rated extensions is vulnerable to XSS and 30% of them against SQLi. We show that our findings are not only relevant to Joomla; two of the analyzed extensions are available within systems like WordPress or Drupal, and introduce the same vulnerabilities. Finally, we pinpoint mitigation strategies that can be realized within extensions to achieve the same security level as the core CMS.
XSS Extenuator Framework for Exterminating Cross Site Scripting Attacks to Ensure Secure Web Access

Cross-Site Scripting aka XSS is one among the common application-layer attacks in the world of web. By exploiting this type of vulnerabilities an attacker can carry out malevolent actions, such as tamper the personal information, steal the session credentials and perform sensitive data theft. Although there are plenty of eradicating approaches for this XSS attack, it is still prevalent among these days in the web applications. Therefore, a strapping demand arises to improvise the existing methodologies and solutions and defenders are in a position to develop a secured mitigation technique to overcome this attack. Many approaches are concentrating either detection or protection, but this paper proposes a detective and defensive frame work for extenuating XSS attack. The new secured framework approach for web security requires the capacity and ability to detect and prevent XSS attack. This paper considers the extenuating mechanism for client and also includes server side protection with an effective implementation. The client protection mechanism uses input validation and data refining techniques to efficiently detect the presence of malevolent code in web pages. The proposed approaches have been applied for a proxy server in order to detection and defend against server side attacks. The server side approach uses XSS Exhauster, XSS policy filter and XSS Defender to mitigate it. The result of the implementation shows that the approach can effectively detect XSS attacks and defend against it from the server side as well as the client side and act as a complete mitigation framework for eradicating XSS vulnerabilities.Keywords - XSS Extenuator, XSS Defender, XSS Exhauster, XSS Policy Filter, defensive framework, data refiner.
μ-Calculi with Atoms (Invited Talk)

Modal μ-calculus is a well-known formalism for describing properties of state-based transition systems. It can define properties such as [in current state] p holds, and is a path where is holds again at some point in future, where p comes from some fixed vocabulary of basic predicates.A formula of classical μ-calculus refers only to finitely many basic predicates, which may sometimes seem restrictive. Real systems routinely operate on data coming from potentially infinite domains, such as numbers or character strings. Basic properties of such systems may reasonably include ones like the number n was input, for every number n. It is then not clear how to say that there exists a transition path where currently input number is input again some time in future as a formula.Various modal formalisms have been proposed to model temporal properties of systems that refer to data coming from infinite domains. Here I focus on modal μ-calculus with atoms, which is an extension of classical calculus with features of nominal sets. There, basic predicates, formulas and models rely on atoms that come from some fixed infinite domain and can be tested for equality (or, in an extended variant, for some fixed order).I present a few variants of modal μ-calculus with atoms, and describe their properties. As an example application, I show how to formulate security property of cryptographic Needham-Schroeder protocol, which relies on generating atomic nonces and comparing them for equality, and which famously fails due to a man-in-the-middle attack.Much of material presented in this talk is drawn from [C. Eberhart and B. Klin, 2019; B. Klin and M. Łelyk, 2019; B. Klin and M. Łelyk, 2017].
The Role of Humanoid Robotics in Health Care System

In Japan, new developments in the field of robotics are being received with interest and enthusiasm by the population and used in everyday life. This can be explained on the one hand by a long tradition of stories that report positively on artificial servants for humans. These stories continue into modern manga comics. Robots take on positive roles, expanding the capabilities of humans and being of service to them. On the other hand, Japanese religions and philosophies such as Buddhism and Shintoism influence attitudes towards robots.
Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation

Mechanical theorem proving is especially advantageous on formal verification of algorithms manipulating complicated data structures. Some proof assistants such as Isabelle/HOL also enable users to extract executable code from verified specification, pushing the correctness assurance from algorithm level forward to code level. As a long-standing active research area, file comparison algorithms have extensive applications involving molecular biology, information processing, data retrieval and network security. In this paper, the formalization of <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">fcomp</i> , an efficient line oriented file comparison algorithm suggested by Miller and Myers, is modeled in the interactive theorem prover Isabelle/HOL. A small bug in <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">fcomp</i> ’s bound variable iteration is identified and the fixed algorithm’s termination and correctness is established. Formal analysis of time complexity is also performed which coincides with the algorithm designers’ own results. Using Isabelle’s code generation tool a credible OCaml program is extracted further. This program’s efficiency is compared to another hand-written OCaml program as well as to a C program through a set of experiments. Analysis results show that the generated program’s efficiency still needs much improvement to be practically usable. Our work lays foundation for subsequent rigorous check of more file comparison algorithms.
Single-Shot 3D Detection of Vehicles from Monocular RGB Images via Geometrically Constrained Keypoints in Real-Time.

In this paper we propose a novel 3D single-shot object detection method for detecting vehicles in monocular RGB images. Our approach lifts 2D detections to 3D space by predicting additional regression and classification parameters and hence keeping the runtime close to pure 2D object detection. The additional parameters are transformed to 3D bounding box keypoints within the network under geometric constraints. Our proposed method features a full 3D description including all three angles of rotation without supervision by any labeled ground truth data for the object's orientation, as it focuses on certain keypoints within the image plane. While our approach can be combined with any modern object detection framework with only little computational overhead, we exemplify the extension of SSD for the prediction of 3D bounding boxes. We test our approach on different datasets for autonomous driving and evaluate it using the challenging KITTI 3D Object Detection as well as the novel nuScenes Object Detection benchmarks. While we achieve competitive results on both benchmarks we outperform current state-of-the-art methods in terms of speed with more than 20 FPS for all tested datasets and image resolutions.
THE INFLUENCE OF STUDENTS’ PERSONALITY ON STUDENT ENGLISH SKILLS

This research discussed the influence of students‘ personality on studentenglish skills which is focus only one skill that is writing skill. This research useddeskriptive method in collecting data, the instrument that Researcher use werepersonality and writing skill questionnaireThe result of the questionnaire and test given to english students in the fifthsemester of Antasari State Islamic University show that students‘ personalityinfluence their writing skill. From the Result of this research states that introvertedstudents have a better abilty in writing based on data obtained, namely the influenceof introverts as much as 11% in writing, while extroverted students only have aneffect of 2,1% in writing. Althouh personality gives small contribution, studentswith introvert type learn best through quite and more focus, extrovert type learnbest talking and physically engaging in environment. Therefore, Introvert studentsbetter in writing skill than extrovert students.
SOCIAL MEDIA IN BRINGING SOCIAL CHANGE IN BALOCHISTAN

Social media is the most progressive form of information gaining. It plays decisive role in life of masses. Social media is considered one of the popular communal activity among youngsters, women, kids and men. It is providing youth a new platform for communication, interaction and entertainment. It also providing a new way to highlight the social problems with world which will be beneficial for society development. The main objective of this study is that how social media is bringing social change in society, and what are the main reasons for the development of such Apps like Facebook, WhatsApp, Instagram and other. In this study a closed ended questionnaire was directed to 300 students of different public universities of Balochistan including Sardar Bahadur Khan Women University, University of Balochistan and Balochistan University of Engineering technology and Management sciences. It is observed that Facebook is being used by student is having an important part in their daily life. In addition, social media is bringing positive change in society.
TRENDS IN THE DISTANCE LEARNING: METHODS AND TECHNOLOGIES

The article reveals the peculiarities of the use of different types of distance learning. The advent of new technologies has led to the beginning of fundamental changes, including those in the field of education. The authors of the article have analyzed several of the most relevant areas. The use of web technologies to improve communication efficiency is one of the main trends in the field of distance learning. This article provides recommendations on the development and maintenance of distance learning systems. The authors pay special attention to modern international standards developed by international organizations, which should be used in the formation of distance learning systems. The advantages and disadvantages of distance learning for consumers, developers, suppliers, educational process organizers and other interested parties are given.
Strategies for quantitative research: archaeology by numbers

"Strategies for quantitative research: archaeology by numbers." Archaeological Journal, 178(2), pp. 401–402
8 Genetic algorithm and normalized text feature based document classification

With the increase in the digital network, the more text content is available on various platforms. Therefore, the arrangement of such a set of documents depends on human understanding. This chapter proposes a document classification technique where instead of using any prior information a training classification was done. Here teacher-based learning optimization genetic algorithm was used where a novel fitness function has increased the classification rate with the lower computational cost. In this work, probable solutions were updated twice in one iteration step. We experimented with a real dataset of research documents obtained from various journals and compared this result with the previously existing method and found that the proposed work has improved precision, recall and accuracy parameters.
INCREASING STUDENTS’ VOCABULARY BY USING LIST-GROUP-LABEL STRATEGY AT THE SEVENTH GRADE OF MTs DDI DARUL ULUM KALANGKANGAN

This research aims to find out whether the use of List-Group-Label Strategy can increase students’ vocabulary at the seventh grade of MTs DDI Darul Ulum kalangkangan. This research design belongs to a quasi-experimental research. There were two classes, namely VII A as control class (without List-Group-Label Strategy) with the total number of 23 students and VII B as experiment class (taught by List-Group-Label Strategy) with the total number of 22 students. The researcher gave pre-test and post-test to both groups. The researcher used SPPS 16.0 program to analyze the data. The result of data analysis showed that List-Group-Label strategy give a significant effect to the increasing students vocabulary specially noun. The mean score of post-test experiment (65.4091) was higher than the mean score of post-test control (49.6087). Then, the testing hypothesis showed that the value of score T -test is greater than T table (-2.862 > 1.681). In conclusion, the application of List-Group-Label strategy is effective to increasing students’ vocabulary especially noun. Key words: Increasing, noun, and List-Group-Label.