Reviewerly/exHarmony huggingface dataset:
Kind inference for datatypes

In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the challenge of kind inference for datatype declarations has presented itself and become a worthy research problem on its own. This paper studies kind inference for datatypes. Inspired by previous research on type-inference, we offer declarative specifications for what datatype declarations should be accepted, both for Haskell98 and for a more advanced system we call PolyKinds, based on the extensions in modern Haskell, including a limited form of dependent types. We believe these formulations to be novel and without precedent, even for Haskell98. These specifications are complemented with implementable algorithmic versions. We study soundness, completeness and the existence of principal kinds in these systems, proving the properties where they hold. This work can serve as a guide both to language designers who wish to formalize their datatype declarations and also to implementors keen to have principled inference of principal types.
Robotic Process Automation: Under Promise Over Deliver

Today, humanity is witnessing a transformational era in the history of mankind. Needless to say, the acceleration of change in technology is faster than ever before. Changes in technology in a year are more than what changed over decades earlier. Riding on technological advancements, customer expectations are going northward, and they are expecting more every day. Customers want quality service with reduced delivery time without spending more. Manufacturers and service providers are searching for opportunities and betting big on technology to reduce costs and improve quality through reduction of defects. Automation had always been the tool to achieve this. Traditionally technology has focused on automation by mechanical robots. Robots have taken over entire shop-floor and warehouse tasks. Now robots are entering office space to perform routine mundane activities to execute business transactions. In common parlance, it is known as Software Robotic Process Automation (RPA). The article discusses about this transformation technology platform that is reshaping how corporations run business. RPA has the potential to impact all aspects of business from customer facing functions to finance backroom operations, from purchasing to manufacturing operations, and from planning to data maintenance. RPA stands to greatly benefit many enterprises dealing with repetitive, rule-based activities performed by system users across IT platforms using structured and unstructured data. It leaves humans to focus more on value-adding activities that require judgement, speculation, and intelligence. The use cases in this article are examples from real business applications which the authors are involved to a great extent, from feasibility and process study to implementation. For more information, they would be glad to be contacted.
학령전기 아동의 과체중 및 비만 관련 위험요인: 생태학적 모델을 바탕으로

Purpose: The purpose of this study was to identify the potential risk factors - children’s factors, parental factors, and familial-environmental factors - with respect to overweight and obesity in Korean preschool children. Methods: This study used a descriptive cross-sectional design and involved 264 pairs of mothers and preschool children aged 3–5 years (121 boys, 143 girls) attending daycare centers in C city. Multiple logistic regression analyses were used to identify significant risk factors for overweight and obesity in preschool children. Results: According to the multivariate logistic regression, family history of diabetes mellitus as children’s factors, overweight or obesity of both parents as parental factors were significantly associated with an increased likelihood of overweight and obesity in preschool children. In addition, lack of community space for physical activity as familial-environmental factors was significantly associated with increased likelihood of overweight and obesity. Conclusions: Health care providers should concerned with the risk of overweight and obesity in children with high risk familial factors, such as family history of obesity and diabetes mellitus. Moreover, policies should be set in place to make sure communities include space that foster physical activity in young children.
Poisoning Sender Policy Framework

Sender Policy Framework (SPF) is a technical standard that helps protect e-mail senders and recipients from spam, spoofing, and phishing. It’s a form of e-mail authentication.
Pelatihan penulisan teks syair bagi guru-guru SMP Se-Kabupaten Bantul

The purpose of community service activities is to improve the ability of teachers to write poetic texts so that they help teachers teach poetic texts and create literary appreciation. The method used is as follows. (1) providing training on understanding the concept of poetry; (2) practice the ability to write poetic texts with various techniques; (3) provide knowledge about teaching poetic texts. The result of this activity is that teachers have the same understanding of the concept of poetry and teach poetry in an easy and fun way. In addition, the teacher is able to create poetic texts that can be used as teaching material. This activity has a direct impact on teacher self-development and learning Indonesian, especially poetry material in junior high schools.
Trust-Aware Resource Provisioning for Meteorological Workflow in Cloud

Cloud computing centers are becoming the predominant platform of offering high-performance computing services based on high-performance computers. However, enabling meteorological workflow that requires real-time response is still challenging due to uncertainty in the cloud, once the computing nodes in the cloud are down, the tasks deployed on the cloud will not be completed in time. To address this problem, an optimal cloud resource for the downtime tasks provisioning method (ODPM) is proposed by formulating a programming model. The ODPM method can select the appropriate migration strategy for the tasks on the compute node to achieve the shortest workflow completion time and load balancing of the compute center compute nodes. A large number of experimental are conducted to verify the benefits brought by ODPM.
Emozioni, moods e atmosfere nella percezione della musica

