Reviewerly/exHarmony huggingface dataset:
Assessment of a Formal Requirements Modeling Approach on a Transportation System

This paper describes a case study of the SysML/KAOS method for a road transportation system for the City of Montreal (VdM), the second-largest city in Canada. The transportation system was developed from unstructured requirements represented in textual and schematic documents. Therefore, the VdM wanted to investigate new ways of organising and analysing the requirements of traffic projects, in order to increase the level of confidence in their safety, usability and reusability. This paper describes the formal specification, verification and validation of system requirements and provides an appraisal of the SysML/KAOS requirements engineering method on an industrial-scale case study. SysML/KAOS is designed within the ANR FORMOSE project to bridge the gap between stakeholder needs and the formal specification of system functionalities and domain constraints. The method has proven useful to deal with the seven refinement levels, twelve components (human, hardware, software and cyber-physical) and a hundred functional and non-functional goals that constitute the specification of the road transportation system, mainly focused on the safe movement of vehicles on road. It especially facilitated their validation with VdM stakeholders who had never dealt with formal methods and requirements engineering. Animation tools (ProB and B-Motion Studio) were also used to validate the formal specification with VdM stakeholders. This paper also reports improvements identified to enhance the expressiveness of SysML/KAOS goal modeling languages during validation sessions with VdM stakeholders. This includes the introduction of a non-functional goal refinement strategy based on logical formulas and of an obstacle modeling language.
Binary periodic sequences with 2-level autocorrelation values

Binary sequences with low autocorrelation values have important applications in cryptography and communications. In this paper, we study binary periodic sequences with 2-level autocorrelation values. For n≡1(mod4), we prove some cases of Schmidt’s Conjecture for perfect binary sequences (Des. Codes Cryptogr. 78 (2016), 237-267). For n≡2(mod4), Jungnickel and Pott (1999) left the existence of four perfect binary sequences as an open question and we solve three of them. For n≡3(mod4), we present nonexistence of some binary sequences whose nontrivial autocorrelation values are all equal to 3. For n≡0(mod4), we give two binary sequences with d=4 for n=8,40, and also show that there do not exist such binary sequences for all other values of n.
Daily Variation Characteristics and Influencing Factors of the Haze in Xiangxi From 1981 to 2017

In order to reveal the evolution, spatial and temporal distribution characteristics and influencing factors of haze weather in Xiangxi under the background of climate change, daily meteorological data of eight national meteorological observatories in Xiangxi were revised and analyzed. The results showed that the haze days in Xiangxi from 1981 to 2017 showed a significant increase trend; the number of haze days in autumn and winter was more than that in spring and summer; the regional distribution was more in the south, north and less in the middle; the proportion of light haze was the largest in the central urban area of Xiangxi, accounting for 66.81%, and the proportion of severe haze was the smallest, accounting for 4.17%. Except for light haze, the number of light, medium and heavy haze days increased. The main meteorological factors are annual average temperature, maximum temperature, high temperature day, precipitation≥ 0.1mm days), f ≥ 5.0m/s days, average wind speed and so on. The average temperature, maximum temperature and average wind speed are significantly positively correlated with haze day; the number of days with precipitation ≥ 0.1mm decreases, relative humidity ≤80% increases, and PM2.5 and SO2 are negatively correlated with visibility and relative humidity, and the frequency of haze occurrence. There was a significant correlation between the rates.
An algebraic geometry approach to passive source localization

We examine the application of algebraic geometry-based localization methods to 3-D underwater acoustic source localization. An approach to passive source localization that is commonly used in the electromagnetics community is to first determine the time difference of arrivals (TDOAs) by cross-correlating pairs of received signals, and then from the TDOAs use algebraic geometric methods to determine the source location. In particular, a TDOA for a receiver pair determines a hyperboloid on which the source must lie. Consequently the source must lie at the intersection of the TDOA hyperboloids. Because hyperboloids are examples of polynomials, systems of hyperboloids can be solved with numerical algebraic geometry software such as Bertini or Macaulay2. Such software typically works by starting with a reference system of polynomials whose exact solution is known, and tracking the solution while gradually deforming the reference system into the desired one. This approach is less well-known in the sonar community because the sonar wave propagation environment is more complicated. We begin by applying this algebraic geometry approach to the case of an iso-velocity range-independent sound speed environment and then investigate extensions of this approach to underwater waveguides with non-homogeneous sound speed profiles.
Relationships among Exercise Passion, Grit, and Exercise Adherence of Middle-school Sport Club Participants

