Reviewerly/exHarmony huggingface dataset:
Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers.

A line of work initiated by Fortnow in 1997 has proven model-independent time-space lower bounds for the SAT problem and related problems within the polynomial-time hierarchy. For example, for the SAT problem, the state-of-the-art is that the problem cannot be solved by random-access machines in n^c time and n^o(1) space simultaneously for c < 2cos(π/7) ≈ 1.801. We extend this lower bound approach to the quantum and randomized domains. Combining Grover’s algorithm with components from SAT time-space lower bounds, we show that there are problems verifiable in O(n) time with quantum Merlin-Arthur protocols that cannot be solved in n^c time and n^o(1) space simultaneously for c < (3+√3)/2 ≈ 2.366, a super-quadratic time lower bound. This result and the prior work on SAT can both be viewed as consequences of a more general formula for time lower bounds against small-space algorithms, whose asymptotics we study in full. We also show lower bounds against randomized algorithms: there are problems verifiable in O(n) time with (classical) Merlin-Arthur protocols that cannot be solved in n^c randomized time and O(log n) space simultaneously for c < 1.465, improving a result of Diehl. For quantum Merlin-Arthur protocols, the lower bound in this setting can be improved to c < 1.5.
LibGuides: Use Library Search: Learn the essentials

Learn how to use Library Search to find the different types of resources you require for your research
Humanoid Robot Teleoperation System using a Fast Vision-based Pose Estimation and Refinement Method

Humanoid robot teleoperation is a complex task that requires sophisticated hardware and software interfaces. Three-dimensional human pose estimation can be effectively applied to the teleoperation of humanoid robots thanks to its intuitive and easy usability. However, when the human pose is wrongly inferred, it can cause critical and dangerous situations for robot operation. In this paper, a reliable humanoid robot teleoperation system is proposed, which involves the operation of a humanoid robot in an isolated location. The status of the humanoid robot is monitored and communicated to the operator in real time. This improves the telepresence of scenes compared to other methods. On the operator’s side, data are retrieved from the humanoid robots and manipulated to control the robot by estimating the operator’s pose visually. To reduce the risk of inaccurate pose estimation, pose candidates obtained from different points of view are fused while removing irrelevant poses. Then, a simple yet effective cascade filter that generates smooth motion changes is used for stable and flexible robot manipulation. Experiments confirmed that the proposed system can functions efficiently in real time and generates more accurate motion compared to conventional systems.
Design and technology trade-offs in mixed reality optical systems

By blending physical and virtual worlds, Mixed Reality (MR) is unlocking exciting new experiences and generating new paradigms in both social and professional interactions. Powered by continual advances in computer vision, graphical processing power, display technology, and input systems, MR is strengthening interactions between humans, their environment, and computers and enabling endless new opportunities. To enable a seamless and immersive experience, an MR device is a complex system, comprising of multiple optical, electrical, mechanical and computational sub-systems. Inputs from various user and environment sensors (i.e. head/eye/gesture tracking, depth scanners, etc.) are synthesized and fused with virtual content that is then projected to the user via the display subsystem. Providing a seamlessly integrated experience requires engineering a display around limitations of both optical system design, as well as that of the human visual system. After a brief introduction to Mixed Reality, this talk will aim to provide an overview of a typical MR display system, outline some of the key design parameters and constraints, and provide a few examples of navigating the trade-offs involved.
دور تقنيات المعلومات في تعزيز كفاءة البحث العلمي (The Role of IT in Enhancing the Efficiency of Scientific Research)

