Reviewerly/exHarmony huggingface dataset:
The Enrollment Model of Colleges and Universities by Large Categories under the Background of New Business

This paper analyzes background which puts out the new enrollment model of colleges and universities by large categories. The advantages of enrollment in large category include motivating students' initiative learning, promoting the sound development of subjects, improving connotation development of colleges and universities and etc. Then this paper summarizes the dilemma facing the implementation of enrollment in large category colleges and universities, the insufficient propaganda of the state and colleges and universities, choosing the new major is difficult to operate, management difficulties after choosing the majors etc. At last, this paper puts forward a series of optimization strategies from the aspects of improving the quality of students, which includes measures to optimize choosing majors, promote the enrollment for high school students, offer many measures for choosing majors, management thoroughly before and after choosing majors, optimizing cultivation plans for innovative talents. Then the colleges and universities can cultivate "Deepening Foundation, Widening Caliber, Extending Capability" of complex talents.
Efficient and practical verification of quantum processes

Quantum processes, such as quantum circuits, quantum memories, and quantum channels, are essential ingredients in almost all quantum information processing tasks. However, the characterization of these processes remains a daunting task due to the exponentially increasing amount of resources required by traditional methods. Here, by first proposing the concept of quantum process verification, we establish two efficient and practical protocols for verifying quantum processes which can provide an exponential improvement over the standard quantum process tomography and a quadratic improvement over the method of direct fidelity estimation. The efficacy of our protocols is illustrated with the verification of various quantum gates as well as the processes of well-known quantum circuits. Moreover, our protocols are readily applicable with current experimental techniques since only local measurements are required. In addition, we show that our protocols for verifying quantum processes can be easily adapted to verify quantum measurements.
CC PLATFORM - A DIGITAL INNOVATION AND COLLABORATIVE TOOL FOR TEACHERS. ASPECTS OF ITS IMPACT IN ROMANIA: 10.24250/JPE/2/2019/DH/APGS

At the end of the Consumer Classroom project, an impact assessment was carried out on some categories of people involved in education - students, future teachers, teachers, university teachers who train the future teachers, experts from the human resources centers or the training of the teaching staff. Thus, two activities were proposed, in two university centers in Romania. The result was that the CC platform is conducive to users - students, teachers and other categories - and it would be good if they addressed the primary cycle students as well.
Semi-Parametric Mixture Models Through Log-Concave Density Estimation

Author(s): Zhou, Yangmei | Advisor(s): Yao, Weixin | Abstract: This dissertation consists of two parts. The first part considers a semi-parametric two-component mixture model with one component completely known. Assuming the density of the unknown component to be log-concave, which contains a very broad family of densities, we develop a semi-parametric maximum likelihood estimator and propose an EM algorithm to compute it. Our new estimation method finds the mixing proportion and the distribution of the unknown component simultaneously. We establish the identifiability of the proposed semi-parametric mixture model and prove the existence and consistency of the proposed estimators. We further compare our estimator with several existing estimators through simulation studies and apply our method to two real data sets from biological sciences and astronomy.The second part of this dissertation considers the model g(x) = (1 − p)f0(x; θ) + pf(x), where θ represents the unknown parameters of a known distribution f0 , and f represents the distribution of possible outliers. We propose two innovative algorithms to estimate θ nonparametrically. The first method is called Minimum Search, which is based on identifiability of the mixture model. A strong sufficient condition is proposed for the model to be identifiable and a weaker condition is given for the model to be locally identifiable. The second estimator is the maximum likelihood estimator, which is obtained by EM algorithm assuming f is log-concave. Extensive simulation studies show that our methods give very promising performances.
A Lightweight Version of National Performance Indicator Ontology (NPIonto)

This paper presents a lightweight version of the National Performance Indicator Ontology (NPIonto). NPIonto represents semantic integration of Performance Indicators (PIs) for the development agendas that form the National Integrated Indicator Framework (NIIF) for Botswana, comprising of the national vision agendas, national development plan agendas, Africa agendas, and domesticated agendas for sustainable development goals. The proposed model has been designed to fulfil the development agenda domain requirements for Botswana of a consolidated indicator framework with clear relationship mappings and data definitions, together with data disaggregation and a reflection on PIs multi-dimensional attributes. The official documentations on development agendas served as the basis for the conceptualisation of the model which was developed according to the Knowledge Model Development (KMD) methodology. NPIonto lightweight model provides a snapshot of concepts, sub-concepts and relations in the domain of development agendas within the Botswana’s NIIF context. It will serve as a blueprint for the development of the fully-fledged NPIonto.
A larger-scale evaluation resource of terms and their shift direction for diachronic lexical semantics

