Reviewerly/exHarmony huggingface dataset:
Organizational Readiness for Managing Large-Scale Data Storage in Virtualized Server Environments

Storage management is a challenging issue due to exponential growth of data and computing workloads transacted per day. Although storage virtualization plays a prominent role in addressing this problem, there exist complexities in the adoption process of virtualization technologies because the transition from a non-virtualized to a virtualized environment is not always a smooth process. Using a survey of 24 public and private institutions in Tanzania, the organizational readiness for managing data storage in virtualized servers is studied. While there is a satisfactory awareness level for most adopters of the existing virtual-based data storage technologies and disk partition techniques, the attention given to securing adopter’s practices for virtual resource allocation is inefficient for countering virtual machine attacks. Adopters are prone to starve their virtual machines as soon as their computing workloads expand. The study reveals a serious ad hoc allocation of virtual HDDs with high discrepancy between adopters from the same sector and with similar IT infrastructure, and computing level and demands. Organizations are prompted about the limitations of their current practices which would hardly bring maximum benefits of storage virtualization when expanding from small- to large-scale data workloads.
전통시장 활성화 인식도에 관한 연구 - 전통시장 상인의 경영활성화 교육 참여 여부를 중심으로 -

This study aimed to provide insight into methods for activating management of traditional markets by understanding differences in merchant perception according to whether or not the merchant has participated in management activation education. Analysis of merchants’ levels of perception of market activation found that educated merchants had a higher perception of pre-post modernization satisfaction, promotion of traditional market revitalization projects, and post-support changes in sales. In a co-marketing context, educated merchants showed significant differences in onnuri gift certificates, bargain sales, festivals and events, and advertisement promotions. With regards to perception of management performances, educated merchants showed statistically significant higher responses for items such as satisfaction with the current vendor, increased sales, and increased customer awareness. The results in this study may be incorporated into the policy-making processes of the government or local governments in order to revitalize traditional markets, and merchant education for activation of management is deemed to be continuously necessary.
Bachelor students’ soft skills development in course of foreign language instruction

Currently there is a demand for specialists with developed soft skills which is due to relevant economic situation, increasing information flows and dynamic processes in the professional environment, as well as employers’ requirements. Thus, high quality education for future university graduates with universal competencies that can be useful in many life situations is required. The purpose of the article is to explain the need for soft skills development in course of foreign language instruction as one of the conditions for professional training enhancement. Soft skills are a complex phenomenon that includes four categories. The category under study is focused on thinking skills, which, in turn, are related to different types of effective thinking: analytical, logical, critical, systemic, creative, structural, project, tactical and strategic thinking, as well as information search and analysis, decision making. The authors of the article consider the technology of critical thinking development through reading as an effective means of soft skills development at bachelor students’ of various areas of training. Testing assessment demonstrated that most students’ critical thinking performance is at low level. Thinking skills under discussion were improved by means of reading authentic texts and doing exercises of various types: instruction, reconstruction, search. Teaching experiment confirmed the hypothesis that process of soft skills development should be effective if purposeful and consistent work is carried out to form bachelor students’ critical thinking skills in course of foreign language instruction at the university.
Snappy: Fast On-chain Payments with Practical Collaterals

Permissionless blockchains offer many advantages but also have significant limitations including high latency. This prevents their use in important scenarios such as retail payments, where merchants should approve payments fast. Prior works have attempted to mitigate this problem by moving transactions off the chain. However, such Layer-2 solutions have their own problems: payment channels require a separate deposit towards each merchant and thus significant locked-in funds from customers; payment hubs require very large operator deposits that depend on the number of customers; and side-chains require trusted validators. In this paper, we propose Snappy, a novel solution that enables recipients, like merchants, to safely accept fast payments. In Snappy, all payments are on the chain, while small customer collaterals and moderate merchant collaterals act as payment guarantees. Besides receiving payments, merchants also act as statekeepers who collectively track and approve incoming payments using majority voting. In case of a double-spending attack, the victim merchant can recover lost funds either from the collateral of the malicious customer or a colluding statekeeper (merchant). Snappy overcomes the main problems of previous solutions: a single customer collateral can be used to shop with many merchants; merchant collaterals are independent of the number of customers; and validators do not have to be trusted. Our Ethereum prototype shows that safe, fast (<2 seconds) and cheap payments are possible on existing blockchains.
비정규 분포 특성을 갖는 공정에서 Box-Cox 변수변환을 활용한 CUSUM 관리도 설계

