Reviewerly/exHarmony huggingface dataset:
Towards Verifiably Secure Systems-on-Chip Platforms

Verification and validation of system-level security primitives is a pressing challenge in systems-on-chip (SoC) design and verification. This is a difficult problem to tackle for three reasons. First, no general frameworks exist that can enable adversary modeling for SoC platforms. Second, succinct specification of the desired security properties is not possible with current property specification languages. Finally, verification of a security specification is more challenging than functional verification. In this paper, we introduce a formal framework that enables general adversary modeling for SoC platforms and a security property specification language for this framework. We present formal semantics for the framework and illustrate its utility through a case study of an authenticated firmware load protocol.
Advanced training course Biblioteche d’autore contemporanee: Metodologia di acquisizione, gestione e valorizzazione (National Central Library of Rome, 29-31 October 2019)

The paper offers a report of the advanced training course Contemporary personal libraries: methodologies of acquisition, management and promotion, held at the National Central Library of Rome from 29th to 31st of October 2019. The course has been organised in response to the increasing interest and to the numerous problems related to management, handling and promotion of XX century’s personal libraries. The speeches, given by qualified experts in management, handling, study and analysis of contemporary personal libraries, deal with various topics regarding acquisition, management, presentation of case studies and finally appreciation and promoting. Thanks to institutions’ proponents and to the analysis of case studies, the course has given to attend relevant starting points and practical suggestions for an updated and aware approach to personal libraries.
Computación creativa: una oportunidad para la innovación educativa

The proliferation of the new technologies increase a necessity of thing creatively. On the other hand the technologies have the potential, if are used appropriately, to help people to develop as creative thinker. However, many children and young people with computer access participate as consumer and not as creators. The use of news technologies, in itself, das not mean any innovation. This innovation implicate changes in all teaching and learning process. The present article has the goal of analyze the benefits of the integration of the creative computing in the education. This paper argues a computing tool as support to the integration of creative computing. Additionally, this article exposes the results of the integration of this topic in the curriculum of the Mission Ribas to the formation of young people and adults in the Bolivarian Republic of Venezuela. Also, this paper exposes the design of digital educative materials about creative computing that can be adapted to different educational levels.
Session details: Theme: Distributed systems: DAPP - Decentralized applications with blockchain, DLT and crypto-currencies track

Blockchain has gained momentum since it has been brought to light by Bitcoin around 10 years ago. Since then, new DLT have been proposed and applied in many different application domains such as finance or supply chain, even if there are still limitations: energy consumption, attack-resistance, number of transactions per second. The goal of the SAC DAPP track is to review decentralized applications that benefit from the use of blockchains, other distributed ledger technologies (DLT) such as Directed Acyclic Graph (DAG), and/or crypto-currencies.
Data Search using Raita Algorithm

Searching for data is an essential thing to do. The more data stored in a digital archive, the more difficult it is to find that data. Searching requires high speed so that the data is quickly processed. Search requires an excellent algorithm. One of the excellent algorithms in searching data is the Raita algorithm. This algorithm works by comparing search blocks with existing blocks. There ara two processes. The first process is the formation of search blocks and keyword blocks. The second process is to compare what each block is in the BmBc table. This algorithm works well. The application of this algorithm in searching data will be beneficial.
Image Classification with Hybrid Shearlet Scattering Networks

Image classification is a challenging problem since large variabilities like deformations and illumination changes are existed in the images. In this paper, we introduce a shearlet scattering transform which uses the cascade of shearlet transforms and modulus non-linearities to obtain invariant image representations. It improves the sparsity of the previous scattering transform using Morlet. Furthermore, we give a deep hybrid network for image classification. It uses the shearlet scattering transform as the initial layers of a convolutional neural network. Experiments demonstrate that the proposed method can perform better accurate classification results, especially in the limited samples setting.
nfrerebeau/arkhe v0.2.0

A collection of classes that represent archaeological data. This package provides a set of S4 classes that extend the basic matrix data type (absolute/relative frequency, presence/absence data, co-occurrence matrix, etc.) upon which package developers can build subclasses. It also provides a set of generic methods (mutators and coercion mechanisms) and functions (e.g. predicates). In addition, a few classes of general interest (e.g. that represent stratigraphic relationships) are implemented.
Near-lossless Image Compression Algorithm to Reduce the Memory Bandwidth of Display Devices

Recently, as the spread of ultra-high definition (UHD) display devices has become more active, considerable data bandwidth is required between the display and external memory. Compression of data can be applied to reduce memory bandwidth, but that can lead to degradation of image quality. So, in this paper, we propose a near-lossless compression algorithm that reduces memory bandwidth and minimizes image quality degradation for hardware implementation. The proposed algorithm is based on two-line memory–based prediction and transformation. Also, it improves the performance of quantization through one-dimensional (1-D) discrete cosine transform (DCT). In rate control, quantization parameters are determined using both horizontal and vertical information to improve efficiency. Finally, a partial update is implemented to enable selective decoding of images. Experimental results show that the proposed method is superior in terms of peak signal-to-noise ratio while maintaining a high compression ratio.
A New Technique to Enhance SODISM Images based on the Modified Undecimated Wavelet Transform

