Reviewerly/exHarmony huggingface dataset:
Combining linear logic and size types for implicit complexity

Several type systems have been proposed to statically control the time complexity of lambda-calculus programs and characterize complexity classes such as FPTIME or FEXPTIME. A first line of research stems from linear logic and restricted versions of its !-modality controlling duplication. An instance of this is light linear logic for polynomial time computation [5]. A second approach relies on the idea of tracking the size increase between input and output, and together with a restricted recursion scheme, to deduce time complexity bounds. This second approach is illustrated for instance by non-size-increasing types [8]. However, both approaches suffer from limitations. The first one, that of linear logic, has a limited intensional expressivity, that is to say some natural polynomial time programs are not typable. As to the second approach it is essentially linear, more precisely it does not allow for a non-linear use of functional arguments. In the present work we incorporate both approaches into a common type system, in order to overcome their respective constraints. The source language we consider is a lambda-calculus with data-types and iteration, that is to say a variant of Gödel's system T. Our goal is to design a system for this language allowing both to handle non-linear functional arguments and to keep a good intensional expressivity. We illustrate our methodology by choosing the system of elementary linear logic (ELL) and combining it with a system of linear size types. We discuss the expressivity of this new type system, called sEAL, and prove that it gives a characterization of the complexity classes FPTIME and 2k-FEXPTIME, for k≥0.
Mechanical Identification of Extra Large Hydraulic Engineering Vehicles Based on Video Big Data

Traditional vehicle target detection algorithm requires selection of suitable features for different image and video scenes, which make poor generalization. This paper presents the mechanical identification of large-scale hydraulic engineering vehicle using SSD framework based on video big data. A large-scale hydraulic engineering vehicle uses image context information analysis to understand the detection target and predicts convolution characteristics of multiple scales. In the post-target detection process, we proposed a semantic window mining method to improve the recall rate, and we used a data-driven fuzzy object tracking method to realize accurate visual tracking of objects in video big data. The experimental results showed that the method has high recognition rate for hydraulic engineering vehicles, and has better accuracy and better effect than traditional target detection algorithms.
Implementasi Sistem Informasi Akuntansi untuk Perusahaan Garmen XYZ

Nowadays in Indonesia, the company needs toward information system is an absolute thing. Information System has become one of the components in a company. There are many positive advantages obtained in using information system. Information system has many types such as Accounting Information System (AIS) supporting the accounting in company. XYZ is an company engaged in garment in Surabaya. As a company, it has business processes related to accounting. To support the accounting process in XYZ company, it needs an accounting application. Accurate is an application providing AIS service created by CPSSoft. Accurate is chosen because the use is simple and it provides modules which support business process of companies. The problem faced by XYZ company in this research was how to arrange Accounting Information System in XYZ company using Accurate application and to overcome the problems. Thus, there would be some activities. First was interview and observation of business process in XYZ. The second was data transfer from the previous application to Accurate. The third was installment and training the Accurate to the staffs and the owner of XYZ company. Accurate could ease business process and enhance staff performance and the owner of company.
Progressive Joint Framework for Chinese Question Entity Discovery and Linking With Question Representations

Chinese question entity discovery and linking (QEDL) may encounter short texts and small-scale annotated datasets, which may invalidate certain machine learning algorithms. In this paper, we propose a progressive joint framework for Chinese QEDL, which leverages the mutual dependency information of these two tasks to enhance the performance with each other. The framework uses the candidate entity generation (CEG) of entity linking to iteratively augment the overall process of entity discovery that consists of mention generation, filtering and merging modules. In mention generation module, to reduce the hand-crafted effort of the rule-based entity discovery, we develop a question representation method to generate domain-independent entity discovery rules, and use CEG to check the extracted mentions in priority order. This module can embed extracted mentions into other entity discovery methods as one feature or as extra mentions to alleviate insufficiencies of annotated datasets. The mentions filtering module leverages the joint features of extracted mentions and CEG's entities to build a voting model and filter out low-confidence mentions. Moreover, the mentions merging module merges different patterns' mention-entity pairs and check their corresponding candidate entities with CEG. During entity linking, we incorporate the joint features of questions, extracted mentions and CEG's entities into a ranking model for entity disambiguation. Finally, we conduct experiments on two real datasets and compare our approach with other state-of-the-art methods. The results illustrate that the proposed framework can reduce error accumulation and flexibly combine different entity discovery methods, which significantly improves the performance on small-scale datasets.
ASPEKTUALITAS DALAM NOVEL THE GREAT GATSBY OLEH F. SCOTT FITZGERALD

