Reviewerly/exHarmony huggingface dataset:
Construction and Evaluation of PBL College English Teaching Test Model Based on “Product Oriented” (POA)

“Production-oriented Approach” (POA) is a foreign language teaching theory with Chinese characteristics proposed by Professor Wen Qiufang on the basis of “output-driven hypothesis” and “output-driven-input hypothesis”. For the three major parts: First,  Teaching theories based on learning center theory,  learning-use integration theory and whole-person education theory; Second,  the teaching hypothesis based on output-driven hypothesis,  input-promoted hypothesis,  and selective learning hypothesis; Second,  the teaching process based on driving,  facilitating and evaluating. Among them,  the teaching process is divided into three levels: driving,  facilitating and evaluating. The evaluation of teaching under the perspective of “output-oriented” is not only satisfied 0 with the evaluation of teaching achievements and learning performance,  but also needs to play the role of output driving and input promotion. Through the evaluation of the “reaction force”,  to promote the formation and development of students' comprehensive English language ability. At the same time,  the teaching evaluation from the perspective of “output orientation” also plays a role in promoting the teaching reform. Based on this,  this paper studies and discusses the construction of PBL college English teaching test model and its implications for college English teaching from the perspective of “output orientation” with “two forms,  three dimensions and four modules” as the basic model.
LibGuides: Community Faculty at the School of Medicine: Home

This guide is intended to help Community Faculty better understand what resources the Library has to offer them and how to use and access them.
ModeRate

We demonstrate an interactive prototype where a moded interaction technique can be evaluated more comprehensively by exposing it to significantly longer and more diverse sets of mode-switching sequences. The tablet-based app is designed to abstract a particular type of user-interface feature in such a way that captures the commonly-used moded interaction sequences, to accurately measure the user performance. Quantitative data like time and error incurred will be used to objectively rate the performance between Persist and UMI technique. As a visual aid for further discussion, the data will be automatically converted to graphs which had been designed to summarize the temporal interaction for each user session.
EFFECTS OF MACROECONOMIC FACTORS ON STOCK MARKET DEVELOPMENT IN SUB-SAHARAN AFRICA

Abstract: Studies on the factors determining stock market development and economic growth have been increasing in recent years. This study sought to examine the effect of macroeconomic factors on stock market development in Sub-Saharan Africa. The study was guided by the specific objectives focusing on the effects of income levels, banking sector development, stock market liquidity and institutional quality. The study adopted an explanatory research design so as to explore the macroeconomic factors surrounding the development of stock markets in SSA. The study targeted on all the companies listed and active at the selected ten Sub-Saharan African economies covering the period from 2001 to 2015. Using pooled cross sectional data from the selected sub-Saharan African countries, the study employed a panel data analysis technique with Stata (14) which has a rich variety of panel analytic procedures. Furthermore; the study used Time Series Regression model to examine the effect of the macroeconomic factors on stock market development in SSA. For stock market development indicators, market capitalization, listed companies and total value traded was considered. This study found that banking sector development influences the development of stock market development in Sub-Saharan Africa most, followed by stock market capitalization (in dollars), corruption perception index and GDP per capita in US dollars. Stock market liquidity was found to have a positive and statistically significant effect on stock market development. Similarly, income level was found to be positive and statistically significant in explaining the stock market development. As expected, the higher the income, the more likely it is for investors to save and invest because disposable income increase. Banking sector development was found to be positive and statistically significant. This study recommends that countries in Sub-Saharan Africa should improve their institutional capacity by reducing corruption. This should be done though development and strict implementation of policies. This study also recommends that countries in Sub-Saharan Africa should improve their banking sector by developing monetary and fiscal policies that support the growth of the banking sector.
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation

Adiabatic computing with two degrees of freedom of 2-local Hamiltonians has been theoretically shown to be equivalent to the gate model of universal quantum computing. But today’s quantum annealers, namely D-Wave’s 2000Q platform, only provide a 2-local Ising Hamiltonian abstraction with a single degree of freedom. This raises the question what subset of gate programs can be expressed as quadratic unconstrained binary problems (QUBOs) on the D-Wave. The problem is of interest because gate-based quantum platforms are currently limited to 20 qubits while D-Wave provides 2,000 qubits. However, when transforming entire gate circuits into QUBOs, additional qubits will be required. The objective of this work is to determine a subset of quantum gates suitable for transformation into single-degree 2-local Ising Hamiltonians under a common qubit base representation such that they comprise a compound circuit suitable for pure quantum computation, i.e., without having to switch between classical and quantum computing for different bases. To this end, this work contributes, for the first time, a fully automated method to translate quantum gate circuits comprised of a subset of common gates expressed as an IBM Qiskit program to single-degree 2-local Ising Hamiltonians, which are subsequently embedded in the D-Wave 2000Q chimera graph. These gate elements are placed in the chimera graph and augmented by constraints that enforce inter-gate logical relationships, resulting in an annealer embedding that completely characterizes the overall gate circuit. Annealer embeddings for several example quantum gate circuits are then evaluated on D-Wave 2000Q hardware.
IMPLEMENTASI SISTEM MANAJEMEN KEUANGAN PENDIDIKAN

