Miracle-dz/UniFAR-FTUs huggingface dataset:
DETECTING THE IMPACT OF LAND USE CHANGES ON FLOW HYDRAULICS IN KASHAFROOD AND PRESENTING AN IMPROVEMENT PLAN

In recent years, the effects of land use change are considered as one of the most important concerns in water management of basins. Kashafrood basin in Mashhad, for various reasons, has been affected by land use change, urban development and agricultural water resources development. Thus, doing a research using a model with a physical and distributive basis is needed to evaluate the effect of land use changes on hydrological components. The area under study is located in Razavi Khorasan province, Mashhad, and includes part of Kashafrood path between Parkand Abad refinery and Olang refinery located at a longitude of 59° 33' to 59° 50' E and a latitude of 36° 15' to 36° 24' N. GIS technology and digital software have been used to increase the accuracy of data in conducting the studies so that physiographic parameters were analyzed and estimated using digital layers with 1:250000 precision in ArcGIS and ArcView software. Between Parkand Abad refinery and the end of the studied area, the lands around the river are of particular value due to favorable conditions for agriculture and harvesting of patch products and for this reason, clear transgressions to the riverbed and river bound are evident. The results revealed that the average depth of the terraces formed on the left and right banks of the river is between 2 and 5 meters and erosion effects are visible at more than 50% of the path length. The maximum erosion length is related to the class with a wall depth of 2 to 5 meters on both right and left banks. Further, on the severity of the erosion, the class related to a length of more than 50% of the path on both banks has the highest amount of erosion. Based on the hydraulic results obtained in most cross sections, a 25-year Mohammad Nazarjani; Ali Saremi; Ali Reza Eslami; Vahid Yazdani; Hosein Sedqi. Revista Metropolitana de Sustentabilidade RMS, São Paulo, v. 10, n. 3, p. 5-28, Set/Dez. , 2020 6 discharge crosses the riverbed and enters the river bound. Hence, with regard to the changing of uses in the area around the river to agricultural and residential uses in the river bound, the necessary measures should be taken into account in this field. Accordingly, one of the practical cases is the dredging and improvement of the path and another solution is the construction of a rock, mortar or gabion wall on the left and right banks. The results of calculating the river dimensions in the final equilibrium state and movement threshold conditions at all stable sections of the studied river showed that in 71% of cross sections, the situation is unstable and in the remaining 29%, the situation is stable. The highest values of shear stress and shear velocity in unstable sections are 815.41 N/m and 6.21 m/s, respectively. On the contrary, the highest values of shear stress and shear velocity parameters in stable sections are 516.7 N/m and 4.92 m/s, respectively. The sensitivity analysis results demonstrated that the greatest sensitivity to the roughness coefficient changes is related to the parameters of flow area and upper surface width.
FANS: FPGA-Accelerated Near-Storage Sorting

Large-scale sorting is always an important yet demanding task for data center applications. In addition to powerful processing capability, high-performance sorting system requires efficient utilization of the available bandwidth of various levels in the memory hierarchy. Nowadays, with the explosive data size, the frequent data transfers between the host and the storage device are becoming increasingly a performance bottleneck. Fortunately, the emergence of near-storage computing devices gives us the opportunity to accelerate large-scale sorting by avoiding the back and forth data transfer. Near-storage sorting is promising for extra performance improvement and power reduction. However, it is still an open question of how to achieve the optimal sorting performance on the existing near-storage computing device.In this work, we first perform an in-depth analysis of the sorting performance on the newly released Samsung SmartSSD platform. Contrary to the previous belief, our analysis shows that the end-to-end sorting performance is bound by not only the bandwidth of the flash, but also the main memory bandwidth, the configuration of the sorting kernel and the intermediate sorting status. Based on our modeling, we propose FANS, an FPGA accelerated near-storage sorting system which selects the optimized design configuration and achieves the theoretically maximum end-to-end performance when using a single Samsung SmartSSD device. The experiments demonstrate more than 3× performance speedup over the state-of-art FPGA-accelerated flash storage.
Solver-based gradual type migration