Determining how words have changed their meaning is an important topic in Natural Language Processing. However, evaluations of methods to characterise such change have been limited to small, handcrafted resources. We introduce an English evaluation set which is larger, more varied, and more realistic than seen to date, with terms derived from a historical thesaurus. Moreover, the dataset is unique in that it represents change as a shift from the term of interest to a WordNet synset. Using the synset lemmas, we can use this set to evaluate (standard) methods that detect change between word pairs, as well as (adapted) methods that detect the change between a term and a sense overall. We show that performance on the new data set is much lower than earlier reported findings, setting a new standard.
Crime Mapping Software: A tool for Effective Crime Detection and Control in Nigeria

The escalating rate of crime incidents in developing countries is due to change of technology and acquisitive way of life and also due to poor socio political, economic and environmental conditions. The distribution of crime incidents across the scenery is not geographically random since incidents are human phenomena. For incidents to occur, offenders and their targets - the victims and/or property - be required to exist at the same location for a period of time. Several factors, including the lure of potential targets and simple geographic convenience for an offender, influence where people choose to break the law. The Law Enforcement Agents have found it difficult to manage and control these crimes largely due to the obsolete methods and resources they employ in doing so. The purpose of this study is to see how the Law Enforcement Agents can adopt the use of crime mapping software in its operations and reap the benefits. Interviews were conducted with various units of the Nigeria Police Force. The findings of the interviews were combined with knowledge gained from an extensive literature review to produce a prototype of the crime mapping software that allows user interaction with the data.  This study shows that crime mapping software will give the Law Enforcement Agents better insights into crime mapping and analysis which will be a tool to help them effectively detect and control crime. It was unraveled that crime mapping software can give a better synoptic perspective to crime study, analysis, mapping, proactive decision making and prevention of crime. It was however suggested that migrating from traditional method of crime management to crime mapping software demands capacity building in the area of personnel, laboratory and facilities backed up with policy statement.
Implementing Grover oracles for quantum key search on AES and LowMC.

Grover’s search algorithm gives a quantum attack against block ciphers by searching for a key that matches a small number of plaintext-ciphertext pairs. This attack uses \(O(\sqrt{N})\) calls to the cipher to search a key space of size N. Previous work in the specific case of AES derived the full gate cost by analyzing quantum circuits for the cipher, but focused on minimizing the number of qubits.
PENINGKATAN HASIL BELAJAR SISWA  MELALUI METODE COOPERATIVE INTEGRATED READING AND COMPOSITION DALAM PEMBELAJARAN PKn DI SEKOLAH DASAR

This study was motivated by the lack of student learning outcomes in teaching civics, and the lack of media are used to help the learning process. The purpose of this study was to describe the learning outcomes of students in class V SD Shabbihisma 1 Padang by using the method of Cooperative Integrated Reading and Composition on civics lesson. This type of research is classroom action research conducted in two cycles, the subject of this research is class V SD Shabbihisma 1 Padang, amounting to 27 people. The research instrument used in this study is, teacher observation sheet activities, observation sheet the students' attitudes (affective), student behavior observation sheets (psychomotor) and test student learning outcomes. The results showed that the cognitive learning in silkus I is 60.52% increased to 86.29% in the second cycle, namely affective assessment, the assessment of students in response to a joint decision on the determination of the duty cycle I is 63.37% increased to 83, 92% in the second cycle and psychomotor assessment that behavioral assessment of students in carrying out the responsibility in the first cycle is 67.53% increased to 82.65% in the second cycle. Based onthis study concludedthat byusing themethod ofCooperative IntegratedReadingandCompositioncanimprove student learning outcomes. Researcherssuggest thatteachers canusemethodsCooperative IntegratedReadingandCompositionas an alternativeincivicslearningfor learningfunandnotmake studentsbored.
SUMBANGSIH HASIL PENELITIAN DAN PENGEMBANGAN UNTUK INDONESIA LEBIH BAIK

One form of evaluation that can be done to determine the contribution of an institution in conducting research activities is to measure the productivity of researchers through scientific publications. Publication productivity or also called research output or research productivity is one indicator of research performance or research performance. A researcher is said to have high productivity if many researchers produce scientific papers and are published in scientific journals. Contribution of research and development results is also intended for a better Indonesia. And without fail, it is also important to have input in making policies for publication of publications, as well as research planning, including providing the latest sources of information in research and development.
The Effects of Information Volume and Distribution on Cognitive Load and Recall: Implications for the Design of Mobile Marker-less Augmented Reality

