Reviewerly/exHarmony huggingface dataset:
CHAMSIN: CaptcHA by caMouflaged StrINg

We propose a new CAPTCHA scheme that uses random dot patterns (RDPs) to prevent highly-developed bots attacks. Human beings can recognize a moving figure filled by a RDP from a background that is filled by another RDP; however, it is impossible to find such figures when they are stationary. Since image recognition by bots is usually carried out frame by frame, it is hard for bots to recognize such moving figures. The proposed CAPTCHA scheme exploits this characteristic. Several experiments were carried out to confirm that the proposed CAPTCHA scheme is usable enough and has enough resistance against bot attacks.
Uncertainty-aware asynchronous scattered motion interpolation using Gaussian process regression

We address the problem of interpolating randomly non-uniformly spatiotemporally scattered uncertain motion measurements, which arises in the context of soft tissue motion estimation. Soft tissue motion estimation is of great interest in the field of image-guided soft-tissue intervention and surgery navigation, because it enables the registration of pre-interventional/pre-operative navigation information on deformable soft-tissue organs. To formally define the measurements as spatiotemporally scattered motion signal samples, we propose a novel motion field representation. To perform the interpolation of the motion measurements in an uncertainty-aware optimal unbiased fashion, we devise a novel Gaussian process (GP) regression model with a non-constant-mean prior and an anisotropic covariance function and show through an extensive evaluation that it outperforms the state-of-the-art GP models that have been deployed previously for similar tasks. The employment of GP regression enables the quantification of uncertainty in the interpolation result, which would allow the amount of uncertainty present in the registered navigation information governing the decisions of the surgeon or intervention specialist to be conveyed.
DEvIR: Data Collection and Analysis for the Recommendation of Events and Itineraries

Distributed events such as multi-day festivals and conventions attract thousands of attendees.Their programs are usually very dense, which makes it difficult for users to select activities to perform.Recent works have proposed event and itinerary recommendation algorithms to solve this problem.Although several datasets have been made available for the evaluation of event recommendation algorithms, they do not suit well for the case of distributed events or itinerary recommendation.Based on the study of available online resources, we define dataset attributes required to perform event and itinerary recommendations in the context of distributed events, and discuss the compliance of existing datasets to these requirements.Revealing the lack of publicly available datasets with desired features, we describe a data collection process to acquire the publicly available data from a major comic book convention website.We present the characteristics of the collected data and discuss its usability for evaluating recommendation algorithms.
Using Snapshots for Organizing Work Environment With Virtual Machines

The chapter reveals the issue of implementing snapshots for maintaining virtual machines used for students' lab stands. Hence, implementing that backup/restore method means significant reduction of the amount of effort required for lab stands maintenance. The actuality of this chapter is in the increasing appliance of virtualization methods in the educational process, as it currently is not very developed due to the lack of a systematic approach to the development and application of new technologies. The object of study is the practical part of the course “Network Software” of the Department IU5 in BMSTU. The subject of research is the process of preparing a virtual stand for lab works. The purpose of research is to prove the significance of applying virtualization technologies such as using snapshots in the educational process.
Analytical strategies to identify and quantify organic admixtures in functionalized mineral model systems

Abstract This study describes an analytical approach to identify and quantify organic admixtures, which are increasingly being used in multifunctional additive systems, such as calcium aluminate cement‐based dry mix formulations. The investigations refer to a wide range of established organic admixtures used in high performance industrial concrete applications, such as flow agents, retarders, or organic plasticizers, which are added in dosages of up to 5% (to the mass of cement). Based on specific considerations, a consistent approach was outlined by combining the output of complementary analytical techniques. These analytical methods included Thermogravimetric Analysis and Differential Scanning Calorimetry coupled with Mass Spectrometry, in combination with Fourier Transform Infrared Spectroscopy and Morphologically Directed Raman Spectroscopy, as well as Total Carbon Analysis. Within the scope of the aforementioned studies, the applied methods were validated for stringent detection limits ( LOD &lt; 0.05%) and precision demands ( SD 1% to 7% with R 2 &gt; 0.99).
Extracting a call-by-name partial evaluator from a proof of termination

It is well known that the computational content of a termination proof of a calculus is an interpreter that computes the result of an input term. Traditionally, such extraction has been tried for a calculus with deterministic reduction rules, producing the result as a value, i.e., in weak head normal form where no redexes are reduced under lambda. In this paper, we consider non-deterministic reduction rules where any redexes can be reduced, even the ones under lambda, and extract a partial evaluator, rather than an interpreter, that produces the result in normal form. We formalize a call-by-name, simply-typed, lambda calculus in the Agda proof assistant and prove its termination using a logical predicate. We observe that the extracted program can be regarded as an online partial evaluator and present future perspectives about how we can extend the framework to a call-by-value calculus.
As cute as can be…

