Miracle-dz/UniFAR-FTUs huggingface dataset:
Reconstruction of a 3D Scene from a Monocular Camera for Autonomous Unmanned Aerial Vehicles- Acronym

One of the recently established fields of science is the development of unmanned aerial vehicles (UAVs), which are able to perform tasks in various environments without the need of human assistance. One key component to solve this task is the reconstruction of a 3D scene of an unknown environment, where the UAV needs to localize and safely navigate itself. One way of creating this 3D model is based on frames from a monocular camera attached to the UAV and the data from sensors of the inertial measuring unit (IMU). The advantage of this combination is availability and a low price compared to other setups for example with light detection and rangings (LIDARs). Thanks to the reconstructed 3D model, the UAV is then able to follow a safe trajectory through a real environment. This work deals with two open-source algorithms, FLaME and Kimera, which process information from images captured by a monocular camera and use structure from motion (SfM) algorithm to reconstruct a 3D model of an unknown environment. The algorithms were evaluated and compared on publicly available EuRoC datasets and subsequently, their functionality was verified in a simulator that is used and developed by the multi-robot systems (MRS) group at the Department of Cybernetics, Czech Technical University (CTU). Finally, experiments in a real environment were conducted to evaluate algorithms for practical use.
Sizing and analysis of a recycling folded‑cascode OTA for ECG signal conditioning in 0.18 μ m CMOS technology

This paper presents the design and analysis of a recycling folded-cascode (RFC) OTA intended for any generic capacitive-feedback ECG amplifier. The g m I D methodology is utilized for sizing the RFC OTA, to achieve the prime targets of ultra-low power consumption and low input referred noise. The improved RFC topology is used to achieve higher CMRR. A detailed noise analysis of the overall IA is also included. An account of the chief contributors to the IA’s overall noise and design techniques to minimize the same is incorporated. Implemented using UMC 0.18 μ m, the complete circuit consumes a power of 0.47 μ from a 1.8 V supply. The post-layout simulation results show that the designed circuit satisfies all essential specifications of an ECG acquisition system
Translating Felix’s Vita sancti Guthlaci into Old English

Based on some of the most recent studies on aesthetic emotions, the purpose of this paper is to examine how aesthetic concepts and aesthetic experience are translated and adapted from Felix’s Vita sancti Guthlaci into Old English prose. Looking into the Old English terms from the lexical domains of beauty and aesthetic pleasure, this paper highlights very specific translation practices on the part of, especially, an Old English author, who implements an additional aesthetic dimension that is not generally found in the Latin source. This paper highlights an apparent hybridity between the cognitive and the sensory in these literary texts, and it also stresses how one of these authors in particular frequently uses sensory evaluations to describe the complex and abstract ideas that are typical of the hagiographical genre.
Perceived Social Sanctions and Deindividuation: Understanding the Silencing Process on Social Media Platforms

This study aimed to understand how social sanctions and deindividuation affect people’s willingness to express their opinions on social media. Previous research has demonstrated that specific affordances of social media platforms may impact opinion expression, but the psychological mechanisms behind this behavior still need to be fully understood. To better understand the deindividuation process across social media platforms, this study examines the variables of anonymity and identifiability using the social identity model of deindividuation effects and the spiral of silence theory. We surveyed 535 people online and found that deindividuation significantly moderates the relationship between social sanctions and willingness to express an opinion. Additionally, we discovered that users perceive a higher level of deindividuation on Twitter than on Facebook. This research sheds light on the complex interplay among affordances, group dynamics, and opinion-expression behavior on social media platforms.
Computer Information Teaching Reform Based on Internet of Things

