bluuebunny/crossref_metadata_2025 huggingface dataset:
Implementasi Penerbitan Sim D Bagi Penyandang Disabilitas Di Polrestabes Semarang Berdasarkan Peraturan Kapolri Nomor 9 Tahun 2012 Tentang Surat Izin Mengemudi
Authors: Novriansyah Seko , Cahyarini Luluk Lusiati
Published: September 2022

The rights of persons with disabilities must be achieved so that persons with disabilities can play a role in their social environment, and have independence in realizing their own welfare. The purpose of writing this journal is to determine the implementation of SIM D Issuance for Persons with Disabilities in Semarang Police and the obstacles faced by Polrestabes Semarang in the process of implementing SIM D issuance for persons with disabilities based on the Chief of Police Regulation Number 9 of 20l2. The method used in this research is sociological juridical research. , with analytical descriptive specifications, the results of this study indicate that the issuance of SIM D for persons with disabilities at the Semarang Police Station is in accordance with Police Regulation Number 9 of 20l2 but its implementation has not been optimal. Obstacles faced by the Semarang Police and its efforts: lack of awareness of persons with disabilities on the importance of SIM D, it is necessary to socialize, lack of understanding of persons with disabilities about the procedures for the SIM D practical exam, lack of understanding from the Semarang Police about the procedures for the SIM D practical exam in obtaining SIM D services.Keywords: sim d; disabilities; polrestabes semarang. AbstrakHak penyandang disabilitas harus dicapai agar penyandang disabilitas dapat berperan dalam lingkungan sosialnya, dan memiliki kemandirian dalam mewujudkan kesejahteraannya sendiri. Tujuan dari penulisan jurnal ini yaitu untuk mengetahui implementasi Penerbitan SIM D Penyandang Disabilitas di Polrestabes Semarang dan kendala yang dihadapi Polrestabes Semarang dalam proses pelaksanaan Penerbitan SIM D bagi penyandang disabilitas berdasarkan Peraturan Kapolri Nomor 9 Tahun 20l2. Metode yang digunakan dalam penelitian ini adalah penelitian yuridis sosiologis, dengan spesifikasi deskriptif analitik, Hasil penelitian ini menunjukkan bahwa penerbitan SIM D bagi penyandang disabilitas di Polrestabes Semarang sudah sesuai dengan Peraturan Kepolisian Nomor 9 Tahun 20l2 namun pelaksanaannya belum maksimal. Kendala yang dihadapi Polrestabes Semarang dan upayanya: kurangnya kesadaran penyandang disabilitas akan pentingnya SIM D, maka perlu sosialisasi, kurangnya pemahaman penyandang disabilitas tentang tata cara ujian praktek SIM D, kurangnya pemahaman dari Polrestabes Semarang tentang tata cara ujian praktek SIM D dalam pelayanan perolehan SIM D.Kata kunci: sim d; disabilitas; polrestabes semarang.
Perlindungan Hukum Yang Berkeadilan Korektif Kepada Mitra Usaha Lainnya Dalam Penggabungan Perseroan Terbatas
Authors: Kasanda Muhammad , Handoko Widhi
Published: September 2022

The article entitled, "legal protection with corrective justice to other bussiness partners in a merger of limited liability companies", will disscuss: how is regulation of legal protection to other bussiness partners in a merger of limited liability companies. The results of this research are first : regulation of legal protection to other bussiness partners in a merger of limited liability companies has been regulated in limited liability companies law which has provided protectiob to other business partners, as well as in the implementing regulation which can be distinguished into structural protection, financial with silent majority and super majority systems, and protection with the localization systems. Second: the merger of limited liability companies gives corrective legal protection for other bussiness partners by applying the principle of appraisal rights, as form of the protection for weak parties in a merger. So the corrective justice is in charge to rebuilding the equality. Third: the concept of legal protection to other bussiness partners in a merger of limited liability companies based on corrective justice in the future is to apply, justice, tranparency, accountability, responsibility.Keywords: Limited Liability Company; Business Partners; Merged Limited Liability CompanyAbstrakArtikel ini berjudul, “Perlindungan Hukum yang Berkeadilan Korektif terhadap Mitra usaha lainnya dalam Penggabungan Perseroan Terbatas” ini akan membahas mengenai: Bagaimana pengaturan perlindungan hukum terhadap mitra usaha lainnya dalam penggabungan Perseroan Terbatas. Metode penelitian yang digunakan dalam penelitian tesis ini adalah metode penelitian preskriptif, penelitian hukum bertujuan untuk mempelajari tujuan hukum, nilai-nilai keadilan, validasi aturan hukum, konsep-konsep hukum, dan norma-norma hukum. Hasil penelitian terkait dengan jawaban dari permasalahan di atas adalah pertama : Pengaturan perlindungan hukum terhadap mitra usaha lainnya dalam penggabungan Perseroan Terbatas  telah diatur dalam Undang-Undang Perseroan Terbatas yang dimana telah memberikan perlindungan kepada mitra usaha lainnya, begitu juga dalam peraturan pelaksanaannya, yang dapat dibedakan ke dalam perlindungan secara structural, financial dengan sistem silent majority dan super majority, serta perlindungan dengan sistem lokalisasi. Kedua : Penggabungan perseroaan terbatas memberikan perlindungan hukum korektif bagi mitra usaha lainnya dengan menerapkan prinsip appraisal rights, sebagai salah satu bentuk perlindungan kepada pihak yang lemah dalam merger. Sehingga keadilan korektif bertugas membangun kembali kesetaraan tersebut. Ketiga : Konsep perlindungan hukum terhadap mitra usaha lainnya dalam penggabungan perseroan terbatas yang berbasis keadilan hukum korektif di masa yang akan datang yaitu dengan menerapkan Keadilan, Transparansi, Akuntabilitas, Responsibilitas.Kata kunci : Perseroan Terbatas; Mitra Usaha; Penggabungan Perseroan Terbatas
Pembatalan Sertifikat Hak Milik Atas Tanah Karena Overlapping Di Kantor Pertanahan Kota Semarang
Authors: Saraswati Annisa Meinar , Ratna M.S. Edith
Published: September 2022