This paper aims to announce the implementation of finance education management. The immplemtation of school education financial management is usually carried out and implemented the functions of education financial management, especially the management of BOS funds, but is still constrained by peruses before the receipt of BOS funds and the slow disbursement of funds from determinants of policies that influence subsequent program. In accordance with this fact, the authors suggest that it is better to implement school financial management, especially in the management of BOS funds, to improve management systems in administrative management, especially in the collection of pedagogic data for completing the conditions for receiving BOS funds for schools so that plans can be implemented and the skills of the principal to find other funding sources to overcome the limited founds.
"Virtual-real vessel" as an informational pedagogical infrastructure of the Kherson State Maritime Academy

Nowadays increasing the efficiency of using modern technologies is one of the main priorities of the development of higher professional education.The development of technologies, informatization of society requires changes in the professional training of future marine specialists in the formation of their professional competencies.The strategic goal of the development of higher education institutions is the continuous improvement of the information infrastructure, resulting in the development of a higher educational institution.The article is devoted to the questions of pedagogical information infrastructure formation in the higher marine educational institution.The approaches to the definition of "information infrastructure" of the higher educational institution, components, features of the formation and functioning of the structure are analyzed.The purpose of the creation of information pedagogical infrastructure-the availability to information resources and services through the improvement of the quality of educational information is identified.In the context of the identified problems in the article the processes of creating a pedagogical information infrastructure in the system of higher maritime education are disclosed.The experience of using pedagogical information infrastructure in the Kherson State Maritime Academy on the example of "Virtual-Real Ship" is presented.The article describes the tasks, the main components of the pedagogical information infrastructure.An example of the use of the electronic environment, LMS Moodle, shows the possibility of developing, creating and implementing a unified system that combines electronic courses and simulators, contains a mechanism for obtaining knowledge and its evaluation.It is shown that the creation of a pedagogical information infrastructure in order to form the professional competencies of future marine specialists is a powerful and promising mechanism in higher marine education.The article concludes that the problem of creating the informational pedagogical infrastructure of a higher maritime educational institution is very relevant and requires an integrated approach and a priority solution to the development of society's digitization.
Computational forensic engineering for resolving ownership conflict of DSP IP core

The article focuses on a technique called computational forensic engineering (CFE) for ownership protection. FE extracts the features of DSP IP cores and matches to statistically suggest the original ownership. It also discusses various steps involved in CFE hard IP core and presents specific details with case study examples.
Personalising sound over loudspeakers

In our information-overloaded daily lives, unwanted sounds create confusion, disruption and fatigue in what do and experience. Taking control of your own sound environment, you can design what information to hear and how. Providing personalised sound to different people over loudspeakers enables communication, human connection and social activity in a shared space, meanwhile addressing the individuals’ needs. Recent developments in object-based audio, robust sound zoning algorithms, computer vision, device synchronisation and electronic hardware facilitate personal control of immersive and interactive reproduction techniques. Accordingly, the creative sector is moving towards more demand for personalisation and personalisable content.This tutorial offers participants a novel and timely introduction to the increasingly valuable capability to personalise sound over loudspeakers, alongside resources for the audio signal processing community. Presenting the science behind personalising sound technologies and providing insights for making sound zones in practice, we hope to create better listening experiences. The tutorial attempts a holistic exposition of techniques for producing personal sound over loudspeakers. It incorporates a practical step-by-step guide to digital filter design for real-world multizone sound reproduction and relates various approaches to one another thereby enabling comparison of the listener benefits.
N. A. Shanin and the training of specialists in logic at the SPbSU Faculty of Philosophy

