Reviewerly/exHarmony huggingface dataset:
Two-Cloud Private Read Alignment to a Public Reference Genome

The human genome is the ultimate identifier of an individual even though most of it is identical across human beings. Biological differences between two individuals are encoded in a set of base pair variations called Single Nucleotide Polymorphisms (SNPs), which may be indicative of an individual's personal information such as skin color and susceptibility to diseases. The large-scale nature of human genome necessitates outsourcing of genomic computations to public clouds. However, this raises some serious privacy concerns. The fact that the human reference template is public poses additional challenges. In this paper, we propose a two-cloud private read alignment algorithm using the Burrows-Wheeler Transform and the FM-Index. Our algorithm runs in the same order of complexity as the core FM-Index alignment algorithm without privacy. Our proposed scheme is able to achieve accuracy comparable to modern alignment algorithms such as Bowtie with complete privacy.
Distributed GAN-Based Privacy-Preserving Publication of Vertically-Partitioned Data

In the era of big data, user data are often vertically partitioned and stored at different local parties. Exploring the data from all the local parties would enable data analysts to gain a better understanding of the user population from different perspectives. However, the publication of vertically-partitioned data faces a dilemma: on the one hand, the original data cannot be directly shared by local parties due to privacy concerns; on the other hand, independently privatizing the local datasets before publishing may break the potential correlation between the cross-party attributes and lead to a significant utility loss. Prior solutions compute the privatized multivariate distributions of different attribute sets for constructing a synthetic integrated dataset. However, these algorithms are only applicable for low-dimensional structured data and may suffer from large utility loss with the increase in data dimensionality. Following the idea of synthetic data generation, we propose VertiGAN, the first framework based on a generative adversarial network (GAN) for publishing vertically-partitioned data with privacy protection. The framework adopts a GAN model comprised of one multi-output global generator and multiple local discriminators. The generator is collaboratively trained by the server and local parties to learn the distribution of all parties' local data and is used to generate a high-utility synthetic integrated dataset on the server side. Additionally, we apply differential privacy (DP) during the training process to ensure strict privacy guarantees for the local data. We evaluate the framework's performance on a number of real-world datasets containing 68--1501 classification attributes and show that our framework is more capable of capturing joint distributions and cross-attribute correlations compared to statistics-based baseline algorithms. Moreover, with a privacy guarantee of epsilon=8, our framework achieves around a 2%~15% improvement in classification accuracy compared to the baseline algorithms. Extensive experimental results demonstrate the capability and efficiency of our framework in synthesizing vertically-partitioned data while striking a satisfactory utility-privacy balance.
A Single Camera Unit-based Three-Dimensional Surface Imaging Technique

Abstract This paper introduces a simple three-dimensional (3D) stereoscopic method using a single unit of an imaging device consisting of a charge-coupled device (CCD) and a zoom lens. Unlike conventional stereoscopy, which requires a pair of imaging devices, 3D surface imaging is achieved by 3D image reconstruction of two images obtained from two different camera positions by scanning. The experiments were performed by obtaining two images of the measurement target in two different ways: (1) by moving the object while the imaging device is stationary, and (2) by moving the imaging device while the object is stationary. Conventional stereoscopy is limited by disparity errors in 3D image reconstruction because a pair of imaging devices is not ideally identical and alignment errors are always present in the imaging system setup. The proposed method significantly reduced the disparity error in 3D image reconstruction, and the calibration process of the imaging system became simple and convenient. The proposed imaging system showed a disparity error of 0.26 in the camera pixel.
Instrument Analysis of Library Service Components in Distance Education Conceptualized Library Accreditation at Universitas Terbuka

Library accreditation is a form of legal recognition of a library in an institution. Open university libraries that have the concept of distance education carry out library accreditation from the directorate of standardization of the National Library of Indonesia. Where there are 6 components and 103 instruments. in this paper only discusses component 3, namely the service component, where there are 19 instruments. From the discussion of library service component instruments, there are several instruments that are not suitable for open university libraries that implement distance education, namely library visitor instruments, where those who come offline are far different from conventional universities while online open university library visitors are more than 16 million. In addition, the collection lending instrument is also different, where borrowing at open universities is done virtually. In the future, there needs to be a distinction for instruments for distance education libraries and conventional university libraries.
DIGITAL CURRENCY: A CONCEPTUAL FRAMEWORK OF PERFORMANCE

This paper explores and elucidates the concept of Cryptocurrency. It contributes a framework of digital money and also provides an analysis of the price range, which influences Cryptocurrency volume and market capitalisation. Findings from the OLS analysis show that the low price genre influences the volume and market capitalization of Cryptocurreny. Based on the results, the paper develops a price, volume and market capitalization framework for Cryptocurrency. The findings provide a practical and conceptual contribution for investors and future researchers on the concept of digital currency.
FORMULASI SEDIAAN SABUN CAIR EKSTRAK LIDAH BUAYA (Aloe vera L.)