Right of Ownership is the right desired by everyone, because property rights are the highest rights and the strongest rights compared to other land rights. The purpose of this research was to find out the implementation of land ownership certificate cancellation due to overlapping in the Semarang City Land Office, to find out the legal consequences of the cancellation of land ownership certificates due to overlapping, and to find out what the injured party could do to cancel the certificate of rights belongs to the land because of overlapping. Based on the research carried out, it can be seen that the cancellation of the certificate of ownership of land was carried out due to overlapping in the issuance of certificates, namely 2 (two) fields of SHM No. 518 and 519 which were boarded by 3 (three) No. SHMs. 2361, 2362 and 2363 which were later canceled by the State Administrative Decision Number: 049 / G / 2014 / PTUN. Smg. the legal consequences of the cancellation of land title certificates, namely the land ownership certificate disputed in the case will be transferred to the party who wins the case, while those who lose the case must give up their rights.Keywords: Soil; Cancellation of Ownership Certificate; Overlapping AbstrakHaki Miliki adalahi haki yangi diinginkani oleh isetiapi orang, ikarena haki miliki merupakani hak yangi palingi tinggii sertai haki palingi kuati dibandingkani dengani haki atasi tanahi yangiilain. Tujuan dilaksanakannya penelitian ini adalah iuntuk imengetahui ipelaksanaan ipembatalan sertifikati haki miliki atasi tanahi karenai overlappingi di iKantor iPertanahan iKota iSemarang, untuki mengetahuii akibati hukumi terhadapi adanyai pembatalani sertifikati haki miliki atasiitanah karenaiioverlapping, serta iuntuk imengetahui iyang bisai dilakukani pihaki yangi dirugikani atas pembatalani sertifikati haki miliki atasi tanahi karenai overlapping. Berdasarkan ipenelitian yang dilaksanakan dapat diketahui bahwa ipembatalan isertifikat haki miliki atasi tanahi dilakukan ikarena adanya ioverlapping dalam penerbitan sertifikat, yaitu 2 (dua) bidang SHM No. 518 dan 519 yang ditumpangi 3 (tiga) SHM No. 2361, 2362 dan 2363 yangi kemudiani dibatalkani olehi Putusani Tata Usahai NegaraiiNomor: 049/G/2014/PTUN.Smg. iakibat ihukum idari ipembatalan isertifikat ihak miliki atasi tanahi yaitui sertifikat ihak milik iatas tanahi yang idisengketakan dalam perkara akan beralihi kepadai pihaki yangiimemenangkan iperkara, sedangkan bagi pihak yang kalah dalam perkara harus melepaskan haknya.Kata Kunci: Tanah; PembatalaniSertifikatiHakiMilik; Overlapping
Akibat Hukum Pemenang Lelang Dan Kesalahan Membuat Akta Risalah Lelang
Authors: Boby Wijaya Muhammad Afif , Ratna M.S. Edith
Published: September 2022

The minutes of auction are binding authentic evidence, the legality of an auction document. The purpose of this research is to see and analyze the legal consequences if the auction participants who have been declared winners of the auction do not fulfill their obligations within a predetermined time limit. As well as to find out and analyze the legal consequences if the Class II Auction Officer had an error when compiling the auction minutes deed. The method used in this research is juridical empirical by conducting field studies. This research finds that auction participants who have become auction winners do not fulfill their obligations within the stipulated time limit, there are sanctions imposed on the auction buyers, in accordance with Article 50 paragraph (5) of the Regulation of the Minister of Finance No. 40 / PMK.07 / 2006. If the Class II Auction Officer has an error when compiling the auction minutes deed, it can be corrected immediately and there is no write-off of any existing mistakes, if it is correct then printing is done..Keywords: Minutes of Auction Deed; Collateral Object; Auction OfficerAbstrakRisalah lelang merupakan bukti otentik yang mengikat, keabsahan suatu dokumen lelang. Tujuan dalam penelitian yakni guna melihat serta menganalisa akibat hukum jika peserta lelang yang sudah dinyatakan menjadi pemenang lelang tak memenuhi kewajiban hingga batas waktu yang sudah ditetapkan. Serta untuk mengetahui dan menganalisis akibat hukum apabila Pejabat Lelang Kelas II terdapat kesalahan ketika menyusun akta risalah lelang. Metode yang dipakai pada penelitian yakni Yuridis Empiris dengan melakukan studi lapangan. Penelitian ini menemukan bahwa peserta lelang yang sudah menjadi pemenang lelang tak memenuhi kewajiban hingga batas waktu yang sudah ditetapkan, terdapatnya sanksi yang dijatuhkan ke pembeli lelang, sesuai dengan Pasal 50 ayat (5) Peraturan Menteri Keuangan No. 40 / PMK.07 / 2006. Apabila Pejabat Lelang Kelas II terdapat kesalahan ketika menyusun akta risalah lelang bisa langsung dilakukan perbaikan dan tidak terdapat pencoretan terhadap kekeliruan yang ada, jika telah tepat barulah dilakukan pencetakan.Kata Kunci: Akta Risalah Lelang; Objek Jaminan; Pejabat Lelang
Editorial
Authors: Pawlak Mirosław
Published: September 2022

