Reviewerly/exHarmony huggingface dataset:
О спектре мощностей и числе латинских битрейдов порядка 3

By a (latin) unitrade, we call a set of vertices of the Hamming graph that is intersects with every maximal clique in $0$ or $2$ vertices. A bitrade is a bipartite unitrade, that is, a unitrade splittable into two independent sets. We study the cardinality spectrum of the bitrades in the Hamming graph $H(n,k)$ with $k=3$ (ternary hypercube) and the growth of the number of such bitrades as $n$ grows. In particular, we determine all possible (up to $2.5\cdot 2^n$) and large (from $14\cdot 3^{n-3}$) cardinatities of bitrades and prove that the cardinality of a bitrade is compartible to $0$ or $2^n$ modulo $3$ (this result has a treatment in terms of a ternary code of Reed--Muller type). A part of the results is valid for any $k$. We prove that the number of nonequivalent bitrades is not less than $2^{(2/3-o(1))n}$ and is not greater than $2^{\alpha^n}$, $\alpha<2$, as $n\to\infty$.
Understanding of '1+X' Certificate System in View of the Development of Vocational Skill Level Certificate

Through the pilot work and experience accumulation, the '1+X'certificate system is the system design to implement the integration of industry and education, and will become a unique training mode and evaluation system of vocational education in the future.As the inheritance and development of double certificate system, vocational skill level certificate, the 'X', will benefit not only schools and students, but also industrial enterprises and employees on the job, and the certificate standard will be more suitable for the implementation of teaching and training in vocational colleges.Based on the development of vocational skill level certificate, this paper puts forward some ideas on implementing the certificate system.
Random Projection in Neural Episodic Control

End-to-end deep reinforcement learning has enabled agents to learn with little preprocessing by humans. However, it is still difficult to learn stably and efficiently because the learning method usually uses a nonlinear function approximation. Neural Episodic Control (NEC), which has been proposed in order to improve sample efficiency, is able to learn stably by estimating action values using a non-parametric method. In this paper, we propose an architecture that incorporates random projection into NEC to train with more stability. In addition, we verify the effectiveness of our architecture by Atari's five games. The main idea is to reduce the number of parameters that have to learn by replacing neural networks with random projection in order to reduce dimensions while keeping the learning end-to-end.
Bali_Maha Have you seen the arabfuturism ...

@Bali_Maha Have you seen the arabfuturism manifesto: http://www.smajali.co.uk/arch3.html came out of this I think: https://book.costoffreedom.cc/book/prologue-introduction.html maybe folks can write their 2039 manifesto
Game Edukasi Globalisasi di Sekitarku untuk SDIT Nur Hidayah Surakarta Kelas 6 Tema 4 Kurikulum 2013

The more widespread globalization is caused by the times. A local product can now be sold to another countries, making it easier for us to find goods from overseas, as we can also find local products overseas an example products from Indonesia is Batik, Wood Crafts, Iron. That we should introduce it to future generations,with hope that Indonesia will continue to be known for its culture. Than to make an Educational Game for SDIT Nur Hidayah grade 6 which has the theme of globalization around me, in this game we will be invited to play while learning, the material in this game is additional as an insight for students, because in the 2013 curriculum This allows students to actively search for material and additional insights rather than the previous curriculum, and this game will have a quizzes feature, so that it might be used as an assessment. Making this game will use the Waterfall method with stages of needs analysis, system design, implementation, testing, maintenance.
Automatic Search for the Linear (hull) Characteristics of ARX Ciphers: Applied to SPECK, SPARX, Chaskey and CHAM-64.