There are many satellites and ground-based observatories providing continuous observations of our Sun, of which the PICARD microsatellite is one. PICARD is a space-based satellite observatory holding the Solar Diameter Imager and Surface Mapper (SODISM), which has been continuously monitoring solar activities on five wavelengths, at 215nm, 393 nm, 535 nm, 607 nm and 782, from July 2010 to April 2014. Due to the noise associated with SODISM images, their clarity and the appearance of solar features are affected. In this paper, a Modified Undecimated Discrete Wavelet Transform (M-UDWT) technique is used to de-noise and enhance the quality of the SODISM images depending on the five wavelengths monitored by the SODISM instrument. The proposed method is robust and effectively improves the quality of SODISM images, so that the resulting images become more suitable for further analysis than the original (noised image). Subjective and objective measurements that were conducted on the performance of the proposed algorithms show greater clarity of the solar features in the image, than the input one. Moreover, differences between the conventional DWT and M-UDWT methods are stated in this paper.
It's on the Cards

This paper describes the creation of a set of dementia friendly instruction cards for participants engaged in a technology research project. The cards were designed to provide support after the research project was completed, so that participants could maintain continued and independent use of the technologies left with them. A literature review of guidelines for creating text, instructions and graphics for people with dementia is almost nonexistent. The iterative process of designing and refining easy to understand instructions, given both a lack of guidelines and the significant cognitive challenges presented by dementia, is described. We conclude that the creation of the cards themselves, and the insights we discovered in creating them are of significant value to assisting people in the uptake of technology. With clear, colourful, easily accessible and visually stimulating instructions, these cards act as a bridge between the technologies and their use, greatly enhancing the ability to support people with dementia in technology use.
Session details: Theme: Software design and development: SE - Software engineering track

A special track on Software Engineering (SE Track) aims to be a forum for scientists, engineers and practitioners, in academia and industry to share new ideas, experiences and results, and to present their latest findings in any aspects of Software Engineering. SE Track emphasizes the design, implementation, management and applications of Software Engineering.
The Maximum Equality-Free String Factorization Problem: Gaps vs. No Gaps

A factorization of a string w is a partition of w into substrings $$u_1,\dots ,u_k$$ such that $$w=u_1 u_2 \cdots u_k$$. Such a partition is called equality-free if no two factors are equal: $$u_i \ne u_j, \forall i,j$$ with $$i \ne j$$. The maximum equality-free factorization problem is to decide, for a given string w and integer k, whether w admits an equality-free factorization with k factors. Equality-free factorizations have lately received attention because of their application in DNA self-assembly. Condon et al. (CPM 2012) study a version of the problem and show that it is $$\mathcal {NP}$$-complete to decide if there exists an equality-free factorization with an upper bound on the length of the factors. At STACS 2015, Fernau et al. show that the maximum equality-free factorization problem with a lower bound on the number of factors is $$\mathcal {NP}$$-complete. Shortly after, Schmid (CiE 2015) presents results concerning the Fixed Parameter Tractability of the problems. In this paper we approach equality free factorizations from a practical point of view i.e. we wish to obtain good solutions on given instances. To this end, we provide approximation algorithms, heuristics, Integer Programming models, an improved FPT algorithm and we also conduct experiments to analyze the performance of our proposed algorithms. Additionally, we study a relaxed version of the problem where gaps are allowed between factors and we design a constant factor approximation algorithm for this case. Surprisingly, after extensive experiments we conjecture that the relaxed problem has the same optimum as the original.
A Machine Learning Approach for Walker Identification Using Smartphone Sensors

Nowadays, smartphones areAngrisano, Antonio equipped with MEMS sensors like accelerometers, gyroscopes, and magnetometers. In this work we exploited this kind of sensors to provide advanced information about the walkerArdimento, Pasquale bringing the smartphone. In particular, smartphone sensorsBernardi, Mario Luca outputs are used to recognize the identity of the walker and the pose of the device duringCimitile, Marta the walk. If the aforementioned information was known, it could be used to improve the functionalities of specific smartphones. For instance, the recognition of walker identityGaglione, Salvatore can be used for theft protection or the device pose can be used to improve the performance of the pedestrian navigation. In this paper, we adopted a decision tree classifier approach to recognize the previously described contexts using data produced by smartphone sensors, obtaining effective results.
The Seismic P-wave Detection Algorithm Using Standard Deviation of Impact Momentum Variations

