Reviewerly/exHarmony huggingface dataset:
Health Detection on Cattle Compressed Images in Precision Livestock Farming

The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To improve cattles health and welfare the pastoral farming employs Precision Livestock farming (PLF). This technique implementation brings a challenge to minimize energy consumption due to farmers not having enough energy or devices to transmit large volumes of information at the size are received from their farms monitors. Therefore, in this project, we will design an algorithm to compress and decompress images reducing energy consumption with the less information lost. Initially, the related problems have been read and analyzed to learn about the techniques used in the past and to be updated with the current works. We implemented Seam Carving and LZW algorithms. The compression of all images, around 1000 takes a time of 5 hours 10 min. We got a compression rate of 1.82:1 with 13.75s average time for each file and a decompression rate of 1.64:1 and 7.5 s average time for each file. The memory consumption we obtained was between 146MB and 504 MB and time consumption was between 30,5s for 90MB to 12192s for 24410 MB, it was all files.
A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs

We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of constraints on RDF nodes, and a graph is valid with respect to the document if its nodes satisfy these constraints. We revisit the basic concepts of the language, its constructs and components and their interaction. We review the different formal frameworks used to study this language and the different semantics proposed. We examine a number of related problems, from containment and satisfiability to the interaction of SHACL with inference rules, and exhibit how different modellings of the language are useful for different problems. We also cover practical aspects of SHACL, discussing its implementations and state of adoption, to present a holistic review useful to practitioners and theoreticians alike.
PENGARUH MEDIA POWTOON DALAM PEMBELAJARAN TEKS LAPORAN HASIL OBSERVASI SISWA KELAS VII SMPN 1 KREMBUNG

The purpose of this study was to show the effect of Powtoon media on the learning of text based on the observations of class VII students of SMPN 1 Krembung. This study uses a quantitative approach with the type of experiment one group pretest posttest design. The subjects of this study were students of class VII-5 SMPN 1 Krembung in the academic year 2021/2022. The research sample was determined by purposive sampling technique. The instruments used are questionnaires and test questions. The data in this study were the results of the questionnaire and the pretest posttest scores. Testing the validity and reliability of the instrument as well as data processing using the SPSS 16.0 for windows program. The results showed that testing the hypothesis using the paired sample t-test t-test obtained results tcount = -6854, while ttable with df N-1 = 30 and a significance level of 5% (0.05) of 2.042. So, tcount &gt; ttable (-6.854 &gt; 2.042) with Sig. (2 tailed) 0.000 &lt; 0.05 then Ha is accepted and H0 is rejected. This is reinforced by the results of student responses to the use of Powtoon media by 81%. The percentage is categorized as good. Thus, this Powtoon media can be said to be influential and effective in learning the observational report text in class VII SMPN 1 Krembung for the 2021/2022 academic year
Dynamic Application of Matlab in Teaching of Hyperbolic Paraboloid

In teaching of hyperbolic paraboloid, this paper breaks through the traditional teaching method. Through its theoretical analysis, combined with graphic visualization of MATLAB software, this paper shows two formation processes and notch transformation processes of hyperbolic paraboloid, so as to enhance students' learning interest, cultivate students' spatial imagination and improve teachers' teaching effect, so as to further promote the modernization of basic course teaching methods.
Behavior-Driven Development applied in Agile Teams of a Financial Institution

A premise for the efficiency of software developers is clarity on understanding the requirements, as well as the business people maintain the same mutual alignment. Behavior-driven Development (BDD) proposes based on a specific scenario, perceives a problem and correctly directs a solution. This case study shows how BDD helps three agile teams from a Financial Institution to deliver a complex credit platform solution, which at first had critical flaws to bring the product, and how they overcame it. In scenarios where a more focused understanding of a problem is required, it was observed that BDD brought a positive influence for the performance of these teams. While maintaining mature ways of working by improving communication, a mutual understanding of the product added a direction regarding priorities, bringing fast flow with quality. Given the good results, this institution intends to extend the use of this technique to other teams that support critical issues.
An Industry Case Study: Methodology Application to the Reviewing Process on Android Releases Homologation

Quality is the main factor at any process, in the software context is not different. The Android Operational System has rigid quality standards. Device producers who choose to use Android, must comply with rules and contract requirements. The quality assurance concerning these rules on Android release homologation process is challenging, due to the great amount of test artifacts to be analyzed at the end of process. In this paper, we propose a methodology to improve the review step for Android releases homologation. As a preliminary result, we identified 52,84% of improvement using the proposed approach. In advance of this research, we intend to implement the automation and evaluate it’s impact in a context of software quality product in our company.
A Systematic Mapping on Executable Models for the Architectural Design of Systems-of-Systems