The current issue of Studies in Second Language Learning and Teaching includes six papers, the first two of which offer syntheses of existing research and the remaining four are reports of original empirical investigations.
A new distributional treatment for time series and an anomaly detection investigation
Authors: Ting Kai Ming , Liu Zongyou , Zhang Hang , Zhu Ye
Published: September 2022

Time series is traditionally treated with two main approaches, i.e., the time domain approach and the frequency domain approach. These approaches must rely on a sliding window so that time-shift versions of a periodic subsequence can be measured to be similar. Coupled with the use of a root point-to-point measure, existing methods often have quadratic time complexity. We offer the third R domain approach. It begins with an insight that subsequences in a periodic time series can be treated as sets of independent and identically distributed (iid) points generated from an unknown distribution in R. This R domain treatment enables two new possibilities: (a) the similarity between two subsequences can be computed using a distributional measure such as Wasserstein distance (WD), kernel mean embedding or Isolation Distributional kernel (IDK); and (b) these distributional measures become non-sliding-window-based. Together, they offer an alternative that has more effective similarity measurements and runs significantly faster than the point-to-point and sliding-window-based measures. Our empirical evaluation shows that IDK and WD are effective distributional measures for time series; and IDK-based detectors have better detection accuracy than existing sliding-window-based detectors, and they run faster with linear time complexity.
Zero-shot cost models for out-of-the-box learned cost prediction
Authors: Hilprecht Benjamin , Binnig Carsten
Published: September 2022

In this paper, we introduce zero-shot cost models, which enable learned cost estimation that generalizes to unseen databases. In contrast to state-of-the-art workload-driven approaches, which require to execute a large set of training queries on every new database, zero-shot cost models thus allow to instantiate a learned cost model out-of-the-box without expensive training data collection. To enable such zero-shot cost models, we suggest a new learning paradigm based on pre-trained cost models. As core contributions to support the transfer of such a pre-trained cost model to unseen databases, we introduce a new model architecture and representation technique for encoding query workloads as input to those models. As we will show in our evaluation, zero-shot cost estimation can provide more accurate cost estimates than state-of-the-art models for a wide range of (real-world) databases without requiring any query executions on unseen databases. Furthermore, we show that zero-shot cost models can be used in a few-shot mode that further improves their quality by retraining them just with a small number of additional training queries on the unseen database.
RapidFlow
Authors: Sun Shixuan , Sun Xibo , He Bingsheng , Luo Qiong
Published: September 2022

Continuous subgraph matching (CSM) is an important building block in many real-time graph processing applications. Given a subgraph query
Q
and a data graph stream, a CSM algorithm reports the occurrences of
Q
in the stream. Specifically, when a new edge
e
arrives in the stream, existing CSM algorithms start from the inserted
e
in the current data graph
G
to search
Q.
However, this rigid matching order of always starting from
e
can lead to a massive number of partial results that will turn out futile. Also, if
Q
contains automorphisms, there will be a lot of redundant computation in the matching process. To address these two problems, we propose RapidFlow, an effective approach to CSM. First, we design a query reduction technique, which reduces CSM to batch subgraph matching (BSM) where we enumerate all results in a region of
G
that will be affected by the update. The well-established BSM techniques can determine effective matching orders, not necessarily starting from the newly inserted edge. Second, to eliminate redundant computation caused by automorphisms in
Q
, we propose dual matching, which leverages the duality of
Q
and
G
in the matching process. Extensive experiment results show that RapidFlow outperforms state-of-the-art algorithms, including TurboFlux and SymBi, by up to two orders of magnitude on various workloads.
A scalable AutoML approach based on graph neural networks
Authors: Helali Mossad , Mansour Essam , Abdelaziz Ibrahim , Dolby Julian , Srinivas Kavitha
Published: September 2022