Arabic Abstract: نظرا للتطور الهائل لمعالجة البيانات والتوجه المتسارع نحو حوسبة معظم الأنشطة العامة والخاصة, كان لابد من إستخدام وتوظيف تقنيات المعلومات في مجال البحث العلمي والتي ساعدت في زيادة إنتاجيته وموثوقيته على الرغم من بعض العوائق المؤسساتية والسلوكية.تكمن مشكلة البحث بإن تقنيات المعلومات أصبحت ضرورة لايمكن الإستغناء عنها في مجال البحث العلمي بسبب تطور المكونات المادية وغير المادية للحواسيب, وعلى الرغم من أهميتها الشديدة الا أن العديد من العقبات واجهت توظيف هذه التقنيات في خدمة البحث العلمي, وعليه يسعى البحث الى تسليط الضوء على دور تقنيات المعلومات في تعزيز كفاءة البحث العلمي من خلال توفير الموارد المفيدة للباحثين وزيادة فاعلية السلوك البحثي لديهم. إن الفرضية الأساسية للبحث مفادها بأن تقنيات المعلومات تلعب دورا مهما ومؤثرا على تعزيز كفاءة وإنتاجية البحث العلمي على الرغم من العوائق التي تواجه توظيفها, ومن أجل التحقق من فرضية البحث فلقد إعتمد الباحثان في صياغة البحث على المنهج الوصفي من خلال الرجوع الى المصادر ذات العلاقة والأدبيات السابقة من بحوث علمية ومقالات وكتب وتجارب عملية سابقة.English Abstract: Based on the tremendous development of data processing and the accelerated trend towards computerization of most public and private activities, it was necessary to use and employ information technologies in the field of scientific research that helped increase its productivity and reliability despite some institutional and behavioral barriers.The research problem lies in the fact that information technology has become an indispensable necessity in the field of scientific research due to the development of the physical and non-physical components of computers, and despite its great importance, many obstacles have faced the employment of these technologies in the service of scientific research, and therefore the research seeks to shed light on the role of Information technologies in enhancing the efficiency of scientific research by providing useful resources for researchers and increasing the effectiveness of their research behavior.The basic hypothesis of the research is that information technologies play an important role and influence the enhancement of the efficiency and productivity of scientific research despite the obstacles facing its employment, and in order to verify the research hypothesis, the researchers relied on formulating the research on the descriptive approach by referring to the relevant sources and previous literature from scientific research, articles, books, and previous practical experiences.
ANALYSIS OF THE IMPACT OF LEACHATE ON THE QUALITY OF GROUNDWATER AND RIVER WATER IN PUTRI CEMPO LANDFILL IN MOJOSONGO SURAKARTA INDONESIA

Leachate which is the result of seepage from waste contains high organic pollutants. Therefore, leachate water needs to be treated first before disposal so as not to pollute the environment. Meanwhile, the leachate from the Putri Cempo landfill (TPAS) Mojosogo is discharged into the environment without being treated first because the existing installation is no longer functional. The general objective of this research plan is to analyze the impact of leachate from the Putri CempoMojosongo landfill (TPAS) on the quality of groundwater and river water. The specific objectives of this study were to measure the quality content of leachate water from TPAS Putri CempoMojosongo, to measure groundwater quality content (observation well-water), to measure river water quality before contamination with leachate water, to measure river water quality after contamination with leachate water, and to measure ground water quality of residents at a distance of 0-75 meters TPA; 76-150 meters; 156-225 meters; 225-300 meters; 301-375 meters; and 376-450 meters.This type of research is observational research with measurements and direct observations into the field. Water sampling is carried out by considering the criteria for pollutant sources and the distance of the pollution. The required amount of sample water is taken based on the calculation of the volume of sample requirements. The types of data used include primary and secondary data. Leachate samples were taken from the trenches along the TPAS because the leachate storage pool was not functioning. Groundwater sampling was taken from the closest observation well water to the TPAS, while river water sampling was carried out at a distance of 50 m before and 50 m after the outlet. Sample examination was carried out at the Yogyakarta Center for Environmental Health and Disease Control Engineering. The results of this study indicate that the quality of leachate exceeds the standards for parameters BOD, COD, and TSS. The quality of river water still exceeds the quality standard both before and after being contaminated with leachate water. As for the water quality of observation wells 1 and 2, the conditions are still in accordance with the standards for all parameters, but in the resident wells in each 75meters distance there are still quality parameters that exceed the standard. The parameters include turbidity, organic matter, Mn, and NO3. From these results, the leachate should be treated before disposal so that it does not pollute the surrounding environment.
Hunting for Pops and Clicks

This activity hones high school students’ deep listening skills, along with their ability to edit audio in Pro Tools. It introduces the primary editing tools of the user’s DAW, including selection, grabber, trimmer, zoom, scrubber, and fade tools. Students will learn how to use these tools by removing pops and clicks from a faulty audio recording. As recording equipment can be expensive, this lesson may help those who are looking to increase the quality of their music while working with gear that is lacking. It also shows those new to music production the methodical and detail-oriented work needed to create high quality music.
Implementation Digital Supply Chain Management System as a Reflection of Digital Transformation in New Normal Era: Study of System Crash and Fraud Prevention Analysis

Abstract- This study aims to evaluate the implementation process of digital supply chain management on Bali branch of PT. Airnav Indonesia. Digital supply chain management system in this research location is relatively recent, thus, this study focuses on the hindrance factors by providing guidance of crash system and fraud analysis. 8 informants as the samples of this research were put to the test, accordingly, 4 staffs of digital supply chain management organizers, 2 providers of goods and services as well as 2 users of goods and services. Data, those deriving from interviews, perpetual observations, and documentations were scrutinized by software Nvivo 12 Plus. Results achieved from the analysis determined 7 main nodes namely System, Fraud, Procurement, Vendor, Package, Goods, and Data. Two nodes, in particular, System and Fraud overlooked the research data signifying hindrance gaps arising from the crash system and fraud in the course of digital supply chain management. 11 hindrances happening as a consequence of fraud and 4 from that of crash system are applied as Denpasar, Bali branch of PT. Airnav Indonesia’s evaluation basis to improve and mend the implementation of digital supply chain management
De-Randomizing the Code Segment with Timing Function Attack