Systems-of-Systems (SoS) are complex systems composed of managerially and operationally independent constituent systems (CS). Smart cities are examples of SoS. These types of systems impose challenges to the traditional software architecture design, such as describing heterogeneous CS that are constantly evolving and identifying emergent behaviors from the interactions of those CS. Executable models (ExM) have been envisioned as a possible solution to deal with the challenges raised by SoS architectural design. However, to the best of our knowledge, no systematic mapping study (SMS) exists that investigate current state of art in the research area of SoS architectual design using ExM. Therefore, the main goal of this study is to synthesize evidence of that research area, observing research trends and identifying possible research gaps yet to be explored. Results reveal that (i) the use of model transformation from a static SoS domain-specific language to a ExM is intensely explored and (ii) ExM were used mainly to evaluate and synthesize SoS architectures but also to observe emergent behaviors and to measure quality attributes.
Extending an LGPD Compliance Inspection Checklist to Assess IoT Solutions: An Initial Proposal

Society has become more dependent on technology, so investments in information security have become essential. In Brazil, the General Data Protection Law (Lei Geral de Protecão dos Dados LGPD) legislates information security management. This work aims to propose an instrument to evaluate the adequacy of IoT solutions regarding the LGPD. The proposal evaluation took place in a private institution linked to industrial innovation. The proposed mechanism can assist professionals in verifying the LGPD adequacy in IoT projects. The study identified LGPD compliance defects in an IoT solution deployed in several industries all over the 23 Brazilian states. However, the results cannot be generalized since we only evaluated it in a single company and one software solution. Replications are needed to identify whether these results apply to other companies and solutions.
Qualifying People for Embedded Software Development and Data Science: An Experience on University-Industry Cooperation

Trained people is a key aspect in the success of a company. There are several ways to train people but the partnership between companies and academia is have been shown good results. This paper presents the collaboration experience between Embraer and Universidade Federal de Pernambuco in the creation of the Software Specialization Program (PES), a postgraduate program for training people in embedded software development and data science.
Mobility evaluation system based on anomaly detection using an exercise exoskeleton robot

Mobility is critical for quality of life among older adults.Walking and driving abilities enable older adults to participate in society.Classic assessment tools such as Katz Index of Independence in Activities of Daily Living (ADLs)-in particular the item of transferring-have contributed to enhancing the knowledge related to mobility among older adults.However, the advancement of technology calls for alternative way to assess mobility among older adults.CONTENT This symposium aims to present the use of technology in assessing mobility among older adults in a twofold way: (a) machine learning application into big data and (b) use of wearable robot.STRUCTURE The first two presentations focus on older drivers.K. Jang's research group will present their research findings about driving characteristics of taxi drivers by age groups based on the application of deep learning-based analysis into a large-scale naturalistic data of driving.J.-G.Lee's research group will discuss the differences in driving offenses across four age groups of older taxi drivers using the data from Digital Tachograph (DTG) devices.The second two presentations address the use of wearable robot.Y. Kim's research group will give two presentations, and the first one will present a multi-dimensional mobility evaluation system for people in later life by using an exercise exoskeleton robot.The last presentation will show reliable indicators for evaluating muscle activation using wearable robot.CONCLUSION The advancement of artificial intelligence and robots would contribute to assessing mobility and driving abilities among older adults in a more accurate way.This symposium introduces novel applications of existing technologies in assessing functions of older adults both in micro and macro ways.
Recent Advance in Semi-Supervised Learning for Named Entity Recognition and Potential Clinical Applications

&lt;p&gt;Named entity recognition (NER) is an important task for clinical knowledge discovery from electronic health records (EHRs). However, to protect the patient privacy, we want to minimizethe annotation needs for NER system development. Therefore, advanced semi-supervised learning algorithms are required. In this paper, we reviewed the recent advance in semi-supervised learning for named entity recognition and discussed the possibility of application in the clinical NER system. We hope our discussions help the development or improvementfor the clinical NER applications for other researchers.&lt;/p&gt;
STUDENTS’ ATTITUDES TOWARD LANGUAGES

