Reviewerly/exHarmony huggingface dataset:
Variational State and Parameter Estimation

This paper considers the problem of computing Bayesian estimates of both states and model parameters for nonlinear state-space models. Generally, this problem does not have a tractable solution and approximations must be utilised. In this work, a variational approach is used to provide an assumed density which approximates the desired, intractable, distribution. The approach is deterministic and results in an optimisation problem of a standard form. Due to the parametrisation of the assumed density selected first- and second-order derivatives are readily available which allows for efficient solutions. The proposed method is compared against state-of-the-art Hamiltonian Monte Carlo in two numerical examples.
Criminal Prosecution of Persons, Who Committed Criminal, Acts Using the Сryptocurrency in the Russian Federation

The law enforcement agencies' main focus aimed at combatting crimes, which were committed with the use of cryptocurrency include struggling and prevention of illegal entrepreneurship, illegal banking activity, tax crime, illegal capital outflows, drug business, terrorism financing, legalization (laundering) of income. These crimes are significantly urgent not only in the Russian Federation, but in the whole world, as they provide further criminal economy's and corresponding institutions' development (ie corruption, illegal immigration, etc.). Thus, the topicality and practical importance of elaborating the methods aimed at crime investigation are doubtless.
Feature Based Optical Flow Model for Obstacle Detection on a Camera Phone

A wide variety of assistive tools has failed to address some or all of the challenges faced by people with visual disability. For instance, obstacle avoidance poses a big challenge to visually impaired persons especially during the navigation of unknown places. The high resolution and low cost camera phone provides an alternative to record video and capture high quality images, which simplifies the computation of optical flow vectors for obstacle detection. This study, explore the benefit of camera phone in the capturing and processing of video frame into flow vectors for obstacle detection.
Indonesian Business Polytechnic New Student Admissions Test Using a Computer Based Test (CBT)

New Student Admission Is One Process in Higher Education which aims to filter out prospective students who are selected according to the criteria determined by the Higher Education to become their students. In general, the process of admitting new students is carried out through the stages of registration, selection tests, and student admissions. Every year, Politeknik Bisnis Indonesia conducts the Entrance Examination for ± 300 people, which is done manually so it takes longer time to print the questions, check the results of the exam and report the results of the exam. Computer Based Test (CBT) by utilizing the Moodle CMS is one of the evaluation strategies used to determine the capacity and competence of prospective new students more quickly and more efficiently. Utilizing this application simplifies the work of the Exam Committee so that it is more productive and professional in managing Administration. This application also requires prospective students to be accustomed to using the application and must be more mature in carrying out the examination because it does not allow working with others because the questions and answer choices appear randomly.
"One image corresponds to one key" image encryption algorithm based on chaotic encryption and DNA

提出了一种基于混沌加密和DNA编码的“一图一密”图像加密算法. 首先将明文图像按R, G, B通道分为3个二维矩阵, 并和Logistic序列生成的矩阵分块进行DNA编码, 然后将3个二维矩阵分别和Logistic矩阵对应位置的子块进行DNA运算和解码, 最后对DNA解码后的图像进行置乱, 得到密文图像. 其中, 每一子块的DNA编解码方式以及子块与子块之间的DNA运算规则的选取均由超混沌系统生成的混沌序列决定, 解决了DNA编解码和运算规则单一的问题. 由于算法的密钥与原始图像相关联, 不同的图像对应着不同的密钥, 因此保证了“一图一密”的效果. 仿真结果和安全性能分析表明, 该算法密钥容量大、对密钥的敏感性极高, 具有较高的复杂度和安全性, 对提高保密通信的安全性具有重要意义.
El libro de texto electrónico interactivo, apuntes necesarios

At present, Information and Communication Technologies have acquired a boom in all areas of human life. The global trend towards development forces society to venture into the study of these technologies, since in the context of the knowledge society, technological advances emerge to respond to the needs of being in continuous connection with information and communication. That is why the so-called computer products emerge that configure a new paradigm of digital education. This article is aimed at systematizing the theoretical-methodological references on the interactive electronic textbook, all through the application oftheoretical level methods, such as; the documentary study, the analyticsynthetic study and the systematization that allowed establishing links, comparing references, determining common and divergent points in the existing approaches on the particularities of this type of book and deriving the pertinent conclusions regarding its didactic design that enhances the conscious and active role of the student in his training as an engineer.
New algorithms and formulas for calculation the volume of a ball and its surface area for the development of students' creative thinking and practical application