AutoML systems build machine learning models automatically by performing a search over valid data transformations and learners, along with hyper-parameter optimization for each learner. Many AutoML systems use meta-learning to guide search for optimal pipelines. In this work, we present a novel meta-learning system called KGpip which (1) builds a database of datasets and corresponding pipelines by mining thousands of scripts with program analysis, (2) uses dataset embeddings to find similar datasets in the database based on its content instead of metadata-based features, (3) models AutoML pipeline creation as a graph generation problem, to succinctly characterize the diverse pipelines seen for a single dataset. KGpip's meta-learning is a sub-component for AutoML systems. We demonstrate this by integrating KGpip with two AutoML systems. Our comprehensive evaluation using 121 datasets, including those used by the state-of-the-art systems, shows that KGpip significantly outperforms these systems.
Evaluating persistent memory range indexes
Authors: He Yuliang , Lu Duo , Huang Kaisong , Wang Tianzheng
Published: September 2022

Scalable persistent memory (PM) has opened up new opportunities for building indexes that operate and persist data directly on the memory bus, potentially enabling instant recovery, low latency and high throughput. When real PM hardware (Intel Optane Persistent Memory) first became available, previous work evaluated PM indexes proposed in the pre-Optane era. Since then, newer indexes based on real PM have appeared, but it is unclear how they compare to each other and to previous proposals, and what further challenges remain.

This paper addresses these issues by analyzing and experimentally evaluating state-of-the-art PM range indexes built for real PM. We find that newer designs inherited past techniques with new improvements, but do not necessarily outperform pre-Optane era proposals. Moreover, PM indexes are often very competitive with or even outperform indexes tailored for DRAM, highlighting the potential of using a unified design for both PM and DRAM. Functionality-wise, these indexes still lack good support for variable-length keys and handling NUMA effect. Based on our findings, we distill new design principles and highlight future directions.
On-demand state separation for cloud data warehousing
Authors: Winter Christian , Giceva Jana , Neumann Thomas , Kemper Alfons
Published: September 2022

Moving data analysis and processing to the cloud is no longer reserved for a few companies with petabytes of data. Instead, the flexibility of on-demand resources is attracting an increasing number of customers with small to medium-sized workloads. These workloads do not occupy entire clusters but can run on single worker machines. However, picking the right worker for the job is challenging. Abstracting from worker machines, e.g., using stateless architectures, introduces overheads impacting performance. Solutions without stateless architectures resort to query restarts in the event of an adverse worker matching, wasting already achieved progress.

In this paper, we propose migrating queries between workers by introducing on-demand state separation. Using state separation only when required enables maximum flexibility and performance while keeping already achieved progress. To derive the requirements for state separation, we first analyze the query state of medium-sized workloads on the example of TPC-DS SF100. Using this, we analyze the cost and describe the constraints necessary for state separation on such a workload. Furthermore, we describe the design and implementation of on-demand state separation in a compiling database system. Finally, using this implementation, we show the feasibility of our approach on TPC-DS and give a detailed analysis of the cost of query migration and state separation.
Rewriting the infinite chase
Authors: Benedikt Michael , Buron Maxime , Germano Stefano , Kappelmann Kevin , Motik Boris
Published: September 2022

Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answered by a variant of the
chase
---a quintessential technique for reasoning with dependencies. However, there has been little work on concrete algorithms and even less on implementation. To address this gap, we revisit
Datalog rewriting
approaches to query answering, where GTGDs are transformed to a Datalog program that entails the same base facts on each base instance. We show that the rewriting can be seen as containing "shortcut" rules that circumvent certain chase steps, we present several algorithms that compute the rewriting by simulating specific types of chase steps, and we discuss important implementation issues. Finally, we show empirically that our techniques can process complex GTGDs derived from synthetic and real benchmarks and are thus suitable for practical use.
CDI-E
Authors: Das Prakash , Srivastava Shivangi , Moskovich Valentin , Chaturvedi Anmol , Mittal Anant , Xiao Yongqin , Chowdhury Mosharaf
Published: September 2022

We live in the gilded age of data-driven computing. With public clouds offering virtually unlimited amounts of compute and storage, enterprises collecting data about every aspect of their businesses, and advances in analytics and machine learning technologies, data driven decision making is now timely, cost-effective, and therefore, pervasive. Alas, only a handful of power users can wield today's powerful data engineering tools. For one thing, most solutions require knowledge of specific programming interfaces or libraries. Furthermore, running them requires complex configurations and knowledge of the underlying cloud for cost-effectiveness.

We decided that a fundamental redesign is in order to democratize data engineering for the masses at cloud scale. The result is Informatica Cloud Data Integration - Elastic (CDI-E). Since the early 1990s, Informatica has been a pioneer and industry leader in building no-code data engineering tools. Non-experts can express complex data engineering tasks using a graphical user interface (GUI). Informatica CDI-E is built to incorporate the simplicity of GUI in the design layer with an elastic and highly scalable run time to handle data in any format without little to no user input using automated optimizations. Users upload their data to the cloud in any format and can immediately use them in conjunction with their data management and analytic tools of choice using CDI-E GUI. Implementation began in the Spring of 2017, and Informatica CDI-E has been generally available since the Summer of 2019. Today, CDI-E is used in production by a growing number of small and large enterprises to make sense of data in arbitrary formats.

