Reviewerly/exHarmony huggingface dataset:
Learning to Respond to Mixed-code Queries using Bilingual Word Embeddings

We present a method for learning bilingual word embeddings in order to support second language (L2) learners in finding recurring phrases and example sentences that match mixed-code queries (e.g., “接 受 sentence”) composed of words in both target language and native language (L1). In our approach, mixed-code queries are transformed into target language queries aimed at maximizing the probability of retrieving relevant target language phrases and sentences. The method involves converting a given parallel corpus into mixed-code data, generating word embeddings from mixed-code data, and expanding queries in target languages based on bilingual word embeddings. We present a prototype search engine, x.Linggle, that applies the method to a linguistic search engine for a parallel corpus. Preliminary evaluation on a list of common word-translation shows that the method performs reasonablly well.
Game Project: Quiz

The last project of this book is a couch quiz game for two players. Players are presented with a series of multiple-choice questions and must decide the correct answer. The game uses a mix of PyGame and electronics; the questions are displayed on the monitor and all the input comes from two pairs of three tact switches. Some of the game screens are shown in Figure 23-1.
Exploiting Negative Control Lines and Nearest Neighbor for Improved Comparator Design

In this paper, improved reversible comparator designs are investigated using Multiple Control Toffoli(MCT) gates, improving Quantum Cost(QC) and also Nearest Neighbor Cost(NNC) metrics of circuits. The proposed designs are compared with recent works and found to be efficient in terms of cost by making these nearest neighbor compliant using Swap gate insertions.
LibGuides: Agricultural Science Collection: Document View

A guide to all aspects of Agricultural Science Collection including content, searching, and viewing results on the new ProQuest platform.
Large-scale overhead image summarization (Conference Presentation)

In this work, we aim to address the needs of human analysts to automatically summarize the content of large swaths of overhead imagery. We present our approach to this problem using deep neural networks, providing detection and segmentation information to enable fine-grained description of scene content for human ingestion. Four different perception systems were run on blocks of large-scale satellite imagery: (1) semantic segmentation of roads, buildings, and vegetation; (2) zone segmentation to identify commercial, industrial, residential, and airport zones; (3) classification of objects such as helipads, silos, and water towers; and (4) object detection to find vehicles. Results are filtered based on a user's zoom level in the swath, and subsequently summarized as textual bullets and statistics. Our framework blocks the image swaths at a resolution of approximately 30cm for each perception system. For semantic segmentation, overlapping imagery is processed to avoid edge artifacts and improve segmentation results by voting for the category label of each pixel in the scene visible from multiple chips. Our approach to zone segmentation is based on classification models that vote for a chip belonging to a particular zone type. Regions surrounded by chips classified as a particular category are assigned a higher score. We also provide an overview of our experience using OpenStreetMap (OSM) for pixel-wise annotation (for semantic segmentation), image-level labels (for classification), and end-to-end captioning methods (image to text). These capabilities are envisioned to aid the human analyst through an interactive user interface, whereby scene content is automatically summarized and updated as the user pans and zooms within the imagery.
DeepAggregation: A New Approach for Aggregating Incomplete Ranked Lists using Multi-Layer Graph Embedding

Preference aggregation, and specifically rank aggregation, is a well known problem in the fields of computational social choice and preference handling with broad application including web search and recommendation systems. Inspired by the recent advances in the area of deep neural representation learning, for the first time in the literature, in this paper we leverage unsupervised deep learning techniques - especially graph embeddings - for aggregating a collection of incomplete rank lists and accordingly we develop an algorithm called DeepAggregation. It takes as input a set of incomplete rank lists and constructs a multi-layer graph wherein the nodes are the alternatives that are ranked and the edges capture information contained in the incomplete rank lists. We then compute deep neural representation vectors (i.e. embeddings) for the nodes and then derive the aggregated order using these representation vectors. Our proposed algorithm can handle incomplete rank lists with or without ties. We conduct thorough empirical analysis of the proposed DeepAggregation algorithm using various real life data sets such as TripAdvisor reviews data. We empirically observe that DeepAggregation generates impressive results in comparison with a number of well-known state-of-the-art preference aggregation methods.
Beyond the Sandbox: Student Scholarship, Digital Citizenship, and the Production of Knowledge

