Reviewerly/exHarmony huggingface dataset:
Electricity Consumption of a Distributed Consensus Algorithm

The colossal electricity consumption of proof-of-work cryptocurrencies such as Bitcoin and Ethereum has caused critical examination of how consensus in blockchain-solutions is designed. Stellar is a decentralized, open-membership payment network built on blockchain technology, with the goal of enabling money to flow between banks, businesses and people across the global financial infrastructure, while minimizing latency and transaction fees. This study seeks to obtain a generalized estimate of the electricity consumption of the Stellar network, leading up with theory on the protocol's consensus algorithm employing federated voting in quorum systems. By dividing the electricity consumption of a single node into four core primitives and applying measurements on a basic validator node, an electricity consumption estimate for running a validator node is constructed. This is then extrapolated to the entire network to obtain a generalized estimate of the electricity required for a single transaction: 0.222 Wh, which turns out to be less than that of Bitcoin by a factor of 10^7, and similar to that of VISA. The results are followed by a discussion on the validity of said estimate, and areas of improvements for the method used, before concluding that by decoupling high electricity consumption from decentralized trust, Stellar provides a blockchain implementation that is not limited by electricity consumption to become an integral part of the global financial infrastructure. (Less)
An Optimization of VM Allocation and Migration in Cloud Computing Systems for High Throughput and Low Tolerance

Virtualization is among the most popular procedures in the Cloud Computing scenario since it involves creating an effective virtual server operating system and storage devices. This will help the user by providing numerous machines at a similar time and allowing different users to be assigned to different physical requests of the programme. The efficient scheduling and optimization scenario for resource allocations and virtualization will be discussed in this research paper. Cloud Virtualizations also help with task burdens by replacing out-of-date computing procedures with more accessible, cost-effective, and efficient alternatives. The efficiency of the system is measured in terms of throughput, execution time, downtime, and Service Level Agreements (SLA) violations. The proposed method is the ability to accomplish high performance and is well suited to achieving the desired results.
Epipolar Constrained Multi-camera Arrays for Embedded 3D Vision

Author(s): Meyer, Dominique Ernest | Advisor(s): Kuester, Falko; Christensen, Henrik I | Abstract: High-resolution and real-time 3D sensing from cameras is a long standing challenge in the robotics and computer vision community. This thesis proposes a system wide optimization strategy for embedded vision systems by providing a software-hardware design strategy that jointly improves multi-camera arrays and reconstruction algorithms for improved 3D localization and sensing.The proposed approach builds on state of the art research efforts of multi-camera systems and multi-view methods to simultaneously estimate system pose and 3D scene. Existing works are reviewed and summarized to provide a theoretical baseline of the field. To improve the robustness and efficiency of the estimation, geometric and epipolar principles of cameras are leveraged to formulate configuration decisions, on which the proposed algorithmic methods are based. These configuration implications are leveraged to formulate highly parallelizable and scalable reconstruction methods. The first goal of the estimation methods involves sparse 3D solutions for localization and map initialization that in turn serves as a prior for the dense reconstruction. A set of semi-dense and dense reconstructions algorithms are introduced that leverage the sensory configuration and ego-motion estimation to improve on state of the art stereo and partial light-field depth estimation methods, both in terms of estimation performance, and computational efficiency.Real-world evaluation of the proposed system design is accomplished through the development of an open-source multi-camera sensing system, DevCAM. A heterogeneous FPGA, DSP, CPU and GPU architecture is used as the basis for an experimentation ground that accommodates 18 high resolution cameras in a trinocular panoramic configuration, an Inertial Nagivation System with differential GPS and high-performance networking capabilities. On this system, hardware optimized pre-processing is demonstrated, alongside early results for semi-dense 3D mapping.
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.

