Reviewerly/exHarmony huggingface dataset:
Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems

System monitoring is essential for detecting failures during operation and ensuring reliability. A monitoring system obtains observations and checks their consistency concerning requirements formalized as properties. However, finding property violations does not necessarily mean finding the causes. In this paper, we contribute to the latter and suggest introducing model-based diagnosis for root cause identification. We do this by adding information regarding the source of observations. Furthermore, we suggest implementing properties using ordinary programming languages from which we can obtain a formal model directly. Finally, we explain the process of integrating diagnosis into monitoring and show its value using a case study from the automotive domain.
A Data Propagation Method of Internet of Vehicles Based on Sharding Blockchain

Blockchain technology has been successfully applied to finance and medical treatment recently. It is the prototype of the next generation of cloud computing, which is expected to reconstruct human social activities. IoV is an essential part of human social activities. Traditional centralized management and data storage are not suitable for IoV, which satisfies large-scale and low latency. Therefore, decentralization, distributed management, and distributed storage may become the future technology trends of IoV. However, when we take decentralized techniques, the data and communication must have high-security requirements. According to the characteristics of IoV, this paper discussed the sharding design of Blockchain and proposed an IoV model-based sharding Blockchain. Based on this model, we designed a Sharding algorithm for the RSU Blockchain layer (RSU-SA) to elect full nodes and sharding with good scalability and stability. Secondly, by introducing the correlation degree of light nodes, we adopted the light node evaluation matrix, established the data propagation subtree, and implemented a tree-based data propagation algorithm (TDPA). Finally, we simulated the above two algorithms. Simulation results showed that the Sharding algorithm for the RSU Blockchain layer (RSU-SA) is more effective with a stable network life cycle. The experimental results verified the effect of tree depth on data block propagation. It revealed that the tree-based partition data propagation algorithm effectively reduced the block data transmission delay.
Value Stream Repair Using Graph Structure Learning

Value streams are attributed graphs used for modeling and simulating production processes. We suggest a machine learning-based approach to identify and repair modeling errors in value streams, specifically incorrect edges or product annotations. Our approach recasts graph attribution as a link prediction problem and uses graph-based features describing the local constellation in the value stream, such as the classes of successor and predecessor nodes or the product consistency in the material flow. By wrapping our model – which suggests single repair steps – into a beam search process, we can derive entire repair sequences. An expert study shows that for all 16 constellations tested, our model suggests the right changes to repair typical errors. Furthermore, our experiments based on five simultaneous random edge corruptions on a set of 70 value streams achieves an average precision up to 96.4%.
Solving Weighted Multiobjective Travelling Salesman Problem

The Multiobjective Travelling Salesman Problem with Weighted is studied in this article, we used the exact Branch and Bound (BAB) method to find the optimal solution and we proposed two heuristic methods MDA and MDTM to find the best solution. Finally, we compared the proposed methods MDA and MDTM with BAB to show the efficiency of these methods. The results prove the good performance of these methods.
Implementasi Manajemen Pengetahuan di Lingkungan Badan Pendidikan dan Pelatihan Keuangan

Knowledge management has three important elements that can affect the successful implementation of knowledge management, namely people, process, and technology. The implementation of knowledge management within the Ministry of Finance officially began when the Minister of Finance Regulation Number 226 of 2019 concerning Knowledge Management in the Ministry of Finance was issued. However, the implementation of knowledge management has actually been going on for quite a long time at the Ministry of Finance, including the Financial Education and Training Agency as one of the echelon I units within the Ministry of Finance. This study tries to identify various forms of knowledge management implementation within the Financial Education and Training Agency considering that in the Minister of Finance Regulation Number 226 of 2019 the Financial Education and Training Agency has a more role in the management of knowledge management at the Ministry of Finance level. The results of the study indicate that the Financial Education and Training Agency has implemented knowledge management in various forms, especially related to elements of knowledge management, both related to people, process, and technology.
Digital information managementpossible paths

Introduction:Since its beginnings, society has sought to register its information and thus information technology tools occupy a prominent place in society, and are considered indispensable for scientific, social, technological and economic advancement. Objective:With this common thread, this article seeks to present a reflection on the concepts of Digital Information Management starting from the characteristics, problems and challenges of digital information. Methodology:The methodology consists of a bibliographic-documentary survey, composed of published materials, among them: books, theses, dissertations, texts on internet sites and articles in scientific journals, constituting a literature review, which mainly addresses works of expression in the area, published by authors who research the theme of digital information and its management, opening a way for new discussions on this theme. Results:In this way, the collected data are processed through qualitative analysis, and later, structured in thematic sections, point out the main theoretical mishaps. Conclusion:The results point to a major challenge that must be overcome for efficient data management, which are the existing restrictions on digital preservation both in terms of technology and software obsolescence,file formats, availability and perpetuity of repositories. Another issue that has to be considered is the one referring to the PGPD data protection legislation that imposes and regulates a series of rules for the recovery, treatment and use of personal information of natural individual
Towards Evolutionary Developmental Systems