In this paper, we propose a new seismic P-wave detection algorithm using the variation of impact movement and the variable threshold. In the proposed algorithm, the seismic P-wave is detected using a sudden change in the impact momentum calculated from the seismic jerk. The threshold to be the reference for sudden change is set from the mean and the standard deviation of the impact momentum changes. In addition, the mean and standard deviation estimated by the iterative method adjust the threshold value according to the SNR of the seismic wave. Using the observed real earthquakes and measured noise in the living area, computer simulations were performed to compare the conventional algorithms with the seismic P-wave detection performance of the proposed algorithm. From the experimental results, it is possible to confirm the superior detection performance of the proposed method and the effectiveness of the threshold adjustment.
Fuzzy Logicbased Approach For Heart Disease Diagnosis

In world situation, making call is staggeringly intense in any field. In restorative field, clinical web are made by the assistance of software engineering. These frameworks are widely used in medical clinics and facilities. By this method the treatment on diagnosing, treatment of ailment and patient interest are taken according to influenced sickness. The main goal of this paper is to locate inside sicknesses of an individual with the help offuzzy based expert system. This framework comprises of six data sources and two yield fields. From these frameworks, we will in general explore the patients to whom the medicines are frequently taken from serious assault to fragile assault that the data shows from need vectors. The outcomes are acquired by Analytic Hierarchy Processes with need vectors.
Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching

Given a text and a pattern over an alphabet, the classic exact matching problem searches for all occurrences of pattern P in text T. Unlike the exact matching problem, order-preserving pattern matching considers the relative order of elements, rather than their exact values. In this paper, we propose the first parallel algorithm for the OPPM problem. Our algorithm is based on the “duel-and-sweep” algorithm. For a pattern of length m and a text of length n, our algorithm runs in $$O(\log ^ 3 m)$$ time and $$O(n \log ^ 3 m)$$ work on the Priority CRCW PRAM.
Role of Viral Marketing in Customer’s Satisfaction in Fast Food Restaurants in Jordan

Viral marketing is becoming a key instrument in marketing strategies now days, used by a lot of firms to achieve these goals, due to the wide spread of the internet among all people now days, and the tendency of people from deferent ages to spend more time on the internet to use the social media, customer’s satisfaction have received a great attention in marketing research since a long time ago, whereas academic literature in the viral marketing is still sparse, particularly the dimention that influencing customer’s satisfaction in fast food restaurants in Jordan. Therefore, this paper attempts to fill this gap by examining the relationship between promotion, Brand awareness, Trust, and Brand association on customer’s satisfaction to address the inconsistent findings in the previous studies.
Co-designing Community Dental Services software

A dentist working in Community Dental Services (CDS) in the Northumberland Healthcare Trust of the NHS wanted to develop open source software to use in their clinics since most of the systems that they currently use are paper-based. The question was, what should the software look like? Here, where teeth are the easy part, oral health services are provided for patients with very complex or special needs or disabilities including autism, dementia and phobias. All NHS Trusts deliver these services and four Trusts with varying software systems agreed to second staff for half a day a week for six months to take part in the discovery. Co-design workshops were facilitated by the care analyst every second week and in alternate weeks staff were given tasks to do at their Trust clinics; observing, timing, collecting forms and data. Each Trust has its own version of every piece of management form. At first people act as though their document flow represents the pathways that should be “automated”. Software specification in the NHS is often done by people without special skills or experience but persistent co-design delivered an agreed patient care pathway as well as an extended narrative for future software development.
Variance Training Data in Image Enhancement

This paper presents a study of neuro-fuzzy behavior in clustering gradient profile spectral characteristics. Various types of image scene are chosen to evaluate neuro-fuzzy performance. The combinations of training data subsets are learned by ANFIS model to generate gradient profile priors, which are used as optimum weight selection criteria for image enhancement. The experimental results illustrate quantitative performance improvement and perceptual improvement in recovery of the high-resolution details in various images.
The status of the Electronic Thesis and Dissertations (ETDs) outputs amongst the institutional repositories in South African universities: Part 1 .

Electronic Thesis and Dissertations (ETD) have been around for more than a decade now and were initiated as a means of collecting, sharing, disseminating, and archiving research outputs from academic institutions. Even before ETDs, institutions of higher learning have been collecting and archiving this type of scholarly outputs manually. While most thesis remain unpublished, this knowledge produced is almost constant as it is (in most universities) a requirement when research students graduate. In sub-Saharan Africa, it has been established that there is low research output when compared to the rest of the world. Yet, there are many universities in Africa who produce post-graduate students who submit ETDs and these are not visible or most never turn into research papers. As in the rest of this world, African universities have established institutional repositories in academic libraries to help preserve the institution’s intellectual property and to increase the institution’s visibility (global rankings) and prestige. It is uncommon to have either a dedicated ETD collection in an institutional repository or a stand-alone ETD repository. This purpose of this study was to establish the research output and visibility of scholarly research produced by the higher education institutions in South Africa and specifically focus on the ETDs. This study has both qualitative and employs pre-dominantly the desk-study and intensive literature review. The study discovered that all 23 South African universities have ETD collections and three have dedicated ETD repositories. The rate of deposit does not match the graduation levels and the visibility of these ETD require an institutional priority. The paper concludes by proposing an in-depth survey to understand the emerging issues from this present study. This is the first part of the 2 part study, the second part interviews the ETD managers or repository managers to closely verify the issues raised or discovered in the first part.
Monitoring Of Efficiency Of School Education. Are Children Interested In School? [Мониторинг Эффективности Школы. Интересно Ли Детям Учиться В Школе?]