Skin is the external part of body which protects internal organs from external interference, such as bacteria, viruses, cold air, hot sun, exposure to UV radiation, pressure, etc. Maintain clean skin is an important thing to do to prevent skin diseases. The way to keep our skin clean is use a mild soap which is good for the skin. Soap is one of the preparations commonly used in daily life. The ingredients of liquid soap are made up of surfactants, thickeners, preservatives and pH regulators. The presence of surface-active agents in soap is important for cleansing the dirt from the skin. Thickeners are important in the soap to obtain the required viscosity of the formulation.&#x0D; The aim of this study was to determine the characteristics of aloe vera (Aloe Vera L.) liquid soap. This type of research is an experimental study with a completely randomized design. The formula will be tested for physical and chemical properties which include organoleptic tests, viscosity tests, specific gravity tests, foam stability tests, and pH tests. Aloe vera liquid soap in all formulas has physical and chemical characteristics that meet the standards where the viscosity values obtained are 2616-4188 cP, specific gravity 1.067-1.082, foam resistance 61-70%, and pH 6.1-7
Edukasi Bahaya Logam Berat dalam Tubuh dan Sumber Kontaminannya

Contamination in aquatic systems has an indirect impact on survival. One type of contamination of the aquatic system is the presence of heavy metal contamination. Continuous exposure to heavy metals can cause kidney, liver, neurological disease, vascular disease, and cancer. Sources of heavy metals come from the mining industry, paint industry, use of pesticides, etc. To provide insight to the public, it is necessary to conduct education about the sources of heavy metal contamination and its impact on the body. The implementation of this community service activity is in the form of webinars for active students. A total of 63 students participated in this educational activity. The selection of students as the target community is based on their role in society. The methods used in this activity include presentations by lecturers and students, as well as discussions and questions and answers. To measure knowledge, pre-test and post-test were conducted.
Ground Joinability and Connectedness in the Superposition Calculus

Abstract Problems in many theories axiomatised by unit equalities (UEQ), such as groups, loops, lattices, and other algebraic structures, are notoriously difficult for automated theorem provers to solve. Consequently, there has been considerable effort over decades in developing techniques to handle these theories, notably in the context of Knuth-Bendix completion and derivatives. The superposition calculus is a generalisation of completion to full first-order logic; however it does not carry over all the refinements that were developed for it, and is therefore not a strict generalisation. This means that (i) as of today, even state of the art provers for first-order logic based on the superposition calculus, while more general, are outperformed in UEQ by provers based on completion, and (ii) the sophisticated techniques developed for completion are not available in any problem which is not in UEQ. %In particular, this includes key simplifications such as ground joinability, which have been known for more than 30 years. In fact, all previous completeness proofs for ground joinability rely on proof orderings and proof reductions, which are not easily extensible to general clauses together with redundancy elimination. In this paper we address this limitation and extend superposition with ground joinability, and show that under an adapted notion of redundancy, simplifications based on ground joinability preserve completeness. Another recently explored simplification in completion is connectedness. We extend this notion to ``ground connectedness'' and show superposition is complete with both connectedness and ground connectedness. %We implemented ground joinability and connectedness in a theorem prover, iProver, the former using a novel algorithm which we also present in this paper, and evaluated over the TPTP library with encouraging results.
ExtendedHyperLogLog: Analysis of a new Cardinality Estimator

We discuss the problem of counting distinct elements in a stream. A stream is usually considered as a sequence of elements that come one at a time. An exact solution to the problem requires memory space of the size of the stream. For many applications this solution is infeasible due to very large streams. The solution in that case, is to use a probabilistic data structure (also called sketch), from which we can estimate with high accuracy the cardinality of the stream. We present a new algorithm, ExtendedHyperLogLog (EHLL), which is based on the state-of-the-art algorithm, HyperLogLog (HLL). In order to achieve the same accuracy as HLL, EHLL uses 16% less memory. In recent years, a martingale approach has bean developed. In the martingale setting we receive better accuracy at the price of not being able to merge sketches. EHLL also works in the martingale setting. Martingale EHLL achieves the same accuracy as Martingale HLL using 12% less memory.
Evaluating Snowflake as an Indistinguishable Censorship Circumvention Tool