Linear cryptanalysis is an important evaluation method for cryptographic primitives against key recovery attack. In this paper, we revisit the Walsh transformation for linear correlation calculation of modular addition, and an efficient algorithm is proposed to construct the input-output mask space of specified correlation weight. By filtering out the impossible large correlation weights in the first round, the search space of the first round can be substantially reduced. We introduce a concept of combinational linear approximation table (cLAT) for modular addition with two inputs. When one input mask is fixed, another input mask and the output mask can be obtained by the Splitting-Lookup-Recombination approach. We first split the n-bit fixed input mask into several subvectors and then find the corresponding bits of other masks, and in the recombination phase, pruning conditions can be used. By this approach, a large number of search branches in the middle rounds can be pruned. With the combination of the optimization strategies and the branch-and-bound search algorithm, we can improve the search efficiency for linear characteristics on ARX ciphers. The linear hulls for SPECK32/48/64 with a higher average linear potential ( ) than existing results have been obtained. For SPARX variants, an 11-round linear trail and a 10-round linear hull have been found for SPARX-64 and a 10-round linear trail and a 9-round linear hull are obtained for SPARX-128. For Chaskey, a 5-round linear trail with a correlation of has been obtained. For CHAM-64, 34/35-round optimal linear characteristics with a correlation of are found.
Impacts of Educational Outreach on Envisioning Marine Cities of the Future Development Project

Abstract Given today’s changing global environment and the need for people to be able to lead prosperous lives in the future, we will need technical experts who can think flexibly and respond to change, and we will also need to provide opportunities for children to awaken and develop their interest in relevant technical areas. I have used lectures and seminars on the Marine Cities of the Future Development Project [1][2], a project in which I am deeply engaged, as opportunities to verify the impact of educational outreach on students. In these lectures, I emphasize aspects such as “pushing the boundaries” and “realizing goals through reliable technology,” and tailor the content to stimulate students’ career aspirations in STEM fields. Requests from educators for further lectures aimed at cultivating students’ career aspirations and students’ heightened interest in proposals of new technology as revealed by post-lecture surveys, confirm that these efforts have had the intended effect.
Implementasi Ekstrakurikuler Pramuka di Sekolah Dasar Negeri 03 Kemuning Karanganyar

This study aims to describe: 1) Describe the preparation of scouting extracurricular activities planning in the State Elementary School 03 Kemuning Karanganyar. 2) Explaining about the implementation of scouting extracurricular activities in the State Elementary School 03 Kemuning Karanganyar. 3) Describe the evaluation of scouting extracurricular activities in the State Elementary School 03 Kemuning Karanganyar. This research uses qualitative research type. Data collection techniques with observation, interview and documentation. Validity of data with triangulation technic and source . Data were analyzed interactively. The results showed that 1) Planning of scouting extracurricular activities in the State Elementary School 03 Kemuning Karanganyar. 2) Implementation of scouting extracurricular activities in the State Elementary School 03 Kemuning Karanganyar. 3) Evaluation of scouting extracurricular activities in the State Elementary School 03 Kemuning Karanganyar.
Server Management Techniques

So far, any time we have wanted to push an update to our cloud, we have had to reimage all of our servers. That isn’t terrible, but neither is it the best option. If you imagine running a server farm with 20 different servers, do you really want to go and reimage them all every time you redeploy code? Probably not. If you want to install a server patch, do you want to go and reimage all your servers? Again, probably not.
Free-hand Writing in English, a Fear for the First Semester Under-graduate Students of Prime University: Reasons and Remedies

The study explores the reasons of fear for the first semester under-graduate students of a private university in Dhaka city. Data were collected from 60 students studying in the first semester at different departments and also from 10 teachers teaching English at different departments. Besides 7 classes were attended and observed. Data were collected from the respondents following a mixed method approach. Major findings of the study show that poor skill in English, demotivation, inadequate vocabulary, spelling mistakes, defective sentence patterns and inadequate grammar knowledge are the reasons of students’ fear. However, in order to acquire freehand writing skill the students need to overcome all the deficiencies and follow the proper strategies to reach their goal. The free-hand writing skill can be achieved by increasing vocabulary, learning basic grammar and spelling, continuing proper practice every day and obviously by following teachers’ proper instructions.
읽기 평가를 위한 ‘중심내용 찾기’ 문항의 선택지 구성에 대한 연구 -텍스트 유형을 변인으로 한 ‘ II 읽기’ 분석을 중심으로-