In this paper, we describe the architecture of Informatica CDI-E and its novel no-code data engineering interface. The paper highlights some of the key features of CDI-E: simplicity without loss in productivity and extreme elasticity. It concludes with lessons we learned and an outlook of the future.
Magma
Authors: Lakshman Sarath , Gupta Apaar , Suri Rohan , Lashley Scott , Liang John , Duvuru Srinath , Mayuram Ravi
Published: September 2022

We present Magma, a write-optimized high data density key-value storage engine used in the Couchbase NoSQL distributed document database. Today's write-heavy data-intensive applications like ad-serving, internet-of-things, messaging, and online gaming, generate massive amounts of data. As a result, the requirement for storing and retrieving large volumes of data has grown rapidly. Distributed databases that can scale out horizontally by adding more nodes can be used to serve the requirements of these internet-scale applications. To maintain a reasonable cost of ownership, we need to improve storage efficiency in handling large data volumes per node, such that we don't have to rely on adding more nodes. Our current generation storage engine, Couchstore is based on a log-structured append-only copy-on-write B+Tree architecture. To make substantial improvements to support higher data density and write throughput, we needed a storage engine architecture that lowers write amplification and avoids compaction operations that rewrite the whole database files periodically.

We introduce Magma, a hybrid key-value storage engine that combines LSM Trees and a segmented log approach from log-structured file systems. We present a novel approach to performing garbage collection of stale document versions avoiding index lookup during log segment compaction. This is the key to achieving storage efficiency for Magma and eliminates the need for random I/Os during compaction. Magma offers significantly lower write amplification, scalable incremental compaction, and lower space amplification while not regressing the read amplification. Through the efficiency improvements, we improved the single machine data density supported by the Couchbase Server by 3.3x and lowered the memory requirement by 10x, thereby reducing the total cost of ownership up to 10x. Our evaluation results show that Magma outperforms Couchstore and RocksDB in write-heavy workloads.
SQLite
Authors: Gaffney Kevin P. , Prammer Martin , Brasfield Larry , Hipp D. Richard , Kennedy Dan , Patel Jignesh M.
Published: September 2022

In the two decades following its initial release, SQLite has become the most widely deployed database engine in existence. Today, SQLite is found in nearly every smartphone, computer, web browser, television, and automobile. Several factors are likely responsible for its ubiquity, including its in-process design, standalone codebase, extensive test suite, and cross-platform file format. While it supports complex analytical queries, SQLite is primarily designed for fast online transaction processing (OLTP), employing row-oriented execution and a B-tree storage format. However, fueled by the rise of edge computing and data science, there is a growing need for efficient in-process online analytical processing (OLAP). DuckDB, a database engine nicknamed "the SQLite for analytics", has recently emerged to meet this demand. While DuckDB has shown strong performance on OLAP benchmarks, it is unclear how SQLite compares. Furthermore, we are aware of no work that attempts to identify root causes for SQLite's performance behavior on OLAP workloads. In this paper, we discuss SQLite in the context of this changing workload landscape. We describe how SQLite evolved from its humble beginnings to the full-featured database engine it is today. We evaluate the performance of modern SQLite on three benchmarks, each representing a different flavor of in-process data management, including transactional, analytical, and blob processing. We delve into analytical data processing on SQLite, identifying key bottlenecks and weighing potential solutions. As a result of our optimizations, SQLite is now up to 4.2X faster on SSB. Finally, we discuss the future of SQLite, envisioning how it will evolve to meet new demands and challenges.
Demonstrating CAT
Authors: Gassen Marius , Hättasch Benjamin , Hilprecht Benjamin , Geisler Nadja , Fraser Alexander , Binnig Carsten
Published: September 2022

Databases for OLTP are often the backbone for applications such as hotel room or cinema ticket booking applications. However, developing a conversational agent (i.e., a chatbot-like interface) to allow end-users to interact with an application using natural language requires both immense amounts of training data and NLP expertise. This motivates
CAT
, which can be used to easily create conversational agents for transactional databases. The main idea is that, for a given OLTP database,
CAT
uses weak supervision to synthesize the required training data to train a state-of-the-art conversational agent, allowing users to interact with the OLTP database. Furthermore, CAT provides an out-of-the-box integration of the resulting agent with the database. As a major difference to existing conversational agents, agents synthesized by CAT are data-aware. This means that the agent decides which information should be requested from the user based on the current data distributions in the database, which typically results in markedly more efficient dialogues compared with non-data-aware agents. We publish the code for CAT as open source.
POEM
Authors: Dadvar Vargha , Golab Lukasz , Srivastava Divesh
Published: September 2022

Deep learning models achieve state-of-the-art performance in many applications, but their prediction decisions are difficult to explain. Various solutions exist in the area of explainable AI, for example to understand individual predictions or to approximate complex models using simpler interpretable ones. We contribute to this body of work with POEM: a tool that produces pattern-oriented explanations of image classification models. POEM explains models that learn hierarchies of concepts, such as Convolutional Neural Networks that detect shapes and objects in images. For example, POEM may identify a pattern of the form "if bed then bedroom", indicating that if an image contains a bed and the model pays attention to this region of the image during inference, then the model classifies the image as a bedroom. We present the modular design of POEM, followed by examples of POEM's use in model auditing and detecting errors in training data.
DiscoPG
Authors: Bonifati Angela , Dumbrava Stefania , Martinez Emile , Ghasemi Fatemeh , Jaffré Malo , Luton Pacôme , Pickles Thomas
Published: September 2022