This study examined the effects of information volume and distribution on learners’ cognitive load and recall in a mobile augmented reality (AR) environment. Information volume refers to the degree of information users are provided in a learning task, while information distribution indicates the way in which information is distributed, either in a virtual or real format. Sixteen undergraduate students participated in the study, which employed a 2 X 3 randomized block factorial design with repeated measures. Information volume and distribution were independent variables, and factors in learners’ cognitive load (mental effort, perceived ease of use, and perceived task difficulty) and recall test scores were the dependent variables. Information volume had significant main effects on perceived ease of use and task difficulty, and recall test scores, while information distribution had significant main effects on perceived task difficulty and test scores. A detailed discussion and implications are provided.
KALM: A Rule-based Approach for Knowledge Authoring and Question Answering.

Knowledge representation and reasoning (KRR) is one of the key areas in artificial intelligence (AI) field. It is intended to represent the world knowledge in formal languages (e.g., Prolog, SPARQL) and then enhance the expert systems to perform querying and inference tasks. Currently, constructing large scale knowledge bases (KBs) with high quality is prohibited by the fact that the construction process requires many qualified knowledge engineers who not only understand the domain-specific knowledge but also have sufficient skills in knowledge representation. Unfortunately, qualified knowledge engineers are in short supply. Therefore, it would be very useful to build a tool that allows the user to construct and query the KB simply via text. Although there is a number of systems developed for knowledge extraction and question answering, they mainly fail in that these system don't achieve high enough accuracy whereas KRR is highly sensitive to erroneous data. In this thesis proposal, I will present Knowledge Authoring Logic Machine (KALM), a rule-based system which allows the user to author knowledge and query the KB in text. The experimental results show that KALM achieved superior accuracy in knowledge authoring and question answering as compared to the state-of-the-art systems.
Adaptively Secure Garbling Schemes for Parallel Computations.

We construct the first adaptively secure garbling scheme based on standard public-key assumptions for garbling a circuit \(C: \{0, 1\}^n \mapsto \{0, 1\}^m\) that simultaneously achieves a near-optimal online complexity \(n + m + \textsf {poly} (\lambda , \log |C|)\) (where \(\lambda \) is the security parameter) and preserves the parallel efficiency for evaluating the garbled circuit; namely, if the depth of C is d, then the garbled circuit can be evaluated in parallel time \(d \cdot \textsf {poly} (\log |C|, \lambda )\). In particular, our construction improves over the recent seminal work of [GS18], which constructs the first adaptively secure garbling scheme with a near-optimal online complexity under the same assumptions, but the garbled circuit can only be evaluated gate by gate in a sequential manner. Our construction combines their novel idea of linearization with several new ideas to achieve parallel efficiency without compromising online complexity.
Lazy Stream Programming in Prolog.

In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages. Unfortunately, support in Prolog has so far been lacking and most existing approaches are ad-hoc. To remedy this situation, we present lazy stream generators as a unified Prolog interface for stateful computations on both finite and infinite sequences of data that are produced incrementally through I/O and/or algorithmically. We expose stream generators to the application programmer in two ways: 1) through an abstract sequence manipulation API, convenient for defining custom generators, and 2) as idiomatic lazy lists, compatible with many existing list predicates. We define an algebra of stream generator operations that extends Prolog via an embedded language interpreter, provides a compact notation for composing generators and supports moving between the two isomorphic representations. As a special instance, we introduce answer stream generators that encapsulate the work of coroutining first-class logic engines and support interoperation between forward recursive AND-streams and backtracking-generated OR-streams. Keywords: lazy stream generators, lazy lists, first-class logic engines, stream combinators, AND-stream / OR-stream interoperation, Prolog extensions
Threat Models and Security of Phase-Change Memory.

Emerging non-volatile memories (NVMs) have been considered promising alternatives to DRAM for future main memory design. Among the NVMs, Phase-Change Memory (PCM) can serve as a good substitute due to its low standby power, high density, and good scalability. However, PCM material also induces security design challenges mainly due to its interior non-volatility. Designing the memory system necessitates considering the challenges which may open the backdoor for attackers. A threat model can help to identify security vulnerabilities in design processes. It is all about finding the security problems, and therefore it should be done early in the design and adoption of manufacture. To our knowledge, this paper is the first attempt to thoroughly discuss the potential threat models for the PCM memory, which can provide a good reference for designing the new generation of PCM. Meanwhile, this paper gives security advice and potential security solutions to design a secure PCM to protect against these potential threats.
If you are looking for a platform ...