What makes children ‘cute’ and how do our perceptions influence our practice? It is important to reflect on this and ensure that each child we work with receives the same amount of attention, warmth and support.
HISTORICAL CHRONICLE AS A SCIENTIFIC EDITION

Increasing interest in the past actualizes chronicles creation (chronicles of events, facts, figures) in various fields of historical knowledge. Basing on the experience of working in the genre of the chronicle the author reveals the main stages of its creation. For the first time in literature the study shows the typical features of the chronicle as a type of scientific edition. The paper also proves that the chronicle can be considered as an independent scientific edition of the generalized type. Separate methodological plots are proposed for authors-compilers in order to increase chronicles role in the successful study of general theoretical issues of science and the monographic development of its specific problems.
Integration of the Content of Educational Subjects of the Aesthetic Cycle in the Classes in the Elementary Grade

The article gives advice to the teacher on the use of creative tasks in the process of working with younger schoolchildren in the classroom of visual arts, literary reading, music and the outside world. It is shown how when planning lessons one can take into account the specifics of the content of a school subject for constructing creative tasks based on the integration of the content of the topics studied.
Comment on: Mass Fractions of Forty‐Six Major and Trace Elements, Including Rare Earth Elements, in Sediment and Soil Reference Materials Used in Environmental Studies. Fiket <i>et al</i>. (2017), Geostandards and Geoanalytical Research, 41, 123–135

This paper is intended to be a constructive discussion of Fiket et al . (2017, Geostandards and Geoanalytical Research , 41 , 123–135), who dealt with the determination of major, trace and rare earth elements in several sediment and soil certified reference materials. In the present author's view, the paper by Fiket et al . (2017) suffers from a lack of reference to several publications in which somewhat similar results had already been reported. The present contribution therefore provides a comparison of previously published results with those of Fiket et al . for the CRMs soil NCS DC 77302 (GBW 07410), stream sediment NCS DC 73309 (GBW 07311), marine sediments MESS‐3 and NCS DC 75301 (GBW 07314) and estuarine sediment IAEA‐405. It is argued that this fuller consideration (a) allows critical evaluation of the quality of the results presented by Fiket et al . and (b) highlights the advantages of their work. Finally, attention is drawn to the (possible or real) problems that can arise during simultaneous determination of multiple trace elements.
Applicability of Evidence-based Acquisition Model to Collection Development in Engineering Subjects

Abstract This study presents the results of local implementation of evidence-based acquisition (EBA) models from several publishing vendors. The combination of decreasing funds for engineering monographs and a new library strategic goal of maximizing campus wide access to library collections, forced the engineering librarians to pilot alternative acquisition models that offer access to as much content as possible within the reduced budget. We identified criteria applicable to EBA model assessments and the limitations of each model within our library. For engineering disciplines we determined that EBA models provide significantly enhanced access to needed content, offer valuable insights into current campus information needs, and raise the level of library efficiency in collection development and technical services processing.
UNPRECEDENTED VALUE OF EX-LIBRIS INFORMATION CONTENT

The article is the first research paper devoted to the ex-libris from the copy of Andreas Reyher’s dictionary of 1686 discovered for science recently. It is definitely new and relevant for everyone related to ex-libris collection. Basing on various facts associated with the designated ex-libris, the author succeeds in pointing out not only the name of the first owner of the mentioned dictionary, but also, among other things, in telling a part of the latter’s family history, unknown to the contemporaries, whose descendants play a significant role in the world politics and economy today.
Telerobotic 3D Articulated Arm-Assisted Surgery Tools with Augmented Reality for Surgery Training

In this research, human body will be marked and tracked using depth camera. The arm motion from the trainer will be sent through network and then mapped into 3D robotic arm in the destination server. The robotic arm will move according to the trainer. In the meantime, trainee will follow the movement and they can learn how to do particular tasks according to the trainer. The telerobotic-assisted surgery tools will give guidance how to slice or do simple surgery in several steps through the 3D medical images which are displayed in the human body. User will do training and selects some of the body parts and then analyzes it. The system provide specific task to be completed during training and measure how many tasks the user can accomplish during the surgical time. The telerobotic-assisted virtual surgery tools using augmented reality (AR) is expected to be used widely in medical education as an alternative system with low-cost solution.
Checking compliance of semantic web applications with RDFS‐semantics