: With the rapid development of modern communication technology, the major of computer application has attracted much attention, and now it has become a popular major in secondary vocational schools. Under the background of the new era, the computer application specialty is facing a broader development space, and the demand of society for computer application professionals is getting higher and higher. Secondary vocational schools must strengthen the investigation of the industry and the market, compare the social needs with the current situation of talent cultivation, education and teaching methods, constantly optimize computer teaching, improve teaching objectives and teaching plans, and improve the quality of talent cultivation. This paper analyzes the influence of Internet of Things technology on computer application specialty, analyzes the reform strategy of computer application specialty's practice curriculum from the aspects of practice curriculum system reform, practice teaching environment reform and assessment method reform, and puts forward the specific process of integrated teaching.
Zoonotic gastrointestinal nematodes in pet cats in Yogyakarta (Indonesia) and their susceptibility to anthelmintics

Abstract. Widiyono I, Rusmihayati, Purnamaningsih H, Sahara A. 2023. Zoonotic gastrointestinal nematodes in pet cats in Yogyakarta (Indonesia) and their susceptibility to anthelmintics. Biodiversitas 24: 3332-3337. Domestic cats (Felis catus Linnaeus, 1758), which live close to humans, can host some zoonotic nematodes. Therefore, a study on gastrointestinal nematodes in domestic cats and their anthelmintic resistance is essential for controlling and preventing zoonotic nematodiasis. Our goal was to investigate the diversity of gastrointestinal nematodes in pet cats in Yogyakarta and their susceptibility to anthelmintics. One hundred seventy-four (174) out of 215 cat patients (80.93%) presented at the animal clinic of the Department of Internal Medicine, Faculty of Veterinary Medicine, Universitas Gadjah Mada, Yogyakarta, Indonesia, and suspected gastrointestinal parasite infections suffered from nematodiasis. Ninety-eight (98) animals suffering from moderate to severe gastrointestinal nematodiasis with Egg Per Gram feces (EPG) >300 were included into nematode identification, clinical analyses, and evaluation of nematode susceptibility to anthelmintics. The animals were divided in three treatment groups, namely pyrantel pamoate at the dose of 5 mg/kg BW orally on D0 (OP), subcutaneous injection of ivermectin at the dose of 200 µg/kg BW on day 0 (SCI), and no medication as a Control (C). Fecal samples were collected on day 0 and 10 for parasitological examinations. The results showed that pet cats were infected with Toxocara sp. and Ancylostoma sp. , with the incidence of single infection by Toxocara sp. , Ancylostoma sp. , and mixed infection at 50%, 36.73%, and 13.27%, respectively. The animals were clinically healthy or showing clinical signs, e.g., anorexia, diarrhea, vomiting, and dull hair. Pyrantel pamoate and ivermectin showed >98% efficacy against these nematodes. In conclusion, there were two zoonotic gastrointestinal nematodes in pet cats in Yogyakarta, namely Ancylostoma and Toxocara, which still showed high susceptibility to pyrantel pamoate and ivermectin.
Imaging Fault Structures Near the Imperial Fault in the All American Canal

We employed an acoustic high-resolution, shallow imaging technique (CHIRP) in the All American Canal (AAC) by the US-Mexico border to provide direct constraints on near-surface splays of the Imperial Fault (IF), and other structures to its west. The Imperial Fault is a high slip-rate fault within the context of Southern California tectonics, yet there are few paleoseismic studies due to agricultural obfuscation of surface faulting. Our goal was to directly image near-surface structures on and near the IF to understand better local fault interactions, and direct future paleoseismic studies for improved slip rates. Current results have shown some shallow deformation near the area of the mapped IF surface trace, as well as offset strata and signiﬁcant distributed deformation in an area approximately 10 to 23km west of the mapped IF trace. We interpret that this corresponds to deformation associated with the northern extension of the Michoacán fault, as well as structures associated with a stepover between the Michoacán and Dixieland Faults.
An Efficient Indexing for Content Based Image Retrieval Based on Number of Clusters Using Clustering Technique