The recently manufacturing industry is developing rapidly with the development of various engineering technologies. Accordingly, manufacturing technology and manufacturing management technology are also developing. The most basic manufacturing management technique is Statistical Process Control (SPC). Among the various methods of SPC, the control chart is a method of statistically monitoring the quality characteristics of the process to determine the change of the process. The control chart basically assumes that the quality characteristic values follow a normal distribution. However, if the quality characteristics do not follow a normal distribution, there is a statistical error using the existing control chart method. In this paper, we study the method of designing CUSUM control chart using Box-Cox Transformation method when quality characteristic is non-normal distribution.
KRISTALINITAS DAN UKURAN NANOPARTIKEL ZnO YANG DIKALSINASI PADA TEMPERATUR 100oC dan 200oC

The purpose of this researh is to analyze a crystalinity and size of zinc oxide (ZnO) nanoparticles. ZnO nanoparticles were synthesized using precipitation method followed by ultrasonic radiation. Precipitation products were calcined at temperature of 100 o C and 200 o C. ZnO nanoparticles were characterized using X-Ray Diffractometer (XRD) and Scanning Electron Microscope (SEM). The XRD pattern showed formation of ZnO nanoparticles with wurtzite hexagonal structure. ZnO nanoparticles with crystalinity higher than 50% was obtained at calcination temperature of 200 o C. ZnO nanoparticles composed by a collection of crystallites that form spherical particle with size in the range 150–250 nm. Keywords: zinc oxide, nanoparticles, precipitation, crystal structure, crystallinity
Learning Generalized Models by Interrogating Black-Box Autonomous Agents

This paper develops a new approach for estimating a relational model of a non-stationary black-box autonomous agent that can plan and act. In this approach, the user may ask an autonomous agent a series of questions, which the agent answers truthfully. Our main contribution is an algorithm that generates an interrogation policy in the form of a contingent sequence of questions to be posed to the agent. Answers to these questions are used to derive a minimal, functionally indistinguishable class of agent models. This approach requires a minimal query-answering capability from the agent. Empirical evaluation of our approach shows that despite the intractable space of possible models, our approach allows correct and scalable estimation of relational STRIPS-like agent models for a class of black-box autonomous agents.
Verification experiment of a small obstacle avoidance considering the minimum ground clearance

Obstacle avoidance functions are necessary for mobile robots. However, there are few methods to generate a path considering the height of obstacles. In this paper, we describe a verification experiment of a method of generating a avoidance over a small obstacle using the minimum ground clearance of a wheel type robot. A robot equipped with a three-dimensional distance sensor was used for a differential two-wheel robot. We were able to detect small obstacles by a three-dimensional distance sensor and avoid avoiding the minimum ground clearance.
The Communication Complexity of Threshold Private Set Intersection.

Threshold private set intersection enables Alice and Bob who hold sets \(S_{\mathsf {A}}\) and \(S_{\mathsf {B}}\) of size n to compute the intersection \(S_{\mathsf {A}} \cap S_{\mathsf {B}} \) if the sets do not differ by more than some threshold parameter \(t\). In this work, we investigate the communication complexity of this problem and we establish the first upper and lower bounds. We show that any protocol has to have a communication complexity of \(\varOmega (t)\). We show that an almost matching upper bound of \(\tilde{\mathcal {O}}(t)\) can be obtained via fully homomorphic encryption. We present a computationally more efficient protocol based on weaker assumptions, namely additively homomorphic encryption, with a communication complexity of \(\tilde{\mathcal {O}}(t ^2)\). For applications like biometric authentication, where a given fingerprint has to have a large intersection with a fingerprint from a database, our protocols may result in significant communication savings.
Study on the oil particle contamination forecasting Using LSTM network

As one of the main techniques of equipment condition monitoring, oil monitoring technology plays an extremely important role in evaluating the current state of equipment and predicting the development trend of equipment. In this paper, the LSTM neural networks was established by the historical data collected by a power plant. Using the cross validation method, and compared whit the popular time series prediction algorithm LSM, ARIMA, BPNN, SVR and RFR in the same test set, LSTM got the lowest RMSE value 42.26, which validates the applicability and accuracy of the LSTM neural network in the prediction of oil particle contamination.
Compiler Support for the Fortran 2003, 2008, TS29113, and 2018 Standards Revision 25