Author(s): Miller, Char; Swift, Allegra K; Kramer, Anna; Hackenberger, Ben | Abstract: Scholarly communication is undergoing an ever accelerating evolution in how research and scholarship are being conducted, how scholarship is being disseminated, and who is included in the creation and communication of new knowledge. At the forefront of this evolution are libraries and academics who recognize that students are not only creating new knowledge that is valuable beyond the walls of the classroom but that there is a dire need to support and educate students and institutions about the impact of information sharing on a global scale. Students share and receive information on the internet with very little context and support for their roles as knowledge producers and global digital citizens.This chapter discusses how acting on these opportunities benefit the student well after graduation by inspiring citizens who are information-literate advocates for education, intellectual engagement, and science. The undergraduate who is trusted and supported as a public scholar can become a more empathetic and productive digital citizen. The authors; a scholarly communications librarian, a liberal arts professor, and an undergraduate alumna discuss and relate experiences of how addressing this educational opportunity through 1) classroom assignments, 2) instruction, and 3) publishing has created space for a deepened engagement with the affordances and challenges of being a public scholar and global citizen.
Institute Document Automization System

This paper presents the achievements of an experimental project called Maurdor (Moyens AUtomatises de Reconnaissance de Documents ecRits – Automatic Processing of Digital Documents) funded by the French DGA that aims at improving processing technologies for handwritten and typewritten documents in French, English and Arabic. The first part describes the context and objectives of the project. The second part deals with the challenge of creating a realistic corpus of 10,000 annotated documents to support the efficient development and evaluation of processing modules. The third part presents the organisation, metric definition and results of the Maurdor International evaluation campaign. The last part presents the Maurdor demonstrator with a functional and technical perspective.
ONECG: Online Negotiation Environment for Coalitional Games

Coalitional games can be used to model a variety of problems in the real world.In coalitional game theory, how players form coalitions and divide payoffs is one fundamental issue to be answered.This demo presents an online negotiation environment for coalitional games (ONECG), in which coalitional negotiation can be conduced in a distributed way between people, agents, or in mixed settings via offer exchange and natural language communication.ONECG also allows configuration of specifications of coalitional games, and supports the rapid development of new negotiating agents through a set of well-defined APIs.This new environment is helpful to facilitate research on training human negotiation skills in coalitional games as well as the design of negotiation agents.
PENINGKATAN AKTIVITAS SISWA MENGGUNAKAN LKS BERBASIS PETA KONSEP PADA PEMBELAJARAN IPA SEKOLAH DASAR

This research aim to improve student learning activities by using student worksheet based on concept maps of elementary school IV. This type of research is a classroom action research (PTK) consisting of 2 cycles. The instrument used is an observation sheet. Based on the data processing obtained by the average percentage of student activity in cycle 1 70.02% increase in cycle II with the average percentage reached 81.73%. This shows that the use of concept-based LKS can improve student’ learning activity in science class IV subject.Keywords: student worksheet, learning activities
Research of Information Experimental Course Group and Design of Comprehensive Experimental Platform Based on Cloud Computing

Under the new situation, the information experimental course group has become an important professional course group in the information specialty of universities, but the traditional experimental teaching mode and system cannot meet the needs of the construction of the experimental course group in the new environment. Based on the analysis of teaching content and characteristics of information experimental course group, aiming at the shortcomings of current experimental teaching, this paper studies and puts forward a hierarchical structure of information experimental course group system under cloud platform environment, and constructs a new comprehensive experimental cloud platform which meets the needs of personnel training. It can provide a high level and high efficiency teaching and research platform for teachers and students.
Working with Async Context Manager

