Reviewerly/exHarmony huggingface dataset:
A Study on the Impact of Proficiency on Work Engagement in Public Sector

Work engagement has received a great body of research in recent years. Consequently, identifying the antecedents and outcomes of this phenomenon is regarded as important research topics. This paper investigates the association of work engagement and proficiency. Methodology: Proficiency has been studied as an antecedent of work engagement in this article. The suggested relation was examined in a sample of 395 employees in four public organizations in Iran. Results: The finding indicates that there is a positive and significant relationship between work engagement and proficiency. Conclusion: Moreover, only one of the subscales of proficiency (organization member proficiency) could predict the variance of work engagement.
SELF-EFFICACY IN THE AREA OF DIGITAL LITERACY AMONG PRE-SERVICE MATHEMATICS TEACHERS IN THE CZECH REPUBLIC

SELF-EFFICACY IN THE AREA OF DIGITAL LITERACY AMONG PRE-SERVICE MATHEMATICS TEACHERS IN THE CZECH REPUBLIC
DIVERSITY IN POLICIES AND PRACTICES OF DIGITAL COMMUNICATION IN SWEDISH UPPER SECONDARY SCHOOL

1 Jönköping University, School of Education and Communication (SWEDEN)2 Erik Dahlberg secondary school (SWEDEN)
Policy Search in Infinite-Horizon Discounted Reinforcement Learning: Advances through Connections to Non-Convex Optimization : Invited Presentation

In reinforcement learning (RL), an agent moving through a state space, selects actions which cause a transition to a new state according to an unknown Markov transition density that depends on the previous state and action. After each transition, a reward that informs the quality of being in a particular state is revealed. The goal is to select the action sequence to maximize the long term accumulation of rewards, or value. We focus on the case where the policy that determines how actions are chosen is a fixed stationary distribution parameterized by a vector, the problem horizon is infinite, and the states and actions belong to continuous Euclidean subsets.
Applications of the quantum algorithm for st-connectivity

We present quantum algorithms for various problems related to graph connectivity. We give simple and query-optimal algorithms for cycle detection and odd-length cycle detection (bipartiteness) using a reduction to st-connectivity. Furthermore, we show that our algorithm for cycle detection has improved performance under the promise of large circuit rank or a small number of edges. We also provide algorithms for detecting even-length cycles and for estimating the circuit rank of a graph. All of our algorithms have logarithmic space complexity.
Patterns of linguistics features in private chats of social media account leading someone to be a victim of a cyber crime

Social media have grown up as something hallucinogenic. They offer millions of pleasures by having people’s fingertips to control through smart phones. People may interact to each other for various motivations and purposes without knowing who they are talking to in fact although they know the name of the interlocutor shown in the social media account. This leads to cybercrime because people often miss to validate it. This research would like to investigate why people close their eyes to verify the person they are talking to in the social media and how the interlocutors enable to ensure that they are the same person as in the speakers thought. By having descriptive qualitative method with interview as the major for collecting data, the research results some signposts. Addressing, tone, and spelling and punctuation are linguistics features that the doer of cybercrime must have as a key to crack the security without any violence. The doer copies how the way people having the account of social media to ensure the interlocutor through a private chat.
USE OF ADDITIVE TECHNOLOGY FOR AN INNOVATIVE METHOD OF TEACHING THE DESIGN OF CONFECTIONERY PRODUCTS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 9693-9696ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.2409Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
3D AND 4D STRATEGIES TO IMPROVE TEACHING-LEARNING PROCESS IN ENGINEERING SCHOOLS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 5444-5447ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.1343Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
Living systems allometric scaling laws

The spatial and temporal structuring and functioning of living systems are associated with scaling independent qualitative characteristics (gauge invariance) and quantitative laws (power laws). This is allowed by the emergence of new blueprints through the systems merging into ‘Associations for the Reciprocal and Mutual Sharing of Advantages and Dis-Advantages’ (ARMSADA). The local actors become more and more mutually integrated into their new global Whole. Then they are more and more independent from their previous local situations of emergence. Reversely (systemic constructal law), the global Whole is more and more integrating local parceners. The relationship between actors within a living system was described using allometric laws, e.g. the metabolic rate of a lot of species was supposed to be proportional to its mass according to a 3/4 exponent power-law (Kleiber’s law). But, according to the gauge invariance paradigm, an other explanation of the invariant scaling of living systems is proposed with a 2/3 power-law. Whatever its level of organization, a living system, ‘system of systems’ emerging by embedments and juxtapositions of previous ones, effectively functions in 4 dimensions (VA: the Adult system Volume, and tg: the time of generation, the duration that is necessary to acquire the capacity of reproduction). Looking at the gauge invariance paradigm as a ‘factual’ system, from the quantum of Planck to the Universe as a Whole, a meta-analysis of a database of the systems internal (endophysiotope) and external (ecoexotope) interactions can allow to quantify 45×18 allometric relationships. This allows to evidence a ‘grammar’: 1. Invariant independent processes (power-laws with exponent € = 0); 2. Simultaneous limiting interactions regulation processes (€ = +1); 3:F eedback (€ = -1); 4. Competition between actors (€ = 1/2); 5. Optimal exchanges flow (€ = 2/3) processes. Brownian motion is the basic fundamental process that governs all functions. From the Monera to the ecosystem levels the increasing of regulation processes allows more and more autonomy of the endophysiotope from the ecoexotope dependence. From the point of view of matter and energy flows, living systems optimize the input and output exchanges at their interface. The greater diversity of regulation processes occurs for the endophysiotope throughput flows. Whatever the organization level, living systems optimize their survival by adjusting ‘the capacity to be hosted’ of their endophysiotope (HOSTED) to the changes of ‘the hosting capacity’ of their ecoexotope (HOSTING).
Design and Implementation of Linux based Workflow for Digital Forensics Investigation