Gradually typed languages allow programmers to mix statically and dynamically typed code, enabling them to incrementally reap the benefits of static typing as they add type annotations to their code. However, this type migration process is typically a manual effort with limited tool support. This paper examines the problem of automated type migration: given a dynamic program, infer additional or improved type annotations. Existing type migration algorithms prioritize different goals, such as maximizing type precision, maintaining compatibility with unmigrated code, and preserving the semantics of the original program. We argue that the type migration problem involves fundamental compromises: optimizing for a single goal often comes at the expense of others. Ideally, a type migration tool would flexibly accommodate a range of user priorities. We present TypeWhich, a new approach to automated type migration for the gradually-typed lambda calculus with some extensions. Unlike prior work, which relies on custom solvers, TypeWhich produces constraints for an off-the-shelf MaxSMT solver. This allows us to easily express objectives, such as minimizing the number of necessary syntactic coercions, and constraining the type of the migration to be compatible with unmigrated code. We present the first comprehensive evaluation of GTLC type migration algorithms, and compare TypeWhich to four other tools from the literature. Our evaluation uses prior benchmarks, and a new set of "challenge problems. " Moreover, we design a new evaluation methodology that highlights the subtleties of gradual type migration. In addition, we apply TypeWhich to a suite of benchmarks for Grift, a programming language based on the GTLC. TypeWhich is able to reconstruct all human-written annotations on all but one program.
Real-Time Telemetry Data Monitoring System on Soil Movement of Railway Tracks

A telemetry data monitoring system is needed to monitor land shifting. This system consists of an ATMega328 microcontroller, a Linear Variable Differential Transformer (LVDT) and a rheostat, an accelerometer sensor, a rain gauge tipping bucket, and the HC-12 radio telemetry module. Normally, the LVDT reads the land shift in the 0-20 mm range, the Rheostat is capable of shifting up to 66 mm, the accelerometer sensor reads less than 20 deg of data, and the rain gauge tipping bucket sensor creates the amount of rainfall below 50 mm/hour which is then sending real-time data regularly for 24 hours. The buzzer installed in the field will sound if the LVDT reads land shift more than 30 mm, Rheostat more than 51 mm, and the accelerometer sensor reads data more than 45 deg; also, the rain gauge tipping bucket sensor reads more than 70 mm/hour. This test creates parameter data. So that shift data can be monitored.
Insights in how computer science can be a science

Recently, information retrieval is shown to be a science by mapping information retrieval scientific study to scientific study abstracted from physics. The exercise was rather tedious and lengthy. Instead of dealing with the nitty gritty, this paper looks at the insights into how computer science can be made into a science by using that methodology. That is by mapping computer science scientific study to the scientific study abstracted from physics. To show the mapping between computer science and physics, we need to define what is engineering science which computer science belongs to. Some principles and assumptions of engineering science theory are presented. To show computer science is a science, we presented two approaches. Approach 1 considers computer science as simulation of human behaviour similar to the goal of artificial intelligence. Approach 2 is closely related to the actual (scientific) activities in computer science, and this approach considers computer science based on the theory of computation. Finally, we answer some of the common outstanding issues about computer science to convince our reader that computer science is a science.
A NEW APPROACH FOR INCREASING THE GINGIVAL THICKNESS BY USING INJECTABLE PLATELET RICH FIBRIN (i-PRF) – A CLINICAL AND RADIOGRAPHIC STUDY