Context managers provide a convenient API to govern a runtime context. They expose the ability to hook into entering the context manager scope and exit it. Given that asyncio extends the language with the possibility of execution suspension, it becomes evident that a synchronous context manager cannot interface with the event loop in a seamless fashion.
Real-world experience: Lessons learnt from my experience of bringing a fully outsourced library service back in-house

In my first post as a newly qualified librarian way back in 1987, fresh from Aberystwyth with my BLib, I had, what I assume to be, the rare experience of bringing a fully outsourced library service back in-house and creating a new in-house service. All our work experiences are learning opportunities, but this particular event, so early in my career, taught me some very valuable lessons that I have used and built on throughout my 30 plus years working as an information professional. What I learned I have used both for managing and setting up new library and information services and functions, and also when I have applied outsourcing solutions for different projects or individual services.
On the Depth Distribution of Constacyclic Codes over ℤ <sub>4</sub> of Length 2 <sup>e</sup>

In this paper, we consider the depth distribution of constacyclic codes over ℤ4 with length even prime power. The depth distribution of negacyclic codes over ℤ4 of length 2e is completely determined. Furthermore, we determine the depth spectrum of cycilc codes over ℤ4 of length 2e, and the depth distribution of some cyclic codes over ℤ4 of length 2e is also given.
Analyzing the Status of Performance Assessment in Middle School Technology Education in Chungnam

2015 개정 교육과정은 학생중심활동의 수업과 동시에 과정중심 평가를 강조하고 있다. 이 연구는 충남 지역 모든 중학교에서 2018년 실시되고 있는 수행평가의 현황과 실태를 조사하였다. 이를 위해 학교알리미 웹사이트에서 충남중학교 193개교의 연간 수업계획 및 수행평가 계획서를 받아 분석하였다. 주요 분석 항목은 기본 학교 정보, 기술교육과 관련된 정보, 수행평가와 지필평가의 비율, 기술 수업에서의 수행평가 내용과 도구이다. 자료 조사와 분석의 신뢰도를 위해 조사 분석표를 개발하였고 이를 기반으로 분석하였으며 최종적으로 신뢰할 수 있는 분석 자료 확보를 위해 기술교사 3인에 의한 검토를 받았다. 이 연구는 조사 대상인 193개 학교 중 공개된 자료가 불충분한 8개교를 제외한 185개 학교의 자료를 대상으로 하였다. 분석 결과는 다음과 같다. 첫째, 지필고사의 실시는 자유학기제의 실시로 인해 1학년에서 미실시가 가장 많았다. 둘째, 수행평가의 내용에 대한 분석 결과에서 수행평가의 내용 영역은 제조기술(86건) 영역에서 많이 수행되었으며 건설기술(79건), 수송기술(59건)의 순서로 나타났다. 가장 적은 수행영역은 생명기술(2건)으로 나타났다. 셋째, 포트폴리오 평가(94건)를 이용한 수행평가가 가장 많았으며 완제품평가(72건), 평가요소 체크리스트법(44건)이 뒤이어 나타났다. 중학교에서의 수행평가는 자유학기제의 실시와 상호 관련성이 높아 기술교육의 수업과 평가에도 영향을 미치고 있다. 게다가, 현장의 기술수업은 학생중심의 활동과 과정중심 평가를 위해 보다 다양한 평가 방법과 균형 잡힌 수행평가의 내용이 필요하다.2015 national curriculum has emphasized a students’ activity-based instruction with a process-based assessment. This study investigated the status of how performance assessments were performed for all middle school technology education programs in the Chungnam province. Annual semester school plans and performance assessment plans of 193 middle schools were downloaded from the School Information Announcement website to investigate basic school information, background information related to technology education, proportion of performance assessment and written exam for technology, and contents and tools for performance assessment in technology classes. This study developed analysis table and a review group by three technology teachers for reliable research procedure. This study analyzed 185 cases excluding 8 schools which had insufficient information for performance assessment in technology and home economics subject. The results from this analysis were the following: First, there were many schools did not provide written tests for the seventh graders in technology and home economics courses because of the free semester plan. Second, manufacturing technology was the most prevalent with 86 cases as a learning area topic of performance assessment. Invention (29 cases) and Biotechnology (2 cases) were not enough regarding the content for performance assessment. Third, performance assessment using a portfolio was widely utilized (94 cases). In addition, there were final artifacts(72 cases) and checklist(44 cases). Performance assessment has been implemented with a strong connection to the middle school free semester system regarding the instruction and assessment. Moreover, this study recommend that technology education classrooms should have more diverse assessment methods and balanced assessment topics or contents for students’ participation centered activities and process centered assessment.
A Complete Multi-Robot Path-Planning Algorithm: JAAMAS Track