Purpose: The purpose of this study is to identify the causal relationships among exercise passion, grit, and exercise adherence of middle school sport club participants.BR Method: Three hundred nine participants from the Koyang city, Kyung-gi completed the questionnaires. Exploratory and confirmatory factor analyses, and frequency, reliability, correlation, and multiple regression analyses were performed for collected data.BR Results: First, both harmonious and obsessive passion factors of the exercise passion influenced consistency of interest factor of the grit. Secondly, both of the exercise passion factors significantly influenced all the exercise adherence factors (predisposition, possibility, and reinforcement). Finally, one of the grit factors (consistency of interest) influenced all the exercise adherence factors.BR Conclusion: The results of this study emphasize the importance of the goal achievement experiences during sport or exercise participation among adolescents. Such an experience can increase the level of grit via the changes in the exercise passion, and, eventually, leads to the exercise adherence. Thus, development of a club program that can facilitate the exercise passion and grit may become a decisive factor for the health of middle school students.
Technology Innovations Initiated, Leadership Practices and Performance of Secondary School Heads: Bases for Enhancement Development Program

Abstract The paper describes the technology innovations initiated, leadership practices and performance of secondary school heads: bases for enhancement development program. The mixed method design was used to enhance this study. The study was conducted among public secondary school heads in the Division of Iloilo. The respondents of the study were thirty six secondary school heads. The findings revealed the secondary school heads need enhancement development program to improve their technology initiatives, leadership skills and relevant training on school management.
Application of Constrained Energy Minimization (CEM) algorithm to ASTER data for alteration mineral mapping

Several regions remain poorly studied in terms of geological mapping and mineral exploration in inaccessible regions especially in the Arctic and Antarctica due to harsh conditions and logistical difficulties. Application of specialized image processing techniques is capable of revealing the hidden linearly mixed spectral sources in multispectral and hyperspectral satellite images. In this study, the application of Constrained Energy Minimization (CEM) algorithm was evaluated for the Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) remote sensing data for geological mapping in Morozumi Range and Helliwell Hills areas, Northern Victoria Land (NVL), Antarctica. The results of this investigation demonstrate the capability of the algorithms in distinguishing subpixel targets in the multispectral satellite data. The application of the method for identifying poorly exposed geologic materials and subpixel exposures of alteration minerals has invaluable implications for geological mapping and mineral exploration in inaccessible regions.
Testbeds for standardization in the IIoT

The poster presents our research findings on the role and impacts of testbeds in standardization for the industrial internet of things. Based on a multiple case study, four different approaches were identified followed in the testbeds with regard to their standardization activities.
Wearer-centered design for animal biotelemetry: implementation and wearability test of a prototype.

In this paper we present an approach to designing wearer-centered biotelemetry for non-human (and human) animal wearers. Drawing from fundamental values and principles of user-centered design, we describe a wearer-centered framework to heuristically establish design requirements, which was used during a series of workshops to perform a requirements analysis for a cat-tracking device. The resulting requirements informed a feline-centered prototype whose wearability was evaluated with cat wearers. Compared to the wearability of previously tested off-the-shelf devices, our findings show an improvement and suggest that our framework-based approach can help design teams with a range of skills to systematically design for wearability.
Face pose estimation with ensemble multi-scale representations