The article presents new, more accurate algorithms and formulas for calculating the area of a circle, volume of a ball, surface area of a ball. To prove these algorithms and formulas and their practical application, programs have been developed in the Visual Basic for Application in Microsoft Word. These algorithms and formulas should be studied and applied in all educational institutions, as they are closer to the truth. From a more accurate calculation using these formulas, you can get an economic effect when calculating trajectories of movements in space, on the surface of the globe, in the construction and maintenance of products in the form of a circle or a ball. The study of this material in informatics lessons contributes to the development of students' creative thinking, increasing their motivation to study informatics and IT.
Applied Research Lessons from CloudViews Project

Industry research has a rich legacy in computer science [9]. However, as opposed to the blue-sky approach to research, increasingly there is a trend to align industry research more closely with the products. This is manifested in several new trends in industry research: (i) emphasis on product impact, e.g., improving existing products or seeing new ones coming around the bend, (ii) popularity of blended job functions, such as scientist, research scientist, and data scientist, and (iii) setting up research teams that are integrated within the product organization to forge closer collaborations. The latter is a case in point in Azure Data group at Microsoft, where the Gray Systems Lab (GSL) [2] is an applied research team within the product group. Such integrated research labs offer beautiful opportunities for combining research with product impact. Yet, due to their product focus from the get-go, applied research labs could also be challenging to get started. Fortunately, it turns out that there are a set of things that new researchers could do in order to set themselves up for success in a product group.
Computing Tor and Ext

In this chapter we compute the Tor and Ext modules over skew PBW extensions.
Manajemen Keuangan Sekolah di TK Aisyiyah Nyai Ahmad Dahlan Full Day School

This study aims to determine (1) sources of funds owned by TK Aisyiyah Nyai Ahmad Dahlan Full Day School, (2) financial management, (3) school financial administration, (4) school financial reports, (5) constraints in managing school finances, and (6) use of school finances. The research method uses descriptive analysis, this model describes the circumstances and phenomena obtained in the form of words so as to obtain a conclusion, this was revealed by Miles and Huberman. Data collection is used by observation, interview and document study, then the subject of research is the school treasurer. Data collection instruments using interview guides, observation guides and document study guides. In this study, researchers wanted to find out what was missing in school financial management at TK Aisyiyah Nyai Ahmad Dahlan Full Day School. The results of this study (1) the source of funds owned came from the Donation of Education Development (SPP), Committees and Re-Registration, funds from the Government such as BOP and BOSDA, (2) in financial management carried out by the school treasurer and then included in BMT, (3 ) there are 6 school administrations such as RAPBS books, general cash books, income subsidiary cash books, expenditure assistant cash books, financial statement books, and tuition fee cards, (4) financial management in schools starting from manual input and currently using computers and providing print out as proof of payment (5) school financial reports are carried out once a month and every year, (6) constraints faced when there is an urgent matter in making reports (7) the use of school finance for health, equipment money, learning facilities, environmental management, swimming and closing the year.
Telegram: deconstructing one of the biggest blockchain cases of 2020

Purpose To discuss and analyze the facts and circumstances of the October 11, 2019 U.S. District Court for the Southern District of New York temporary restraining order halting the distribution of cryptocurrency tokens in SEC v. Telegram Group Inc. Design/methodology/approach Provides an overview of the case, an analysis of the Court’s ruling, details on the final resolutions, and some key takeaways. Findings Given the lack of judicial precedent in this area, as well as the size and profile of the Telegram project, the Telegram case was closely watched by blockchain industry participants and represents a significant development for this emerging market. The Telegram court’s approach, if broadly adopted, could prove very challenging for those attempting to launch decentralized networks involving blockchain-based tokens. Practical implications The Telegram case represents just one court’s view and is based on a very fact-specific inquiry. However, given the Court’s apparent deference to the SEC’s positions on the facts at hand, and the lack of judicial precedent in this area, the blockchain industry should pay close attention to this decision. Originality/value Expert guidance from lawyers with extensive experience in blockchain technologies, digital currencies, securities offerings and litigation, investment funds and financial services.
DESAIN PERANCANGAN SISTEM PERSEWAAN RENTAL KENDARAAN MOBIL

Radian Rent a Car Semarang, one of developing transportation service provider, faces obstacles in processing data and information since its customer is increasing year to year. The obstacles are spending many times to make report of car damage in mechanic division because weekly or monthly car maintenance data has to be checked one by one, there is not any accounting report that is directly given to the owner since it take long time to look for and reprocess the data, and taking long time to searching car’s receipt and maintenance archive as there are so many unprocessed data that are still in stack of archive. It is not impossible if the processing of tenant data and information use undergoing system, it will take long time to fix the emerged error.In order to increase the performance and to ease and accelerate data and information processing, the writer try to create multiuser based information system of car rental by using Microsoft Visual Foxpro 9.0 software and database of its Microsoft Visual Foxpro to overcome the weakness of the undergoing system of car rental. Microsoft Visual Foxpro 9.0 is program that is designed to help the company to accelerate and ease data processing activity with minimal error level and efficient cost and power. The data include car data, tenant data, user data, and rental car data. This program is able to make data processing job be effective and efficient, to cut time spending to process the data, to minimize error input data, and to organize the data saved in one database
Recovering Cloud Services Using Hybrid Clouds Under Power Outage