In the domain of multi-robot path-planning problems, robots must move from their start locations to their goal locations while avoiding collisions with each other. The goal of the research problem that has been tackled in [2] is to find complete solutions for multi-robot path-planning problem, the theoretical analyses already demonstrated the completeness of Push and Spin (PASp) algorithm. However, the PASp algorithm does not guarantee the optimality of the solution. In this work, some decisions are found within the complete solution that may optimize PASp performance. Two pluggable methods are proposed for this purpose; smooth operation, that aims to reduce the redundant moves in the generated paths, and heuristic search, that evaluates different alternative paths according to its occupancy by other robots. The improved version of PASp algorithm is referred to as PASp+ algorithm. The experimental results showed that, compared to PASp, Push and Swap (PAS), Push and Rotate (PAR), Bibox and the tractable multi-robot path-planning (MAPP) algorithms, adding heuristic search and smooth operation in PASp+ resulted a significant improvement shown in reducing the number of moves for all problem instances with high percentage reaches to 47.8%. However, in higher computation time.
Comparison of Neural Network Optimizers for Relative Ranking Retention Between Neural Architectures

Autonomous design and optimization of neural networks is gaining increasingly more attention from the research community. The main barrier is the computational resources required to conduct experimental and production project. Although most researchers focus on new design methodologies, the main computational cost remains the evaluation of candidate architectures. In this paper we investigate the feasibility of using reduced epoch training, by measuring the rank correlation coefficients between sets of optimizers, given a fixed number of training epochs. We discover ranking correlations of more than 0.75 and up to 0.964 between Adam with 50 training epochs, stochastic gradient descent with nesterov momentum with 10 training epochs and Adam with 20 training epochs. Moreover, we show the ability of genetic algorithms to find high-quality solutions of a function, by searching in a perturbed search space, given that certain correlation criteria are met.
Boosting Backward Search Throughput for FM-Index Using a Compressed Encoding

The rapid development of DNA sequencing technologies has demanded for compressed data structures supporting fast pattern matching queries. FM-index is a widely-used compressed data structure that also supports fast pattern matching queries. It is common for the exact matching algorithm to be memory bound, resulting in poor performance. We propose a new data-layout of FM-index that compacts all data needed to perform the searching process. This results in an improvement of the search computing time for genomic data.
Decidable Model Checking with Uniform Strategies

The logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic Logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same joint action in all states where the knowledge of the coalition is the same. However, this presupposes free and unbounded communication between the agents in the coalition before every action selection. In this paper we present a modified version of RB+-ATSEL, RB+-ATSELc, with explicit (and explicitly costed) communication actions. RB+-ATSELc is interpreted on communication models which have an explicit communication step before every action selection. We show that, unlike standard ATL under imperfect information, the model checking problem for RB+-ATSELc is decidable under perfect recall uniform strategies. Our decidability result also applies to ATL with imperfect information and perfect recall when interpreted on communication models.
Имидж-каталоги Библиотеки Пущинского научного центра РАН и БЕН РАН: опыт создания и использования