Moving from the physiological characterization of emotion as a specific bodily response to a stimulus, I highlight some phenomenological properties of emotions, differentiating them from moods and atmospheres. Then, I consider the three notions in relation to music. In conclusion, I trace the difference between emotions, moods, and atmospheres back to the affective and cognitive elements that characterize them.
Experiencing 3D regions through portal using Augmented Reality

Abstract This paper presents how augmented reality can be used to augment different places (hotels, museums, zoos, etc.) in the user’s own environment. Augmented Reality (AR) is a new technology that involves the 3D rendering of computer graphics in the real world. Using Augmented Reality we can get the actual idea about different places instead of a false impression. Augmented reality (AR) frameworks present a blend of virtual and genuine items. Using AR we can create a virtual world right in front of us in real time without actually visiting that place. We can experience objects at different places right at our own place just by augmenting them in real time and space. In this project, we have constructed a portal using augmented reality which displays a hotel room when activated. Many times, the client is cheated when he tries to book hotel rooms where the rooms are not exactly as seen in the photo. This portal eliminates the need for photos as the client can augment the whole hotel room in his own house and can actually check the room in real space. Keywords: 3D, augmented reality (AR), heads-up display (HUD) Cite this Article Darsh Shah. Experiencing 3D Regions through Portal Using Augmented Reality. Journal of Computer Technology & Applications. 2019; 10(3): 1–7p.
Improving combinatorial actions in children of 9 years

The aim of the study was to determine the conditions for the improving of combinatorial actions in children of 9 years old (3 rd grade 9 years old elementary school students). The original «Combination-2» educational program may become a condition for improving combinatorial actions. It was supposed to establish such conditions. The program includes 30 types of non-standard tasks with extracurricular content. Each type of task had three structural versions of the tasks: find the answer, find the question, find part of the initial conditions. Solving these problems requires combinatorial actions. The control group consisted of 91 children, the experimental group — of 96. These children participated in 30 group classes for 30 weeks (weekly, from September to May). The study showed that the “Combination-2” lessons contribute to the improving of combinatorial actions in children. In further studies, it is planned to determine the extent to which the “Combination-2” program contributes to the improving of combinatorial actions in children of 10 years old.
Detectable Object-Sizes Range Estimation Based Multi-Task Cascaded Convolutional Neural Networks in the Vehicle Environment

In many studies regarding driver monitoring system, they directly employed face detection algorithms for general-purpose in an unconstrained environment. These algorithms are generally not suitable for limited resources of vehicles. Unlike the general unconstrained environment, the range of detectable face sizes and locations can be estimated in the vehicle environment. In this paper, we propose the Detectable Object-sizes Range Estimation algorithm (DORE) to estimates the range of detectable face sizes through specific information in the vehicle environment. The DORE algorithm makes images, in which a face is likely to be detected in the in-vehicle environment, to be fed into a face detection algorithm, such as Multi-task cascaded Convolutional Neural Networks (MTCNN) which stably detect faces rather than others. Our experiment shows that DORE applied MTCNN not only had the same performance as MTCNN in terms of accuracy but also had relatively low processing time in the vehicle environment.
Educación Física y desarrollo cognitivo

In the present work, a narrative review of the literature has been carried out. The objective of the present review will be to present the findings obtained by research that address the cognitive effects of physical education, identify possible problems when translating the neuroscience of FA in the classroom. Understanding by physical according to WHO as any body movement produced by skeletal muscles that requires energy expenditure. activity should not be confused with exercise. This is a variety of physical planned, structured, repetitive and carried out with an objective related to the improvement or maintenance of one or more components of physical fitness. Physical includes exercise, but also other activities that enter into body movement and are carried out as part of the moments of play, work, forms of active transport, household chores and recreational activities. To this end, a detailed and exhaustive search was carried out in different scientific databases. After analyzing the information obtained, it was possible to conclude that, although there have been different studies that have shown the close relationship between physical and cognitive development of students, because physical education continues to be perceived as a subject non-academic in which non-cognitive skills are not developed, the obsolete form in which mind and body are understood can influence research and educational practice, with respect to the close relationship between physical education and neuroscience.
3rd International Workshop on Software Protection (SPRO 2019)