The rapid development of the Internet and cloud computing are giving people high quality online services, which are usually deployed in cloud data centers. While the clouds are not always failure-free, in case of a power failure in a cloud data center, it is important to reduce the cost of disaster recovery meanwhile ensuring cloud service performance. To solve the service recovery problem of cloud data center under a power outage, in this paper, we propose an online solution based on hybrid cloud framework, which resolves the service workload management optimization between private cloud and public one. By using Lyapunov optimization technology, the long-term online optimization problem can be transformed into a general one. Besides, we present a power-aware on-line control algorithm (POCA) which achieves a trade-off between power consumption and cost, and the simulation results show that the proposed POCA algorithm can give a better and efficient performance.
Research on College Student Management and Counselor Work under the Market Economy System

In recent years, with the comprehensive advancement of my country's higher education system reform and the continuous development of higher education, coupled with the further expansion of the enrollment scale of colleges and universities, the student work of colleges and universities has entered a new stage of development. As a front-line teacher of student work-counselors are bound to face new challenges, which requires counselors to make necessary adjustments and changes in ideology, knowledge structure and management thinking. Therefore, formulating the study and training plan for counselors, implementing policies and remuneration, stabilizing the team, and correctly positioning the counselors as directors have become important contents of college student work.
Eficacitatea terapiilor cognitiv-comportamentale din a treia generaţie – o analiză narativă a literaturii (II)

Cognitive-behavioral therapies (CBTs) do not represent a single, conceptual and practical, psychosocial intervention, but a developing group of directive, structured, collaborative psychotherapies, which benefit from an important level of evidence, according to the results of many randomized clinical trials. As a consequence, these therapies are recommended by clinical guidelines and international best practice guidelines for a wide range of mental disorders. Due to their format that allows the operationalization of key concepts and structured application in clinical settings, CBTs allow for monitoring the evolution of symptoms through psychometric tools and validation of results through statistical analysis. CBTs have evolved over time, starting from interventions based on operant conditioning and classical, Pavlovian, learning, passing through the influence of cognitivism, to the holistic paradigm, which incorporates oriental techniques, along with classical methods. The focus of the therapeutic approach also changed, from the content of thinking to the thought process. Metacognitive therapy, acceptance and commitment therapy, dialectical behavior therapy, compassion-based therapy and cognitive therapy based on mindfulness are the most important representatives of the new generation of cognitive-behavioral therapies. Their area of ​​applicability is wide and their effectiveness is variable, being proven especially for depressive and anxiety spectrum disorders, but with some peculiarities in the field of personality disorders (especially borderline for dialectical behavior therapy), psychotic disorders, eating disorders, stress-related pathology, ADHD etc. It is important to encourage the research in the field of CBTs, especially because of the need to support adjuvant therapies in pharmacotherapy-resistant cases. CBTs may also be recommended as first-line therapy in patients who request an evidence-based psychosocial intervention, when certain psychiatric disorders are of mild intensity (e.g., anxiety, stress-related or depressive disorders) or when there are clear contraindications for the use of another treatment.
MACRO FACTORS OF GLOBAL EDUCATION POLICY: PEST ANALYSIS

This article examines political, economic, socio-cultural and technological factors identified in the PEST analysis tools for the purpose of identifying the state of the macro-environment that determines the development of global educational policy in modern conditions, taking into account various manifestations of regulated and unregulated events in the life of society. The possibility of PEST analysis using to study the macro-environment of global educational policy is explained by the fact that it is constantly under the influence of many factors, grouped into political, economic, socio-cultural and technological, by means of which it is possible to get the most comprehensive assessment of this impact on the education system as a whole in its most diverse manifestations in the world and in specific countries. The potential benefits of using this methodology include achieving positive alignment with external forces and avoiding mistakes, which is strategically important for the development of global education. The analysis of the macro-environment of educational policy allows the author to present the tasks for its implementation in a more objective and balanced context and to solve the global problems of accessibility and development of education in the world. The main conclusions are focused on determining the possible future consequences of the global crisis caused by the COVID-19, and emphasize the importance of improving mutual efforts to restore higher education using the tools of global education policy
Future Educators' Training for Project Activities Using Digital Technologies

