Reviewerly/exHarmony huggingface dataset:
T-Lease: A Trusted Lease Primitive for Distributed Systems

A lease is an important primitive for building distributed protocols, and it is ubiquitously employed in distributed systems. However, the scope of the classic lease abstraction is restricted to the trusted computing infrastructure. Unfortunately, this important primitive cannot be employed in the untrusted computing infrastructure because the trusted execution environments (TEEs) do not provide a trusted time source. In the untrusted environment, an adversary can easily manipulate the system clock to violate the correctness properties of lease-based systems. We tackle this problem by introducing trusted lease -- a lease that maintains its correctness properties even in the presence of a clock-manipulating attacker. To achieve these properties, we follow a trust but verify approach for an untrusted timer, and transform it into a trusted timing primitive by leveraging two hardware-assisted ISA extensions (Intel TSX and SGX) available in commodity CPUs. We provide a design and implementation of trusted lease in a system called T-Lease -- the first trusted lease system that achieves high security, performance, and precision. For the application developers, T-Lease exposes an easy-to-use generic APIs that facilitate its usage to build a wide range of distributed protocols.
공공도서관의 프로그램 복합화를 위한 건축공간구성 방법에 관한 연구- 렘 콜하스의 도서관 건축을 중심으로 -

As society became more complex, the needs of users diversified. Accordingly, the public library, which is a basic public cultural facility, is indispensably required to be complex. However, today's public library complexation has focused on functionality and economics, and remains in the complex of simple heterogeneous facilities that lack linkage between programs. As a solution to this, this study attempted to look at a practical combination of public libraries through linkage between programs for efficient use of space and provision of integrated services. For this, This study examined Rem Koolhas's library architecture, which attempted to solve the problem of diversity and complexity in modern society through the investigation of the limitations between the architecture of uncertainty and the program. As a result of conducting research and analysis on his architectural concept and project, it was found that various elements such as void space utilization and inclined planes, escalators, bridges, and openings were actively used as a strategy for complexing programs. Rem Koolhaas used these elements to blur the boundaries between programs and create a complex space. These elements also directly link disparate programs, creating a free flow system without a center. As a result, it naturally induces movement between heterogeneous programs and creates the possibility that various forms of connection can occur. As such, it was found that Rem Koolhas reinforced the connection between programs and built a complex space through the use of void space and application of various elements. Therefore, such a strategy is considered to be an alternative to simple facility complexization when planning public libraries in the future.
Image-based anomaly detection using β -Variational Autoencoder for surface vehicle collision avoidance

Unmanned vehicles need robust systems to ensure the safety of the vehicle and its environment. Being able to find and avoid perilous situations is paramount to such a system. In this paper we suggest an unsupervised image-based anomaly detection algorithm using a variational autoencoder and a superpixel segmentation algorithm, which is adapted to the maritime obstacle detection task. The algorithm locates potentially hazardous objects and calculates the distance to them by measuring the images’ reconstruction error over segmented regions. The algorithm’s results on the public MODD2 dataset shows that it has difficulties finding small objects and that it cannot compete with the current state-of-the-art supervised segmentation algorithms on the same dataset, with an F1 score of 26.6% compared to 82.7%. Although further research and optimization is required to utilize the algorithm in a production level product, the results indicate that the algorithm is worth investigating further as it is able to detect many of the objects in our testing videos and due to it having applications in several areas. (Less)
Increasing Language Development Of Children At Kindergaten Age

Abstract . Language Development allows children in kindergarten age to learn to understand and control themselves. When children learn to talk, they unintentionally develop their knowledge of the primary language for children. Children in their life and environment can develop this knowledge, both at home, in play life, and at school. For kindergarten-age children in school life, the teacher's knowledge of children's language is useful for planning, implementing, and in learning. The development of children's language learning for kindergarten is a teacher who helps in early development. To achieve these goals, then understand the teacher about discussing listening and speaking properly. The teacher's talk in class determines children's oral participation and participation to renew the child's language. Keywords: Language Development, Teachers, Kindergarten Age Children.
Case Study: Record-Level Locks

Record lock contention is the most frequently encountered, but usually also the least intrusive as the default lock wait timeout is just 50 seconds, so there is not the same potential for queries pilling up. That said, there are cases – as will be shown – where record locks can cause MySQL to come to a grinding halt. This chapter will look into investigating InnoDB record lock issues in general and in more detail lock wait timeout issues. Investigating the specifics of deadlocks is deferred until the next chapter.
Nonlocal mean method based on soft weighting for filling holes in the depth image based rendering system