Window based digital forensic workflow has been the traditional investigation model for digital evidence.Investigating using Linux based platform tends challenging since there is no specific investigation workflow for Linux platform.This study designed and implemented a Linux forensic based-workflow for digital investigation.The workflow was divided into different investigation phases.The digital investigations processes in all the phases were performed using Linux riggings.The work-flow was tested and evidence such as (E01) Image was accurately acquired.This paper is presented in the following sections.Section one and two provided introduction and literature on existing forensic workflow using windows-based workflow respectively.Section three provided the approach to window workflow.The experimental design and tools used were presented in section four.The rest of the sections considered the research analysis, discussion and conclusion respectively.The implication of the test conducted, tools used with their corresponding weakness and strengths were highlighted in the appendix.
IMMERSIVE MEDIA AS A CATALYST FOR CROSS-DISCIPLINARY COLLABORATION IN DESIGN, SCIENCES, ENGINEERING AND VOCATIONAL TRAINING IN HIGHER EDUCATION

IMMERSIVE MEDIA AS A CATALYST FOR CROSS-DISCIPLINARY COLLABORATION IN DESIGN, SCIENCES, ENGINEERING AND VOCATIONAL TRAINING IN HIGHER EDUCATION
Lunar surface image restoration using U-net based deep neural networks

Image restoration is a technique that reconstructs a feasible estimate of the original image from the noisy observation. In this paper, we present a U-Net based deep neural network model to restore the missing pixels on the lunar surface image in a context-aware fashion, which is often known as image inpainting problem. We use the grayscale image of the lunar surface captured by Multiband Imager (MI) onboard Kaguya satellite for our experiments and the results show that our method can reconstruct the lunar surface image with good visual quality and improved PSNR values.
VIRTUALGEO: GEO-INFORMATION FOR IMPROVEMENT IN ENGINEERING LEARNING PROCESSES

J.L. Martín RomeroE. Pérez-MartínM.R. Contreras-AlonsoT.R. Herrero TejedorJ. López HerreraM.A. Conejo Martín
End-to-end Text-to-speech for Low-resource Languages by Cross-Lingual Transfer Learning

End-to-end text-to-speech (TTS) has shown great success on large quantities of paired text plus speech data. However, laborious data collection remains difficult for at least 95% of the languages over the world, which hinders the development of TTS in different languages. In this paper, we aim to build TTS systems for such low-resource (target) languages where only very limited paired data are available. We show such TTS can be effectively constructed by transferring knowledge from a high-resource (source) language. Since the model trained on source language cannot be directly applied to target language due to input space mismatch, we propose a method to learn a mapping between source and target linguistic symbols. Benefiting from this learned mapping, pronunciation information can be preserved throughout the transferring procedure. Preliminary experiments show that we only need around 15 minutes of paired data to obtain a relatively good TTS system. Furthermore, analytic studies demonstrated that the automatically discovered mapping correlate well with the phonetic expertise.
PENGARUHPENGGUNAAN MODEL PEMBELAJARAN ADVANCE ORGANIZER TIPE EXPOSITORYTERHADAP HASIL BELAJARMATEMATIKA SISWA KELAS X SMA PGRI METRO