The article examines the formation and development of the paradigm of teaching mathematical (symbolic) logic to students-philosophers of St. Petersburg State University from 1991 to 2000. Its creator and leading performer was N.&nbsp;A.&nbsp;Shanin (1919–2011). Many logicians we­re taught by him and his followers I. N. Brod­sky and O. F. Serebryannikov. Professor Shanin tought the courses “Mathematics for philosophers”, “Mathematical logic”, “Algorithms and recursive functions”, “Turing machines”, “Algorithm theory”, “Constructive logic”. He conducted the seminars “Logic in the problems of artificial intelligence”, “Deductive systems”, “The theory of deductive systems and its application”. Shanin actively participated in the scientific work, delivered lectures at many scientific conferences, was an academic adviser for a lot of postgraduate students helping them to write dissertations. Every year the representatives of both the “mathematical” and “philo­so­phical classes” of the Shanin school parti­ci­pa­te in the conference Days of St. Petersburg Philosophy. They also take part in conferences organized by mathematical logicians of the St.&nbsp;Petersburg branch of the V.&nbsp;A. Steklov Ma­the­matical Institute. Due to Shanin’s activity the scientific and methodological work of the SPbSU De­partment of Logic was improved.
Multidirectional colonoscopy quality improvement increases adenoma detection rate: results of the Seoul national university hospital healthcare system Gangnam center colonoscopy quality upgrade project (Gangnam-CUP)

Introduction: To prevent colorectal cancer, high-quality colonoscopy performed by endoscopists is advocated, with high adenoma detection rates (ADRs). Despite reports that various factors may impact ADRs, the significance of such factors is still unclear. The present analysis was aimed at quality-oriented interventions for boosting ADRs. Methods: Study enrollees were adults who had colonoscopy screening between September 2013 and August 2016 at the Gangnam Center of Seoul National University Hospital Healthcare System. The investigation entailed six periods (P1-6) of 6 months each, during which serial multidirectional quality improvement efforts were instituted. In particular, we sought to further educate endoscopists, provide feedback on individual ADRs, and introduce a split-dose regimen for bowel preparation, gauging results via the Boston Bowel Preparation Score. Changes in polyp detection rates (PDRs) and ADRs were then analyzed. Results: A total of 13430 colonoscopies were performed by 15 experienced endoscopists. Overall, the ADR increased from 45.6% (P1) to 48.2% (P6, P < .001). The PDR, ADR, and advanced adenoma detection rate (AdvADR) showed the greatest increases between P3 and P4 [PDR 67.8% →71.2% (P < .001); ADR 44.1% →47.7% (P = .001); AdvADR 2.3%→3.3% (P = .028)] owing to a split-dose regimen that significantly enhanced the adequacy of bowel preparations. The sessile serrated adenoma detection rate (SSADR) increased dramatically from 2.1% (P1) to 7.9% (P6, P < .001), with the largest gain between P1 and P2, just after education began (P = .023). Conclusion: Successful quality improvement in colonoscopy was achieved through comprehensive multidirectional efforts in education, feedback, and enhanced bowel preparation. Achieving high-level bowel preparation was paramount in ADR improvement. Education of endoscopists served to increase SSADR.
PHENOMENOLOGO-SYMBOLIC DESCRIPTION OF HOME OF GASTON BACHELARD

IThe article discusses the phenomenological project (microphenomenlogy) French thinker of the twentieth century G.Bachelard, who in his work «Poetics of space» explored the space of poetic images. The poetic image of House as the beginning began, as the Main position of the microcosm is the Central topos of the so-called «topophilia» is a mental space. This space is built from the point of view of the place of happiness and pulling together like a magnet the other figurative poetic worlds into a single symbolic field. Topography, which carries out the description and interpretation of these symbolically infected topos of creative imagination is a phenomenological description. In fact, G. Bachelard describes and clarifies the symbolism of the poetic image, complementing and expanding the traditional model of the phenomenological school in philosophy This work was supported by Grant RFFI №17-03-00613 «The Phenomenon of object in the information culture».
양자정보통신기술 현황과 전망

Commercial services providing quantum cryptographic communication are available in China and the United States of America (USA), and a commercial...
EXPLORING INFLUENCING FACTORS OF UNIVERSITY ENROLLMENT USING NEURAL NETWORK

Purpose-This study intends to investigate the factors that affect the enrollment in Taiwan's colleges and universities.The subjects were selected by random sampling methods from senior high school graduates who were about to enter colleges.Methodology-By implementing the Alyuda NeuroIntelligence software, this study applied neural network simulation and prediction analysis on the data of 100 questionnaires.Findings-The results showed that the influencing factors of school enrollment and their degree of relevance and importance are: (1) curriculum, (2) chance of oversea study, (3) faculty, (4) scholarship, (5) tuition, (6) location, (7) internship, (8) career, (9) campus and (10) reputation.Conclusion-It is hoped that the research results discovered in this study can help relevant schools to understand students' total evaluation of schools and willingness to study, and serve as an important reference for schools to strengthen enrollment strategy and improve the quality of school operation in the future.
An Empirical Analysis of Network Traffic: Device Profiling and Classification