We present the web portal Λ-symsym, available at http://158.110.146.197:31780/automata/, for experimenting with game semantics of λ^!-calculus, and its normalizing elementary sub-calculus, the λ^{EAL}-calculus. The λ^!-calculus is a generalization of the λ-calculus obtained by introducing a modal operator !, giving rise to a pattern β-reduction. Its sub-calculus corresponds to an applicatively closed class of terms normalizing in an elementary number of steps, in which all elementary functions can be encoded. The game model which we consider is the Geometry of Interaction model I introduced by Abramsky to study reversible computations, consisting of partial involutions over a very simple language of moves.Given a λ^!- or a λ^{EAL}-term, M, Λ-symsym provides: - an abstraction algorithm A^!, for compiling M into a term, A^!(M), of the linear combinatory logic CL^{!}, or the normalizing combinatory logic CL^{EAL}; - an interpretation algorithm [[ ]]^I yielding a specification of the partial involution [[A^!(M)]]^I in the model I; - an algorithm, I2T, for synthesizing from [[A^!(M)]]^I a type, I2T([[A^!(M)]]^I), in a multimodal, intersection type assignment discipline, ⊢_!. - an algorithm, T2I, for synthesizing a specification of a partial involution from a type in ⊢_!, which is an inverse to the former. We conjecture that ⊢_! M : I2T([[A^!(M)]]^I). Λ-symsym permits to investigate experimentally the fine structure of I, and hence the game semantics of the λ^!- and λ^{EAL}-calculi. For instance, we can easily verify that the model I is a λ^!-algebra in the case of strictly linear λ-terms, by checking all the necessary equations, and find counterexamples in the general case.We make this tool available for readers interested to play with games (-semantics). The paper builds on earlier work by the authors, the type system being an improvement.
Pengembangan Multimedia Interaktif (MMI) Model Tutorial Praktikum Menggunakan Adobe Director padaimatai pelajaran IPAIKelasIVIII

ThisIresearch was motivated by theIlowIlearningIoutcomesIof the practicum scienceIofIclass VIII of SMPN 15 Padang, which was caused by inadequate learning resources. Theepurposeiof thisiresearch is to (1) produce a multimedia interactive model tutorial practicum which is valid accordinggto theecriteria of the feasibility of theemedia. (2) Produce interactive multimedia model tutorial practicum practical to use. (3) Produce interactive multimedia model tutorial practicum effective teaching in science.Developmentimodel used issthe model ADDIE. Stage offthe process offthis research, whichhis the first stage offthe analysis, namelyithe analysis offthe field, user analysis, curriculum analysis, media analysis, and the analysis infrastructure. The second stage is the design, namely the stage of preliminary studies, the stage of development of the initial product. The third stage is the development, namely the creation of interactive multimedia, the next product validation conducted by 2 experts the media is a lecturer in theiDepartment offCurriculum andi Educational Technology, and materials experts 1 people, namely teachers of subjects IPA SMPN 15 Padang. Theefourthtstage issthe implementation offthe ie test its practicality through a questionnaire given to the students with a number of respondents 30 people, next is to test the effectiveness of which gives matter theepre-test andepost-test. The fifth stage is the, evaluation of the Data were analyzed by quantitative descriptive to know the quality offtheeproduct.The results offthe test offthe validity of the products for material aspects with in thercategorysof “verysvalid” with a percentagesof 93,17% and aspect media is intthe categorysoff“verysvalid” with a percentage off 92,96%. The test resultssthe practicalitysis 90,58% with theecategory off“veryspractical”. Whileethe test of the effectiveness of the obtained tcount>ttable with the results of the t 21,60 while ttable 1,699. It can be concluded that interactive multimedia (MMI) model tutorial practicum feasible, practically and effectively used in the learning of science of class VIII of SMPN 15 Padang.
An Improved CNN Model for Fast Salient Object Detection