Web applications calling themselves “Semantic” count in the hundreds, yet there is no clear definition about what this qualification should stand for. Semantic web applications may range from those just using Resource Description Framework (RDF) as a data interchange format, to those taking all RDF‐S consequences into account. Moreover, even with the simplest semantics, RDF data may contain blank nodes, which should be treated appropriately as existential variables—but might not. In this paper, we propose a general framework of yes/no experiments whose result tell, in a black‐box fashion, how “Semantic” can be considered a given Web application. Our experiments measure the sensitivity of the application to syntactic variations of data which are equivalent under RDF‐S ‐semantics. We show how our experiments can be run on a real application, namely, RapidMiner with LODExtension. We show how RapidMiner passes most of the tests (but for blank nodes), but highlight a weakness of the workflow repository‐retrieval‐exploitation that may make the application fail in some cases.
Nicolas Schöffer’s <i>SCAM</i>: An Aesthetic Perturbation in the Urban Field

In 1973 cybernetic artist Nicolas Schöffer drove his SCAM through the streets of Paris, passing by the Arc de Triomphe and the Eiffel Tower, creating a curious urban spectacle and highlighting the confrontation between different concepts of urban monumentality that had been at stake in post-World War II European society. Part sculpture, part automobile, the SCAM utilized the cybernetic technique of feedback and Schöffer’s application of it in the aesthetic concept of perturbation, in which light, sound and movement effects were orchestrated to interrupt the increasingly rapid cycles of perceptual saturation that Schöffer associated with modern urban life. The following analysis considers Schöffer’s SCAM in relation to the development of the “space-time” concept in the arts and how the technology of cybernetics suggested a new kind of temporality that complicated the role of art and architecture in defining the urban realm. It also considers the appearance of the SCAM idea in Schöffer’s entry to the Plateau Beaubourg architectural competition and its significance as a counterpoint to the “new monumentality” of the completed Centre Pompidou.
Teaching Younger Schoolchildren to Heuristic Methods for Solving Creative Problems in the Course of Extracurricular Activities

The article reveals the features of teaching younger schoolchildren to heuristic methods for solving creative problems using elements of the “Theory of Inventive Problem Solving” technology implemented in the process of extracurricular activities. The program approach to the organization of circle work of the general intellectual direction, focused on the development of creative abilities of children of primary school age in extracurricular time is considered. As a research method, the authors used an experimental experiment, including the diagnosis of the creative potential of pupils of primary school age.
Asymptotically Tight Bounds on the Depth of Estimated Context Trees

We study the maximum Markov model order that can be estimated for an (individual) input sequence x of length n over a finite alphabet of size α, for popular estimators of tree models, where the estimated order is determined by the depth of a context tree estimate, and in the special case of plain Markov models, where the tree is constrained to be perfect (with all leaves at the same depth). First, we consider penalized maximum likelihood estimators where a context tree T̂ is obtained by minimizing a cost of the form - log P̂ <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">τ</sub> (x) + f(n)|S <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">τ</sub> |, where P̂ <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">τ</sub> (x) is the ML of x under a model with context tree T, S <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">τ</sub> is the set of leaves of T, and f(n) is an increasing (penalization) function of n (the popular BIC estimator is a special case with f(n) = α-1/2 log n). For plain Markov models, a simple argument yields a known upper bound k̅(n) = O(log n) on the maximum order that can be estimated for x, and we show that, in fact, this simple bound is not far from tight. For general context trees, we derive an asymptotic upper bound, n <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1/2-o(1)</sup> , on the estimated depth, and we exhibit explicit input sequences that asymptotically attain the bound up to a multiplicative constant factor. We show that a similar upper bound applies also to MDL estimators based on the KT probability assignment and, moreover, the same example sequences asymptotically approach the upper bound also in this case.
The Civil Affairs Information Matrix: Designing Context-Aware Visual Analytics Enabling Mission Planning with Ensemble Learning

With the pivot towards grey zone operations, the United States Army must engage, influence, and partner with local populations in order to achieve the military objectives of their foreign policy. However, the knowledge that enables successful partnerships is split between the Civil Affairs and Intelligence staff elements. Here, we present the Civil Affairs Information Matrix, a context-aware visual analytics capability enabling automated gap analysis for grey zone operations using fused Civil Affairs and Intelligence data. The Civil Affairs Information Matrix uses semi-supervised and unsupervised learning techniques to fuse and annotate data (for example, surveys and news reports), generate potential actions from this data to address gaps and leverage strengths, and visualize the annotated data and rank-ordered potential actions to planners for consideration. Our ensemble approach enables more collaborative planning processes for grey zone operations that will ensure appropriate and dynamic responses to local population interests while achieving the planned outcomes.
High‐speed motion image deblurring using referenceless image quality assessment