Based on the evolutionary developmental models presented in the previous chapters, we discuss a possible new approach to artificial general intelligence, which evolves machine learning models that can overcome the limitations of existing deep learning models. It is argued that by taking the evolutionary developmental approach, large models can be evolved and grown in a complex environment, which may equip these models with capabilities of accomplishing multiple tasks, reasoning and planning, and autonomous learning.
Exploring the Method of Class Critique and the Roles of a Guide in Early Childhood Education

The purpose of this study is exploring appropriate methods of class critique and roles of guide in early childhood classrooms through the process of practicing class critique with teachers. From February 2019 to January 2020, about a year, 12 times of class critique meetings with a guide and three early childhood teachers were conducted. Data were collected through the record of meetings, class critique papers, interviews with the teachers, reflective journals of the guide. The results of data analysis are as follows. The four steps of class critique, observation of class activities-analysis through discussion-writing critique paper-sharing and synthesizing the critique paper, were appropriate. According to the participants’ growth and context of the meetings, however, adjustment of specific parts of the steps were needed. The roles of the guide of class critique were coordinating whole flow and details of the meetings, making comfortable atmosphere, and facilitating the participants’ thoughts. In addition, it was necessary to modify the guide’s roles depending on the participants’ growth. Based on the results, educational implications were discussed.
Photon Pair Correlations in Semiconductor-Superconductor Light Sources

We demonstrate evidence of photon pair correlations, resulting from injected Cooper-pairs in superconductor-semiconductor structures. Such structures can be utilized for multiple applications including enhanced two-photon gain, electrically-driven entangled-photon generation and Bell-state analyzers.
Experiment on Decision Making for Multi-Armed Bandit Problem Using Chaos and Low Frequency Fluctuations in Laser Network

We experimentally demonstrate decision making for solving the multi-armed bandit problem using the dynamics of a semiconductor laser network. We compare the performance of decision making by using chaos and low-frequency fluctuations.
An instance hole measurement using a low-coherence interferometer with a high repetition rate during laser-welding process

The shape of an instance hole (keyhole) created via a high-power laser was measured using a low-coherence interferometer with a 10-MHz repetition rate, a 10-um absolute spatial resolution and a 5-mm measurement range.
Experiment on Extraction of Complex Electric-Field Amplitude in Chaotic Semiconductor Laser for Random Number Generation

We experimentally extract the complex electric-field amplitude of chaos in a semiconductor laser with optical feedback by using optical coherent detection. We perform random number generation using the extracted dynamics of the complex electric-field amplitude.
20-GHz quantum key distribution using Mach-Zehnder intensity modulation and low jitter superconducting single photon detectors

We report the first 20-GHz clocked QKD using Mach-Zehnder intensity modulation and low jitter superconducting single photon detectors. A 41.8 kbps secure key rate was achieved with 23 dB channel loss by optical attenuation.
Photon-number-dependent visibility in two-photon spectral quantum interference between a thermal field and heralded-state

Frequency-domain two-photon quantum interference between a thermal field and a heralded-state is studied theoretically and experimentally, revealing the dependency of visibility on the multiphoton components within the heralded-state.
Application for Decision Making by Controlling Chaotic Mode Competition Dynamics in Multi-Mode Semiconductor Laser

We numerically demonstrate decision making for solving the multi-armed bandit problem by controlling chaotic mode competition dynamics in a multi-mode semiconductor laser. The proposed method is effective when the number of slot machines is large.
Tunable coupling of a single quantum emitter to a composite nanofiber cavity

We demonstrate cavity-enhanced spontaneous emission over a broad wave-length range for a single quantum emitter using a composite nanofiber cavity. We also discuss how the longitudinal polarization of the light appears in the composite cavity.
On the Constraints in Convex Optimization to Estimate POVM Elements of a Photon-Number-Resolving Detector from Coherent-State Inputs

Smoothing regulation in constrained convex optimization is numerically studied to well estimate POVM elements of a photon-number-resolving detector from coherent-state inputs. Smoothing itself should be optimized with the detection efficiency in mind.
Prevention of Intermittent Chaos in Semiconductor Laser with Optical Feedback

We numerically predict the occurrence of intermittent chaos in a semiconductor laser with optical feedback using the information on a chaotic attractor. We succeed in preventing the intermittent chaos by perturbing the optical feedback phase.
Lying in online social networks: a bug or a feature