In an image, how to quickly and effectively extract the useful regions named target regions in the scene according to the saliency features such as spatial domain, frequency domain etc. for further analysis of salient object detection is one of the challenging topics in the field of image segmentation. Most of the existing salient target detection methods use convolution network to extract high-order semantic features, combine pyramid pooling model to fuse high-order and low-order semantic features, and use Adam or SGD optimizer to optimize the model to obtain the salient object. However, the traditional convolution network model is not optimized for the model parameters, and finally redundant parameters will appear in the model, which will aggravate the training time and practical application detection time of the model. Although SGD is fast, it will fall into a large number of local suboptimal solutions or saddle points in the process of non-convex error function optimization. Adam has better performance, but the speed is slightly slower then t -> ∞ that will not have a good generalization performance. In order to solve the above problems, a new optimization strategy is proposed to compress the model. At the same time, AdaX, an optimizer with SGD speed and Adam performance, is used to optimize the model. Through the test on the open data set DUTS, ESSCD and etc., the proposed optimization model method reduces the parameters of the original model, and also improves the training speed and application detection speed of the model.
The Boneh-Katz Transformation, Revisited: Pseudorandom/Obliviously-Samplable PKE from Lattices and Codes and Its Application

The Boneh-Katz transformation (CT-RSA 2005) converts a selectively-secure identity/tag-based encryption scheme into a public-key encryption scheme secure against chosen-ciphertext attacks. We show that if the underlying primitives are pseudorandom, then the public-key encryption scheme obtained by the Boneh-Katz transformation is also pseudorandom. A similar result holds for oblivious sampleability (Canetti and Fischlin (CRYPTO 2001)). As applications, we can construct
Efficiency of Artistic Education: Praxiological Approach

Abstract In our statements we proceed from the reality that the artistic activity differs much from other human activities through its ontological specifics, which requires taking into account the opportunities and challenges that arise in individual potential manifestation of the child, act that expresses by transposing the theoretical prescriptions into practical actions indisputable by the presence of emotional-affective reactions, by developing projects and logistical maps of action, is not waiting for certain stimuli coming from outside, but by enhancing the artistic intentions and decisions of child – subjects of education. In efforts to design the implementation process of innovative artistic praxeology we emerged from the assumption that TDA (teacher’s didactic action) and PAA (pupil artistic action) become fundamental values of the integration of theory and praxeology in perspective of an effective education, provided that they be widely used both horizontally and vertically, according to the pentagonal model consisting of principles: proactivity, artistic intro-opening, creation/creativity, of success, re-conceptualizing and instrumented in modern theoretical and methodological perspectives.
Desain Media Pembelajaran Jaringan Dasar Komputer Menggunakan Model Discovery Learning Di SMKN 6 Padang

This final project aims to make it easier for users to explore learning materials and stimulate the mindset of users in accessing and receiving information quickly and in real time. This application was created using adobe flash professional with programming languange actionscript 3.0. The results of the interface design are implemented in interactive learning media in the form of Desktop-based learning applications on Basic Computer and Networking Subjects in class X SMK with Discovery Learning Model. Flash projects are stored as * .exe files so that they can be run on a computer or laptop without having to install the adobe flash profesional application. With the application of Basic Computer and Networking learning media for class X based on the PC desktop, it can help students add insight and sharpen their understanding of class X students regarding Basic Computer and Networking subjects.
LibGuides: HLC Library Materials Move: HLC Library Materials Move Timeline

This guide serves as a communication tool to keep the ACC community up to date on the relocation of library materials.
Studio report: sound synthesis with DDSP andnetwork bending techniques

This paper reports on our experiences synthesizing sounds and building network bending functionality onto the Differentiable Digital Signal Processing (DDSP) system. DDSP is an extension to the TensorFlow API with which we can embed trainable signal processing nodes in neural networks. Comparing DDSP sound synthesis networks to preset finding networks and sample level synthesis networks, we argue that it offers a third mode of working, providing continuous control in real-time of high fidelity synthesizers using low numbers of control parameters. We describe two phases of our experimentation. Firstly we worked with a composer to explore different training datasets and parameters. Secondly, we extended DDSP models with network bending functionality, which allows us to feed additional control data into the network's hidden layers and achieve new timbral effects. We describe several possible network bending techniques and how they affect the sound.
ANDROID MOBILE APPLICATION FOR BORNEO MEDICINAL PLANTSAND HERBS

