Reviewerly/exHarmony huggingface dataset:
Rapid Brain Meninges Surface Reconstruction with Layer Topology Guarantee

The meninges, located between the skull and brain, are composed of three membrane layers: the pia, the arachnoid, and the dura. Reconstruction of these layers can aid in studying volume differences between patients with neurodegenerative diseases and normal aging subjects. In this work, we use convolutional neural networks (CNNs) to reconstruct surfaces representing meningeal layer boundaries from magnetic resonance (MR) images. We first use the CNNs to predict the signed distance functions (SDFs) representing these surfaces while preserving their anatomical ordering. The marching cubes algorithm is then used to generate continuous surface representations; both the subarachnoid space (SAS) and the intracranial volume (ICY) are computed from these surfaces. The proposed method is compared to a state-of-the-art deformable model-based reconstruction method, and we show that our method can reconstruct smoother and more accurate surfaces using less computation time. Finally, we conduct experiments with volumetric analysis on both subjects with multiple sclerosis and healthy controls. For healthy and MS subjects, ICYs and SAS volumes are found to be significantly correlated to sex (p<0.01) and age (p≤0.03) changes, respectively.
HNAS-Reg: Hierarchical Neural Architecture Search for Deformable Medical Image Registration

Convolutional neural networks (CNNs) have been widely used to build deep learning models for medical image registration, but manually designed network architectures are not necessarily optimal. This paper presents a hierarchical NAS framework (HNAS-Reg), consisting of both convolutional operation search and network topology search, to identify the optimal network architecture for deformable medical image registration. To mitigate the computational overhead and memory constraints, a partial channel strategy is utilized without losing optimization quality. Experiments on three datasets, consisting of 636 T1-weighted magnetic resonance images (MRIs), have demonstrated that the proposal method can build a deep learning model with improved image registration accuracy and reduced model size, compared with state-of-the-art image registration approaches, including one representative traditional approach and two unsupervised learning-based approaches.
Assessment of the Condition of Limboto Lake as a Flood Control Storage

This research intends to evaluate the condition of Limboto Lake as a flood control storage in Gorontalo Province. Limboto Lake is located in Gorontalo Province as the part and a laguna that has the estuary in Bolango River and Bone River. The geological process as the tectonic movement has separated the laguna from the sea and formed the freshwater lake. The lake water comes from 23 affluents that flow into the lake from the northern, western, and southern catchment areas. The area of Limboto Lake is 4,410.72 ha. The methodology consists of literature study, collecting secondary data, analyzing secondary data, and evaluating the secondary data analysis. The result shows that the rainfall data availability, which is from six rainfall stations spread in the Limboto Lake catchment area, is still less (less than 20 years), so to complete and generate the rainfall data, the result of satellite observation, Global Precipitation Measurement (GPM), is used. The design flood due to some return periods is 1,553.2 m 3 /dt for Q 25years , 1,876.7 m 3 /s for Q 50years , 2,205.8 m 3 /s for Q 100years , 3,364 m 3 /s for Q 1000years , and 4,839.4 m 3 /s for Q PMF . The result of flood routing in Limboto Lake is obtained that the condition of embankment is still safe if there is happened the design flood less than 1,000 years return period. However, if there is the PMF discharge, so it will lead to Limboto Lake embankment overtopping. Keywords : Limboto Lake, flood control storage, catchment area. https://doi.org/10.55463/issn.1674-2974.50.7.15
Unmanned Aerial Vehicles Path Planning Based on an Enhanced Whale Optimization Algorithm

This paper proposes an improved variant of the Whale Optimization Algorithm (QRWOA) for solving the Unmanned Aerial Vehicles (UAVs) path planning problem. In our proposed QRWOA algorithm, the Quasi Reflection Opposition-based Learning scheme was added to the WOA algorithm to promote the intensification and diversification of the search space effectively. The efficiency of the QRWOA algorithm is validated using six benchmark maps in comparison with Bat Algorithm (BA), Particle Swarm Optimization (PSO) algorithm, and Whale Optimization Algorithm (WOA). A comparative study revealed that the QRWOA algorithm obtains competitive results in most of the cases.
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)

Abstract We present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of Combinatorial Array Logic (CAL) and is motivated by the analysis of quantum circuits: using projection, we can succinctly encode the semantics of quantum gates as quantifier-free formulas and verify the end-to-end correctness of quantum circuits. Since the logic is expressive enough to represent quantum circuits succinctly, it necessarily has a high complexity; as we show, it suffices to encode the k -color problem of a graph under a succinct circuit representation, an NEXPTIME-complete problem. We present an NEXPTIME decision procedure for the logic and report on preliminary experiments with the analysis of quantum circuits using this decision procedure.
Towards Fast Nominal Anti-unification of Letrec-Expressions