The learning outcomes of class X SMA PGRI METRO students based on the Pre-survey results are still many who have not met the Minimum Completion Criteria (KKM) ≥ 65. In the learning process students are less active to ask questions and less accustomed to collaborating with other friends. One alternative learning is to use an advanced expository type organizer learning model. the advanced organizer type expository learning model is a learning model that directs students to the material they are going to learn by recalling concepts related to the previous material so that students are able to discover new knowledge by expanding the understanding of the basic concepts of students. So the purpose of this study was to determine the effect of using an expository type advanced organizer learning model on the learning outcomes of class X SMAPGRI Metro. This study uses a QuasiExperimental Design research design. The quasi-experimental design used in this study is Nonequivalent Control Group Design. The data obtained were analyzed descriptively statistically. The subjects of this study were the eleventh grade students of SMAPGRI Metro which numbered 26 students. The results showed that t count&gt; t table is 6.802&gt; 2.056 so that it rejects the null hypothesis (H_0). Based on the results of the study it can be concluded that: the advance organizer type expository learning model has an influence on student learning outcomes.
Dynamic investment model of the life cycle of a company under the influence of factors in a competitive environment

Modelling all possible life cycles of a company in a highly competitive economic environment gives a significant advantage to the owner in his business investment activities. This article proposes and analyses a dynamic model of a company's life cycle with known action costs and transition probabilities, that can be affected by an outside influence. For this task, the Markov model was utilized. The proposed model is illustrated on a task of determining an advertising policy for a car dealership, that would increase the stock equity of a company. The result demonstrates the usefulness of a model for use in determining future actions of a company. We also review multiple models of the influence of outside factors on a company's total capitalization.
A CONCEPTUAL MODEL FOR DEVELOPMENT NEEDS OF MIDDLE MANAGERS IN HIGHER EDUCATION INSTITUTIONS (HEIS)

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 45-49ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.0022Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
On-block certs

The current method for verifying the status of digital certificates relies on the user checking it against a list provided by the Certification Authority (CA). This verification can fail due to problems on the CA’s site or attacks against it. We developed a proof-of-concept for a system that stores and retrieves a lightweight version of digital certificates from the Ethereum blockchain. By doing that we created a tight link between certificates and their status and also reduced their size by taking advantage of the blockchain transaction structure.
VOCAL TECHNIQUE IN PHYSIOTHERAPY: INNOVATING FROM THE UNIVERSITY CLASSROOM

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 6041-6045ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.1476Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
INVENTEURS - CHANGEMAKER EDUCATION THROUGH GLOBAL CITIZENSHIP EDUCATION AND COLLABORATIVE DIGITAL STORYTELLING

INVENTEURS - CHANGEMAKER EDUCATION THROUGH GLOBAL CITIZENSHIP EDUCATION AND COLLABORATIVE DIGITAL STORYTELLING
Neuro-Fuzzy Sampling: Safe and Fast Multi-query Randomized Path Planning for Mobile Robots

Despite the proven advantages of probabilistic motion planning algorithms in solving complex navigation problems, their performance is restricted by the selected nodes in the configuration space. Furthermore, the choice of selecting the neighbor nodes and expanding the graph structure is limited by a set of deterministic measures such as Euclidean distance. In this paper, an improved version of multi-query planners is proposed which utilizes a neuro-fuzzy structure in the sampling stage to achieve a higher level of effectiveness including safety and applicability. This planner employs a set of expert rules concerning the distance to the surrounding obstacles and constructs a fuzzy controller. Then, parameters of the resulting fuzzy system are optimized based on a hybrid learning technique. The outcome of the neuro-fuzzy system is implemented on a multi-query planner to improve the quality of the selected nodes. The planner is further improved by adding a post-processing step which shortens the path by removing the redundant segments and by smoothing the resulting path through the inscribed circle of any two consecutive segments. The planner was tested through simulation in different planning problems and was compared to a set of benchmark algorithms. Furthermore, the proposed planner was implemented on a robotic system. Simulation and experimental results indicate the superior performance of the planner in terms of safety and applicability.
Secure Signature Verification using Image Processing

The signature verification system using image processing is a technique where researchers are eagerly concentrating. The problem in the signature verification system is non availability of data for testing. Security using signature has to be developed with high accuracy. Here we studied the algorithms available in the market. For signature verification, we proposed a new method of signature verification using suitable algorithm. Our proposed system achieves 90% of accuracy.
Towards Evolutionary Theorem Proving for Isabelle/HOL

Mechanized theorem proving is becoming the basis of reliable systems programming and rigorous mathematics. Despite decades of progress in proof automation, writing mechanized proofs still requires engineers' expertise and remains labor intensive. Recently, researchers have extracted heuristics of interactive proof development from existing large proof corpora using supervised learning. However, such existing proof corpora present only one way of proving conjectures, while there are often multiple equivalently effective ways to prove one conjecture. In this abstract, we identify challenges in discovering heuristics for automatic proof search and propose our novel approach to improve heuristics of automatic proof search in Isabelle/HOL using evolutionary computation.
HHS’ New Cybersecurity Practices: 5 Things to Know

HHS releases voluntary Cybersecurity Practices guidance. Industry analysts drill down deeper.
The THE INVESTIGATION OF HIDDEN FRAUDULENT WEBSITE DATASET WITH AN ALTERNATE POINT OF VIEW