Tor is the most well-known tool for circumventing censorship. Unfortunately, Tor traffic has been shown to be detectable using deep-packet inspection. WebRTC is a popular web frame-work that enables browser-to-browser connections. Snowflake is a novel pluggable transport that leverages WebRTC to connect Tor clients to the Tor network. In theory, Snowflake was created to be indistinguishable from other WebRTC services. In this paper, we evaluate the indistinguishability of Snowflake. We collect over 6,500 DTLS handshakes from Snowflake, Facebook Messenger, Google Hangouts, and Discord WebRTC connections and show that Snowflake is identifiable among these applications with 100% accuracy. We show that several features, including the extensions offered and the number of packets in the handshake, distinguish Snowflake among these services. Finally, we suggest recommendations for improving identification resistance in Snowflake. We have made the dataset publicly available.
Comprehensive Study of The Cloud Computing Service Providers

&lt;p&gt; Whether it’s cellphones, personal computers, or gaming consoles, technology is a part of everyone’s everyday lives, and storage is frequently a problem. One of the solutions we have for this difficulty is the on-demand accessibility of computer framework assets, which enables cloud storage and makes it accessible in any format and from any device. It is a major benefit of cloud computing. Amazon Web Administrations (or basically AWS) may be a secure cloud services stage advertising about everything businesses ought to construct advanced applications with adaptability, versatility, and unwavering quality. Another advantage is that it is significantly less expensive than purchasing items with comparable functionality, such as an SSD storage device. For many enterprises, it is also preferable to host their servers in the cloud using services like Google Cloud and Oracle Cloud. Our main topic of the paper is to compare three different major cloud computing services—AWS, Google, and Azure. Since there are different types of cloud computing services available, we would compare them to determine which is best for usage by individuals or organizations. We can also look at the services’ shared features and unique aspects that they provide to consumers. &lt;/p&gt;
Secret UAV Flight Paths Hiding in Digital Media with ElGamal Public Key Steganography

&lt;p&gt;UAV will need a travel route with specific location coordinates to complete the flight mission. However, many missions must be completed in secret, such as state duties, to ensure the safety of UAV flying from attacks by irresponsible parties. For this reason, a cryptographic mechanism for travel route data and steganography on a digital media is needed so that the security of data transmission is more guaranteed. The method used is ElGamal public key cryptography due to the good decryption speed and more difficult mathematical calculations thus improving data security. The Steganography method used is &lt;em&gt;Least Significant Bit&lt;/em&gt; (LSB) so that the quality of digital media after data insertion is not much different from the original. It was found that the entire experiment reached a value above 30 which showed excellent public key Steganography quality.&lt;/p&gt;
IPO Artificial Intelligence and Intellectual Property: Call for Views - Trade Marks

&lt;p&gt;[First paragraph]: &lt;/p&gt; &lt;p&gt;"1. If AI technology becomes a primary purchaser of products, what impact could this have on trade mark law? &lt;/p&gt; &lt;p&gt;The impact of this development on trade mark law will depend on exactly how the AI is used in the purchasing context. AI technology is currently used in the purchasing process both as a virtual assistant and in creating product recommendation systems. The use of AI in these ways involve significant human input. If AI becomes a primary purchaser of products with little human input, however, this may lead to changes in the normative underpinnings of trade mark law, as axioms about the purpose of trade marks vis-à-vis the behaviour of human consumers becomes less applicable."&lt;/p&gt;
Computational Processes for General Intelligence The SEOM Model

&lt;p&gt;The ‘brain-mind-intelligence’ structure may be considered analogous to a ‘computer-operating system (OS)-application’ construct. Software development would be far more difficult without the benefit of abstractions like file and memory handles, and graphical user interfaces, implemented in operating systems. The easy access to application-level semantics, provided by the infrastructure of the OS, simplifies application development. Abstractions can play a similar role in producing intelligent systems. The power of abstractions may be determined by their ability to unify the treatment of several types of higher concepts. Unifying various concepts in the domain of intelligence, such as problems, solutions, objects, and emotions, through abstractions will be of immense value. This paper shows how ‘higher-level perceptions’ could be used to serve this objective and construct an OS-like infrastructure. With the infrastructure in place, ordinary software objects developed and deployed using standard methods, become accessible using the semantics provided by the infrastructure. Now, after brief training exercises, the objects would be available for intelligent use. The focus, therefore, is on the design of the infrastructure that could play a mind-like role in humans.&lt;/p&gt; &lt;p&gt;The design uses a new, non-symbolic, non-connectionist, transmutable method of representation that tackles the so-called ‘frame’ and ‘grounding’ problems of artificial intelligence. The infrastructure enables the conversion of sensory inputs to transmutable representations amenable to semantic modifications, to flexibly determine actions to perform on software objects developed externally. Furthermore, the infrastructure serves to ground and functionally manage the transmutable, connectionist, and symbolic systems. Thus, the new model plays a critical role in building intelligent systems that overcome major problems in learning and action selection, including brittleness associated with the limited semantics of purely symbolic and connectionist designs. &lt;/p&gt; &lt;p&gt;The new model is then evaluated in terms of features, against criteria set forth independently by Newell, Sun, Vernon, and others. In addition, a new measure of intelligence introduced in this paper is used to quantitatively compare the proposed model with some others developed over the years. &lt;/p&gt;
A figure of merit for noise power and area optimization of neural amplifiers