The practical importance of using digital technologies in prepar-ing future educators for project activities is considered in the article. The im-portance of training future educators for project activities by means of digital technologies is substantiated. The authors have identified aspects of research the problem of ICT implementation into project activity, conducted by modern foreign scientists, in particular, designing a STEAM-oriented digital school en-vironment; training of STEM educators; information technology in project training; introduction of 3d technologies, virtual and augmented reality into the elementary school educational process; 3d, virtual and augmented reality tech-nologies in higher education. The components of the educational environment are defined: organizational component (organizational structures; corporate standards); content component (training resources; scientific resources; meth-odological resources; controlling resources; reference resources); technological component (IT infrastructure; centralized services). The information and educa-tional environment is considered by the authors as a system consisting of educa-tional resources based on modern educational technologies, in particular, in-formation and educational technologies; cloud learning technologies; activity-oriented technologies; case technologies. The peculiarities of a higher education institution’s educational environment organization using digital technologies are analysed. It was identified on-line, multimedia services and resources that students work with during their project activities, such as: Easel.ly, Рik-tochart.com, Padlet, Symbaloo, Coggle.it, ThingLink, WordArt, Learn-ingApps.org, PowToon, Prezi. The present state of future teachers’ preparation for project activities using digital technologies is revealed. The model of future educators’ training for the project activity with the use of digital technologies is offered. The authors analyse how to use digital technology effectively in teach-ing the course “Project Activities in Educational Institution” on the Moodle platform. The effectiveness of preparing future educators for project activities using digital technologies has been proved.
Forensic analysis and data recovery from water-submerged hard drives

In many digital forensic investigations, a common location to recover files as evidence of wrongdoing is a computer hard drive. Hard drives have increased greatly in storage capacity since their introduction in computers in the 1950s making them a rich source of evidence for the forensic investigator. This awareness may also lead to the destruction of hard drives or entire computers by throwing them into water in an attempt to prevent recovery of data. This research looks at the solid state hard drives alongside platter hard drives in particular and the time water will take to enter the hard drive once it is submerged. Experiments show that once water has entered the drive, various components will be affected by the water and the drive will become inoperable. A guide for forensic investigators is constructed indicating the likely time required to recover the drive before water ingress occurs, and the various parts of the drive that may be damaged and whether repairs or replacement of those parts is possible.
Putting Orthodox Economics to the sword : Franklin Obeng-Odoom's contribution Property, Institutions, and Social Stratification in Africa - Property, Institutions, and Social Stratification in Africa, Franklin Obeng-Odoom

At long last we have a political economist, one of us, who understands us, knows our problems and sincerely articulates what can be done to create the societies we long for in Africa. In Property, Institutions and Social Stratification in Africa, Franklin Obeng-Odoom has put orthodox economics and neoliberal capitalism to the sword. But more importantly, he has laid a solid foundation for a new and better political economy of Africa's development. The message is simple: mainstream economics is suspect for not only diagnosing the development problem wrongly, but as a western project intended to distract any inquiry into the true sources of the problem. Methodologically, Stratification economics is the better alternative for studying inequality as a development issue in the global south. The ideas in Obeng-Odoom's book should be taken seriously by students, researchers and policy makers interested in Africa and African development.
Pengaruh Metode Demonstrasi Berbantu Alat Peraga Batang Napier Terhadap Hasil Belajar Matemetika

This study aims to determine the effect of the demonstration method rocky Batang Napier props on the learning outcomes of third grade students of SDN Bakalan Krajan 02 Malang. This study uses a quantitative approach to the Nonequivalent Control Group Design research design. Analysis of the study used the Hypothesis Test Independent Sample T-Test with a significance level of 5%. Based on the results of the T-test, the sig.2 value (tailed) is 0.001. The result is smaller than 0.05, so ha is accepted and H0 is rejected. It can be concluded that there is an influence on student learning outcomes by using the demonstration method assisted by the Batang Napier teaching aids. With this research, teachers are expected to be able to use the demonstration method assisted by the Batang Napier teaching aids in mathematics learning
Why Do Local Methods Solve Nonconvex Problems

Non-convex optimization is ubiquitous in modern machine learning. Researchers devise non-convex objective functions and optimize them using off-the-shelf optimizers such as stochastic gradient descent and its variants, which leverage the local geometry and update iteratively. Even though solving non-convex functions is NP-hard in the worst case, the optimization quality in practice is often not an issue -- optimizers are largely believed to find approximate global minima. Researchers hypothesize a unified explanation for this intriguing phenomenon: most of the local minima of the practically-used objectives are approximately global minima. We rigorously formalize it for concrete instances of machine learning problems.