Software Protection techniques aim to defend the confidentiality and integrity of software applications that are exposed to an adversary that shares the execution host and access privileges of the application. This scenario is often denoted as protection against MATE (Man-At-The-End) attacks. This is an area of growing importance for industry: in many cases the deployment of such techniques is crucial to ensure business continuity. Following the second SPRO workshop co-located with CCS-2016 in Vienna, Austria, this third edition aims to establish a tradition where academics and industrial experts in software protection can meet to confront the challenges in designing stronger protections and in developing better integration with industrial software development life cycle requirements.
Study of the Solar Potential and Five Meteorological Parameters (Climates) of the Nigerien City of Zinder: Case Study, Niger

This article proposes a study of the solar field and five climatic parameters of the Nigerien city of Zinder (Zinder city extends between the parallels 12° 48' and 17° 30' North and in longitude between 7° 20' and 12° 0' East. They are among the sunniest areas of Niger) from 1961 to 2010 based on experimental data. Most of the researchers work in this area uses few measured values to evaluate solar radiation. In this study we use fifty years (50 years) of experimental data. We will use two models most frequently used in the literature by researchers that are well adapted to the Niger region. After deep analysis of the evolution of global solar radiation, wind speed, temperature, duration of insolation, and precipitation during this period in this city located in the eastern part of the country, it is clear that : all solar energy applications require a rigorous, detailed and complete knowledge of solar radiation and climatic parameters of the site.
3D Object Trajectory Reconstruction using Instance-Aware Multibody Structure from Motion and Stereo Sequence Constraints.

Three-dimensional environment perception is a key element of autonomous driving and driver assistance systems. A common image based approach to determine three-dimensional scene information is stereo matching, which is limited by the stereo camera baseline. In contrast to stereo matching based methods, we present an approach to reconstruct three-dimensional object trajectories combining temporal adjacent views for object point triangulation. We track two-dimensional object shapes on pixel level exploiting instance-aware semantic segmentation techniques and optical flow cues. We apply Structure from Motion (SfM) to object and background images to determine initial camera poses relative to object instances as well as background structures and refine the initial SfM results by integrating stereo camera constraints using factor graphs. We compute object trajectories using stereo sequence constraints of object and background reconstructions. We show qualitative results using publicly available video data of driving sequences. Due to the lack of suitable ground truth, we create a synthetic benchmark dataset of stereo sequences with vehicles in urban environments. Our algorithm achieves an average trajectory error of 0.09 meter using the dataset. The dataset is on our website1publicly available.
Global and Local Multi-scale Feature Fusion for Object Detection and Semantic Segmentation.

Feature fusion approaches have been widely used in object detection and semantic segmentation to improve accuracy. Global feature fusion integrates semantic information and detail spatial information. Combining the fine feature maps in the bottom-up stage and the coarse feature maps in the top-down stage is very effective in the network where it is necessary to understand the contextual information of a given image. In this paper, we propose a method to integrate multiple feature maps in the local region as well as global feature fusion. Local multi-scale feature fusion integrates neighboring feature maps from different levels and scales to get a more diverse range of receptive fields with less computation while keeping detail appearance information. Experimental results demonstrate that the proposed network, which is based on the global and local feature fusion, achieves competitive accuracy with real-time inference speed in semantic segmentation and object detection tasks over the previous state-of-the-art methods.
How does social media change print publishing? : Focused on Publication Personnel –Content–Marketing–Distribution

이 연구는 소셜 미디어가 국내 출판물 콘텐츠 생산양식, 마케팅, 유통판매, 그리고 출판 인력의 기능 변화에 어떻게 영향을 미치는지에 대해 논의해 보았다. 나아가 전통 출판사들이 소셜 미디어 환경에서 검토해 볼 만한 콘텐츠 생산방식, 홍보전략, 유통판매에 대한 구체적 방안을 제시해 보았다. 미래 출판은 소셜네트워크서비스(SNS), 유튜브와 같은 1인 미디어를 활용해 책에 대한 내용을 독자에게 직접 알리고, 전달 방식도 텍스트 중심에서 벗어나 오디오, 비디오, 이미지, 그래픽 등을 합친 멀티미디어형으로 재구성할 필요가 있다는 점을 중심으로 논의했다.This study discuss the impact of social media on the functioning of domestic publishing content, marketing, distribution, and publishing personnel. Furthermore, This study present specific methods of content production, publicity strategy, and distribution sales that publishers should consider in social media environment. The author suggest that publishing content would be informed and provided through new mediums such as the Internet, social media, and YouTube, which would generate interest in publications and maximize indirect exposure to reading. In addition, this study point out the publishing experts in the social media era need to have a comprehensive understanding of technical issues in editing as well as a comprehensive approach to analyzing and interpreting social problems along with humanistic literacy. Future Publishing needs to inform the readers about the contents of the book by using one-person media such as SNS and Youtube, and it is necessary to reconstruct the transmission method from the text center to the multimedia type combining audio, video, image and graphic.
Lean manufacturing applied in the production process for the implementation of two-dimensional barcode QR-Code on operational and functional control