&lt;p&gt;&lt;em&gt;This research aims to reveal the form and marker of aspectuality in The Great Gatsby novel written by F. Scott Fitzgerald. The data in this study are written data in the form of words, clauses, and sentences in the novel The Great Gatsby. It was written by F. Scott Fitzgerald consists of three forms of aspectuality namely perfective / completed, progressive, and repetitive / habitual. The aspect that is often used is perfective / completed aspiration. Aspectuality markers used including perfective aspect characterized by past verb or had + past participle verb, while progressive aspect are marked to be + verb ing, and repetitive / habitual are marked with past verb or infinitive forms.&lt;/em&gt;&lt;/p&gt;
Attribute Sniffer: Collecting Attribute Metrics for C# Code

The C# attributes have been available since the release of this language as a means to configure custom metadata on code elements. Being very similar to Java annotations, they are both introduced directly in the source code. Several C# frameworks such as NUnit, Unity Game Engine, and JSON.net use attributes to allow applications to configure custom metadata, as to execute different behavior and validation. This paper presents the Attribute Sniffer, a tool to collect attributes metrics on the C# source code, also validating the metrics proposed initially for Java annotations.
The Influnce of KWL Strategy Use in Teaching Reading for EFL Learners in Class Room

Reading is a process to to get both the information and knowledge from written sources or text. To make it easiers there are some applicable strategies. Based on some related literatures, KWL can be implemented in teaching reading for EFL learners in class room with varied reading skill levels. Hence this strategy assumed is appropriate use in Indonesian school context. This reasearch is intended to investigate how effective the strategy in helping leraners to enhanch their ability in reading. The samples of this study were the second year students of SMAN 07 South Bengkulu in 2019. The research design use is experimental study with expemental and control class. From the result of the study the data showed that the students taught with KWL achieved better reading comprehension than those were not taught with the strategy.
THE EFFECT OF TEAMS ACHIEVEMENT DIVISION METHOD ON KNOWLEDGE AND ATTITUDE TO PREVENT SMOKING CESSATION AMONG ELEMENTARY SCHOOL CHILDREN IN KUPANG CITY, INDONESIA

Keywords: student teams achievement, knowledge, attitude, smoking prevention, elementary school children
11,000 researchers gave their views on data sharing, here's what we learned

Good data sharing can make research more productive, more likely to be cited, and unlock innovation for the good of society. In 2019, a Springer Nature white paper (Lucraft et al. 2019), based on surveys with more than 11,000 researchers internationally, set out key challenges in data management and data sharing.&#x0D; We found:&#x0D; &#x0D; Data sharing is increasing: more than 64% of researchers in a 2018 survey said they made their data openly available.&#x0D; The majority of researchers see data sharing as important: across three surveys, when asked about the importance of making data discoverable, researchers gave an average rating of 7.5 out of 10.&#x0D; Data sharing and planning is currently suboptimal: The majority of the research community are not yet managing or sharing data in ways that make it findable, accessible or reusable.&#x0D; &#x0D; Increasingly, funders and other expert groups (European Commission 2018) are emphasising the need for data that is FAIR (findable, accessible, interoperable and re-useable). To shift the needle on data sharing and to reap the benefits from more widely-available open data, collaborative action is required. In this presentation, we will discuss the five measures we believe are needed to make data sharing the norm:&#x0D; &#x0D; Clear policy: from funders, institutions, journals/publishers, and research communities themselves.&#x0D; Better credit: to make data sharing worth a researcher’s time.&#x0D; Explicit funding: for data management and data sharing, as well as data publishing.&#x0D; Practical help: for organising data, finding appropriate repositories, and provision of faster, easier routes to share data.&#x0D; Training and education: to answer common questions from researchers on data sharing and to help build skills and knowledge.&#x0D; &#x0D; We will draw on evidence and case studies from across Europe and beyond, as well as further feedback from our market research.
Low Probability of Intercept Triangular Modulated Frequency Modulated Continuous Wave Signal Characterization Comparison Using the Wigner Ville Distribution and the Choi Williams Distribution

Digital intercept receivers are currently moving away from Fourier-based analysis and towards classical time frequency analysis techniques for the purpose of analyzing low probability of intercept radar signals. This paper presents the novel approach of characterizing low probability of intercept triangular modulated frequency modulated continuous wave radar signals through utilization and direct comparison of the Wigner Ville Distribution versus the Choi Williams Distribution. The following metrics were used for evaluation: percent error of: carrier frequency, modulation bandwidth, modulation period, chirp rate, and time-frequency localization (x and y direction). Also used were: percent detection, lowest signal-to noise ratio for signal detection, and plot (processing) time. Experimental results demonstrate that overall, the Wigner Ville Distribution produced more accurate characterization metrics than the Choi Williams Distribution. An improvement in performance may well translate into an increase in personnel safety.
Maturation and Isotopic Changes of Individual Hydrocarbons in Lignite Lithotypes Through Diagenesis and Early Catagenesis