The thickness of the gingiva has been described as gingival biotype, which is classied as thin (<1.5 mm) and thick (>1.5 mm). Higher incidence of gingival recession is found in patients with thin biotype, therefore treatment modalities that aim at enhancing the thickness of gingiva can result in better treatment outcome of recession coverage procedures. PRF is the second generation autologous platelet concentrate without use of anticoagulant. In 2014, i-PRF was developed by modifying spin centrifugation forces. The objective of this study was to estimate the efciency of injectable platelet rich brin (i-PRF) in increasing the gingival thickness. 25 systemically healthy patients were selected. Gingival thickness was measured by three techniques. [1]Visual method probe transparency, [2]Transgingival probing with 15 no. K-le, [3]Radiographic (paralleling technique) method. The intravenous blood was withdrawn from the patients and the i-PRF was prepared. The i-PRF was injected in sites with thin gingival thickness. The patients were recalled after a month and the thickness of gingiva was measured again using above methods. A statistically signicant increase in gingival thickness was observed with i-PRF. Gingival thickness increased by 0.54 mm ± 0.0854 (p < 0.05). Injection of iPRF has proven benecial for increasing the gingival thickness.
Mangrove ecosystem in North Sumatran (Indonesia) forests serves as a suitable habitat for mud crabs (Scylla serrata and S. olivacea)

Abstract. Karniati R, Sulistiyono N, Amelia R, Slamet B, Bimantara Y, Basyuni M. 2021. Mangrove ecosystem in North Sumatran (Indonesia) forests serves as a suitable habitat for mud crabs (Scylla serrata and S. olivacea). Biodiversitas 22: 1489-1496. Mud crabs (Scylla serrata and Scylla olivacea) are often found in muddy substrates associated with mangrove vegetation. The habitat of these crabs ranges from tropical estuaries to sheltered subtropical areas, riverbanks, lower river traits, and intertidal areas. These crabs have an important economic value, and it increases the income of the communities living around the mangrove area. This study aims to obtain more information on the environmental factors of habitat for mud crabs (S. serrata and S. olivacea): insights on the effects of abiotic and biotic factors and potential economic value, in the village of Lubuk Kertang, Langkat, North Sumatra, Indonesia. Data were collected by measuring abiotic factors (temperature, pH, salinity, dissolved oxygen, mud depth, distance from the river) and biotic factors (mangrove stand density through canopy cover). The dataset was analyzed using a binary logistic regression analysis with a stepwise method. Results showed that the abiotic factors that contributed to the presence of the mud crab were dissolved oxygen and a mud depth of 68.7%. Meanwhile, the remaining 31.3% that contributed to the presence of mud crabs were abiotic factors (temperature, pH, salinity, distance from rivers) and biotic factors (stand density through canopy cover). The present study suggests that dissolved oxygen and mud depth have an important function in predicting the presence of mud crabs.
Using Multiple Regression Model and RNN for Imputing the Missing Values of PM10 Datasets

The missing value in time series data is a scientific problem that should be solved by imputing these values by following some statistical techniques. This problem is more complex due to the missing values that existed in the dependent (response) variable. Particular matter (PM10) is a time series dataset used to scale air pollution as a dependent variable, while there are many types of pollutants used as independent variables. Malaysian datasets of PM10 and several climate pollutants are examined in this study. This study aims to impute the missing values for different missing rates in a dependent variable with minimum error. In this paper, the independent variables were supposed completed while the missing values have been replaced in different rates and different distributions within the dependent variable. Multiple linear regression (MLR) has been used as a traditional method to impute the different missing values of PM10. Recurrent neural network (RNN) is combined with MLR and used to impute the missing values of PM10. The results reflected that th hybrid method outperformed MLR for imputing the missing values of PM10. In conclusion, the hybrid method MLR-RNN can be used to impute the missing values of PM10 accurately compared to other traditional methods. Keywords—multiple linear regression; MLR; missing values; recurrent neural network; RNN.
Real Time Object Detection and Identification Using TensorFlow