Property graphs are becoming pervasive in a variety of graph processing applications using interconnected data. They allow to encode multi-labeled nodes and edges, as well as their properties, represented as key/value pairs. Although property graphs are widely used in several open-source and commercial graph databases, they lack a schema definition, unlike their relational counterparts. The property graph schema discovery problem consists of extracting the underlying schema concepts and types from such graph datasets. We showcase DiscoPG, a system for efficiently and accurately discovering and exploring property graph schemas. To this end, it leverages hierarchical clustering using a Gaussian Mixture Model, which accounts for both node labels and properties. DiscoPG allows users to perform schema discovery for both static and dynamic graph datasets. Suitable visualization layouts and dedicated dashboards enable the user perception of the static and dynamic inferred schema on the node clusters, as well as the differences in runtimes and clustering quality. To the best of our knowledge, DiscoPG is the
first system to tackle the property graph schema discovery problem.
As such, it supports the insightful exploration of the graph schema components and their evolving behavior, while revealing the underpinnings of the clustering-based discovery process.
TimeEval
Authors: Wenig Phillip , Schmidl Sebastian , Papenbrock Thorsten
Published: September 2022

Detecting anomalous subsequences in time series is an important task in time series analytics because it serves the identification of special events, such as production faults, delivery bottlenecks, system defects, or heart flicker. Consequently, many algorithms have been developed for the automatic detection of such anomalous patterns. The enormous number of approaches (i. e., more than 158 as of today), the lack of properly labeled test data, and the complexity of time series anomaly benchmarking have, though, led to a situation where choosing the best detection technique for a given anomaly detection task is a difficult challenge.

In this demonstration, we present TimeEval, an extensible, scalable and automatic benchmarking toolkit for time series anomaly detection algorithms. TimeEval includes an extensive data generator and supports both interactive and batch evaluation scenarios. With our novel toolkit, we aim to ease the evaluation effort and help the community to provide more meaningful evaluations.
SparkCAD
Authors: Al-Sayeh Hani , Jibril Muhammad Attahir , Saeed Muhammad Waleed Bin , Sattler Kai-Uwe
Published: September 2022

Developers of Apache Spark applications can accelerate their workloads by caching suitable intermediate results in memory and reusing them rather than recomputing them all over again every time they are needed. However, as scientific workflows are becoming more complex, application developers are becoming more prone to making wrong caching decisions, which we refer to as
caching anomalies
, that lead to poor performance. We present and give a demonstration of
Spark Caching Anomalies Detector (SparkCAD)
, a developer decision support tool that visualizes the logical plan of Spark applications and detects caching anomalies.
Stabilization by an estimated state controller of nonlinear time-varying systems
Authors: Damak Hanen , Hammami Mohamed Ali
Published: September 2022

In linear systems, it is well known that any combination of stabilizing
state feedback controller and a state observer results in the output feedback controller
which asymptotically stabilizes the closed-loop system. This is known as the separation principle,
which does not generally hold for nonlinear systems. For nonlinear systems, the output feedback problem is usually
pursued by extending the results of observer synthesis, which
itself is a challenging problem. In this paper, we investigate the stabilization via an observer configuration problem for some classes of nonlinear time-varying systems by using new integral inequalities of Gronwall type. Given that the sufficient conditions of the controller
and observer problem are satisfied, we show that the proposed
controller with estimated state feedback from the proposed practical observer
will achieve the global practical exponential stabilization. Furthermore, the effectiveness of the proposed scheme is shown through simulation for two numerical examples.
An Analysis of High-Frequency Helmholtz Problems in Domains with Conical Points and Their Finite Element Discretisation
Authors: Chaumont-Frelet Théophile , Nicaise Serge
Published: September 2022

We consider Helmholtz problems in three-dimensional domains featuring conical points.
We focus on the high-frequency regime and derive novel sharp upper-bounds for the stress intensity factors of the singularities associated with the conical points.
We then employ these new estimates to analyse the stability of finite element discretisations.
Our key result is that lowest-order Lagrange finite elements are stable under the assumption that “

ω
2

⁢
h

\omega^{2}h

is small”.
This assumption is standard and well known in the case of smooth domains, and we show that it naturally extends to domain with conical points, even when using uniform meshes.
Particle crystallization by supercritical antisolvent processing techniques: the case of Retama raetam powder for pharmaceutical purposes
Authors: Rejab Asma , Ksibi Hatem
Published: September 2022