Being able to speak more than one language is beneficial; especially for Indonesian people, those who can speak English are supposed to be bilingual and multilingual. Accordingly, they should speak at least three languages: the Indonesian language, English, and their mother tongue or local language such as Javanese, Sundanese, Bataknese, and so forth. Unfortunately, fewer and fewer Indonesian people speak their regional languages/mother tongue because they have been shifted into Indonesian, especially when children start school. This paper thus investigates language attitudes of university students toward their regional languages, Indonesian and English: how they value those languages, and their use of the languages. To answer those questions, the writer distributed a questionnaire to 22 students from three universities in Jakarta and conducted some interviews with five of the participants. The results indicate that all students have positive attitudes toward those languages. However, the positive attitudes toward the regional languages are not congruent with the language use. Lacking regional language users and its exposure is why students feel difficult to apply their regional language. As for the Indonesian language, it is the most valued and used as the unifying national language. The English language is considered more comfortable for those who can speak English because there is no difference for language users to talk to their interlocuter’s level. For example, in English, the pronoun “you” can be referred to anyone regardless of their age or status. In Indonesian, we have to differentiate between Kamu (you) and Anda (you) depending on whom we talk to. To our parents, we cannot say Kamu nor Anda; but we mention it daddy or mommy, and the like. Finally, while the Indonesian government has successfully implemented Indonesian as the unifying language of the nation (Paauw, 2009), the government is also expected to encourage more on the use of regional languages into the school curriculum to enforce its usage. &#x0D;
The stochastic Auxiliary Problem Principle in Banach spaces: measurability and convergence