Security plays a major role in today’s world. Object detection is mostly used for security purposes. It is also widely used in the world of sports, its users including training staff, broadcasters and sports. YOLO (you only look once) object detection algorithm is used for image classification. Tensor flow objectdetection API, an open source framework for object detection related tasks, was used for training and testing SSD (single shot multibox detector) with Mobile net-model. It detects the objects and displays that object name in the stored video as well as in a live camera. With an object detection model, not only can you classify multiple classes in one image, but you can specify exactly where that object is in an image with a bounding box framing the object. It is also used by the government to access security feeds and match it with their existing database to find any criminals or to detect the robbers’ vehicle.
Jetset: Targeted Firmware Rehosting for Embedded Systems

The ability to execute code in an emulator is a fundamental part of modern vulnerability testing. Unfortunately, this poses a challenge for many embedded systems, where firmware expects to interact with hardware devices specific to the target. Getting embedded system firmware to run outside its native environment, termed rehosting, requires emulating these hardware devices with enough accuracy to convince the firmware that it is executing on the target hardware. However, full fidelity emulation of target devices (which requires considerable engineering effort) may not be necessary to boot the firmware to a point of interest for an analyst (for example, a point where fuzzer input can be injected). We hypothesized that, for the firmware to boot successfully, it is sufficient to emulate only the behavior expected by the firmware, and that this behavior could be inferred automatically. To test this hypothesis, we developed and implemented Jetset, a system that uses symbolic execution to infer what behavior firmware expects from a target device. Jetset can generate devices models for hardware peripherals in C, allowing an analyst to boot the firmware in an emulator (e.g., QEMU). We successfully applied Jetset to thirteen distinct pieces of firmware together representing three architectures, three application domains (power grid, avionics, and consumer electronics), and five different operating systems. We also demonstrate how Jetset-assisted rehosting facilitates fuzztesting, a common security analysis technique, on an avionics embedded system, in which we found a previously unknown privilege escalation vulnerability.
Characterisation of peri-implantation endometrial Treg and identification of an altered phenotype in recurrent pregnancy loss

Recurrent Pregnancy Loss (RPL) affects 2–4% of couples, and with increasing numbers of pregnancy losses the risk of miscarrying a euploid pregnancy is increased, suggesting RPL is a pathology distinct from sporadic miscarriage that is due largely to lethal embryonic aneuploidy. There are a number of conditions associated with RPL including unspecified “immune” pathologies; one of the strongest candidates for dysregulation remains T regulatory cells as depletion in the very early stages of pregnancy in mice leads to pregnancy loss. Human endometrial Treg and conventional CD4T cells were isolated during the peri-implantation period of the menstrual cycle in normal women. We identified an endometrial Treg transcriptomic signature and validated an enhanced regulatory phenotype compared to peripheral blood Treg. Parous women had an altered endometrial Treg transcriptome compared to nulliparity, indicating acquired immune memory of pregnancy within the Treg population, by comparison endometrial conventional CD4T cells were not altered. We compared primary and secondary RPL to nulliparous or parous controls respectively. Both RPL subgroups displayed differentially expressed Treg gene transcriptomes compared to controls. We found increased cell surface S1PR1 and decreased TIGIT protein expression by Treg in primary RPL, confirming the presence of altered Treg in the peri-implantation RPL endometrium.
EFFECT OF FOUR-WEEK EXPIRATORY MUSCLE STRENGTHENING ON EXERCISE-INDUCED BREATHLESSNESS IN NORMAL ADULTS : PILOT STUDY

In a country like India, with a population of 1.3 billion, India is ranked the second most populated country in the world [1]. But with this population rate, only a handful amount to a normal healthy population [2]. Even though considering them to be normal, at times even these healthy individuals complain of problems like headache, dizziness, anxiety, stress, nausea, breathlessness, general weakness etc. which in turn reflects the in general endurance of the individual [3,4]. Talking of endurance, it refers to the ability of an organism to exert and remain active for a long period of time, as well as its ability to resist, withstand, recover from and the immunity to trauma, wounds or fatigue in order to improve the endurance of an individual, he/she need to repeatedly perform that activity so as to allow the muscles to strengthen [4-10].
Micro-Influencer Motivations to Engage with the Carhartt WIP Brand