The experience of building and use of the image catalogs at the Library of Pushchino Science Center of theRussianAcademyof Sciences and RAS Library for Natural Sciences is examined. The differences between the catalogs are identified: the former comprises the scanned systematic catalog, and the latter – the alphabet catalog of foreign books. Two different approaches toward retroconversion are analyzed. In Pushchino, the Library preferred hand input into the ecatalog to retroconversion on the basis of the completed systematic image catalog. The systematic image catalog is heavily used in the library services and available via the Library’s www-site. Instead, the RAS Library for Natural Sciences after having scanned and edited the alphabet catalog of foreign books, implemented the function of book search and ordering from the image catalog. The prospects and tasks for acquiring retro-entries to the e-catalogs are discussed. The Library of RAS Pushchino Science Center is to complete the retroconvesion of the alphabet card catalog and editing of the systematic image catalog. The RAS Library for Natural Sciences is to generate the image catalog of national book publications.
Projection-Based Measurement and Identification

A recently developed Projection-based Digital Image Correlation (P-DVC) method is here extended to 4D (space and time) displacement field measurement and mechanical identification based on a single radiograph per loading step instead of volumes as in standard DVC methods. Two levels of data reductions are exploited, namely, reduction of the data acquisition (and time) by a factor of 1000 and reduction of the solution space by exploiting model reduction techniques. The analysis of a complete tensile elastoplastic test composed of 127 loading steps performed in 6 min is presented. The 4D displacement field as well as the elastoplastic constitutive law are identified.
A Supervised Approach for Patient-Specific ICU Mortality Prediction Using Feature Modeling

Intensive Care Units (ICUs) are one of the most essential, but expensive healthcare services provided in hospitals. Modern monitoring machines in critical care units continuously generate huge amount of data, which can be used for intelligent decision-making. Prediction of mortality risk of patients is one such predictive analytics application, which can assist hospitals and healthcare personnel in making informed decisions. Traditional scoring systems currently in use are parametric scoring methods which often suffer from low accuracy. In this paper, an empirical study on the effect of feature selection on the feature set of traditional scoring methods for modeling an optimal feature set to represent each patient’s profile along with a supervised learning approach for ICU mortality prediction have been presented. Experimental evaluation of the proposed approach in comparison to standard severity scores like SAPS-II, SOFA and OASIS showed that the proposed model outperformed them by a margin of 12–16% in terms of prediction accuracy.
On Incorporating Security Parameters in Service Level Agreements

With development of cloud computing new ways for easy, on-demand, Internet-based access to computing resources have emerged. In such context a Service Level Agreement (SLA) enables contractual agre ...
EVALUASI KEPUASAN PENGGUNASISTEM INFORMASI AKADEMIK PERGURUAN TINGGI MENGGUNAKAN STANDAR ISO 9126

Universitas Bina Darma has implemented an academic system located at http://sisfo.binadarma.ac.id. In the academic system, there is some information that can be obtained by the students. From all menus contained in Universitas Bina Darma academic system it can be seen that all the prepared information is indeed very important and helpful especially for college students. With regard to the importance and the benefits felt by students it will arise a perceived satisfaction of information obtained from the academic system. To measure the level of satisfaction of students against the University's academic system Bina Darma then used standard ISO 9126. The results showed that the six components of the standard ISO 9126 provide enough our satisfaction for the students in the use of academic information systems.
Reform Research on Translation Teaching of College English from the Perspective of Constructivism

In China, the traditional teaching of college English translation cannot meet the needs of the translation talents of the society to a great extent.The reform of translation teaching of college English has been imminent.This paper analyzes the important role of constructivism in the teaching of college English translation, and gives the suggestions of selecting translation content, organizing practical activity and strengthening cooperative translation to improve the translation teaching effeciency of college English.