The worthwhile idea of fraud can't be denied particularly, its reality as electronic extortion. The electronic fraud is on rising these days. A dataset for covered up false sites is investigated which can be valuable for assessing the execution of a classifier for segregating covered up deceitful URLs. The dataset contains 185180 marked URLs and some related highlights. Through various highlights, it has appeared in the paper that how the dataset can be additionally used. Further, these highlights can be classified and supportive for arranging the best highlights for fake site recognition
The incompleteness of an incompleteness argument

Gödel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing that the contradiction that emerges at the end should be redirected to refute this initial assumption rather than the completeness of number theory
DNN Architecture for High Performance Prediction on Natural Videos Loses Submodule’s Ability to Learn Discrete-World Dataset

Is cognition a collection of loosely connected functions tuned to different tasks, or can there be a general learning algorithm? If such an hypothetical general algorithm did exist, tuned to our world, could it adapt seamlessly to a world with different laws of nature? We consider the theory that predictive coding is such a general rule, and falsify it for one specific neural architecture known for high-performance predictions on natural videos and replication of human visual illusions: PredNet. Our results show that PredNet's high performance generalizes without retraining on a completely different natural video dataset. Yet PredNet cannot be trained to reach even mediocre accuracy on an artificial video dataset created with the rules of the Game of Life (GoL). We also find that a submodule of PredNet, a Convolutional Neural Network trained alone, reaches perfect accuracy on the GoL while being mediocre for natural videos, showing that PredNet's architecture itself is responsible for both the high performance on natural videos and the loss of performance on the GoL. Just as humans cannot predict the dynamics of the GoL, our results suggest that there might be a trade-off between high performance on sensory inputs with different sets of rules.
REINFORCEMENT OF LEARNING VIA MOBILE DEVICES. THE CASE OF PROFEPLUS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 9942-9948ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.2492Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
EXPERIENCES/EXPERTISE IN JOINT INNOVATIVE DOCTORAL PROGRAM AND RELATED @-LIBRARY INFRASTRUCTURE AS RESEARCH TOOL FOR META-THEORETICAL ANALYSIS AND SPECIALISED REPOSITORIES

EXPERIENCES/EXPERTISE IN JOINT INNOVATIVE DOCTORAL PROGRAM AND RELATED @-LIBRARY INFRASTRUCTURE AS RESEARCH TOOL FOR META-THEORETICAL ANALYSIS AND SPECIALISED REPOSITORIES
ChoiceNet: CNN learning through choice of multiple feature map representations

We introduce a new architecture called ChoiceNet where each layer of the network is highly connected with skip connections and channelwise concatenations. This enables the network to alleviate the problem of vanishing gradients, reduces the number of parameters without sacrificing performance, and encourages feature reuse. We evaluate our proposed architecture on three benchmark datasets for object recognition tasks (ImageNet, CIFAR- 10, CIFAR-100, SVHN) and on a semantic segmentation dataset (CamVid).
MOBILE LEARNING IN THE MODERN EDUCATIONAL PROCESS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 1309-1313ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.0416Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
COMPARATIVE ANALYSES OF INCLUSIVE EDUCATION IN LATVIA, RUSSIA, AND KAZAKHSTAN

1 Daugavpils University (LATVIA)2 Tyumen State University (RUSSIAN FEDERATION)3 Zhetysu State University (KAZAKHSTAN)
ONLINE SERVICES AND APPLICATIONS IN HIGHER EDUCATIONAL SETTING

1 RUDN University (RUSSIAN FEDERATION)2 Perm National Research Polytechnic University (RUSSIAN FEDERATION)
Utilization of Android based online ordering in the competition for food and beverage business using the OOAD method

The world of information technology is important in the world of e-commerce. There is a need for media to support transactions when one of them uses an Android-based mobile phone. One promising field in the world of e-commerce is by opening a dining business. But in doing business there is a problem that is serious enough to be addressed immediately. The problem is the accumulation of customers who have no place and customers who want to order food to take home must come and queue at the place. This will make customers feel lazy to come to the location to order and wait in line. In dealing with such problems by making an online food and beverage ordering application. With an online food and beverage ordering application based on Android, it will make it easier for customers to order food without having to queue and come to the location. Customers only order from home and the order will be delivered by the courier from the place to eat. In making the application, the OOAD method is very appropriate to be applied to create the application. The OOAD method analyzes each object between classes that will be created in the application. This application with the OOAD method will be described using UML diagrams.
SKILL ME UP... AND UP! AN ITERATIVE DESIGN METHODOLOGY TO IMPROVE STUDENT’S 21TH CENTURY SKILLS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 5704-5709ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.1401Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
LibGuides: Reference Management Software: Mendeley

This guide will introduce you to the variety of Reference Management Software NTU Library supports and give you tips on how to make the most out of them.