Recently, many effective defensive methods (e.g., ASLR, execute-only-memory) have been proposed to defeat the code reuse attack in the software system. These approaches provide strong system protection through address randomization or memory access restriction. However, this paper identifies a new weak point in these approaches, i.e., missing time protection. We propose a new attack method called timing function attack, which can initiate a code reuse attack even against the state-of-the-art defense techniques. Previous solutions utilize various techniques to hide the spatial information. However, we still can obtain critical security information through the time channel. Specifically, we leverage the function execution time to conduct a side-channel attack. Further, we de-randomize the code segment layout with the timing-channel attack result. Finally, we perform a code-reuse attack with gadgets gathered in previous steps, compromising the whole system. To validate our timing function attack in the real world, we conduct two attacks on two JavaScript engines, i.e., ChakraCore and Chrome v8. Evaluation results show that our attack can successfully bypass the existing defense techniques, such as function-granularity ASLR and XOM, and escalate the privilege. Besides, we also discuss some solutions to prevent and defend our proposed timing function attack.
Running neural networks in Android

The previous chapters developed a Python project for building a generic neural network that works in desktop computers. This chapter builds a graphical user interface (GUI) for the project using a library called “Kivy” so that the user can build the network through a number of clicks. Kivy is a cross-platform Python library for building natural user interfaces. Thanks to the python-for-android project, the Kivy applications can also be made available in mobile devices (e.g. Android). This chapter makes the project available for Android devices. Please refer to Chapter 1 for the instructions for installing Kivy. Note that this chapter will not discuss many details about Kivy, and the reader may need to access other resources to learn more about Kivy.
Vein Pattern Visualisation using Conditional Generative Adversarial Networks

Utilising vein pattern as a biometric attribute for forensic identification in crime investigation has been challenging because vein patterns are almost undetectable in standard RGB images. Significant research efforts for uncovering vein patterns have been recently made based on various computational techniques such as artificial neural networks, optical vein disclosure, auto-encoders, etc. While some promising results have been achieved using these methods, comparing with the NIR reference images, these computational techniques are still struggling to provide reliable outcomes.In this paper, we propose a new method that performs vein pattern visualisation based on a conditional Generative Adversarial Network (GAN). GANs have shown promising results on image translation tasks in other areas. Therefore, for the first time, a specialised conditional GAN is proposed for translating colour RGB images to NIR images in this paper. The performance evaluation conducted on a small dataset shows the efficiency of our proposed method by uncovering over 80% of vein pixels in forearms of eleven subjects.
Story Time (Intermediate)

In this project designed for high school students, learners make an audio book of a children’s story. They record the narration, add music and sound effects, and mix down the final product. This project demonstrates how a DAW like Ableton Live, and hardware such as Push or Launchpad, can be used for more than making beats. The project gets students thinking about sound design, working collaboratively, learning to use a microphone properly, and working on real-life tasks. Although this project can be completed as a solo project, students enjoy the opportunity to work in small groups because they can delegate tasks based on each other’s preferences and strengths.
Implement Use32bit, Synchronized, and LoggingLevel SettingsView Properties

In Chapters 13 and 14, we implemented GeneralView and SettingsView. In this chapter, we implement additional SettingsNode properties – Use32bit, Synchronized, and LoggingLevel. Adding the SourceConnection property was intense, so we begin this chapter by adding one straightforward and simple property implementation: User32bit. Be forewarned, the intensity increases.
Local SGD Meets Asynchrony

Distributed variants of stochastic gradient descent (SGD) are central to training deep neural networks on massive datasets. Several scalable versions of data-parallel SGD have been developed, leveraging asynchrony, communication-compression, and gradient steps. Current research seeks a balance between distributed scalability--seeking to minimize the amount of synchronization needed--and generalization performance--seeking to achieve the same or better accuracy relative to the sequential baseline. However, a key issue in this regime is largely unaddressed: if ``local data-parallelism is aggressively applied to better utilize the computing resources available with workers, generalization performance of the trained model degrades. In this paper, we present a method to improve the local scalability of decentralized SGD. In particular, we propose two key techniques: (a) shared-memory based asynchronous gradient updates at decentralized workers keeping the minibatch size small, and (b) an asynchronous non-blocking in-place averaging overlapping the updates, thus essentially utilizing all compute resources at all times without the need for large minibatches. Empirically, the additional noise introduced in the procedure proves to be a boon for better generalization. On the theoretical side, we show that this method guarantees ergodic convergence for non-convex objectives, and achieves the classic sublinear rate under standard assumptions. On the practical side, we show that it improves upon the performance of SGD and related schemes, without compromising accuracy.
A Study on Determinants of Business Environment (Technological Strength, Competitive Strength, Government Support, and Financial Support)