Borneo Island is one of the islands with a high biodiversity. This is because Borneo Island has a vast tropical rainforest and is rich with many species of flora and fauna. One of the flora that can be found in Borneo Island especially in Sarawak and Sabah is the medicinal plants and herbs. There are estimated around 1000 medicinal plants and herbs species that are known in Sarawak and Sabah. However, each plant has similar characteristics in terms of leaf shape, root shape or the flower pattern and each of this plant part have a different usage for the remedy. Therefore, only certain people such as the older generations who have knowledge in medicinal plants and herbs or the herbalists can identify those types of plants and their usage for remedy. By using the proposed system which is the AndroidMobile Application for Borneo Medicinal Plants and Herbs, users can learn about the herbs and medicinal plants and also their remedy.
VUT Libraries: Faculty of Applied and Computer Sciences: 2021 DHET Accredited Journal Lists

This guide contains genral library information for the Faculty of Applied and Computer Sciences.
An introduction to advanced multitrait-multimethod analyses

In the summer of 2019, nine quantitative researchers met at a castle in Missillac, France, to discuss their most recent contributions to the analysis of multitrait-multimethod (MTMM) data, and this volume represents the proceedings of their discussion. This chapter reviews the major themes of that discussion, which include (1) careful considation of methods, (2) the CT-CM versus CT-C(M-1) debate, (3) empirical underidentification, (4) Bayesian estimation, and (5) a reconsideration of principal component analysis.
Software as a Service for Upcoming Industries

This research paper explores the capabilities of Software as a Service (SaaS) to provide a cost-efficient and reliable start for any upcoming industry while considering its implications, advantages, disadvantages, growth, and economic aspect. Cloud computing is a form of “Internet Computing” for the use of computational power over the Internet. With cloud computing, end users can take advantage of computer assets that are deployed over the Internet. Cloud provides three basic services: Software as a Service (SaaS), Platform as a Service (PaaS), and Infrastructure as a Service (IaaS). SaaS provides a platform for online deployment of frameworks that helps to reduce time and assets spent unlike grid computing.
Message embedding technique in Elliptic Curve Cryptography using multiple of points / Nur Syafawani Mat Syet, Ummi Afifah Mohamad Arsad and Muhammad Faiz Abdul Shukor

Public key cryptosystem is a famous technique that has been developed by using elliptic curve. In this paper, a method of embedding plaintexts is proposed in binary field, GF (2 5 ); it is irreducible polynomial and satisfies condition b ≠ 0. Maple 2016.1 is used to show how the encryption and decryption works. Thus, a method is implementing into MVECC protocolsuccessfully based on encryption and decryption.
Non-verbal interaction with virtual home assistants for people with dysarthria

This article presents a technique for using non-verbal voice cues to improve interaction with virtual home assistants (VHAs) for people with speech impairments. Non-verbal voice cues are any sounds a person produces other than speech, such as, for example, humming. The architecture of this technique also facilitates the minimization of the privacy and security risks associated with recording and monitoring speech directed at VHAs. The user sends non-verbal voice cues to an intermediary control terminal (Raspberry Pi), which then interprets the sound message and passes on a direct programmatic command to the VHA's cloud service to fulfill the request.
DI Library: Senior Project (ID 395): Case Studies + Evidence-Based Design

DI Library's guide to books, websites, and other resources for students in Senior Project DI Library's recommendations on where to find case studies for Senior Project
Algorithms and Scenarios of Online Decision Support System for Selection of the Distribution Laws of positive Random Variables