In this work, the Supercritical AntiSolvent process has been used to generate micronized crystals of Retama raetam. The process was performed using ethanol and CO2 as solvent and antisolvent, respectively. Recrystallization was made at various temperatures (30–50 °C) and pressures (8–12 MPa) using a constant flow rate of supercritical CO2 (2 kg/h). We have been also varied the solution flow rate and its volume to identify conditions leading to spheroidal powder morphology. Size and morphology have been characterized by scanning electron microscopy and ImageJ software. The spraying of the supercritical solution directing the flow towards the precipitator results in the deposition of fine particles with uniform morphology at the bottom, and of a porous film adhering to the precipitator wall. For that reason, thermodynamic and hydrodynamic aspects are discussed so as to rationalize the powder and spongious film characteristics and provide a new way to control the SAS process applied to plant derivatives.
Estimation of entropy and extropy based on right censored data: A Bayesian non-parametric approach
Authors: Al-Labadi Luai , Tahir Muhammad
Published: September 2022

Entropy and extropy are central measures in information theory.
In this paper, Bayesian non-parametric estimators to entropy and extropy with possibly right censored data are proposed.
The approach uses the beta-Stacy process and the difference operator.
Examples are presented to illustrate the performance of the estimators.
Contemporary Visions of Heaven and Hell by a Transylvanian Folk Prophet, Founder of the Charismatic Christian Movement The Lights
Authors: Csáji László Koppány
Published: September 2022

I conducted anthropological fieldwork (2010–2018) in a charismatic Christian new religious movement the Lights founded by a Transylvanian contemporary folk prophet in 2008. The new religious movement (NRM) has local hubs in North Serbia, Romania, and Hungary. After offering insight into the techniques of how the prophet receives his visions of heaven and hell (as answers to the existential dilemmas of death and the afterlife), I analyse the role and reception of these visionary journeys. I combine interpretive anthropology with the genealogical way of discourse analysis introduced by Michel Foucault. I conceive of complex roles for the narratives about the prophet’s visionary journeys and his theory of reincarnation. These narratives attract people who encounter the prophet and inspire them to participate in the NRM’s religious events. The group wanted to legitimate the prophet with the visions’ moderate style and the relative correspondence with the Bible. Nevertheless, the prophet and the group recognized the divisive nature of these narratives. They found that they could manage their evangelization by creating graduated access to information to avoid preconception judgements. Between 2012 and 2014, the core group of this NRM (lights and the prophet) worked out a multi-level discourse space in the group: a gradation where access to knowledge is based on status. I called this balanced and long-term initiation process the system of threshold narratives.
Regional characteristics of fine aerosol mass increase elucidated from long-term observations and KORUS-AQ campaign at a Northeast Asian background site
Authors: Lim Saehee , Lee Meehye , Laj Paolo , Kim Sang-Woo , Ahn Kang-Ho , Gil Junsu , Shang Xiaona , Zanatta Marco , Kang Kyeong-Sik
Published: September 2022

Northeast Asia has suffered from severe PM2.5 pollution and the exact mechanisms have yet to be fully understood. Here, we investigated the transformation processes of submicron aerosols using a 4-year data set obtained at Jeju, a Northeast Asian background site. The diurnal-cycle constrained empirical orthogonal function analysis of nanoparticle size–number distribution distinguished 2 modes: burst of nucleation–Aitken particles and increase in accumulation mode particles, representing “new particle formation and growth” and “PM2.5 mass increase,” respectively. In these events, aerosol and meteorological characteristics changed progressively over several days, revealing that the PM2.5 mass increase is an episodic event occurring on a regional scale. The increase in PM2.5 mass was accompanied by an increase in aerosol liquid water content, which correlated well with SO4−2 and NO3, and a decrease in incoming solar radiation (−14.1 Wm−2 day−1) constituting a positive feedback. The “transport/haze” episode of KOREA–U.S. Air Quality campaign corresponds to “PM2.5 mass increase,” during which the vertical evolution of particles demonstrates that nanoparticles ≥3.5 nm were entrained into the shallow boundary layer upon vertical mixing and converted to accumulation-mode particles ≥0.3 μm at relative humidity (RH) exceeding the deliquescence RH of secondary inorganic aerosol (SIA). Coincidently, at ground, the coating thickness of refractory black carbon (rBC) (48 ± 39 nm) and SIA concentration increased. Furthermore, the diameter of rBC (180–220 nm)-containing particle in core–shell configuration linearly increased with PM2.5 mass, reaching 300–400 nm at PM2.5 ≥ 40 μg m−3. This observational evidence suggests that the thick coating of rBCs resulted from the active conversion of condensable gases into the particulate phase on the rBC surface, thereby increasing the mass of the accumulation-mode aerosol. Consequently, this result complies with the strategy to reduce primary emissions of gaseous precursors for SIA and particulates such as rBC as a way to effectively mitigate haze pollution as well as climate change in Northeast Asia.
Comparison of metal removal rate and surface roughness optimization for AISI 316L using sunflower oil minimum quantity lubrication and dry turning processes
Authors: MARTOWIBOWO SIGIT YOEWONO , I.J. Ariza  , B.K. Damanik
Published: September 2022