Low-level visual features like color, shape, texture are being used for representing and retrieving images in many Content-Based Image Retrieval systems. Generally such methods suffer from the problems of high dimensionality leading to more computational time and inefficient indexing and retrieval performance. This paper focuses on a cluster based indexing technique for achieving efficient and effective retrieval performance. We present a simple index based on number of clusters that are segmented out of image based on color. A new cluster based similarity measure conforming to human perception is applied and shown to be effective. An unsupervised learning technique has been used to find number of clusters. Images are segmented to obtain homogeneous color regions that are dominant and images form an index stored in a hash structure. Each image is then indexed by a cluster index. In the fine matching stage, a reduced set of candidate images need to be computed for detailed similarity comparison. The experimental results show that proposed method leads to a fast retrieval with good accuracy.
Efficient Arguments and Proofs for Batch Arithmetic Circuit Satisfiability

In this paper, we provide a systematic treatment for the batch arithmetic circuit satisfiability and evaluation problem. Building on the core idea which treats circuit inputs/outputs as a low-degree polynomials, we explore various interactive argument and proof schemes that can produce succinct proofs with short verification time. In particular, for the batch satisfiability problem, we provide a construction of succinct interactive argument of knowledge for generic log-space uniform circuits based on the bilinear pairing and common reference string assumption. Our argument has size in O ( poly ( λ ) · ( | w | + d log | C | )) , where λ is the security parameter, | w | is the size of the witness, and d and | C | are the depth and size of the circuit, respectively. Note that the argument size is independent of the batch size. To the best of our knowledge, asymptotically it is the smallest among all known batch argument schemes that allow public verification. The batch satisfiablity problem simplifies to a batch evaluation problem when the circuit only takes in public inputs (i.e., no witness). For the evaluation problem, we construct statistically sound interactive proofs for various special yet highly important types of circuits, including linear circuits, and circuits representing sum of polynomials. Our proposed protocols are able to achieve proof sizes independent of the batch size. We also describe protocols optimized specifically for batch FFT and batch matrix multiplication which achieve desirable properties, including lower prover time and better composability. We believe these protocols are of interest in their own right and can be used as primitives in more complex applications.
IMPLICATIONS OF DOMESTIC VIOLENCE AGAINST WOMEN IN POLICE HOUSE HOLDS IN BURUBURU POLICE DIVISION IN NAIROBI COUNTY, KENYA

This study focused on investigating domestic violence within police households in BuruBuru Police Division. The motivation behind the study was the need for new interventions to address the persistent and increasing violence against women in these households, which was attributed to a lack of information on the issue. The study aimed to explore the forms and nature of domestic violence against women in police households, examine the factors contributing to such violence, and assess its effects on police families in the BuruBuru Police Division. The study utilized a cross-sectional descriptive study design and employed both probability sampling and purposive sampling techniques to select a sample size of 133 respondents from partners of male police officers. Additionally, eight key informants were interviewed to gather further insights. The collected data was analyzed using descriptive statistics in the SPSS software package for quantitative data, while qualitative data underwent content analysis. Correlation analysis was used to test for associations and dependencies between study variables. The study found that domestic violence does occur in police households. The major forms of domestic violence identified were physical violence (48.5%), sexual abuse (56.6%), controlling or domineering behavior (42.4%), economic deprivation (41.4%), and intimidation (38.4%). Socio-economic factors were found to significantly contribute to domestic violence in police households (63.6%), impacting the mental health of police officers and the quality of their work. The study also highlighted that existing police disciplinary procedures may not be adequate to address this problem. Based on the findings, the study recommends implementing policies that incorporate conflict resolution mechanisms such as mediation, counseling, and outreach programs by government and non-governmental organizations
FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler

We present a novel fuzzing technique, FuzzJIT, for exposing JIT compiler bugs in JavaScript engines, based on our insight that JIT compilers shall only speed up the execution but never change the execution result of JavaScript code. FuzzJIT can activate the JIT compiler for every test case and acutely capture any execution discrepancy caused by JIT compilers. The key to success is the design of an input wrapping template, which proactively activates the JIT compiler and makes the generated samples oracle-aware themselves and the oracle is tested during execution spontaneously. We also design a set of mutation strategies to emphasize program elements promising in revealing JIT compiler bugs. FuzzJIT drills to JIT compilers and at the same time retains the high efficiency of fuzzing. We have implemented the design and applied the prototype to find new JIT compiler bugs in four mainstream JavaScript engines. In one month, ten, five, two, and 16 new bugs are exposed in JavaScriptCore, V8, SpiderMonkey, and ChakraCore, respectively, with three demonstrated exploitable.
Googling in Russian Abroad: How Kremlin-Affiliated Websites Contribute to the Visibility of COVID-19 Conspiracy Theories in Search Results

Research that audited search algorithms typically deployed queries in one language fielded from within only one country. In contrast, this study scrutinized 8,800 Google results retrieved in November 2020 from 5 countries (Russia, the United States, Germany, Ukraine, and Belarus) in response to queries on COVID-19 conspiracy theories in Russian and English. We found that the pandemic appeared similar to people who googled in Russian independent of their geolocation. The only exception was Ukraine, which had implemented rigorous media policies to limit the reach of websites affiliated with Russia within its national public sphere. Conspiracy narratives varied with input language. In response to Russian-language queries, 35.5% of the conspiratorial results suspected U.S. plotters to be behind the pandemic (English language: 5.8%). All source pages that blamed U.S. plotters showed connections with Russia's elites. These findings raise important theoretical questions for today's multilingual societies, where the practice of searching in nonlocal languages is increasing.
“A COMPARATIVE STUDY OF IMMUNOMODULATORY ACTIVITY OF ACTIDINIA DELICOSA CV. HAYWARD FRUIT AND BRASSICA OLEARACEAE VAR.CAPITATA LEAF IN EXPERIMENTAL ANIMALS”

: Aim: Comparative study of Immunomodulatory activity of Actidinia delicosa cv. Hayward fruit and Brassica olearaceae var. Capitata leaf in experimental animals. Material and Method: The assessment of immunomodulatory activity of ethanolic extract of Actidinia delicosa cv. Hayward fruit (200 and 400 mg/kg p.o.) and methanolic extract of Brassica olearaceae var. Capitata leaf (250 and 500 mg/kg, p.o.) were done by Carbon clearance test and Neutrophil adhesion test for Non-specific immunity, Delayed Type Of Hypersensitivity Reaction for Cell mediated immune response, and T-Cell population test. Result: The present studies suggest that the methanolic extract of Brassica olearaceae var. Capitata leaf was found to possess significant Immunostimulatory activity on Immune system than the ethanolic extract of Actidinia delicosa cv. Hayward fruit in dose dependent manner when compare with control group.
Genetic diversity of bigeye thresher shark (Alopias superciliosus Lowe, 1841) landed in Palabuhanratu Fishing Port, Sukabumi, West Java, Indonesia

Abstract. Kanedi MM, Wijayanti DP, Widowati I, Malik MDA, Yusmalinda NLA, Sembiring A. 2023. Genetic diversity of bigeye thresher shark (Alopias superciliosus Lowe, 1841) landed in Palabuhanratu Fishing Port, Sukabumi, West Java, Indonesia. Biodiversitas 24: 3488-3494. The bigeye thresher shark Alopias superciliosus (Lowe, 1841) is a highly migratory marine shark, widely distributed globally in tropical and temperate seas. The bigeye thresher shark is listed as a Vulnerable/VU species on the red list of the International Union for Conservation of Nature (IUCN) and listed on Appendix II of the Convention on International Trade in Endangered Species of Wild Fauna and Flora (CITES). Genetics is a substantial essential approach to conservation, management, and sustainability. This study investigates the bigeye thresher shark’s genetic diversity and structure populations A. superciliosus that landed in Palabuhanratu Fishing Port, Sukabumi, West Java, Indonesia. Samples were collected in Palabuhanratu (n=16) and secondary data from the Atlantic Ocean (n=212) and Indian Ocean (n=16) sequences were obtained from GenBank. A total of 16 sequences of A. superciliosus have been amplified using mitochondrial DNA control region (dloop) with 857 bp in size sequenced. The Genetic diversity result showed haplotype diversity value in Palabuhanratu (Hd=0.86667; ? =0.01048) considered a high value. Overall, AMOVA and FST results showed significant differences in population structure between Palabuhanratu, Atlantic, and Indian Ocean with an FST value of 0.04420 (p-value <0.05). Based on the result, an effective strategy is needed to manage A. superciliosus sharks, both with the government and the private sector.
Molecular detection and analysis of dengue virus genetic diversity in North Sulawesi, Indonesia during 2022