Abstract This paper describes anti-unification algorithms for computing least general generalizations of two expressions in a functional programming language with recursive let. First, by exploring a semantic approach to the problem, we argue for an improvement of the technique used in previous papers which avoids infinite chains of properly descending generalizations. Second, we present a (non-deterministic) nominal general anti-unification algorithm applicable to general expressions, which is complete, terminating and requires polynomial time. Third, we propose a specialized anti-unification algorithm applicable to two or more garbage-free ground expressions that produces a single least general generalization in polynomial time, and which can also exploit further semantically correct equivalences. Our results have potential applications in finding clones in functional programs.
WEB PROFILE DAN MEDIA PROMOSI JASA LAUNDRY SEPATU IDE SHOES

Idea Shoes Laundry Shop is an entrepreneur who is engaged in the laundry/washing of shoes, all of whose activities are still using a manual system. The purpose of this research is to assist the store in designing a service information system at the Ide Shoes Store. This sales information system can help the store in terms of promoting its business to the public. The design of this information system uses a web-based method. With the design of a web profile and promotional media for this shoe laundry, it makes it easier for laundromats to introduce their business to many people.
MONITORING PERKEMBANGAN ANAK USIA DINI DENGAN METODE PERCEPTRON PADA DI TK KASIH BUNDA BATANGHARI

Monitoring the development of early childhood is very important, especially for children aged 4-6 years, because at that time it was a golden age that required more attention in order to stimulate child development to the maximum. This research is expected to be able to help educators to determine the development that occurs in students. The method used in this research is the perceptron method. The perceptron method is a simple Artificial Neural Network (ANN) method that uses a training algorithm to classify linearly, while the input data that becomes the criteria for this research are Moral Religious Values (MRV), Physical Motoric (PM), Cognitive, Social Emotional, Language, and Art. While the output of the data that has been processed is in the form of selected development indicators, this indicator is divided into three, namely Very Good Development [1 1], Evolves According to Expectations [1 0], and Begins to Develop [0 1]. After analyzing the monitoring of early childhood development by applying the perceptron method and the processing it using the Matlab R2009a application, the research concluded that the perceptron method was proven to be able to determine the target output and the actual appropriate ouput reached 68%.
Analisis Kesalahan Berbahasa Bentuk Baku Pada Masyarakat Poleang Barat

conversmost of the errors that appear in a piece of writing or spoken speech are caused by the presence of language spelling problems, errors in interpretation, the use of non-standard words that do not match their function. The purpose of studying language learners' language errors is to identify elements of the target language that cause language learning difficulties and to find explanations about the causes of language difficulties that result in language errors. The method used to identify language errors in the West Poleang community is a qualitative descriptive method with a note-taking technique. Ation Spoken language errors made by language users include errors at the phonological, morphological, syntactic, and semantic levels. Mistakes made unconsciously due to lack of understanding of the phoneme structure and morphemes of the language being used.
PERANCANGAN SISTEM INFORMASI WEBSITE SEPATU HANDMADE PADA TOKO PRICHILLASHOES

Web-based handmade shoe sales are made to make it easier for people to find information about the latest handmade shoe products and those who want to have shoes with unique designs. This study uses research methods such as observation, interviews, literature study. As for the system development method using the System Development Lyfe Cycle (SDLC). Based on the results of the research, the design of this information system can make it easier for buyers to introduce information about the latest handmade shoe products and make it easier to process sales transaction data and be able to overcome problems if an error occurs in ordering a product.
IMPLEMENTASI CONTENT MANAGEMENT SYSTEM UNTUK PEMBUATAN WEBSITE OFFICIAL PERGURUAN TINGGI

College official website is an official website owned by a university that is used to convey information online. Currently the development of technology is very rapid and fast, starting from the development of programming languages, security and server changes that continue to increase all the time making it very difficult for some webmasters to keep up with very fast changes. The Content Management System provides many conveniences and advantages in building an official website. In the content management system, there are already various features that are very good at developing official webs in terms of updating features and technology easily, good SEO and also very good security. One of the popular content management systems today is Joomla because currently Joomla supports nearly 2 million websites on the internet. Joomla is a type of CMS (Content Management System) which is open source and based on PHP and MySQL. This platform offers various advanced features that will help the process of creating a website or application easily. To overcome the rapid development of programming language and security technology, the researchers built an official university website using the Joomla CMS to make it easier to update and upgrade the features available on the website later. With the official web using Joomla CMS, it is hoped that the website will be more powerful, stable, well indexed SEO and ease of updating and upgrading when changes and improvements occur from the server and technology side.
MEDIA PEMBELAJARAN DALAM LANTUNAN AYAT SUCI AL-QUR’AN DENGAN PEMBAHASAN SURAH MAKKIYAH (SURAT PENDEK) PADA SD IT AL-MUTHMAINNAH