Face pose estimation plays important roles in broad applications such as visual based surveillance, face authentication, human-computer intelligent interactions, etc. However, face pose estimation is also a challenge issue, especially under complicated real application environments. In this paper, we proposed a novel face pose estimation approach with integrating two multi-scale representations. The first one is multi-scale VGG-Face representations, which using VGG-Face CNN as backbone three middle scale layer outputs are extracted and go through additional transfer learning. The second one is multi-scale Curvelet representations. These two sub multi-scale representations are integrated and then several dense layers processing are added to form the entire ensemble system which is used for the prediction of face pose. The experiment results show that the proposed approach achieved mean absolute errors (MAE) of 0.33° and 0.23° for yaw and pitch angle on CAS-PEAL pose database, and achieved mean absolute errors of 3.88° and 1.98° for yaw and pitch angle on Pointing'04 database.
Communication Ability and Verbal Communication Apprehension of Senior High School Adolescents With Intellectual Disability: Research Based on Picture Exchange Communication System (PECS) and Measure of Elementary Communication Apprehension (MECA)

The purpose of this study are: firstly, to determine the effect of Picture Exchange Communication System (PECS) on the verbal communication skills of senior high school adolescent with intellectual disability; secondly, to determine the verbal communication apprehension in of senior high school adolescents with intellectual disability before and after PECS treatment; thirdly, to determine the difference verbal communication apprehension of senior high school adolescents with intellectual disability as revealed by sexes. Experimental design for verbal communication skills used Analysis of Covariance with Randomized Completely Block Design (RCBD) based on six phases of pre- and post-test. Senior high school student from class X-XII (n = 13) became sample of this research. Questionnaire used was in the form of the Measure of Elementary Commu-nication Apprehension (MECA) questionnaire while the data analysis used Analysis Cova-riance for verbal communication skill, t-paired test for verbal communication apprehension, and verbal communication apprehension between sex were analyzed by t-test with a 5% level of significance. The results showed that: (1) PECS can improve the verbal communication skills between phases of PECS with the effectiveness as follows: 105.14%, 18.49%, and 43.11%; (2) PECS have not affected the verbal communication apprehension of senior high school adolescents with intellectual disability (tcale = - 0.305 &lt; ttable = - 1.771); and (3) There is no significant differences in verbal communication apprehension of senior high school adolescents with intellectual disability based on sexes (tcale = 0.232 &lt; ttable = 2.342).
An improved Gaussian Mixture Model algorithm for background representation

Abstract Initializing a background frame for Gaussian Mixture Model requires no moving objects in the background scene. In this paper, in order to obtain an initial frame when there is a moving object in the background scene, filtering algorithm is used for background frame initialization. This paper proposes an improved method for updating Gaussian mixture models. In the initial stage of the GMM, the update rate of the mean and variance is taken as a larger value, so that the model mean and variance update speed becomes faster, and the model learning speed is accelerated; after training for a period of time with a large update rate, let The mean update rate is unchanged, and the variance update rate becomes smaller, so that the background model can be more stable.
SPATIAL AND STATISTICAL ANALYSIS AND PROCESSING OF FRAGMENTS ENSEMBLE OF IMAGE STRUCTURAL DESCRIPTION IN RECOGNITION OF VISUAL OBJECTS

The task of visual object recognition in computer vision systems using the feature space of special image points is solved based on the statistical distributions for a system of fragments of image description. On the basis of cross-correlation processing of the distribution options for the one-bit blocks of the binary descriptors, a new system of integrated features was constructed for speed-efficient calculation of the description relevance in the process of object recognition. By software simulation, an experimental evaluation of the computation time of the relevance value in the constructed feature space is performed in comparison with the use of full distribution and the traditional voting approach for a set of descriptors. The effectiveness of the proposed system of features in terms of a significant increase in the performance speed with an adequate level of recognition quality is confirmed.
The Effect of Information Exposure via Mediating Variables on Respect for Decision: Shin-Gori Nuclear Reactor No. 5 &amp; 6 Public Deliberation