The problem of making online decision support system for selecting the two-parametric distribution law of a continuous positive random variable with a finite second moment is considered. Algorithms and scenarios of the system operation are given. The main priority is a practical application-oriented approach based on minimal data sets and user’s criteria to select the most appropriate type of distribution law out of a finite set of models. The proposed algorithm for selecting the distribution law of random variables is based on a natural factorization of the space of empirical characteristics – the average and MSD. Differential entropy; graphs of densities, distribution functions, and failure rates; scatter plots and a table of metrics are applied to visually compare the distribution laws. To rank the distribution laws, the following simple and intuitive criteria, focused on solving practical problems, are proposed for a user (engineer, economist, biologist, etc.): maximization of the differential entropy, fitting empirical quantiles, fitting empirical moments of higher orders, availability of analytically defined restoration function, behaviour of the intensity function, and the possibility of decomposition into exponential phases. Online decision support system is being developed in Python using the Dash framework. The following Python libraries are used for calculations: math, numpy, random2, scipy, sympy, and plotly module for graphical visualization. The decision support system can be applied in combination with other existing methods for selecting the distribution law of a random variable.
A sensor orientation and signal preprocessing study of a personal fall detection algorithm

This study investigates if a smartphones orientation in the pocket affects the result of a decision tree model trained with data from personal falls, and also how a low-pass filter affects these re ...
Desarrollo de la motricidad: una aplicación del modelo de aprendizaje microcurricular activo/Development of motor skills: an application of the micro curricular active learning model

The Physical Education classes developed in this pandemic have generated that teachers look for new teaching alternatives that can be contextualized with virtual resources. The objective of this research is to apply the Active Microcurricular Learning Model of Physical Education in children from 5 to 6 years old, belonging to the first year of General Basic Preparatory Education of a private school in the city of Quito. This proposal was designed to check if it significantly influences the development of gross motor skills. A quasi-experimental design study was carried out with pre and post-test measures without control group, cross-sectional, descriptive, analytical and comparative, in a population formed by 22 children as experimental group, distributed in 11 boys and 11 girls. It was applied in the first half of the 2020-2021 school year, through virtual classes by Zoom; the pretest was carried out in the first week of September and the posttest in the third week of January, with the Mc. Clenaghan and Gallahue battery and the Ozerestky battery of infantile motor skills. It was concluded that there are significant variations in the elements of gross motor skills, such as: running, climbing, crawling and jumping. Statistically, it was demonstrated that the application of this model is effective according to the results obtained and that it is of great importance to develop gross motor skills; in addition, virtual resources can be used in Physical Education classes, empowering them for life in each of their daily activities.
Question Paper Generator

Generating question papers is a tedious and time-consuming operation. This study uses Python to construct a fuzzy logic-based model for autonomous paper creation. With the aid of a huge number of questions saved in the database, college officials may create a fully personalised question paper. The programme may be used to produce question papers based on the examination level, which may include unit tests. It enables the authorities to pick and choose from the syllabus's chapters. The programme makes use of a database to use the question paper, which might include hundreds of questions. The programme generates a collection of random questions on which the question does not appear. The programme is a great tool for quickly generating question papers and so saving time and effort.
METODE TPR DALAM MENINGKATKAN KEMAMPUAN BAHASA INGGRIS GURU SEKOLAH DASAR

The aims of this research are to improve the English proficiency of Elementary School Teachers in Tangerang, Indonesia. The researcher used a quantitative approach with quasi experimental design. The quasi-experimental design chosen was nonequivalent control group design by using pretest and posttest in the experiment and control groups in determining the score to compare English proficiency levels before and after getting treatment by using Total Physical Response (TPR) method. The researcher took samples from each school as many as 40 elementary school teachers in Tangerang. The findings of this research showed that the experimental group's average post-test score was 48.6 and the control group's average post-test score was 41.95, so there was an increase of 6.7 or 2.66%. So the hypothesis can be concluded that, H0 is rejected and Ha is accepted, means that there are significant differences in improving English proficiency of elementary school teachers by using the TPR method.