Learning Tahfidz Qur'an in SD IT Al-Muthmainnah Jambi City has not been able to hold learning tahfidz / memorize Al-Qur'an effectively because the system used is not optimal. besides students get the material tahfidz, students are also given tajwid material. The material given is Al-Qur'an juz 30. Tahfidz Qur'an method of learning in SD IT Al-Muthmainnah Jambi City using a manual method. The given material is an optional rote and memorization. Memorization must be determined by the teacher Tahfidz Qur'an of each class. And the rote choice is memorization that has been achieved by each student. For that the authors make a computerized system design Learning Media using the application adobe flash cs 5 on SD IT Al-Muthmainnah Jambi City which aims to assist the school in providing materials in a more interesting way and make it easier for students to understand the lesson.
Face Quality Detection in a Video Frame

Abstract: Face detection technology is often used for surveillance of detecting and tracking of people in real time. The applications using these algorithms deal with low quality video feeds having less Pixels Per Inch (ppi) and/or low frame rate. The algorithms perform well with such video feeds, but their performance deteriorates towards high quality, high data-per-frame videos. This project focuses on developing such an algorithm that gives faster results on high quality videos, at par with the algorithms working on low quality videos. The proposed algorithm uses MTCNN as base algorithm, and speeds it up for highdefinition videos. This project also presents a novel solution to the problem of occlusion and detecting faces in videos. This survey provides an overview of the face detection from video literature, which predominantly focuses on visible wavelength face video as input. For the high-quality videos, we will Face-MTCNN and KLT, for low quality videos we will use MTCNN and KLT. Open issues and challenges are pointed out, i.e., highlighting the importance of comparability for algorithm evaluations and the challenge for future work to create Deep Learning (DL) approaches that are interpretable in addition to Track the faces. The suggested methodology is contrasted with conventional facial feature extraction for every frame and with well-known clustering techniques for a collection of videos
Linguistic Expressions of Conditions of Chinese Legislative Provisions: A Register Grammar Perspective

There is difference in the distribution of grammar phenomena in different registers. This paper has carried out a comprehensive study of the linguistic expressions of Conditions in Chinese legislative provisions. In legislative provisions, the Conditions are usually used to indicate the preconditions or circumstances for the legal norm, which are referred to as hypothetical conditions in this paper. In contrast, the clauses introduced by the words dan ‘but’ or danshi ‘but/however’ are called danshus ‘provisos’. Danshus are always positioned after the main clauses, so they are called post-conditions. Legal norms can be categorized into authorization norms, obligatory norms, and compound norms. As special legal norms, danshus can also be categorized into authorization, obligatory and exclusionary danshus respectively. Through a corpus-based analysis of conditions of Chinese legislative provisions, this study has concluded that: i) hypothetical conditions are always expressed by de-constructions; ii) post-conditions are always expressed by danshus, including exclusionary danshus, obligatory danshus and authorization danshus respectively; iii) the use of danshus in Chinese legislative provisions are less than 7% of the total clause numbers; and iv) the co-occurrence of hypothetical conditions and post-conditions are less than 3% of the total clause numbers. Suggestions for future legislation and amendments: First, more danshus should be used; Second, the use of de-constructions should be more standardized; and Third, the co-occurrence of de-constructions and danshus should be increased.
A Long Skip Connection for Enhanced Color Selectivity in CNN Architectures

Some recent studies show that filters in convolutional neural networks (CNNs) have low color selectivity in datasets of natural scenes such as Imagenet. CNNs, bio-inspired by the visual cortex, are characterized by their hierarchical learning structure which appears to gradually transform the representation space. Inspired by the direct connection between the LGN and V4, which allows V4 to handle low-level information closer to the trichromatic input in addition to processed information that comes from V2/V3, we propose the addition of a long skip connection (LSC) between the first and last blocks of the feature extraction stage to allow deeper parts of the network to receive information from shallower layers. This type of connection improves classification accuracy by combining simple-visual and complex-abstract features to create more color-selective ones. We have applied this strategy to classic CNN architectures and quantitatively and qualitatively analyzed the improvement in accuracy while focusing on color selectivity. The results show that, in general, skip connections improve accuracy, but LSC improves it even more and enhances the color selectivity of the original CNN architectures. As a side result, we propose a new color representation procedure for organizing and filtering feature maps, making their visualization more manageable for qualitative color selectivity analysis.
Characteristics of Education 4.0 and its Application in Industry 4.0.