Purpose Online social networks can bridge the gap between distant individuals by simulating online experiences that closely resemble physical interactions. While people have positive experiences, such as joy, in a physical relationship and would like to enjoy those experiences online, they also have negative experiences, such as being subject to a lie. An online social network may allow users to lie to simulate a real-world social group better. However, lying must be prevented on social networks as unethical behavior. Thus, this study aims to investigate an ethical dilemma raised due to the two abovementioned perspectives. Design/methodology/approach This paper examines different aspects of lying in social networks, using a comprehensive descriptive literature review approach and a classification scheme. Findings Contrary to their initial intent, social networks are disrupting the traditional notion of human interaction, either by disregarding the presence of dishonesty or by attempting to regulate relationships. In this research, the authors examine the challenges of these two perspectives by identifying enablers, consequences and control measures of lying on social networks at the individual, social and technological levels. The authors also develop a framework to facilitate investigating this dilemma. Originality/value This paper examines a controversial topic. Although lying is unethical, allowing users to lie may be considered an appealing feature of social network platforms. This paper offers a framework to propose several research directions for future studies. This study’s examination focuses on the challenges associated with deception on social networks, prompting the formulation of three crucial questions regarding the potential impact of technology on such behavior.
Forager

Forager is a multisensory virtual reality experience that immerses participants in the captivating world of fungi, delivering a profound connection with nature from various perspectives. Engaging sight, sound, touch, and scent, participants witness the complete life cycle of mushrooms, from spores to mycelium, fruiting body, and the inevitable decay. This transformative journey cultivates an appreciation for the interconnectedness of lifeforms and the wonders of the natural world on its own unique time scale.
Photo-Realistic Streamable Free-Viewpoint Video

We present a novel free-viewpoint video(FVV) framework for capturing, processing and compressing the volumetric content for immersive VR/AR experience. Compared to previous FVV capture systems, we propose an easy-to-use multi-camera array consisting of mobile phones with time synchronization. In order to generate photo-realistic FVV results with sparse multi-camera input, we improve the novel view synthesis method by introducing visual hull guided neural representation, called VH-NeRF. Our VH-NeRF combines the advantages of both explicit models by traditional 3D reconstruction and the notable implicit representation of Neural Radiance Field. Each dynamic entity’s VH-NeRF is learned and supervised by the visual hull reconstructed data, and can be further edited for complex and large-scale dynamic scenes. Moreover, our FVV solution can do both effective compression and transmission on multi-perspective videos, as well as real-time rendering on consumer-grade hardware. To the best of our knowledge, our work is the first solution for photo-realistic FVV captured by sparse multi-camera array, and allow real-time live streaming of large-scale dynamic scenes for immersive VR and AR applications on mobile devices.
Asymmetrical VR for Education

In collocated VR classes, instructors need to guide their students, while also remaining aware of the physical environment in order to ensure students’ safety. It is hard to do both simultaneously.
Mechanical Brain Hacking : A VR Cybernetics Simulator for Body Editing

Avatar technology has attracted attention, but research in the field of non-humanoid avatars has mainly focused on evaluating the operability and embodiment of new body systems. In addition to these points, we believe that users’ design of their own avatar structure and body motion mapping is also important to improve the user experience. We present Mechanical Brain Hacking, a VR cybernetics simulator that allows for easy modification of both the mapping and the structure of the avatar. Participants take on the role of a damaged robot with limited mobility except for the right hand. They use a surgical machine linked to their avatar’s hand movements to access their own brain and repair its circuits to regain control of their limbs. Haptic and electrical stimulation feedback, along with visual and auditory feedback through a VR headset, provide a fully immersive experience. Participants can even gain an extra limb by attaching additional limb parts. Through the experience of changing motion mapping and body structure in real time, this project offers a unique perspective on the concept of an "editable body", a body that is edited by oneself and in real time.
Mixed Design in Reality: How to translate a VR Game to a MR World and What’s some design issues about it?

Adapting a VR game to MR posed challenges in 360º gameplay, UI, security, and thematic consistency. By prioritizing safety, readability, and engagement, we created an enjoyable experience. In this abstract, we explore the design challenges and decisions taken to address these issues.
Entropy of Mode Mixers for Optical Unitary Converter based on Multi-Plane Light Conversion

Requirement of mode mixers in optical unitary converters based on multi-plane light conversion is examined. The “entropy” of each mixer, which describes the degree of mixing, is revealed to be crucial in determining the performance.
ExpressO: From Express.js Implementation Code to OpenAPI Interface Descriptions