The turning process is one of the significant machining processes widely applied in manufacturing industries. The study compared the minimum quantity lubrication turning process using sunflower oil lubrication and the dry turning process for AISI 316L material. In this study, a genetic algorithm was used to optimize material removal rate and surface roughness. Tool nose radius, cutting speeds, feed rates, and depth of cut was chosen as process parameters. The result of the process was a fitness function, which reflects the correlation between process parameters and material removal rate or surface roughness. The genetic algorithm uses the fitness function to yield optimum process parameters with the highest material removal rate and lowest surface roughness in a separate optimization process. The optimization method developed in the study can be applied to predict optimum material removal rate and surface roughness values for minimum quantity lubrication or dry turning process. The study concluded that the minimum quantity lubrication technique could yield favorable machining results with a higher material removal rate and lower surface roughness.
The Profile of Junior High School Students' Satisfactions through Online Learning Integrated Science Subjects in the Covid-19 Pandemic Period
Authors: Afifah Saidatul , Parmin Parmin
Published: September 2022

The emergence of the corona virus outbreak to various parts of the world requires learning in Indonesia to be carried out online. The new learning system has obstacles in its implementation. This study aims to determine the level of student satisfaction with integrated science learning online. The type of research used in this research is descriptive quantitative and qualitative conducted by survey method by providing scale and interviews. The data collection technique was done by purposive sampling method. The subjects in this study were students of class VIII and IX SMP NU Suruh with the slovin formula obtained a sample of 48 students. Test the validity of the instrument using the content validity test by the supervisor. The data obtained from the questionnaire results were analyzed using descriptive percentage analysis techniques, while the interview data were processed using the Miles and Huberman analysis technique which consisted of three stages, namely data reduction, data presentation, and conclusion drawing and verification. The results showed that in general the level of student satisfaction with integrated science learning online was in the high category.
Effectiveness of Demonstration-Brainstorming on Student’s Performance in Agricultural Science
Authors: Oba Abdulkadir Ibrahim , Ahmed Abdullahi Hussein , Suleiman A
Published: September 2022

This study examined the comparative effects of demonstration and brainstorming methods on students’ performance in agricultural science in Zamfara State, Nigeria. Pre-test post-test quasi experimental design was adopted for the study. The population of the study consisted of 12770 SSII agricultural science students during 2017/2018 academic session in Zamfara State. A sample of 80 students (40 males and 40 females) was used as an intact class. Data was collected using a multiple-choice test consisting of 30-items developed by the researchers. Data collected was analysed using descriptive statistics in form of mean and standard deviation while the null hypotheses were tested using t-test analysis. The study results indicated that, there is no significant difference in the academic performance of male and female agricultural science students using demonstration method. But male students performed significantly better than their female counterparts in brainstorming method. Yet, both groups of the students significantly did better in demonstration method than in brainstorming method. The study recommends among others that, agricultural science teachers should always make use of demonstration in teaching agricultural science while governments through ministries of education should provide schools with necessary facilities needed for effective demonstration.
Treatment of benign prostatic hyperplasia and abnormal ejaculation: live imaging reveals tamsulosin – but not tadalafil – induced dysfunction of prostate, seminal vesicles and epididymis
Authors: Seidensticker Mathias , Tasch Sabine , Mietens Andrea , Exintaris Betty , Middendorff Ralf
Published: September 2022

In brief

One of the most commonly prescribed benign prostatic hyperplasia (BPH) pharmacotherapies, the alpha1-adrenergic blocker tamsulosin, is frequently discontinued, especially by younger patients due to ejaculatory disorders, often without feedback to the attending physician. Using a newly developed ex vivo system simulating sympathetic effects on the most relevant structures for the emission phase of ejaculation, that is seminal vesicles, prostate and the most distal part of the cauda epididymidis, we elucidated that tamsulosin fundamentally disturbed the obligatory noradrenaline-induced contractions in each of these structures which differed to an alternative pharmacotherapy, the PDE5 inhibitor tadalafil.

Structures responsible for the emission phase of ejaculation are the seminal vesicles, the most distal part of the cauda epididymidis and the newly characterized prostate excretory ducts. The emission phase is mainly regulated by the sympathetic nervous system through alpha1-adrenergic receptor activation by noradrenaline at the targeted organs. BPH treatment with alpha1A-adrenergic antagonists such as tamsulosin is known to result in ejaculation dysfunction, often leading to discontinuation of therapy. Mechanisms of this disturbance remain unclear. We established a rodent model system to predict drug responses in tissues involved in the emission phase of ejaculation. Imitating the therapeutic situation, prostate ducts, seminal vesicles and the distal cauda epididymal duct were pre-incubated with the smooth muscle cell-relaxing BPH drugs tadalafil, a novel BPH treatment option, and tamsulosin in an ex vivo time-lapse imaging approach. Afterwards, noradrenergic responses in the relevant structures were investigated to simulate sympathetic activation. Noradrenaline-induced strong contractions ultimately lead to secretion in structures without pre-treatment. Contractions were abolished by tamsulosin in prostate ducts and seminal vesicles and significantly decreased in the epididymal duct. Such effects were not observed with tadalafil pre-treatment. Data visualized a serious dysfunction of each organ involved in emission by affecting alpha1-adrenoceptors localized at the relevant structures but not by targeting smooth muscle cell-localized PDE5 by tadalafil. Our model system reveals the mechanism of tamsulosin resulting in adverse effects during ejaculation in patients treated for BPH. These adverse effects on contractility do not apply to tadalafil treatment. This new knowledge translates directly to clinical medicine.