Preview this conference paper: Maturation and Isotopic Changes of Individual Hydrocarbons in Lignite Lithotypes Through Diagenesis and Early Catagenesis, Page 1 of 1 < Previous page | Next page > /docserver/preview/fulltext/2214-4609/2019/P288-1.gif
A Case Study of Return On Investment for Multi-sites Test Handler in The Semiconductor Industry Through Theory of Industry 4.0 ROI Relativity

&lt;p class="0abstract"&gt;The Fourth Industrial Revolution started in the year 2011 with the aim to improve productivity similar with that of the previous three industry revolutions that occurred 200 years ago. The revolutions were promoted and implemented to improve the efficiency and speed of productivity. However, Industry 4.0 is likely a supplementation of the existing approach, with the purpose to centralize the processes and factories together to be controlled by a central console. The goal is to procure productivity and manufacturing data to enable data analysis so that the industry’s performance affected by big data variables, namely, velocity, veracity, variety, value, and visibility are monitored and rectified for continued productivity. This research initiates the development of a theory of Industry 4.0 ROI Relativity from the economic theory of firms, incorporating the pick-and-place test equipment and Industry 4.0 variables. A case study through the experimental research approach (ERA) was conducted by measuring the effects of velocity and veracity accuracy on the good-unit per hour (UPH), profit, and return on investment (ROI) of the pick-and-place test equipment and Industry 4.0. Then, the data were analyzed with Pearson correlation coefficient to determine inter-correlations among the velocity and veracity accuracy with the UPH, profit, and ROI. This research concluded that a significant average and negative correlation exists among velocity, UPH, profit, and ROI. Furthermore, the inter-correlation analysis results show a significant average and positive correlation among veracity accuracy percentage, UPH, profit, and ROI.&lt;/p&gt;
EFFECTIVENESS OF INQUIRY BASED LEARNING METHOD TO INCREASE STUDENTS CRITICAL THINKING SPEAKING SKILL SMA PARULIAN 2 MEDAN

This research isintended to find out Effectiveness of Inquiry Based Learning Method to Increase Students Critical Thinking Speaking Skill SMA Parulian 2 Medan. This research is conducted by applying Quantitative Experimental research. The sample of this research is two classes that consist 60 students which were selected by using random sampling technique. The first group is class XI MIA 2 (consist of 30 students) as a experimental class and class XI IPS 1 (consist of 30 students) as a control group. The instrument used for collecting the data is by giving the students speaking test. The test consist of pre-test, and post-test. The data was analyzed by using t-test formula in order to see wheter Inquiry Based Learning Method affects Students� Speaking skill or not. The result of the analysis showed that t-observed is 4,43 higher than t-table 1,671 at level significance 0,05 with the degree of freedom 58. It means that alternative hypothesis (Ha) is accepted and null hypothesis (Ho) is rejected. Therefore there is significant affect of Inquiry Based Learning Method on Students�s Speaking Skill of Eleventh Grade at SMA Parulian 2 Medan. Therefore Inqury Based Learning Method can be applied by English Teacher in teaching speaking skill.
Construction of Basic Computer Practice Teaching Platform Based on Innovation Ability Cultivation

Innovative ability is an important manifestation of comprehensive quality, and the cultivation of high-quality innovative talents is an important task of talent cultivation in Colleges and universities.In this paper, the computer basic practice teaching is taken as a starting point, teachers should have the consciousness of constantly trying to reform through continuous innovation of teaching means for computer basic practice.In teaching, through the design concept of design-driven innovation, aiming at cultivating college students' innovative consciousness and ability, we integrate all aspects of teaching into design and innovation to build a scientific and effective practical teaching platform.In order to give full play to the role of computer basic practice teaching platform in teaching, this paper discusses the construction of computer basic practice teaching platform from aspects of platform construction ideas, relevant information technology, platform function modules and implementation.
English Teachers’ Effectiveness and Students’ English Proficiency at Selected Colleges in Dili, East Timor: Input for Enhancement Programs