This is a repeating article in Fortran Forum. The first version appeared in Fortran Forum in April 2007. It has been revised on a regular basis since. The 25th revision has updated all references to WG5 documents which used to reside on an ftp server at Nag (https://www.nag.co.uk/) to point to the new server maintained by Steve Lionel, the current WG5 convenor. The home address for WG5 is: https://wg5-fortran.org/
maximum pooling and latest techniques to distinguish between animal images using keras

It is very overwhelming as to how our brain can recognize all the different images and differentiate and process one image from the other. We can recognize one form of image or suppose an alphabet however twisted and rusted it is as what it means. Similarly in this paper we explore how neural networks work and how we can get datasets as to train the convolutional neural network to recognize one image from the other. More the data set the better will be the accuracy. In this paper we come to the conclusion and make a thorough study of images to say that neural networks is successful in recognizing one set of object from the other. It uses set of matrices in which the features are recognized by 1 and non features are recognized as zeros. We use python keras in getting the libraries such as pooling.
A study on rain streaks removal from an image in outdoor vision systems

The quality of captured images will be highly affected by an abnormal weather like rain or snow. Such bad weather conditions can degrade and corrupt the performance of various outdoor vision systems like CCTVs, traffic cameras etc. Even if many bad weather conditions can affect the quality of captured images, rain affects the image in a more negative way because, it is observed as bright streaks. Because of the negative effect of rain on outdoor vision systems, rain removal is an important problem. Detecting rain streaks accurately is a difficult task since rain has no particular location in an image. Rain removal has been an active research topic over many years and several techniques has been proposed. From all these studies, rain removal from an image can be classified into four main categories. The first category is simply filtering based whereas the second category builds models for rain streaks. In the third category, a 2-step processing is performed for rain removal and in the fourth category, deep learning techniques are used. So, in this paper, we have done a detailed study on the effects of rain on images and various rain removal methods.
COD Library: Adopt, Adapt, Improve: Program Outcomes

Adopt, Adapt, & Improve: An Instruction Librarian Development Program | April 4, 2019 | IL Summit
On the Impact of the SHA-1 Collider on Mexican Digital Signatures with Legal Binding

Security warranties of the RSA-type digital signatures are based on two main hypothesis: First, in the assumption that factoring gigantic integer numbers is a computationally unfeasible problem. Second, in the assumption that hash functions produce a unique digest for any digital document. With these two hypothesis in mind, in the last decades in Mexico, and also in other countries, legislation has been enacted to legalize digital signatures. In Mexico, the combination of the RSA algorithm and the SHA-1 hash function can be used to legally validate digital contracts. This selection of algorithms is known as the RSA-SHA-1 digital signature. However, recently the SHA-1 hash function has suffered a {\it falsification} attack in which, given an arbitrary document for which the SHA-1 digest was produced, it is possible to generate a second document with the same digest. In other words, this attack permits to find arbitrary pairs of documents that share the same digest. This situation has provoked that the RSA-SHA-1 algorithm used to sign legal contracts is on risk to be broken. In this article, some of the repercussions in the information security of the legal documents signed with this protocol are discussed. We also discuss some countermeasures that can mitigate this vulnerability.
Pengembangan Model Pembelajaran Sosiolinguistik Berbasis Lingkungan Melalui ADDIE Model pada PBS-FKIP Universitas Jambi

This study aims to produce an environmental-based Sociolinguistic learning model. The research method used is ADDIE model development research with stage (1) analysis, stage (2) design, stage (3) development, stage (4) implementation, stage (5) evaluation, and stage (6) production. The results of product trials, both stage one tests showed an increase in the average of 6.1 to 8.01. In the second phase of testing too, from 4.61 increased to 5.94. These results illustrate that the teaching material produced is suitable for use. In the t-test of the product in the small group, the average score of 4.56 was seen, while in the post-test it showed an average of 4.74, and the t-count of 8,099 was still greater than the t-table of 2,132, so the difference was very significant. Likewise, in the large group test, the parates average was 7.84, while the average post-test was 8.50, and the t-test was 9.573, which was also still greater than the t-table 2.132, so the difference was very significant. Based on the results of the study, an environment-based sociolinguistic learning model produced from this study is feasible to use. Syllabus and sociolinguistic learning models based on the environment produced from this research are very in accordance with the needs of students of the Indonesian Language and Literature Education Study Program at the Faculty of Social Sciences, Jambi University in taking Sociolinguistics Courses.
On the Security of Multikey Homomorphic Encryption.

Multikey fully homomorphic encryption (MFHE) scheme enables homomorphic computation on data encrypted under different keys. To decrypt a result ciphertext, all the involved secret keys are required. For multi decryptor setting, decryption is a protocol with minimal interaction among parties. However, all prior schemes supporting the protocol are not secure in public channel against a passive external adversary who can see any public information not joining the protocol. Furthermore, the possible adversaries have not been defined clearly.
Empirical Evaluation on the Localization Accuracy of Visual Odometry on the Gratings for PCV Internal Investigation

As one part of the decommission tasks of Fukushima nuclear power plant, efficient and appropriate operation of removal of fuel debris requires essential information of distribution and characteristics of fuel debris. A robotic remote measurement system using an ultrasonic sensor called RhinoUS was developed to detect the distribution of the fuel debris and localize the unknown water leakages in the primary containment vessels (PCV) of the No.1 reactor. Experiments are carried out to evaluate the localization accuracy on the robot pose of the visual odometry method.
Evolution and Growth of Cyber Crimes: An Analys on the Kerala Scenario

Crime is a common word that we always hereof in this era of globalization. Crimes refer to any violation of law or the commission of an act forbidden by law. Crime and criminality have been associated with man since time immemorial.&#x0D; Cyber crime is a new type of crime that occurs in these years of Science and Technology. There are a lot of definitions for cyber crime. It is defined as crimes committed on the internet using the computer as either a tool or a targeted victim. In addition, cyber crime also includes traditional crimes that been conducted with the access of Internet. For example hate crimes, telemarketing Internet fraud, identity theft, and credit card account thefts. In simple word, cyber crime can be defined as any violence action that been conducted by using computer or other devices with the access of internet.
Practical Formal Methods for Real World Cryptography (Invited Talk)

Cryptographic algorithms, protocols, and applications are difficult to implement correctly, and errors and vulnerabilities in their code can remain undiscovered for long periods before they are exploited. Even highly-regarded cryptographic libraries suffer from bugs like buffer overruns, incorrect numerical computations, and timing side-channels, which can lead to the exposure of sensitive data and long-term secrets. We describe a tool chain and framework based on the F* programming language to formally specify, verify and compile high-performance cryptographic software that is secure by design. This tool chain has been used to build a verified cryptographic library called HACL*, and provably secure implementations of sophisticated secure communication protocols like Signal and TLS. We describe these case studies and conclude with ongoing work on using our framework to build verified implementations of privacy preserving machine learning software.
Realizability of BPMN 2.0 Choreography using CSP#

Service-oriented computing is a new computing paradigm that uses services to support the rapid development of distributed software systems. The paradigm of software development is built software systems by reusing and combining existing concurrent and distributed services. In order to accomplish a task together, these services must coordinate their execution through interacting with each other. Interactions among a set of services involved in a new system are described from a global point of view using choreography specification languages. The realizability indicates whether peers can be generated from a choreography so that they will behave exactly as formalized in its specification. This paper uses CSP# to analysis the realizability of BPMN2.0 choreography. The main research contents are as follows: 1) Encoding BMPN2.0 choreography in CSP#. 2) The mapping of CSP # choreography to peers. 3) The realizability under synchronous communication and bounded asynchronous communication with CSP#.
ANALISIS FRAMING PEMBERITAAN PENEMBAKAN MASSAL DI LAS VEGAS AMERIKA PADA SURAT KABAR KOMPAS

News built on events that occur in the environment. Press f reedom guaranteed by la w so news based on its own point of vie w l ikewise the news of the shooting in Las Vegas America. The research question is How to Cover Shooting in American Las Vegas. The study aims to describe the shooting of newspapers. T his research expected to find new things, both those that support or strengthen existing theories , find other aspects that are important to study as research topics , improve journalists ability to develop responsible reporting , and can improve their understanding of published news. The press will choose the news material that has news value. An event can be reported if sufficient facts are available. The fact of an event is formulated in the formula 5 W + H . While the structure of a writing news writing includes intro, content, and closing; in newspaper news there are additional elements, namely the title and date time. In the news review there are several models or styles, one of which is an inverted pyramid; information is arranged in the order of its importance, which is important, sufficient, and less important. The language is called j ournalistic language or p ress language, is a variety of languages used by journalists to write various journalistic works published in the mass media. Journalistic language has characteristics that distinguish it from other languages. This research is qualitative with descriptive type, research data sourced from newspapers, in the case of Kompas published on Friday, October 6, 2017. The technique used to conduct data analysis is framing proposed by Zhongdang Pan and Gerald M Kosicki. The study concluded that the Kompas newspaper framed the role of the American police unable to reveal the shooting incident . Keyword: news, freedom, journalism, construction, framing
Mining motifs in temporal networks

Temporal networks are mathematical tools used to model complex systems which embed the temporal dimension. In this thesis we address the problem of counting motifs in temporal networks. We provide a new exact parallel algorithm which is both scalable and efficient in practice. We address the problem of approximating an exact count with rigorous guarantees. We provide, to the best of our knowledge, the first rigorous sampling algorithms devised for such task.
Intuitionistic Linear Temporal Logics

We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic which we denote $\iltl$, and by imposing additional constraints we obtain the logics $\itlb$ of persistent posets and $\itlht$ of here-and-there temporal logic, both of which have been considered in the literature. We prove that $\iltl$ has the effective finite model property and hence is decidable, while $\itlb$ does not have the finite model property. We also introduce notions of bounded bisimulations for these logics and use them to show that the `until' and `release' operators are not definable in terms of each other, even over the class of persistent posets.