The demands of the market over the requisites of agility, information confiability to identify the products and tracebility, have elevated the control exigence inside the manufacturing chain, contributing for the increase of inefficiency and decrease of the companies productivity. The advent of new technologies, the discovery of new work tools developed from the Information Technology evolution, together with the Lean concept, has created the possibility of reverting this frame. The use of the bar code has turned more precise the information conjoint to the productivity improvement in the diverse sections of the production chain. The present article is a study case of preparation of heavy industry environment for the implementation of the bidimensional bar code tool QR-Code in a company of plastic injection situated in Curitiba/PR. The obtained results have shown significative performance after kaizen and implantation of the bidimensional bar code, as shown in the client's indicators of rejection, order fulfillment, rejection in the manufacture process, exchange time of models, manufacture Lead Time and storage of the final product, which resulted above the established aims. The process of manufacture has gained in confiability and productivity, reducing the preparation of forms to insert data in the system.
Evaluation of proposed amalgamated anonymization approach

&lt;p&gt;In the current scenario of modern era, providing security to an individual is always a matter of concern when a huge volume of electronic data is gathering daily. Now providing security to the gathered data is not only a matter of concern but also remains a notable topic of research. The concept of Privacy Preserving Data Publishing (PPDP) defines accessing the published data without disclosing the non required information about an individual. Hence PPDP faces the problem of publishing useful data while keeping the privacy about sensitive information about an individual. A variety of techniques for anonymization has been found in literature, but suffers from different kind of problems in terms of data information loss, discernibility and average equivalence class size. This paper proposes amalgamated approach along with its verification with respect to information loss, value of discernibility and the value of average equivalence class size metric. The result have been found encouraging as compared to existing &lt;em&gt;k-&lt;/em&gt;anonymity based algorithms such as Datafly, Mondrian and Incognito on various publically available datasets.&lt;/p&gt;
Evaluation review of effectiveness and security metrics performance on information technology domain

&lt;p&gt;Information Technology (IT) development is the vital required for human life activities in this global era. This implementation of IT system has becomes competitive among developers to increase the quality of system performance. In order to discover the IT performance of system, it neccesary to evaluate the IT implementation performance. It determines the anticipated system output to prepare to enhance the application performance. In this paper the evaluation performance that is reviewd are effectiveness and security metrics because both of evaluations able to improve the development and protection of system. Therefore, this paper classifies some IT domain development that used in term of effectiveness and security metric approach from previous researchers’ effort. It is categorized the domain based on both evaluation term of effectiveness and security metrics from specific parameter their used. The concern of this paper is to discover the important effectiveness and security metrics in IT domain performance that is anticipated to achieve expected performance.&lt;/p&gt;
Indoor navigation system using annotated maps in mobile augmented reality

The rapid evolution of technology in recent years make indoor navigation possible by offering a variety of alternative techniques. In this research, a prototype of a mobile AR application for indoor navigation that using the interactive annotated map is presented. It determines the user starting location via scanning the reference image which placed in a specific location. Besides, AR Core supported device is adopted in this project to blend the digital and physical worlds seamlessly by aligning the appropriate 3D path with features in the real world through ground detection. Furthermore, this app helps to reduce the human cognitive workload and save time by presenting relevant information as well as a better understanding of the surrounding. Moreover, theapplication implemented on Android phone with ARCore and tested at Level 1, CAIS building in UNIMAS. Finally, the result proved the application provides a good platform to show the location information without requiring hardware installation and a strong wireless connection.
High-Definition Map Combined Local Motion Planning and Obstacle Avoidance for Autonomous Driving.

Local motion planning plays an important role in an autonomous driving system. And applying mature local motion planning methods to real traffic scenarios with regular constraints is one of the keys to the applications of autonomous vehicles. In this paper, we present a local motion planning method combined with High-Definition (HD) maps. Through the HD map defined by OpenStreetMap, the local motion planner can obtain the prior knowledge of traffic scenarios and achieve path planning and optimization accordingly. In order to improve the safety and comfort of the obstacle avoiding process, we also propose an inertia-like path selection algorithm based on this planning method. We evaluated the proposed method on our designed autonomous driving experimental platform ‘Pioneer’ and participated in the 2018 Intelligent Vehicles Future Challenge. In the competition, the ‘Pioneer’ successfully completed all the races and won the championship without any manual intervention.