이 연구는 개인의 다양한 정보 노출이(대중매체, 지인, 공론화 자료) 공론조사 후 공론조사 결과에 대한 존중에 미치는 영향력을 살펴보는 설명적 연구이다. 나아가 그 과정에서 추가적 3차 정보 노출(대중매체, 지인, 공론화 자료)과 토의 참여도가 매개 효과를 가지는지 알아보고자 한다. 이를 위해 본 연구는 신고리 5, 6기 공론화 위원회에서 제공한 원시 데이터를 활용해서 위의 언급된 변인들의 구조모형을 분석하였다. 연구결과, 대중매체를 통한 참가자들이 공론조사에 들어올 당시의 정보 노출은 결과존중에 정적인 영향을 미치고 있음이 확인되었는데, 특히 이 관계에서 3차 대중매체 정보 노출이 1차 매개 변인으로 토의 참여도가 2차 매개 변인으로 정적인 영향력을 가졌다. 즉 대중매체를 통한 2차 정보 노출은 추가적인 대중매체 정보 노출이 일어나도록 영향을 끼쳤으며, 토의에 더 적극적으로 참여하게 했으며 궁극적으로 결과존중에도 긍정적인 영향을 미쳤다. 반면 지인을 통한 2차 정보 노출은 결과존중에 직접적인 부정적 영향을 끼치고 있었다. 또한, 2차 공론화 자료는 결과존중에 직접적인 영향뿐 아니라 매개 변인을 통한 간접적인 영향도 끼치지 못하고 있음을 발견할 수 있었다. 마지막으로 나머지 변인들은 유의미한 매개 효과를 가지지 않는 것으로 나타났다.This study is an explanatory studies that attempts to examine the effects of various information exposure (via mass media, via interpersonal, via public deliberation program) on participants’ respect for decision in deliberation process. Furthermore, the study attempts to examine the effects of mediating variables such as information exposure on 3rd phase (via mass media, via interpersonal, via public deliberation program), and discursive participation on the respect for decision. Using the data from the case of Shin-Gori nuclear reactor No. 5 & 6 public deliberation process, the study conducted path analysis to examine the relationships of above variables. The results show that 2nd phase information exposure via mass media had a significant effect on respect for decision and the mediating effects of 3rd phase mass media exposure and discursive participation were also found. As for the 2nd phase information exposure via interpersonal communication, it had negative relationship with the respect for decision. As for the effects of information exposure via program had neither direct nor indirect effects on respect for decision. Finally, no other variables had significant mediating effects.
Remote Sensing Image Matching using TPS Transformation and Local Geometrical Constraint

Focusing on the characteristics of remote sensing images, this study proposes a new algorithm for feature matching of remote sensing images to eliminate mismatch. The algorithm utilizes feature descriptors, such as scale-invariant feature transform, for rough correspondence and the thin-plate spline for non-rigid transformation. Under the Bayesian framework, correspondence and transformation are alternately optimized by the expectation-maximization algorithm to automatically eliminate mismatched points. We also introduce a local geometrical constraint to maintain the internal structure of adjacent feature points. We apply this method to a large number of remote sensing images, and the experimental results reveal the method’s superiority over the state-of-the-art.
OpenMP and StarPU Abreast: the Impact of Runtime in Task-Based Block QR Factorization Performance

Directed Acyclic Graph (DAG) is a high-level abstraction to describe the activities of parallel applications. A DAG contains tasks (nodes) and dependencies (edges) in the task-based programming paradigm. Application performance depends on the choices of the runtime system. Our work intends to evaluate and compare the performance of three different runtime systems, GCC/libgomp, LLVM/libomp, and StarPU for a task-based dense block QR factorization. The obtained results show that while GCC/libgomp achieves up to 5.4% better performance in the best case, it has scalability problems for finegrain problems with large DAGs. LLVM/libomp and StarPU are more scalable, and StarPU is much faster in task creation and submission than the other runtimes.
Silence Hate final conference – Changing words, change the world, 18 November, Brussels

Online hate speech is a worrying and complex phenomenon, which has deep cultural and social roots and brings new questions and challenges to the ...
Cooperative Object Classification for Driving Applications.