Time and again we have seen the Internet grow and evolve at an unprecedented scale. The number of online users in 1995 was 40 million but in 2020, number of online devices are predicted to reach 50 billion, which would be 7 times the human population on earth. Up until now, the revolution was in the digital world. But now, the revolution is happening in the physical world that we live in; IoT devices are employed in all sorts of environments like domestic houses, hospitals, industrial spaces, nuclear plants etc., Since they are employed in a lot of mission-critical or even life-critical environments, their security and reliability are of paramount importance because compromising them can lead to grave consequences.IoT devices are, by nature, different from conventional Internet connected devices like laptops, smart phones etc., They have small memory, limited storage, low processing power etc., They also operate with little to no human intervention. Hence it becomes very important to understand IoT devices better. How do they behave in a network? How different are they from traditional Internet connected devices? Can they be identified from their network traffic? Is it possible for anyone to identify them just by looking at the network data that leaks outside the network, without even joining the network? That is the aim of this thesis. To the best of our knowledge, no study has collected data from outside the network, without joining the network, with the intention of finding out if IoT devices can be identified from this data. We also identify parameters that classify IoT and non-IoT devices. Then we do manual grouping of similar devices and then do the grouping automatically, using clustering algorithms. This will help in grouping devices of similar nature and create a profile for each kind of device.
THE THEORY AND PRACTICE OF MANAGING STUDENTS’ INDEPENDENT STUDY ACTIVITIES VIA THE MODERN INFORMATION TECHNOLOGIES

Theoretical foundations and existent practical experience in providing scientifically grounded management of students' independent study activities with the use of the latest information technologies have been studied in the research. The issues of organization of various types of management of students' independent study activities have been considered. It has been reported, that there are direct, indirect, and dynamic types of management. The possibilities of ICTs in the implementation of each type of management the students' independent study activities have been shown. It has been taken into account, that the introduction of computer-oriented means of co-management and co-organization into the educational process reflects the realization student-centered concept of learning. There has been emphasized the need to use both direct and indirect types of management, which will make it possible for students to move to the position of an actor of independent study activity and capable of exercising self-government. The authors have been paid special attention to the means of developing the students' personality and forming their motivational readiness for independent study activities and self-education. It has been shown, that such necessary means include the following: to promote the development of students' self-organization, self-actualization, as well as their socialization, to encourage self-assessment and reflection throughout the process of organizing independent study activities; to personalize independent study activities, to offer personally and professionally meaningful learning tasks with clearly defined and understandable goals for a student, and to ensure their gradual complication; to create informative feedback; to strengthen students' motivation.
The Implementation and Rollout of ORCID at the Hebrew University

The Implementation and Rollout of ORCID at the Hebrew was presented by Dalia Mendelsson (The Hebrew University of Jerusalem) at the ORCID Israel Consortium Workshop on March 27, 2019.
Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus

Substitution resolution supports the computational character of $\beta$-reduction, complementing its execution with a capture-avoiding exchange of terms for bound variables. Alas, the meta-level definition of substitution, masking a non-trivial computation, turns $\beta$-reduction into an atomic rewriting rule, despite its varying operational complexity. In the current paper we propose a somewhat indirect average-case analysis of substitution resolution in the classic $\lambda$-calculus, based on the quantitative analysis of substitution in $\lambda\upsilon$, an extension of $\lambda$-calculus internalising the $\upsilon$-calculus of explicit substitutions. Within this framework, we show that for any fixed $n \geq 0$, the probability that a uniformly random, conditioned on size, $\lambda\upsilon$-term $\upsilon$-normalises in $n$ normal-order (i.e. leftmost-outermost) reduction steps tends to a computable limit as the term size tends to infinity. For that purpose, we establish an effective hierarchy $\left(\mathscr{G}_n\right)_n$ of regular tree grammars partitioning $\upsilon$-normalisable terms into classes of terms normalising in $n$ normal-order rewriting steps. The main technical ingredient in our construction is an inductive approach to the construction of $\mathscr{G}_{n+1}$ out of $\mathscr{G}_n$ based, in turn, on the algorithmic construction of finite intersection partitions, inspired by Robinson's unification algorithm. Finally, we briefly discuss applications of our approach to other term rewriting systems, focusing on two closely related formalisms, i.e. the full $\lambda\upsilon$-calculus and combinatory logic.
Holographic Angular Amplification for LIDAR Scanner.

Non-mechanical beam scanner such as phase array are very attractive for LIDAR application. Unfortunately their angular span is limited to a few degree due to their relatively large pitch (Bragg’s law). By multiplexing holograms in a thick material we demonstrated that it is possible to achieve a high angular selectivity so that multiple incident angles are diffracted toward different directions. This process can effectively amplify the angular span of phase arrays and cover up to 4π steradian.)