This paper is part of the discussion to set the standard of what well-constructed multiple choice answers should be for main idea questions in reading tests of the Korean Language. In particular, it is to examine how text type as a variable is related to finding the main idea. To do this, we reviewed the results of previous studies that dealt with the correlation between text type and main idea, and presented major research problems based on them. In addition, the major research issues were applied and analyzed for texts and answers of the questions presented in reading section on TOPIK(Test of Proficiency in Korean).As a result of the above research, the following could be suggested primarily. Brinker(1985) divided the main types of informative text into three categories: descriptive, explanatory, and demonstrative text. However, while the rheme of descriptive texts usually expand, the rheme of explanatory or demonstrative texts often converge into a single argument. According to this, it is natural to represent the main idea of a descriptive text in the form of a noun phrase, whereas it is natural to represent the main idea of explanatory or demonstrative text in the form of a sentence. It is suggested that constructing multiple choice answers based on this principle will help to build a valid question. (Soongsil University)
What Is the Impact of Internal Control System on the Quality of Banks' Financial Statements in Jordan?

This study aims to investigate the impact of the internal control system on the quality of financial reporting for Jordanian banks. The five components of the internal control system defined (control environment, implementation of control procedures, risk assessment, information and communication and monitoring framework) were utilized to collect information from 20 Jordanian banks and to test the study hypotheses. Using a questionnaire as a data collection method, the study collected 88 valid responses from various staff levels. The SPSS analysis confirms that the internal control system in Jordanian banks has a positive effect in the quality of financial reporting. The study recommends that Jordanian banks can further improve their internal control system, enhancing the role of internal auditors and integrating their incentives and rewards with the performance and control reporting.
OPTIMAL WINDOWING OF MR IMAGES USING DEEP LEARNING: AN ENABLER FOR ENHANCED VISUALIZATION

Window width (WW) and window level (WL) adjustments aid in visualizing anatomies with a suitable contrast. However, the presence of background noise in MR images biases the calculation of default WW/WL values since it necessitates a trade-off between enhancing contrast of foreground/anatomy of interest vs suppressing background/ outside the anatomy of interest. This paper proposes an intelligent algorithm to improve the automatic computation of WW/WL and provide better control for user defined windowing.This is achieved by first eliminating the background pixels using a Deep Neural network and then computing WW/WL.
Nominal String Diagrams.

We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we develop the beginnings of a theory of monoidal categories internal in a symmetric monoidal category. As an instance, we obtain a notion of a nominal PROP as a PROP internal in nominal sets. A 2-dimensional calculus of simultaneous substitutions is an application.
Substitution-based linguistic steganography based on antonyms

&lt;span&gt;The study of steganography focuses on strengthening the security in protecting content message by hiding the true intention behind the texts. However, &lt;/span&gt;&lt;span&gt;existing linguistic steganography approach especially in synonym-based substitution is prone to attack. In this paper, a new substitution-based approach for linguistic steganography is proposed using antonyms. The antonym-based stego-text generation algorithm is implemented in a tool called the Antonym Substitution-based (ASb). Evaluation of ASb was carried out via veriﬁcation and validation. The results showed highly favorable performance of this approach.&lt;/span&gt;
THE IMPLEMENTATION OF TEXT TWIST GAME IN IMPROVING STUDENTS’ VOCABULARY MASTERY OF THE ELEVENTH GRADE STUDENTS AT SMAN 1 BANDAR LAMPUNG