Non local mean method has been widely used to fill the holes in the depth image based rendering system. For selected candidate patches, the weighting coefficient is very important for filling effect. In this paper, we select the optimal candidate patches depending on color, gradient and depth information. In order to obtain more appropriate weighting coefficient for each candidate patches, namely soft weighting, we constructed an equation sets between the valid pixels in the hole and the corresponding pixels in each candidate patches. The weighting coefficient is computed by the Orthogonal Matching Pursuit method (OMP), namely soft weighting. Finally, we combine the weight of several best matching patches to fill the holes. The results show that the proposed method has a better robustness and performance for filling hole in DIBR systems than other holes filling based on algorithms.
Cyber Security Framework for the Internet-of-Things in Industry 4.0

This research article reports the results of a qualitative case study that correlates academic literature with five Industry 4.0 cyber trends, seven cyber risk frameworks and two cyber risk models. While there is a strong interest in industry and academia to standardise existing cyber risk frameworks, models and methodologies, an attempt to combine these approaches has not been done until present. We apply the grounded theory approach to derive with integration criteria for the reviewed frameworks, models and methodologies. Then, we propose a new architecture for the integration of the reviewed frameworks, models and methodologies. We therefore advance the efforts of integrating standards and governance into Industry 4.0 and offer a better understanding of a holistic economic impact assessment model for IoT cyber risk.
SGPV: Stata module to calculate Second-Generation P-Value(s) (SGPV) and their associated diagnosis

sgpv allows the calculation of the Second-Generation P-Values (SGPV) developed by Blume et.al.(PLOS One 2018, American Statistician 2019) for and after commonly used estimation commands. The false discovery risk (fdr) can be also reported. The SGPVs are reported alongside the usually reported p-values.
EFEKTIVITAS MODEL PEMBELAJARAN QUANTUM LEARNING TERHADAP PENINGKATAN KETERAMPILAN MENULIS PUISI PADA SISWA KELAS X SMA INSHAFUDDIN BANDA ACEH

Poetry writing skills are one of the materials contained in Indonesian subjects. The main factor that causes low ability to write poetry in students is that students still have difficulty getting ideas, in other words the ideas owned by students have not developed well. In addition, the lack of application of interesting learning models makes students less interested in poetry writing lessons. The problem formulation in this research is whether quantum learning model can improve poetry writing skills in grade X SMA Inshafuddin Banda Aceh? The purpose of this research was to find out the effectiveness of Quantum Learning learning model in improving the ability to write poetry of grade X students of SMA Inshafuddin Banda Aceh. The research method used is experiment research with one-group pre-test-post-test design. The sample in this study was all grade X students of SMA Inshafuddin Banda Aceh which numbered 63 people. Instruments in this research is a test in the form of essays. Data analysis techniques using t- test techniques. The research showed that from the average value of the initial test (pretest) before the Quantum Learning model was applied, namely 56.85 and the final test (posttest) after the Quantum Learning model was applied, namely 79.77. Thus, the results of the study that there is an improvement in students' poetry writing skills using quantum learning models using test instruments in the form of essays. Based on the findings, it was concluded that students' poetry writing skills taught through quantum learning models effectively improve and achieve success in grade X students of SMA Inshafuddin Banda Aceh. The suggestion given based on the results of this research that quantum learning models are very effective is applied in the learning of poetry writing skills and teachers are expected to be able to equip themselves with knowledge about the learning model and involve students in the learning process so that students do not feel bored and learning objectives can be achieved as they should.
Augmented Reality Technology for the Introduction of Mobile-Based Spaces with the Hough Transform Method (Case Study: Akprind Institute of Science and Technology Campus Locations)

AKPRIND Institute of Science & Technology (IST AKPRIND) Yogyakarta is one of the private universities in Yogyakarta which has 3 different building locations so that it has many rooms and buildings in a large area. In addition, the shape of the room is similar and the lack of information and the location of the campus which is divided into three, often makes it difficult for new students to find a room to carry out the lecture process later. Augmented Reality (AR) is a concept of combining virtual reality with world reality (real life), so that 2-dimensional (2D) or 3-dimensional (3D) virtual objects seem to look real and blend into the real world. The AR camera will capture and identify markers and then position and place a virtual data object on the marker. In the process of creating an AR application, Unity3D tools and a database using Vuforia are required. The results of the application will be tested using the Standard Hough Transform (SHT) method. SHT is tested to get a conclusion about the detection distance value at the distance between the image and the camera. The test was carried out using 3 marker sizes with a tilt angle of 0 °, 15 °, 30 °, 45 °, 60 °, 75 °, and 90 ° carried out with 20 watts of lamp lighting and a distance of 2.5 meters between the lamp and the marker. Based on testing with the SHT method, the larger the marker size, the farther the marker distance can be detected.
O IMPACTO DA PANDEMIA NO MODO DE TRABALHO NO SETOR PÚBLICO E PRIVADO