The stochastic Auxiliary Problem Principle (APP) algorithm is a general Stochastic Approximation (SA) scheme that turns the resolution of an original optimization problem into the iterative resolution of a sequence of auxiliary problems. This framework has been introduced to design decomposition-coordination schemes but also encompasses many well-known SA algorithms such as stochastic gradient descent or stochastic mirror descent. We study the stochastic APP in the case where the iterates lie in a Banach space and we consider an additive error on the computation of the subgradient of the objective. In order to derive convergence results or efficiency estimates for a SA scheme, the iterates must be random variables. This is why we prove the measurability of the iterates of the stochastic APP algorithm. Then, we extend convergence results from the Hilbert space case to the Banach space case. Finally, we derive efficiency estimates for the function values taken at the averaged sequence of iterates or at the last iterate, the latter being obtained by adapting the concept of modified Fej{\'e}r monotonicity to our framework.
A Pragmatic Study of Speech Acts in Iraqi and American Parliamentary Electioneering Campaign Posters

Posters are one of the most effective tools for communicating ideas, thoughts, and plans. They come in a variety of shapes and sizes, with various goals and objectives. One example is the political posters, which are concerned with elections and seek to familiarize voters with candidates and their ideologies. Posters are designed to enhance the impact of candidates’ election programs (platforms, manifestos) in order to achieve their political aims. Politicians purposefully use various types of pragmatic elements in their election campaign posters in order to gain more votes by influencing voters. Furthermore, they rely on a variety of pragmatic means to express a wide range of speech acts. This study is concerned with investigating the Iraqi and American parliamentary election campaign posters pragmatically. The data is analyzed from pragmatic perspective .The data is taken from Iraqi parliamentary elections that are held in 2021, and American senate elections that are held in 2020. It applies Searle’s theory of speech acts (1979).
Adoption of Mobile Learning at Universities Using the Extended Technology Acceptance Model

This study aims to contribute to the proof of factors likely to determine the success of M-learning adoption based on previous research. This is done because there are many different theoretical models proposed. However, there is not yet a model that can be generally accepted as an established theoretical model for the adoption of M-learning in universities. This research is expected to make a significant contribution to the development of a better theoretical understanding of the determinants that influence the adoption of M-learning using the Technology Acceptance Model (TAM). To collect the data, researchers distributed questionnaires to respondents using google forms. Forms are distributed via WhatsApp and Telegram. The data used was 515 M-learning users. Theoretical model research was carried out with Structural Equation Model (SEM) analysis, then SPSS and Amos as support for analysis. There are six factors that determine the results of acceptance of M-leaning adoption in this study, namely Social Influence, Perceived Enjoyment, Facilitating Condition, Self-Efficacy, Perceived Usefulness, and Perceived Ease of Use. The five factors that show positive and significant relationships are Social Influence, Perceived Enjoyment, Self-Efficacy, Perceived Usefulness, and Perceived Ease of Use. Perceived Usefulness has the first strongest positive and significant value, and then Social Influence has the second strongest value. Each factor has a medium influence value on Behavioral Intention. That factor is the most influential in the application of M-learning in universities.
Evolution of Blockchains based on the Architecture and Consensus Algorithms used on Blockchains

Blockchain technology has gotten much interest recently from academics, industry, and governments worldwide. It is regarded as a technical innovation that can disrupt various application fields affecting many aspects of our lives. Cryptocurrencies are a public blockchain application's success story that sparked extensive research and development. Scalability, energy consumption, and security, on the other hand, remain significant challenges. With low throughput, high transaction delay, and high energy consumption, most cryptocurrencies are experiencing low-efficiency difficulties. The scalability issue with public Blockchains is preventing organizations and sectors from receiving effective solutions. As a result, it is critical to bridge the gap and develop new frameworks that connect Blockchain with those goals. This paper examines the evolution of blockchain architecture and consensus protocols, provides a retrospective analysis, discusses the rationale for the various architectures and protocols' change, and captures the assumptions supporting their development and contributions to collaborative application development. However, existing research on consensus algorithms is insufficient. The features of the algorithms are discussed insufficiently in those papers, and some prominent blockchain consensus methods are not examined in terms of their scopes. The study&amp;rsquo;s findings are delivered in tabular formats, allowing for a clear representation of these algorithms. We discovered in our investigation that scalability is a result of many parameters such; transaction throughput, number of nodes, storage, block size, high communication, latency, cost. Furthermore, Due to its off-chain data storage and smaller block size, PoF is much more scalable than PoS and PoW, and Because PoA is a hybrid of PoW and PoC, it does not necessitate a large number of computational resources. As a result, it has a higher throughput than PoW. PoPF entails ranking all participating nodes and appointing n accountants to compete for adding new blocks. This article addresses the need by analyzing a wide range of consensus algorithms using a complete taxonomy of attributes and delving into the consequences of several still-present flaws in consensus algorithms.
RELEVANCE OF THE IMPLEMENTATION OF THE TECHNOLOGY OF GENERAL-EDUCATIONAL SKILL IN MATHEMATICS LESSONS WITHIN THE ONLINE FORMAT

The article deals with the peculiarities of the implementation of the technology of formation of the general-educational skills of elementary school’s pupils in the Mathematics lessons at the Elementary school. Besides it is revealed the content of each component of the educational activity: motivational, substantive and procedural. The motivational component provides the personality’s demand and striving to the cognitive activity. This is revealed in the active attitude of pupils to the mastering skill to study independently. It provides the opportunity to form and consolidate the positive attitude to the educational activity, curiosity, cognitive interest, personal importance of learning. But the motivational component of the cognitive activity doesn’t provide and doesn’t form technological and procedural cognitive activity. This means that it doesn’t provide the mastering practical and intellectual abilities and opportunities of the personality. These abilities provide the performing of the mechanism in itself during the process of the goal-oriented search. The substantive component includes familiar knowledge, skills which could be the base for the mastering new knowledge and ways of action. The interaction of familiar (known) knowledge with the new knowledge provides different level of organization of the process of cognition – reproductive, partly-search and creative. The core of this skill is the procedural character of the educational activity. Within modern conditions of the education’s development the attention is paid not to the amount of knowledge, certain strength, deepness but to the ways and methods of organization of the individual knowledge, which could be reliable base for the making effective decisions. The procedural component is represented by various ways of skills’ organization and realization (skills. Actions, operations, cognitive processes) at different levels of pupil’s cognitive independence: reproductive, partly-research, creative. The content of the defined components of the educational activity tell about their interdependence. It also characterizes the developed, deployed educational activity. The author makes stress on the necessary feature of the pupil’s independence. It is defined as the mastering control and self-control by the pupil. The article also characterizes peculiarities of each stage of forming elementary school pupil’s skills of self-control. Education of pupils of elementary school with the orientation on the self-control provides not only the increasing of their training but also it provides such personal features as independence, responsibility, goal-orientation, discipline. But the main fact is that ability to self-control provides the appropriate level of the development of “skill to study” which is the basis for the successful educational activity of primary education applicants. Key words: technology of formation of general-educational skills, skills of independence studying, components of the educational activity, control-self-control.
Robust Spoofed Speech Detection with Denoised I-vectors

Spoofed speech detection is recently gaining attention of the researchers as speaker verification is shown to be vulnerable to spoofing attacks such as voice conversion, speech synthesis, replay, and impersonation. Although various different methods have been proposed to detect spoofed speech, their performances decrease dramatically under the mismatched conditions due to the additive or reverberant noises. Conventional speech enhancement methods fail to recover the performance gap, hence more advanced techniques seem to be necessary to solve the noisy spoofed speech detection problem. In this work, Denoising Autoencoder (DAE) is used to obtain clean estimates of i-vectors from their noisy versions. ASVspoof 2015 database is used in the experiments with five different noise types, added to the original utterances at 0, 10, and 20 dB signal-to-noise ratios (SNR). The experimental results verified that the DAE provides a more robust spoof detection, where the conventional methods fail.