If you are looking for a platform that just works try out @microdotblog. No skills needed, publish content now but if you want to grow
A Machine-Checked Proof of Security for AWS Key Management Service.

We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers. Domain management is at the core of AWS KMS; it governs the top-level keys that anchor the security of encryption services at AWS. We show that the protocol securely implements an ideal distributed encryption mechanism under standard cryptographic assumptions. The proof is machine-checked in the EasyCrypt proof assistant and is the largest EasyCrypt development to date.
Analysis of Disruptive Leaders: Key Qualities for Dealing with a Changing Environment in a Digital Age

The purpose of this documentary analysis study was to ascertain key qualities of disruptive leaders using content analysis methods for data analysis. Google search engine was a primary tool for gathering data. Key words such as disruptive leadership, disruptive leaders, traits of disruptive leaders, characteristics of disruptive leaders, and qualities of disruptive leaders were included for the search for data collection. Results found 46 attributes of disruptive leaders retrieved from 6 distinctive sources. This study used congruence index method to identify key characteristics, which was formulated by the median of source consistency. Findings revealed eight qualities of disruptive leaders encompassing lifelong learner, truth acceptance, guide others through disruption, decisiveness, rule breakers, unlock others’ potentials, self-confidence, and business understanding.
COMPREHENDING THE EFFECT OF SMOKING IN LUNG CANCER BY USING RULE NETWORKS

With advances in computer science, computational analytics and more specifically machine learning algorithms are increasingly being used in many fields of science. These algorithms are highly valua ...
Rocks and rock minerals

This chapter explains how rocks are formed and discuss different methods of identifying the most common rocks and minerals. All rocks are composed of minerals, which are naturally occurring inorganic substances with a definite composition. Rock-forming minerals are mostly silicates, while the remainder are carbonates, oxides, hydroxides and sulfates. Considering the aforementioned mineral features, it is possible to identify common rock minerals during site investigation. Hardness and cleavage can provide important information about the mineral type. The simplified chart presents a systematic approach that can be used for mineral identification. The rock cycle involves the following processes: when magma approaches the surface, volcanic eruptions occur, forming volcanic rocks. Igneous rocks are formed from magma when it cools and solidifies. Sedimentary rocks are composed of discrete fragments of materials derived from other rocks. Many metamorphic rocks develop a strong directional structure, in which rock properties depend on direction.
Finding a Refuge for #ds106 and #clmooc

Educators loved Google+ networks. Early on the network created a close simulation to what an open web of writers could look like.Heck before Google Apps
단어 형성 원리를 활용한 한국어 어휘 교재 개발 연구

The aims of this study are to discuss issues related to a practical design of teaching-learning materials based on the principle of word formation and its application. First, the issues on selecting types of word units used for Korean word formation for the syllabus design were reviewed. And then 271 units used for word formation and the list of more than 6,000 vocabulary were selected based on the study of Kang(2014). As a next step issues were discussed about what should be considered for presenting the selected words and vocabulary effectively. Also, actual cases which applied aforementioned considerations to their textbook developments were reviewed. Based on this consideration, 271 units were categorized into groups of 10 by their meanings. The textbook model was designed considering types, meanings, and usages of the units for word formation, and consisted of three steps: Presentation - Practice - Production. (Yonsei University)
MATHEMATICAL TRAINING OF STUDENTS OF SOCIO-HUMANITARIAN SPECIALTIES BASED ON INTEGRATION OF PEDAGOGICAL APPROACHES IN COMPLIANCE WITH REQUIREMENTS OF FEDERAL EDUCATIONAL STANDARD

Statement of the problem. The article discusses the problem of improving the practice of traditional mathematical education for students of socio-humanitarian profiles by integrating pedagogical approaches. The purpose of the article is to describe the ways of integration of pedagogical approaches that contribute to overcoming the difficulties that have developed in the traditional practice of mathematical education of students of socio-humanitarian profiles. The research methodology consists of the analysis of research works of Russian scientists, recognized by the scientific community, and long-term experience in teaching mathematics to students of socio-humanitarian profiles. Research results. The model is developed of integration of pedagogical approaches in traditional practice of mathematical education for students of social and humanitarian profiles. The ways of solving the existing difficulties of mathematical education for students of social and humanitarian profiles are shown. Conclusions. The proposed ways of integration of pedagogical approaches to the practice of mathematical education can be used to develop the author»s concepts of methods of teaching mathematics to students of socio-humanitarian profiles. Variation of pedagogical approaches can provide the development of effective ways to improve the quality of mathematical education for students of socio-humanitarian profiles.