With the onset of the health crisis caused by Covid-19, measures of social distance were taken on a large scale and globally. An immediate consequence of this was the decrease in economic activity worldwide. Invariably the work began to suffer the consequences of these measures. For a portion of the population, engaged in specific tasks, it was possible to continue exercising their work activities remotely, others were removed, some continued to work as before and a last group was disconnected. This work proposes to investigate the impact of Pandemic on the public and private sector work. To this end, it sought to assess how many busy people were away from their activities and how many have been doing their jobs remotely. With data from work during the pandemic, it can be seen that people employed in the public sector find themselves more intensely in remote work or even on leave due to social distance than workers in the private sector. Even separating the private sector according to economic activity, the public sector continues to have significantly different percentages than that observed in the services (which are closest), trade, industry or agriculture. Observing people in remote work, it is noted that they are whiter than the total employed, have a higher percentage of women than the total, and are considerably concentrated in people with complete higher education. In addition, a considerable percentage is in the public sector. This same sector showed a gain when it comes to distance due to social distance.
LibGuides: So You Want to Be a Writer?: Teen Writing Guide: The Path to Publication

A writing guide for teens aimed at writers of any skill level, from those who are just getting started on their writing journey to those who have been writing for some time.
Measuring the Effectiveness of Public Organizational Information System Functions

This study aims to identify validated constructs and their attributes that are used to assess the effectiveness of the public organization's information system functions. In this study, the function of information systems can be in the form of work units, groups of people, or individuals, who are given responsibility for an organization's information system. This study uses literature studies and in-depth interviews with individuals who are responsible for the development, management and operation of information systems in 5 public organizations in Semarang City, to identify 98 items measuring the effectiveness of information system functions. A total of 192 sample items were obtained from a survey of end users of information systems in 5 public organizations in Semarang City. Using principal component analysis and second-order confirmatory factor analysis methods, this study has succeeded in validating 4 main dimensions, namely: Institutional (3 factors), Service Quality (3 factors), System Quality (4 factors), and Individual and Organizational Benefits ( 4 factors). The final instrument can be used to evaluate the effectiveness of existing information system functions, and the results obtained can be used to determine the initial status of effectiveness and for benchmarking.
SISTEM PAKAR DIAGNOSIS PENYAKIT KUCING BERBASIS ANDROID

Batam has a variety of pets, one of them is a cat is indeed one type of pet that is popular tobe maintained especially in the city of Batam. Cats are very adorable animals, withbeautiful body shapes and feathers. This is why many people choose cats as a fun pet. Butcats are also prone to disease attacks. Increasing the interest of the wider community inmaintaining cats makes more and more information about how to maintain and maintaincats well, without needing to bring to veterinary clinics or veterinary physicians. However,the majority of cat owners are lacking in understanding the health of his pets. So the cat ismore susceptible to disease and does not close the possibility of transmit to humans. Lackof knowledge on the maintenance of cat health and disease management is feared canmake cat disease increasingly severe. In fact, proper care in cats determines the health ofthe cat. The expert system is very helpful and relieves work in finding out about the catdisease suffered without having to go where the expert. To facilitate decision making, theForward chaining method is required.
LibGuides: Technology Integration in the Classroom : Topics/Keywords

Technology integration is the use of technology resources computers, mobile devices, smartphones and tablets, digital cameras, social media platforms and networks, software applications, the Internet, etc. in daily classroom practices.
CRITERIA OF EFFICIENCY OF WORK OF PHOTO CLUB «LAGONAKI» IN THE SYSTEM OF ADDITIONAL EDUCATION OF THE REPUBLIC OF ADYGEY

The article examines the effectiveness of the «Lagonaki» photo club in the perspective of the system of additional art education in the Republic of Adygea. Its main criteria are revealed.
The incidence of visual-motor processes in the acquisition of orthographic representations in Spanish-speaking schoolchildren