&lt;p&gt;This is a pre print version of our work on noise power and area optimization of neural amplifiers. We have introduced a figure of merit to quantify the noise and area optimization.&lt;/p&gt;
An Autocratic Strategy for Multi-attribute Group Decision Making Based on Neutrosophic Triplets: A Case Study in Prioritizing Recreation Areas in the Tourist Industries

Multi-attribute decision making (MADM) as a component of decision science is a significant and essential aspect of engineering planning that may be utilized in a variety of contexts.Due to the complexity of real-life systems, decision-makers (DMs) may encounter several uncertainties throughout the decision-making process.Neutrosophic theory, a generalization of fuzzy set theory and intuitionistic fuzzy set theory, is an efficient tool for dealing with inconsistent, imprecise, and vague values.This paper proposes an autocratic strategy for dealing with multi-attribute group decisionmaking problems under a neutrosophic environment.The transformation of multiple management decisions and weight matrices into a uniform aggregated assessment matrix is the core aspect of the proposed decision-making strategy.The tourism sector has a unique role on the market and contributes the most to a sustainable economic growth.Due to the picturesque surroundings that may include a green forest, hills, rivers, and marshes, people could often select such a location for relaxation purposes.Therefore, the goal of this paper is to make it possible to choose the best tourist destinations from a range of available options.The proposed method is utilized for prioritizing recreation areas in a tourist industry, where the evaluated values of the attributes for the selected alternatives and the weights of the respective attributes are represented by decision-makers based on single-valued neutrosophic triplets.
DRBAC-Healthchain (DRBAC-HC): Decentralized Role Based Access Control Framework For Achieving Security And Privacy Using Blockchain In Healthcare System

With the Internet of Things' (IoTs) rapid expansion, effect, and potential, the healthcare industry is shifting to a new paradigm that permits wearable devices to collect patient medical data and use it for monitoring and diagnosis. Tamper-proof data and avoidance of the centralized record-keeping mechanism are crucial requirements in any wellness system due to its exigent and precise necessity of data requests. Along with the same, transactions’ auditability and revocation of access rights upon certain records for specific stakeholders are also a few of the other prerequisites in the medical segment. Blockchain, as a distributed ledger, offers a solution for securely storing data while providing transparency in transactions and interactions among stakeholders. Synchronous interaction among patient, doctor, pharmacy, consultant, hospital, etc. with all possible data security is another concern that could be resolved through the usage of Blockchain’s smart contracts wherein interaction among these stakeholders is permitted in a traceable and irreversible mode. The purpose of this paper is to discuss the potential use of Blockchain technology in the healthcare sector to achieve data security, transparency, and reliability without the involvement of a trusted third party. In terms of security and privacy, we survey and provide an exhaustive review of Blockchain-based access control systems for the healthcare system. In addition, for the healthcare system, we propose and implemented a decentralized role-based access control model based on Ethereum smart contract.
Blends and Overlaps in Relational Morphology

The formalism of Relational Morphology (R. Jackendoff and J. Audring, The Texture of the Lexicon, Oxford University Press, 2020) offers a straightforward way to encode the lexical entry of a one-off blend such as spork, and to relate it to words it is built from, e.g.spoon and fork.The approach extends easily to cases of overlap, such as when Spanish and English are blended to form Spanglish.Blending with overlap occurs not just with these one-off items, but also with certain affixes, for instance -ery.Nouns such as mock-ery and nunn-ery simply concatenate the base and the affix.But if the base ends in -er, for instance in flatter, the derived form is not ✶ flatterery but flattery.We argue that this haplology is not the result of a truncation process, but rather that the stretch -er-is an overlap of the base with the affix.We show that the formal principles that account for the form of one-off blends and overlaps are readily generalized to affixes such as -ery that can overlap with their bases.This generalization is expected in the Relational Morphology framework, but not in more traditional procedural approaches to these phenomena.
Didactic-Artistic Tools and Artistic Works Demonstration Contribution to Students’ Artistic Skills Development

The goal of the study was to investigate the impact of didactic tools and works demonstration on the artistic skills development. The study found a high positive correlation between didactic-artistic tools and artistic skills development, as well as between artistic works demonstration and artistic skills development. Didactic-artistic tools explain respectively 84.5% and 52.8%; meanwhile, artistic works demonstration explains 92.7% and 79.4% of the variance of artistic skills development.