3D object classification can be realised by rendering views of the same object from different angles and aggregating all the views to build a classifier. Although this approach has been previously proposed for general objects classification, most existing works did not consider visual impairments. In contrast, this paper considers the problem of 3D object classification for driving applications under impairments (e.g. occlusion and sensor noise) by generating an application-specific dataset. We present a cooperative object classification method where multiple images of the same object seen from different perspectives (agents) are exploited to generate more accurate classification. We consider model generalisation capability and its resilience to impairments. We introduce an occlusion model with higher resemblance to real-world occlusion and use a simplified sensor noise model. The experimental results show that the cooperative model, relying on multiple views, significantly outperforms single-view methods and is effective in mitigating the effects of occlusion and sensor noise.
GOLD MINERALIZATION SEQUENCES AND GENETIC CONDITIONS AT THE GOLD DEPOSITS IN THE NORTH KHENTEI GOLD BELT, CENTRAL NORTHERN MONGOLIA: IMPLICATIONS FOR OROGENIC TYPE MINERALIZATION

Gold mineralization and crystallization processes of ore-forming minerals in representative deposits of the North Khentei gold belt of Mongolia were investigated to characterize the ore genesis and its evolution. The gold mineralization in representative deposits occurs as two ore types: I) disseminated and stockwork ores; and II) auriferous quartz-vein ores. Type-I mineralization in the 1Boroo, 2Gatsuurt and 3Ulaanbulag deposits is composed of four distinct stages: (i) 1,2,3pyrite-I + 1,2,3arsenopyrite-I, (ii) 1,2,3pyrite-II + 1,2,3arsenopyrite-II, (iii) 1,2,3sphalerite + 1,2,3galena + 1,2,3chalcopyrite + 1,2tetrahedrite + 1,2bournonite + 1,2boulangerite + 2jamesonite + 2scheelite + 1alloclasite + 1native gold and (iv) 1,2,3native gold. In Type-II mineralization, five, four and four crystallization stages are also recognized in these deposits, respectively: (i) 1,2,3pyrite-I + 1,3arsenopyrite, (ii) 1,2,3pyrite-II + 1,2,3arsenopyrite + 2galena + 2tetrahedrite-tennantite, + 2sphalerite + 2chalcopyrite + 2,3bournonite, (iii) 1,3sphalerite + 1,3galena + 1,3chalcopyrite + 2geocronite + 2geerite + 2native gold, (iv) 1tetrahedrite-tennantite + 1bournonite + 1geerite + 1,2,3native gold, and (v) 1electrum. Both ore types are associated with sericitic and siliceous alterations. At Boroo and Gatsuurt both ore types contain coexisting CO2-rich and aqueous fluid inclusions. The inclusions in the Type-I ores homogenized between 254–362ºC, whereas Boroo Type-II ore inclusions homogenized between 237–305ºC. Fluid salinities in both ore types range from 3–6 wt% (NaCl equiv.). The U-Pb age of zircons from Boroo host granites of 472.5 ± 6.9 Ma is much older than previously defined alteration minerals ages. By applying arsenopyrite geothermometer to arsenopyrite-II in the Type-II ores, crystallization temperature and logfs2 are estimated to be 300-365ºC and -7.5 to -10.1, respectively. The results indicate that these gold deposits formed from the same source of the hydrothermal activity in this region. Thus, gold deposits can be classified as contiguous orogenic-type gold mineralization that developed in two stages. Type-I ores are early stage, formed by hydrothermal metasomatic alteration, and Type-II ores are later stage, deposited due to rapidly cooling temperature of the hydrothermal fluids.
A Multi-parameter Based Resource Management Approach for Cloud Environment

In this paper, a multi-parameter based resource management (MPRM) model is proposed for dynamic provisioning instances based on the customer request submission. In MPRM three step model consist of (1) A prediction unit employed to calculate the submitted job estimated execution time (EET) and based on which it provisions the users’ requests instantly or with a delay. (2) In order to balance the load of physical servers, a load balancer is employed to balance the incoming load with the help of VM while assigning. (3) In addition, a migration unit employed to balance and optimize the resource usage with the help of job queue and clustering techniques. The proposed model able to manage both large number of users’ request and server load while keeping energy utilization in mind. The efficacy of the proposed model is tested with help of different randomized customized traces and is compared with different approaches.