This research is designed to determine the relationship between English teachers&amp;rsquo; effectiveness and students&amp;rsquo; English proficiency at Selected Colleges in Dili, East Timor, as input for enhancement programs. The English teachers&amp;rsquo; effectiveness consist of three aspects namely (1) English Proficiency, (2) Pedagogical Knowledge, and (3) Socio-Affective Skills. Meanwhile, the students&amp;rsquo; English proficiency was measured in terms of the following aspects: (1) Listening, (2) Writing, (3) Reading, and (4) Speaking. The collected data is analyzed by using the Statistical Package for Social Sciences whereby charts, figures and tables were used to present the findings.&#x0D; &#x0D; The overall mean for English Teachers&amp;rsquo; Effectiveness is 3.64, interpreted as effective. This implies that English Teachers at Selected Colleges demonstrate the effectiveness required of them, but it is in Socio-Affective Skills that they are performing best.&#x0D; &#x0D; The overall mean for Student Respondents&amp;rsquo; Level of English Proficiency is 3.85, interpreted as good. Observing closely, the mean score of speaking which is 3.51 is close to &amp;ldquo;Average&amp;rdquo; (down) because in the Range of Mean Values of 2.51 - 3.50 is Average. &#x0D; &#x0D; The results of the Pearson Correlation showed that all independent variables on English teachers&amp;rsquo; effectiveness are correlated with the dependent variable on students&amp;rsquo; English proficiency. The correlation coefficient values are between of &amp;plusmn; 0.50 to &amp;plusmn; 0.74, which means &amp;ldquo;High or Strong Relationship&amp;rdquo;.&#x0D; &#x0D; Based on a reasonable output of this study, the researcher proposed training programs to enhance the English teachers&amp;rsquo; effectiveness and students&amp;rsquo; English proficiency in Selected Colleges in Dili, East Timor.
A Survey on Sketch Retrieval Systems

Sketch retrieval technique focus on determining exact matching sketch from the dataset when input sketch is given, which is also considered as a challenging task since it is a tough process to estimate accurate outline match.Even though this is the current situation, very efficient models are essential in this area to produce successful results that is also suitable in adverse conditions.With the extraction of some special type features of sketches, more profitable advancement in this field can be done with greater applications in this technical world.Interesting attempts of many researchers to effectively output sketches are highlighted through this survey work.The analysis approach also shows an overall view of emerging techniques that solve many types of drawbacks in sketch retrieval.
Survey on Various Clustering Techniques in Data Mining and its Comparative Study for Sundry Data

The amount of data that is being generated in today's world is far more than we can handle or imagine, almost every single interaction leaves a trail that somebody somewhere captures, stores and analyses. This large amount of data has gone beyond human-sense capabilities and its becomes almost impossible to detect any patterns between them, here data mining comes into the picture, it automates a part of detection of interpretable patterns making it easy to handle and use it wherever require according to our need. Clustering algorithms can be used to find natural grouping and exploring data that is generated. It is useful for data preprocessing step to identify homogeneous group of data on which supervised models can be build. In this paper, a review of clustering and its different techniques in data mining along with a comparative studies among clustering algorithms, is covered.
Invariant Transform Experience Replay.

Deep Reinforcement Learning (RL) is a promising approach for adaptive robot control, but its current application to robotics is currently hindered by high sample requirements. To alleviate this issue, we propose to exploit the symmetries present in robotic tasks. Intuitively, symmetries from observed trajectories define transformations that leave the space of feasible RL trajectories invariant and can be used to generate new feasible trajectories, which could be used for training. Based on this data augmentation idea, we formulate a general framework, called Invariant Transform Experience Replay that we present with two techniques: (i) Kaleidoscope Experience Replay exploits reflectional symmetries and (ii) Goal-augmented Experience Replay which takes advantage of lax goal definitions. In the Fetch tasks from OpenAI Gym, our experimental results show significant increases in learning rates and success rates. Particularly, we attain a 13, 3, and 5 times speedup in the pushing, sliding, and pick-and-place tasks respectively in the multi-goal setting. Performance gains are also observed in similar tasks with obstacles and we successfully deployed a trained policy on a real Baxter robot. Our work demonstrates that invariant transformations on RL trajectories are a promising methodology to speed up learning in deep RL.
IMPLEMENTASI UNDANG-UNDANG NO 14 TAHUN 2008 TENTANG KETERBUKAAN INFORMASI PUBLIK OLEH PEJABAT PENGELOLA INFORMASI DAN DOKUMENTASI (PPID) KEMKOMINFO

This research discusses about law No. 14 year 2008, the openness of public information implemented by the officers of the information and documentation Officer (PPID) Kemkominfo. The Act on public information disclosure aims to improve the management, service of information, and encourage public participation in the conduct of the State so as to realize the system of good governance. The purpose of this research is to describe how the Official information and documentation Manager (PPID) of the Ministry of communication and Informatics of carrying out the implementation of law No. 14 year 2008 about the openness of public information. The method used in this research is descriptive in nature with qualitative data collection techniques in the form of interviews with the informant Acting Manager of information and documentation. Data analysis techniques using models, Miles and Huberman that consists of data collection, data reduction, data display and verification, and assertion inference. Examination technique benefiting using triangulation of sources. The results of this research show the implementation ACT KIP done with through the six steps, namely: designating the PPID, build and make the system functional officials, pointing to information (public relations, archives, computer), providing information in the form (text, video, sound, infographics), providing information services in the form of front desk and website, as well as compiling daily, monthly and annual reports.