Social media micro-influencer marketing strategy is a relatively new field of research and due to its constant developments, the findings of this research on micro-influencer motivations to represent the Carhartt WIP brand provide with a significant insight on current empirical reality. This qualitative research on what motivates the micro-influencers to choose and represent the Carhartt Work in Progress Brand? Offers the understanding for brand marketers to consider the importance of subculture micro-influencer motivational drivers in order to design a micro-influencer social media marketing strategy on Instagram. Micro-influencers are often chosen by brand marketers with the aim to reach subculture communities of brand consumers, therefore a specific group of consumers who would be naturally interested in brands culture. The exploratory nature of main concepts influence, influencers and micro-influencers are aimed to clarify the current fluidity of understanding and existing misconceptions in regard to conceptualization of influencer categories when designing a branded influence marketing strategy with the aim to reach online subculture communities. Micro-influencers are likely to exert their influence in an organic way, which means that they do not focus on brand representation but rather choose to be a part of the brands culture which fits within their perception of their own subcultural context. Thematic analysis conducted during this study ultimately led to understanding of micro-influencer motivations as well as influencer marketing in general while looking at the example of Carhartt WIP brand. This study is mainly based on pre-existing literature findings, however the assessment of qualitative data obtained during the qualitative interviews better clarifies the main concepts of this study. An explanatory overview of themes related to micro-influencer motivations such as relationship, authenticity and freedom of self-expression, heritage, creativity and organic influence discovered in relation to the previous literature findings offer the insight on so called ‘influence of culture’ brand marketing strategy.
Linear Dependence on Covalent Radii of Atomic and Ionic Radii of Elements Calculated by Rahm, Hoffmann and Ashcroft

The radii of free atoms calculated recently using DFT by Rahm, Hoffmann and Ashcroft have been correlated here with the covalent radii of elements of the Periodic Table. The linear dependences found are in accordance with the previous results obtained by the author between various types of radii of atoms. In particular, the comparison of the atomic radii and the Golden ratio based ionic radii of the alkali metal and halogen atoms with those presented by Rahm et al. shows that the latter also involve the Golden ratio.
Physical activity assessed by accelerometer and self-reported questionnaire in an Italian sample of adolescents

Physical activity (PA) is defined as any body movement produced by skeletal muscle contraction that results in caloric expenditures (1) and includes competitive or recreational sports, exercise, active hobbies (including playing), walking, cycling and some daily life activities as household chores (2). PA benefits the physical, psychological, social and cognitive health of children and youths (3,4); it increases, in fact, cerebral blood flow and Original Article
APPLICATION OF A SEMI-AUTOMATED TECHNIQUE IN LUNG LESION SEGMENTATION

Segmentation is one of the most important steps in automated medical diagnosis applications, which affects the accuracy of the overall system. In this study, we apply a semi-automated technique that combines an active contour and low - level processing techniques in lung lesion segmentation by extracting lung lesions from thoracic Positron Emission Tomography (PET)/Computed Tomography (CT) images. The lesions were first segmented in Positron Emission Tomography (PET) images which have been converted previously to Standardised Uptake Values (SUVs). The segmented PET images then serve as an initial contour for subsequent active contour segmentation of corresponding CT images. T o measure accuracy, the Jaccard Index (JI) was used. Jaccard Index (JI) was calculated by comparing the segmented lesion to alternative segmentations obtained from the QIN lung CT segmentation chall e nge, which is possible by registering the whole body PET/CT images to the corresponding thoracic CT images. The results showed that the semi-automated technique (combination techniques between an active co ntour and low - level processing) in lung lesion segmentation has moderate accuracy with an average JI value of 0.76±0.12.