The current paper presents a novel Command Line Interface (CLI) tool called ExpressO. This tool is specifically developed for developers who seek to analyze Web APIs implemented using the Express.js framework. ExpressO can automatically extract a specification written in OpenAPI, which is a widely used interface description language. The extracted specification consists of all the implemented endpoints, response status codes, and path and query parameters. Additionally, apart from facilitating automatic documentation generation for the API, ExpressO can also automatically verify the conformity of the Web API interface to its implementation, based on the Express.js framework. The tool has been released on the npm component registry as ‘expresso-api’, and can be globally installed using the command: npm install -g expresso-api.
SISTEM PENILAIAN PERUMAHAN BERBASIS MOBILE MENGGUNAKAN METODE COMPLEX PROPORTIONAL ASSESSMENT

As increasing population, the need to own a house as a place to live also increases. Many housing entrepreneurs continue to compete in order to attract consumers to buy by offering many of advantages and affordable prices and easy payment methods. Many house choices often causes confusion for potential consumers or difficulties in choosing a house or housing. Decision support system is a computer-based system that can support decision-making using data and models in solving a problem. This research’s purpose is to develop a decision support system to assist potential customers in choosing a house based on access criteria to social services and public services. The system is developed using web and mobile programming that can be accessed by potential consumers as a consideration in choosing housing. There are 23 public services that are used as criteria in the calculation process of the Copras method. The Copras method was chosen because it can handle both quantitative and qualitative criteria in one assessment. From Copras method calculation produces the sequence: Kuantan housing with a significance value of Qj with a total of 18.96 and an Nj value of 100%. Safira Zahra housing with a Qj significance value of 18.69 and an Nj value for a Qj significance value of 98%. Meanwhile, Permata Housing is 17.19 and the Nj value is 91%. Base on this sequence’s result, Kuantan is the best recommendation from this decision support system.
Inputs, Outputs, and Composition in the Logic of Information Flows

The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this article is to propose semantic and syntactic definitions of inputs and outputs of LIF expressions. We study how the two relate and show that our syntactic definition is optimal in a sense that is made precise. The second contribution is a systematic study of the expressive power of sequential composition in LIF. Our results on composition tie in the results on inputs and outputs and relate LIF to first-order logic (FO) and bounded-variable LIF to bounded- variable FO. This article is the extended version of a paper presented at KR 2020 [ 2 ].
E-learning and higher order thinking: Impact of STEM-based approach

Please Many studies have described meta-analysis on the overall effect of e-learning influence in learning. However, there has been no meta-analysis of the overall effect of STEM-based e-learning on Higher Order Thinking Skills (HOTS). The purpose of this study investigates the effect of STEM-based e-learning on students' critical thinking skills in Indonesia. This type of research is a Systematic Literature Review (SL) and meta-analysis. Data sources came from 12 national and international journals published in 2018-2023. The process of searching for data sources through Google Scholar, ScienceDirect, Wiley, Eric, and Springer. Data analysis used the Hedge formula to calculate effect size with the help of the JSAP application. The findings show that the effect size value (ES = 0.84) is very high. This explains that STEM-based e-learning provides a very high positive impact and is effective in improving students' Higher Order Thinking Skills (HOTS). Furthermore, HOTS characteristics do not cause heterogeneity in the results of STEM-based e-learning research on students' Higher Order Thinking Skills. The findings suggest that educators should choose STEM-based e-learning as one of the learning models to improve students' Higher Order Thinking skills in Indonesia
Welcome to a New Era in Geosciences Data Management

In the waning days of August 2017, Hurricane Harvey dumped more than 30 trillion gallons of water on Texas’s Gulf Coast. At least 68 people died.
ILLUSTRATION ANALYSIS IN SELECTED SOUTH AFRICAN CHILDRENâ€™S PICTURE BOOKS: PROBLEMATIC AND COMMENDABLE ILLUSTRATIONS

Ponte Academic JournalJul 2023, Volume 79, Issue 7 ILLUSTRATION ANALYSIS IN SELECTED SOUTH AFRICAN CHILDREN’S PICTURE BOOKS: PROBLEMATIC AND COMMENDABLE ILLUSTRATIONSAuthor(s): Maishiko Doreen MojapeloJ. Ponte - Jul 2023 - Volume 79 - Issue 7 doi: 10.21506/j.ponte.2023.7.1 Abstract:This article makes an analysis of illustrations found in some of South African children’s books. It has been noted that illustrations play a pivotal role in children’s literature. They are regarded as what attracts children to books and they also add value to the story as they supplement the text. They assist young readers with comprehending the story better or even faster, as they can give crucial details about the setting, characters, and the contents of the story. Relatable illustrations have the potential to accelerate the acquisition of necessary reading skills. Other factors such as inclusivity, representation, identity, and others are discussed based on the selected images. In this analysis a discussion of problematic and commendable illustrations is done. Download full text:Check if you have access through your login credentials or your institution Username Password