Vocabulary is one of the most crucial language aspects which has to be learned when students are learning a language because vocabulary plays an important role in all English skills. There are four types of content words in vocabulary such as verbs, nouns, adjectives, and adverbs. In school, many students who are still lack of vocabulary. It is believed that one of the causes that leads to the problem is inappropriate teaching technique. Therefore, the researcher used text twist game in teaching vocabulary.Related to the problem above, the aims of this study were to find out if there was any significant difference of students’ vocabulary mastery after the implementation of text twist game, and to investigate which types of content words improved the most after the implementation of text twist game. The researcher used one group pretest and posttest design. The sample of this research was XI MIA 3 students at SMAN 1 Bandar Lampung. The instruments of this study were vocabulary pretest and posttest. The data were analyzed by using repeated measures t-test in which the significance level was determined by t-value>t-table.The result showed that there was a significant difference of the students’ vocabulary mastery after the implementation of text twist game since the t-value was higher than t-table (7.221>2.045). In addition, adverb was the type of content words which improved the most after the implementation of text twist game. This indicates that text twist game facilitates the students to improve their vocabulary mastery. Besides, there were some problems found during the implementation of text twist game such as noisy class situation, limited time allocation, and the lack of students’ schemata about vocabulary. Briefly, the hypothesis proposed in this research was accepted. In conclusion, it can be said that text twist game can be used to improve students’ vocabulary mastery.Keywords: text twist game, vocabulary mastery, teaching vocabulary, content words, students’ improvement
Formación en interpretación del patrimonio: estado actual en la Universidad de Matanzas

This paper presents the preliminary results of a qualitative, mixed research on training in heritage interpretation. It is aimed at spreading the results of the diagnosis of its current state in the degree in Socio-Cultural Developmental Management at the University of Matanzas. Document analysis, participant observation, interview, pedagogical content knowledge test, participatory technique, questionnaire, and focus group discussion were the methods used for data collection. The results show theoretical, methodological, and practical shortcomings in this training.
A New Human Intruder Detection Scheme for Video Surveillance

Abstract The demand for video surveillance has increased rapidly in recent years. Artificial intelligence (AI) algorithms are key enablers for the smart functionalities of a surveillance camera. Typical smart functionalities include human or object detection, tracking and recognition. However, many of the neural network (NN) algorithms for AI require intensive computation. At the endpoint or edge such as a home surveillance camera, the computation power is limited. The intensive computation also causes higher power consumption, which is also problematic for battery powered cameras. In this paper, we introduce a new human detection scheme that requires much less computation while the accuracy is equivalent to other existing algorithms. It obtains datasets and knowledge from a complex NN algorithm at the learning and calibration phase. These datasets are later used to train two cascading lightweight machine leaning algorithms, which will be used for further human detections. It is demonstrated that the proposed scheme can be run by the camera alone and the speed of detection is much faster than other benchmark NN algorithms.
Generalized Bayesian Regression and Model Learning

We propose a generalized Bayesian regression and model learning tool based on the ``Bayesian Validation Metric (BVM) proposed in [1], called BVM model learning. This method performs Bayesian regression based on a user's definition of model-data agreement and allows for model selection on any type of data distribution, unlike Bayesian and standard regression techniques, that fail in some cases. We show that the BVM model learning is capable of representing and combining Bayesian and standard regression techniques in a single framework and generalizing these methods. Thus, this tool offers new insights into the interpretation of the predictive envelopes in Bayesian and standard regression while giving the modeler more control over these envelopes.
Empowering Artists, Songwriters & Musicians in a Data Cooperative through Blockchains and Smart Contracts

Over the last decade there has been a continuing decline in social trust on the part of individuals with regards to the handling and fair use of personal data, digital assets and other related rights in general. At the same time, there has been a change in the employment patterns for many people through the emergence of the gig economy. These gig workers include artists, songwriters and musicians in the music industry. We discuss the notion of the data cooperative with fiduciary responsibilities to its members, which is similar in purpose to credit unions in the financial sector. A data cooperative for artists and musicians allows the community to share IT resources, such as data storage, analytics processing, blockchains and distributed ledgers. A cooperative can also employ smart contracts to remedy the various challenges currently faced by the music industry with regards to the license tracking management.
SYNTACTIC STRUCTURES OF BAHASA ISYARAT INDONESIA (BISINDO)