A new method is developed to deblur seriously blurred images taken in a long exposure of camera in the fast motion. It is different from most of the existing deblurring methods that result in a poor quality for processing serious blur images, and few papers concerned the deblurred image quality, the authors study referenceless image quality assessment method to deblurring image. A blurred image is modelled based on a fast motion scene. Due to the consistent characteristics of direction motion blurs and ringing artefacts generated with the direct deconvolution, an adjacent-column-greyscale-difference index is proposed, which combines with an effective spatial quality evaluator to reduce the artefacts and improve quality of the deconvolution image. The process of the proposed method is automatic and fast in the image deblurring, it is verified on both the synthetic-blurred and the real-scene-blurred images, which outperforms the existing methods in reducing serious blurs of forward motion images.
Modified Baum Welch Algorithm for Hidden Markov Models with Known Structure

Hidden Markov Models (HMMs) are widely used in speech and handwriting recognition, behavior prediction in traffic, time series analysis, biostatistics, image and signal processing, and many other fields. For some applications in those real world problems, a-priori knowledge about the structure of the HMM is available. For example the shape of the state transition matrix and/or the observation matrix might be given. We might know that some entries in these matrices are equal and others are zero. For training such a model, we have two options: use the common Baum Welch Algorithm (BWA) and enforce the given structure after training or modify the BWA to enforce it during training. This paper shows several approaches for modifying the BWA and compares the results of all training methods.
Efficient Fully-Leakage Resilient One-More Signature Schemes

In a recent paper Faonio, Nielsen and Venturi (ICALP 2015) gave new constructions of leakage-resilient signature schemes. The signature schemes proposed remain unforgeable against an adversary leaking arbitrary information on the entire state of the signer, including the random coins of the signing algorithm. The main feature of their signature schemes is that they offer a graceful degradation of security in situations where standard existential unforgeability is impossible. The notion, put forward by Nielsen, Venturi, and Zottarel (PKC 2014), defines a slack parameter $$\gamma $$ which, roughly speaking, describes how gracefully the security degrades. Unfortunately, the standard-model signature scheme of Faonio, Nielsen and Venturi has a slack parameter that depends on the number of signatures queried by the adversary. In this paper we show two new constructions in the standard model where the above limitation is avoided. Specifically, the first scheme achieves slack parameter $$O(1/\lambda )$$ where $$\lambda $$ is the security parameter and it is based on standard number theoretic assumptions, the second scheme achieves optimal slack parameter (i.e. $$\gamma =1$$ ) and it is based on knowledge of the exponent assumptions. Our constructions are efficient and have leakage rate $$1-o(1)$$ , most notably our second construction has signature size of only 8 group elements which makes it the leakage-resilient signature scheme with the shortest signature size known to the best of our knowledge.
Elliptic Curve Method Using Complex Multiplication Method

In 2017, Shirase proposed a variant of Elliptic Curve Method combined with Complex Multiplication method for generating certain special kinds of elliptic curves. His algorithm can efficiently factorize a given composite integer when it has a prime factor p of the form 4p=1+Dv2 for some integer v, where -D is an auxiliary input integer called a discriminant. However, there is a disadvantage that the previous method works only for restricted cases where the class polynomial associated to -D has degree at most two. In this paper, we propose a generalization of the previous algorithm to the cases of class polynomials having arbitrary degrees, which enlarges the class of composite integers factorizable by our algorithm. We also extend the algorithm to more various cases where we have 4p=t2+Dv2 and p+1-t is a smooth integer.
Dynamic class initialization semantics: a Jinja extension

The Java Virtual Machine (JVM) postpones running class initialization methods until their classes are first referenced, such as by a <pre>new</pre> or static instruction. This process is called dynamic class initialization. Jinja is a semantic framework for Java and JVM developed in the theorem prover Isabelle that includes several semantics: Java-level big-step and small-step semantics, JVM-level small-step semantics, and an intermediate compilation step, J1, between these two levels. In this paper, we extend Jinja to include support for static instructions and dynamic class initialization. We also extend and re-prove related proofs, including Java-level type safety, equivalence between Java-level big-step and small-step semantics, and the correctness of a compilation from the Java level to the JVM level through J1. This work is based on the Java SE 8 specification.
Cloud Forensics in Relation to Criminal Offences and Industrial Attacks in Mauritius

The cloud can be referred as an infrastructure with large data centres that gives the possibility to run and share resources on your computer, mobile phones or any other device connected with the Internet and in. In Mauritius, many companies are moving towards the cloud and cloud forensics have become important components in the field of investigation. Cloud forensics means how to investigate cybercrimes in cloud environments. Emphasis on concept of the cloud, its mode of forensics and difficulties encountered during an investigation on the cloud. Further, law implications and legislations in Mauritius for computer misuse are also being described. It is obvious that the cloud provides many advantages as described in this paper. However, along with this service, there are several challenges before extracting evidence in case of attacks. These include acquisition of evidence and its preservation, chain of custody and legislation.