Abstract : The present study aims to present, from the main characteristics of Education 4.0, its possibilities and applicability in industry 4.0. As a subsidy, an exploratory study was carried out through bibliographic research in the main research bases in order to obtain updated knowledge on the theme of Education 4.0 and Industry 4.0. The results denote the importance of the applicability of the main ideas of this form of education in the current and future moment, mainly because the current and future generations are very involved in the concepts of connectivity and hybrid learning. The limitations of this research reside in the fact that, as it is a new situation, which had to be adopted almost instantly, it needs to have a greater maturity and there is a need for further research and studies, mainly in the search for the best application of technologies in the educational field. The practical implications highlight that the use of technologies in education is a reality in which teachers and students should increasingly perceive themselves as immersed and open to new educational possibilities. The originality of the study lies in the fact that education aimed at the application of new technologies still has a wide field of research andmany areas still do not have the necessary depth regarding education 4.0. Keywords: Education 4.0; Industry 4.0; New educational technologies
Future Steps Toward New Standards and Statistics

A formalized process to further develop the existing standards needs to involve both the internal process of statistics and the external process of standardization.
Analysis of Different Tense Recognition and Translation for Chinese–English Translation using Machine Translation

In machine translation, the processing of tenses is a crucial element. This paper briefly introduces neural machine translation (NMT) and analyzes the NMT model based on long shortterm memory (LSTM) and bidirectional-LSTM (Bi-LSTM). A neural network method based on LSTM was designed to recognize verb tenses in Chinese by collating bilingual corpora. The method was combined with NMT to recognize and translate different tenses. Experiments were conducted on the dataset. The results suggested that Bi-LSTM had a higher accuracy in tense recognition than LSTM, with an average accuracy of 89.89%, 7.8% higher than LSTM. A BRcomparison of the baseline showed that the NMT model based on Bi-LSTM had the highest bilingual evaluation understudy (BLEU) score. The BLEU score of Bi-LSTM combined with tense recognition was improved by 6.9. The experimental results demonstrated the effectiveness of Bi-LSTM combined with tense recognition in recognizing and translating different tenses in Chinese–English translations. This method can be applied in practice.
Web Application Based Food Ordering and Sales in Campus Environment

We developed a Web Application-based Ordering and Sales System within the campus environment to facilitate the ordering and sales process. Our goal is to provide convenience to admins, users and customers with guaranteed access rights. The food menu list is clearly displayed to make it easier for users to place orders online. Customers can easily order food online without having to come to the location, and transactions can be made anytime and anywhere. Our Web Application development uses programming languages such as CSS, HTML, and PHP. Direct surveys were also conducted for research development. Our hope is to provide a better experience for users, admins and customers and keep customer data secure. The development of a Web Application-based Ordering and Sales System aims to provide convenience and comfort to admins, users and customers in making the process of ordering food online and ensuring data security from users.
PERAMALAN CURAH HUJAN DI BANDARA INTERNASIONAL I GUSTI NGURAH RAI MENGGUNAKAN METODE FUNGSI TRANSFER

The aim of this study was to identify the model and outcomes of the rainfall forecast at I Gusti Ngurah Rai International Airport using a transfer function model. The outcomes of the rainfall forecast at I Gusti Ngurah Rai International Airport are displayed using regression analysis based on the influence of the input variable humidity. Numerous characteristics of ARIMA models are included in a forecasting model known as the transfer function model. the best model in predicting rainfall data is and the level of accuracy of the rainfall forecast results obtained by MAPE value of 26.83%. This shows that the prediction of rainfall in this study is feasible.
Analysis of difficulties in digital literacy of active seniors who participated in physical activities

The purpose of this study is to analyze in depth the difficulties of digital literacy targeting active seniors participating in physical activities. Using the nomadic sampling method from early February to the end of April 2023, five active seniors who joined a sports club and participated in physical activities 2-3 times a week were selected as targets. Data analysis was conducted by transcribing and documenting the data obtained through in-depth interviews, and consisted of three stages: coding by subject, categorization, and conceptualization. As a result of the analysis, active seniors who participate in physical activities suffered from embarrassment due to digital literacy, uncomfortable due to complicated procedures, and anxiety due to being noticed. These difficulties led them to restrict and control their physical activities along with psychological atrophy. Therefore, it is necessary to establish a policy or educational program to strengthen the digital literacy of active seniors, and this will provide an opportunity to provide important data for promoting digital literacy, which improves the quality of life of active seniors as members of society.