Corporate survival and growth depend on corporate adaptation and addressing challenges of environmental changes. In an open system, all activities of an entity take place in constant interaction with the internal and external environments. Environmental changes pose a threat to the survival of companies and also provide opportunities for growth. Changes in the environment surrounding businesses give profound influnce on the establishment of management strategies and the achievement of business performance. The business environment is changing rapidly as the needs of customers increase and various technological innovations are commercialized. To meet these changes, an entity needs to develop an appropriate management strategy. In order to secure competitiveness in a complex market environment, various control systems must also be established.In this study, the prior study of the management environment, management strategy, and business performance was reviewed and empirical research was carried out. Based on prior research, technological strength, competitive strength, government support policy and financial support were adopted as factors for the business environment. The collected data were analyzed using the default statistics of SPSS 22.0. Smart PLS 2.0 (partial least squares) using a structured formula. The results of study are shown. First, the management environment (technological strength, competitive strength, government support policy, and financial support) had a significant impact on management strategy. Second, management strategies had a significant impact on business performance. This means that in order for an entity to settle in the market, it is essential to establish a discriminatory management strategy in various business environments. To measure an entity's performance, active use of its management strategy is necessary.
Performance Enhancement of Valid-time Query Retrieval through Application of Access Method

Valid-time database depicts a certain error-free effigy of database which besteads agile delegation of the set of interval objects that may be historical or condign to the current environment and even pertinent for the future aspects that can be ameliorated randomly at any point in valid time domain. As data is emerging endlessly with time in a vast magnitude so to retrieve it efficiently is a key idea of research. The access method is exigent for time-varying databases than conventional one due to their timely and eternally growing traits. In this paper, we have implemented data model and wielded the binary-tree approach to implement query retrieval acquisition of time-oriented database, which sustains the preferential scenario as collated to the extant approach supported by database environment. We also adumbrated the various proposed access approaches that support dynamic interval management. In the end of the paper, we have summarized them based on the time and capacity requirement.
Statistical inference for individual fairness

As we rely on machine learning (ML) models to make more consequential decisions, the issue of ML models perpetuating unwanted social biases has come to the fore of the public's and the research community's attention. In this paper, we focus on the problem of detecting violations of individual fairness in ML models. We formalize the problem as measuring the susceptibility of ML models against a form of adversarial attack and develop a suite of inference tools for the adversarial loss. The tools allow practitioners to assess the individual fairness of ML models in a statistically-principled way: form confidence intervals for the adversarial loss and test hypotheses of model fairness with (asymptotic) non-coverage/Type I error rate control. We demonstrate the utility of our tools in a real-world case study.
THE EFFECT OF JIGSAW STRATEGY ON STUDENTS’ READING COMPREHENSION AT SMK SWASTA YAPIM MEDAN

The aim of the research was to find out the effect of applying the Jigsaw strategy on the students’ reading comprehension at X grade at SMK Swasta Yapim Medan. The researchers applied quantitative method. According to the research findings, it is concluded that Jigsaw Strategy gave more effective application on teaching the reading comprehension at Tenth Grade students at SMK Swasta Yapim Medan than applied conventional strategy. The mean of applying Jigsaw strategy is 19.83. Standard of Deviation is 8.80, and Standard of Error mean is 1.63 and number of students is 30. The mean by applying conventional strategy is 11.8 and standard of deviation is 10.18, and Standard of Error mean is 1.89 and number of students is 30. Standard of Error from different mean is 2.50. The value of to   is 3.33. From this research, it was known that df 60 at the significance degree 5% or ttable 5% of df 60 was 2.00. Then from the data it was known that df 60 at the significance degree 1% or ttable of df 1% was 2. 65.
Computational Pathology: What is the way forward?

Deep learning is a state-of-the-art pattern recognition technique that has been found extremely powerful for the analysis of digitized histopathological slides. The number of studies presenting highly promising results for solving diagnostic tasks in histopathology has grown exponentially over the last few years. Examples are subtyping of lung and skin tumors, breast and prostate cancer grading, and detection of metastases. Unfortunately, few studies so far include an external validation using large, independent cohorts, let alone study the true clinical usefulness in prospective studies. As a result, the balance between promise and hype in public opinion may be skewed. In this talk, I will present some of the current possibilities of AI for histopathology, and discuss potential future developments. I will also address the challenges that have to be overcome before we can deliver true value to pathologists, patients, and the healthcare system. These are in many cases of a non-technical nature. Issues related to the availability of large heterogeneous data sets, possibilities to obviate expensive manual labeling of data, workflow integration, ethical, legal and regulatory issues, explainability, and reimbursement models all lie on the way forward for full adoption of computational pathology.