Interregional monitoring of the effectiveness of the school is conducted by the Center for Continuing Education Economics of the Institute of Applied Economic Research of the Russian Presidential Academy of National Economy and Public Administration. Within the monitoring, a sociological survey of the parents of students, teachers and school principals of different types of settlements in the subjects of the Russian Federation, differentiated according to the criteria of social and economic development is carried out. This news release presents the results of a 2019 study that reveals the pupil`s motivation and content of school education.
A Method of Feature Lines Generation of Cultural Relics Based on Point Clouds

The feature lines extraction technology of 3D models has been well applied to cultural relics protection and archaeological drawings. For the problem of drawing archaeological documentations, this paper explores a method based on point clouds of cultural relics, which has good anti-noise ability for sparse clouds. In addition, it will cost less time and space complexity to acquire accurate feature.
Roles of dissolved organic matter on seasonal arsenic variation in shallow aquifers of the central Yangtze River Basin by EEM-PARAFAC analysis

Fluorescence excitation-emission matrix (EEM) analysis was applied to characterize seasonal variation of dissolved organic matter (DOM) in arsenic-affected shallow aquifers of the Jianghan Plain, central China, to better understand the effect of DOM on arsenic transformation during dry season and wet season.It was identified that there are three components of DOM, of which C1 and C3 are fulvic acid-like substances and C2 is humic acid substance, and there is no obvious seasonal variability in C2, and the concentration is slightly higher in the wet season than the dry season.C1 and C3 have the opposite change rules in different seasons, which is mainly reflected in the shallow unconfined water.
Analysis of Research Trends in Education for Sustainable Development in the Practical Arts (Technology &amp; Home Economics) Education: Focusing on ‘Family Life’ Area

본 연구는 1989년부터 2018년까지 실과(기술&#8901;가정) 교과의 전문 학술지에 발표된 논문들을 중심으로 가정생활영역에서 지속가능발전교육의 연구 동향을 살펴보았다. 세 개의 학회지의 제목, 초록, 키워드에서 지속가능발전교육의 구성요소와 세부내용을 주제어로 관련 논문을 선별하였으며, 가정교과의 내용학 분야, 연구영역, 연구방법, 연구대상, 지속가능발전교육의 구성요소 및 하위내용 등을 살펴보고, 빈도 및 교차 분석을 시행하여 그 결과를 고찰하였다. 지속가능발전교육 연구는 범국가적 관심이 급증한 2000년대 중반 이후에 급증하였으며, 가정교과의 내용학 분야 차원에서는 통합적 접근을 통한 연구가 가장 많았으며, 연구영역에서는 교수학습법 및 교재개발의 연구가 가장 많았다. 절반 이상의 연구가 실험연구로 진행되었고, 초등학생을 대상으로 한 연구가 가장 많았다. 지속가능발전교육의 세 구성요소 중 사회와 관련한 연구가 가장 많이 진행되었고, 환경 영역이 뒤를 따랐다. 가정교과의 내용학과 지속가능발전의 세부내용은 연관성이 있었다. 실과(기술&#8901;가정) 교과를 통해 다양한 지속가능 발전교육이 학생들의 실천적문제해결능력을 키울 수 있도록 관련 연구가 지속되어야 할 것이다.This study examined the research trends of sustainable development education in the family life area, focusing on papers published in journals specialized in the Practical Arts (Technology & Home Economics) subject from 1989 to 2018. The papers from three journals were selected based on the titles, abstracts, and keywords for their contents related to sustainable development education. The results were analyzed by frequency analysis and cross-tabulation. Sustainable development education has surged since the mid-2000s when national interest on this topic sharply increased. Rather than focusing on particular content areas in home economics, most research was conducted through an integrated approach. More than half of the studies were conducted in experimental studies, with the largest number of studies involving elementary school students. Of the three components of ESD, research on society was most frequently conducted, followed by the environmental area. The contents of the home economics curriculum and the details of sustainable development were related. More related research should be conducted so that various sustainable development education can improve students practical problem-solving ability through Practical Arts (Technology & Home Economics) curriculum.