ABSTRACT This study aims to analyze the syntactic structures of formal and informal sentences in BISINDO. The formal data sentences are taken from the transcription of a BISINDO Signer on TV news videos, and the informal data sentences are taken from a transcription of a monologue video by a native BISINDO signer. The method used in this study is descriptive qualitative. The findings of this study indicate that formal and informal sentences are dominated by simple sentences. Also, the researcher notices that there are five linguistic features (i.e. Simple Sentence, Repetition, Unusual Word Order, Spell-Out, Zero Subject) which are strikingly different between those occurring in formal and informal sentences. These five linguistic features may well be considered to be the key factors differentiating between formal and informal sentences in Bahasa Isyarat Indonesia (BISINDO). Keywords : sign language, syntax, BISINDO 1 1 1 1 MicrosoftInternetExplorer4 0 2 DocumentNotSpecified 7.8 磅 Normal 0
레이저스케너 센서기반의 칼만필터 관측을 이용한 사람이동예측

For tracking a varying number of people using laser range finder, it is important to deal with appearance/disappearance of people due to various causes including occlusions. We propose a method for tracking people with automatic initialization by integrating observations from laser range finder. In our method, the problem of estimating 2D positions and orientations of multiple people’s walking direction is formulated based on a mixture kalman filter. Proposal distributions of a kalman filter are constructed by using a mixture model that incorporates information from a laser range scanner. Our experimental results demonstrate the effectiveness and robustness of our method.
PENATAAN KEMBALI KAMPUS 1 UIVERSITAS BUNG HATTA SEBAGAI KAMPUS YANG BERKONSEPKAN EKO-WISATA

Hatta University, which is located in the city of Padang, which bears the name of the father of the proclamator Dr. Mohammad Hatta with a familiar call Bung Hatta. at present the development of facilities and infrastructure at campus 1 must be adapted to national standards and continue to be increased to international standards in the span of 2018 - 2045. Campus Development 1 will be focused on Postgraduate, Faculty of Civil Engineering and Planning, Faculty of Fisheries and Marine Sciences as well as Physical Education, Health and Recreation Study Programs. To support the learning process and marine education tourism facilities, Eco-tourism and Indian Ocean Aquarium will be built. As a support for physical education, health and recreation study programs, sea sports facilities will be built and also the development of the campus of Hatta University for Foreign Language Institutions and Hotels. (Bung Hatta University RIP 2018-2045) and there will also be a waterfront for the Hatta university area, which is the only supporting factor for the fisheries faculty in West Sumatra. Keywords: Hatta University, Education, Campus, Foreign Language Institutions, and sports
Beyond Reality: Augmented, Virtual, and Mixed Reality in the Library

"Beyond Reality: Augmented, Virtual, and Mixed Reality in the Library." Journal of Electronic Resources Librarianship, 31(4), pp. 283–284
LibGuides: M-level and PGCE courses: Recently added eBooks

Library support for Masters level and PGCE students in Stranmillis University College This page highlights some of the new ebooks the Library has purchased
Pre-Service Teacher Students’ Perception towards Speaking English

Language is a communication tool to convey ideas or opinions and feelings to others. Through language, people can be interconnected, share, learn from each other, and improve their intellectual abilities. The ability to communicate in English is very crucial in the world of work. One of the abilities demanded by alumni of English education study programs is the ability to communicate in English. So far, based on the experience of researchers while teaching, there are still students who are unable to speak in public or make English presentations. They have less confidence to do it. The fourth-semester students of the English Education Study Program applied This English Presentation method. This research uses descriptive qualitative method to describe in public speaking by using English