Abstract. Datu AM, Natzir R, Yustisia I, Wahid I, Soraya GV, Kadir S. 2023. Molecular detection and analysis of dengue virus genetic diversity in North Sulawesi, Indonesia during 2022. Biodiversitas 24: 3407-3413. Dengue is a highly infectious disease caused by the dengue virus, consisting of four serotypes (DENV1-DENV4). The existence of diverse serotypes and genotypes in an area significantly impacts the degree of virulence in humans, clinical manifestation, and the epidemiology of the disease. Studying virus diversity in an area is pivotal, especially in dengue-endemic areas such as North Sulawesi. This study was an explorative research analyzing dengue virus serotypes and sequencing on the C-PrM protein region to determine the genetic diversity. This study was conducted on children and adults in 3 health centers in North Sulawesi, Indonesia, in 2022. Of 137 sera samples from febrile patients with dengue-like symptoms, ten were confirmed positive for dengue virus. Out of the ten positive samples, DENV1 was the dominant serotype, which was 70%. This was followed by 20% DENV2 and 10% DENV4. The genotype of each serotype, DENV1, DENV2, and DENV4, was respectively classified into genotype I, cosmopolitan genotype, and genotype I as a new genotype of DENV4 reported in North Sulawesi. This study provides the latest data on the serotypes and genotypes of dengue viruses in North Sulawesi. Molecular surveillance of the dengue virus in North Sulawesi must be continuously conducted due to the circulation of multiple serotypes and genotypes in this province.
Radioactive Hotspots Identiﬁcation by an Unmanned Aerial Vehicle

The thesis focuses on utilizing an unmanned aerial vehicle (UAV) equipped with a Timepix3 radiation sensor to identify radioactive hotspots. The primary goal of the thesis is to determine the correct number of sources within a predeﬁned search area and accurately determine their locations. For the search itself, the thesis employs an Expectation–Maximization algorithm with a specialized initialization approach based on a Gaussian mixture model. This initialization method estimates the number of components present in the model. For data collection, the UAV autonomously ﬂies through the designated area following a generated ﬂight plan and captures radioactive particles. The position of the drone at the time of particle capture is recorded. Once a suﬃcient number of particles have been collected, an algorithm is triggered to search for radiation hotspots. The sources can be searched for in real–time during the ﬂight and additionally, after the experiment is completed.
Sounds Real: Using Hardware Accelerated Real-time Ray-Tracing for Augmenting Location Dependent Audio Samples

—We present a data augmentation technique for generating location variant audio samples using ray-traced audio in virtual recreations of the real world. Hardware Audio-Based Location-Aware Systems are capable of locating audio sources in relation to mobile devices. This is a relevant technique in the context of location-based and person tracking in ubiquitous environments. However, this solution is limited in collecting vast data to train the machine learning model reliably. To overcome this problem, we constructed a virtual environment using the audio ray-tracing solution, NVidia VRWorks Audio in Unreal Engine 4, to simulate a real-world setting. The environmental sounds in the real-world scenario were imported into the virtual environment. This strategy could augment data for training Hardware Audio-Based Location-Aware Systems machine learning models with the necessary calibration of the unreal and real data sets. Our results show the audio ray-tracing framework could simulate real-world sound in the virtual environment to a certain extent.