espanolSe propone analizar la incidencia de los procesos perceptivo motrices en relacion a otros procesos cognitivos implicados en el desempeno ortografico para valorar su importancia en el aprendizaje de la ortografia en espanol. En una muestra de 96 escolares de tercero a sexto grado de contexto favorable, se seleccionaron alumnos con buen y bajo desempeno en ortografia evaluandose en nivel intelectual, velocidad de nominacion, vocabulario, memoria de trabajo visual, memoria de trabajo auditiva e integracion perceptivo motriz. Los resultados muestran que la integracion perceptivo-motriz y la memoria de trabajo auditiva predicen el rendimiento en ortografia y diferencian a los escolares con buen rendimiento en ortografia teniendo incidencia fundamentalmente al momento de la incorporacion de la palabra. Los resultados tienen implicancias psicopedagogicas para la ensenanza de la ortografia a partir de la escritura a mano, cuando se discute su uso en relacion a las tecnologias digitales. EnglishThis study analyses the relative incidence of visual-motor processes compared to other cognitive processes involved in spelling, to understand its relevance in orthography acquisition in school-aged children when contextual variables are controlled for and there has been explicit instruction. A sample of 96 students between third and sixth grade of primary education was divided into two groups according to their spelling performance (low and high performance). They were all assessed in rapid naming, vocabulary, visual and auditory working memory, visual-motor integration and intelligence. Results show that visual-motor integration and auditory working memory differentiate the low and high performance groups, being the variables that best predict spelling. The relationship between auditory working memory and visual-motor integration appears to establish when the word is being incorporated into the child’s lexicon. These results have important educational implications referred to teaching spelling through handwriting when its use is being debated against the use of digital technologies for writing acquisition.
Language, Sexism and Misogyny The Reception of Women’s Political Speech

This paper examines linguistic sexism and misogyny in the light of the philosopher Kate Manne’s recent proposals regarding the general definitions of these concepts and their relationship. Using the reception of female politicians’ speech as an illustration, it argues that misogyny can be expressed through a range of interactional and representational practices; many of these would not amount to ‘hate speech’ in the legal sense, but that does not mean they are innocuous. From a feminist perspective linguistic misogyny, together with sexism, can most usefully be understood as fulfilling an important political function in patriarchal societies: policing women’s public speech and undermining their claims to authority.
A Study on the Priorities of Blockchain Adoption for Port Logistics in Korea Using AHP: Focused on Busan and Incheon Ports

Purpose – This study has attempted to find appropriate factors of blockchain adoption in Korea related to maritime and port logistics industry to improve the application and implementation strategy of blockchain technology for maritime logistics.Design/methodology/approach – Lack of secondary data led to conduct survey for data collection and the Analytic Hierarchy Process (AHP) were adopted in order to analyze the priorities of rational decision making process.Findings – First, logisticians have difficulties getting a clear idea on the benefits and successful blockchain adoption, while consultants and academics worry more about the technological maturity of blockchain. Second, the adoption of blockchain technology into maritime port logistics has shown that competitive edge of the industry is still highly influenced by economic factors which is mostly related to financial and time related aspects.Research implications or Originality – Until now, there have been very few research conducted by experts on the field in both blockchain technology and maritime port logistics. Thus, this research has attempted to find the factors in adopting blockchain technology in Korean maritime logistics industry.
The Technique Used by The Teacher in Developing Student's Listening Skill at The Second Grade of SMA Negeri 2 Sukoharjo

This study aims at describing the technique used by the teacher to develop student’s listening skill at the second grade of SMA Negeri 2 Sukoharjo. The study focus on first, the technique used by the teacher in developing studentslistening skill at the second grade of SMA Negeri 2 Sukoharjo, second, how the teacher applied the technique, and third, the problem faced by the teacher when applying the technique for developing listening skill at the second grade of SMA Negeri 2 Sukoharjo. This study used a descriptive qualitative approach. The methods for collecting data used were observation and interview with Englishteacher at SMA Negeri 2 Sukoharjo. The result showed that the English teacher of SMA Negeri 2 developed students’ listening skills by listening to news and radio genres and listening to stories. In applying the technique the teacher used three stages in learning exploration, elaboration, and confirmation. Exploration is the teacher asked each students to look and text which give by the teacher.Elaboration is the student do the assignment from the teacher. And the last confirmation is check the answer with the way swap the answer sheet to another student. The problems faced by the teacher when applying those technique, were students’ listening skill, the difficulty in preparing materials, and choosing the right method so the students were able to understand what the teacher explained
In‐Air Photopolymerization: Continuous High‐Throughput Fabrication of Architected Micromaterials via In‐Air Photopolymerization (Adv. Mater. 3/2021)

In-air microfluidics exploits liquid jets to produce controlled microparticles at a mL min−1 throughput. In article number 2006336, Claas Willem Visser and co-workers expand in-air microfluidics to in-air photopolymerization, to continuously fabricate a library of architected micromaterials. This platform enables rapid fabrication of anisotropic particles and soft actuators, and printing of tunable microlens arrays.