Tebyan: Fake News Detection System (Preprint)

BACKGROUND There is a serious threat from fake news spreading in technologically advanced societies, including those in the Arab world, via deceptive machine-generated text. In the last decade, Arabic fake news identification has gained increased attention, and numerous detection approaches have revealed some ability to find fake news throughout various data sources. Nevertheless, many existing approaches overlook recent advancements in fake news detection, explicitly to incorporate machine learning algorithms system. OBJECTIVE Tebyan project aims to address the problem of fake news by developing a fake news detection system that employs machine learning algorithms to detect whether the news is fake or real in the context of Arab world. METHODS The project went through numerous phases using an iterative methodology to develop the system. This study analysis incorporated numerous stages using an iterative method to develop the system of misinformation and contextualize fake news regarding society's information. It consists of implementing the machine learning algorithms system using Python to collect genuine and fake news datasets. The study also assesses how information-exchanging behaviors can minimize and find the optimal source of authentication of the emergent news through system testing approaches. RESULTS The study revealed that the main deliverable of this project is the Tebyan system in the community, which allows the user to ensure the credibility of news in Arabic newspapers. It showed that the SVM classifier, on average, exhibited the highest performance results, resulting in 90% in every performance measure of sources. Moreover, the results indicate the second-best algorithm is the linear SVC since it resulted in 90% in performance measure with the societies' typical type of fake information. CONCLUSIONS The study concludes that conducting a system with machine learning algorithms using Python programming language allows the rapid measures of the users' perception to comment and rate the credibility result and subscribing to news email services.

A Simplified Methodology for Rapidly Analyzing the Effect of Multi-Hazard Scenario on Atmospheric Storage Tanks

Natural hazard events that trigger technical emergencies (Natech events), as a typical type of multi-hazard, have become a matter of growing concern. In particular, the occurrence of Natech events in industrial areas triggered a number of severe accidents. The present research aims at introducing a sound but simplified methodology to quickly and flexibly assess the vulnerability of atmospheric storage tanks to multiple natural disasters in Natech events. This method consists of 8 steps, relying on the simplified physical models of tank damage caused by natural disasters. The models of wind overturning tank and tank buckling caused by hail are proposed. In addition, the assessment process of tank vulnerability is demonstrated from two aspects: deterministic analysis and probabilistic analysis. The uncertain parameter set (UPS) proposed in the method and the Monte Carlo simulation method can help to purposefully analyze the impact of various parameters and this method is also a general method, which is also applicable to Natech events including other natural disasters or other types of storage tanks.

Psychological and Physiological Responses to Different Views through a Window in Apartment Complexes

Background and objective: With increasing land use intensity in urban areas, apartment buildings have been recognized as a typical type of urban residence. In this study, the impacts of different views through a window on health-related responses were investigated using psychological and physiological parameters. Methods: Photos of three different types of views taken on low (2-12 m), middle (28-35 m), and high (over 54 m) floors of dense apartment building areas were used as visual stimuli. Twenty-two healthy adults participated in the indoor experiment. Semantic differential methods and profile of mood states were used as psychological tools. Autonomic nervous activity was evaluated using blood pressures, pulse rate and heart rate variability (HRV). Results: Analytic data showed different characteristics of psychological and physiological outcomes in three different apartment views. In the analysis of psychological parameters, significantly negative responses to the views on middle floors were found in the subscales of tension-anxiety and anger-hostility, compared to low floors. Significantly positive scores in the subscale of vigor were found on low floors with abundance of vegetation and high floors with a view of the sky. A significantly increased value of HF was found on low floors (2,294.96 ± 169.79), compared to the middle(1,553.45 ± 84.66) and high (1,523.02 ± 70.49) floors. Despite the high scores in openness and vigor, high floor views showed significantly higher LF/HF values (1.83 ± 0.09), the indicator of the sympathetic nervous system, than low (1.30 ± 0.07) and middle floor views (1.34 ± 0.06), which might be related to the unconscious fear of heights. Conclusion: Views from different heights in an apartment building can affect the psychological states of residents. Green space through the window may have a positive health outcome by reducing physiological stress.

Scalability and precision by combining expressive type systems and deductive verification

Type systems and modern type checkers can be used very successfully to obtain formal correctness guarantees with little specification overhead. However, type systems in practical scenarios have to trade precision for decidability and scalability. Tools for deductive verification, on the other hand, can prove general properties in more cases than a typical type checker can, but they do not scale well. We present a method to complement the scalability of expressive type systems with the precision of deductive program verification approaches. This is achieved by translating the type uses whose correctness the type checker cannot prove into assertions in a specification language, which can be dealt with by a deductive verification tool. Type uses whose correctness the type checker can prove are instead turned into assumptions to aid the verification tool in finding a proof.Our novel approach is introduced both conceptually for a simple imperative language, and practically by a concrete implementation for the Java programming language. The usefulness and power of our approach has been evaluated by discharging known false positives from a real-world program and by a small case study.

An Almahata Sitta EL3 fragment: implications for the complex thermal history of enstatite chondrites

Almahata Sitta is a polymict breccia, consisting of many kinds of clasts. Here we present our mineralogical and petrological results on an EL3 fragment, MS-177 from Almahata Sitta. This fragment shows a typical type 3 chondritic texture, consisting of well-defined chondrules, isolated silicate minerals, and opaque nodules. Most chondrules are enstatite-rich with some having olivine. Although these components are typical of EL3 chondrites, the mineral abundances and compositions are different from the other EL3s. Diopside is unusually abundant in MS-177. On the other hand, perryite and daubreelite were not found. The major pyroxene is orthoenstatite, and the silica phase is quartz. Fe–Ni metal has relatively high P contents. Troilite is enriched in Cr and Mn. Keilite and buseckite are present in MS-177. From the mineralogy and texture, MS-177 experienced a high-temperature event under subsolidus conditions. Shock-induced heating for a short duration might explain this high-temperature event. We suggest that other E3 chondrites also experienced heating events under such subsolidus conditions on their parent bodies. On the other hand, the high abundance of diopside cannot be explained by a secondary thermal event and may have been a primary feature of MS-177, formed before accretion to the parent body.

Prevalence of Neural Tube Defects (NTDs) In And Around Varanasi Region: Some Observations

Congenital anomalies are one of the primary causes of infant mortality and disability in the world. Neural Tube Defects (NTDs) are the most typical type of birth defect resulting from the failure of Neural tube closure. In this retrospective hospital-based study, the data of the children affected byneural tube defects (NTDs) were analyzed. Prevalence of Hydrocephalous, Myelomeningocele (MMC), Encephalocele, Lipo MMC, Meningocele, Spina Bifida Occulta among children with more or less than one year of age and their occurrence in males and females was studied. The frequency of occurrence of cases of neural tube defects was significantly less among all the congenital disabilities, i.e., 5% of total cases studied. The prevalence of myelomeningocele, hydrocephalous, and Encephalocele was higher than other types of NTDs. This study concludes that the prevalence of hydrocephalous and myelomeningocele in this area raises a concern to have more research of their etiology.

Strangulation of the penis with a metal ring. Clinical case

Penile trauma is the most complex, diverse and hard to rehabilitate injury. The reasons are anatomical structure and localization of the organ and its multifunctionality. Penile strangulation is the most common and typical type of genital injury; incidence is 1 case per 5,000 males. However, urologists in their practice rarely encounter penile strangulation with a metal ring. Some objects, metallic or other, can be placed on the penis to increase sexual activity. We describe a clinical case of a 70-year-old patient who sought medical care at the emergency room due to penile strangulation by a metal ring (a nut). The patient sought assistance 3 days after putting the metal ring on his penis by himself.

A Review: Photocatalysts Based on BiOCl and g-C3N4 for Water Purification

Many organic pollutants are discharged into the environment, which results in the frequent detection of organic pollutants in surface water and underground water. Some of the organic pollutants can stay for a long time in the environment due to their recalcitrance. Advanced oxidation processes (AOPs) can effectively treat the recalcitrant organic compounds in water. Photocatalysis as one of the AOPs has attracted a lot of interest. BiOCl and g-C3N4 are nice photocatalysts. However, their catalytic activity should be further improved for industrial utilization. The construction of heterojunction between the two different components is deemed as an efficient strategy for developing a highly efficient photocatalyst. As a typical type-II heterojunction, g-C3N4/BiOCl heterojunctions showed better photocatalytic performance. To date, the g-C3N4/BiOCl composites were mainly studied in the field of water purification. The photoactivity of the pristine catalysts was greatly enhanced by the combination of the two materials. However, three kinds of proposed mechanisms were used to explain the improvement of the g-C3N4/BiOCl heterojunctions. But few researchers tried to explain why there were three different scenarios employed to explain the charge transfer. According to the articles reviewed, no direct evidence could indicate whether the band structures of the heterojunctions based on BiOCl and g-C3N4 were changed. Therefore, many more studies are needed to reveal the truth. Having a clearer understanding of the mechanism is beneficial for researchers to construct more efficient photocatalysts. This article is trying to start a new direction of research to inspire more researchers to prepare highly effective photocatalysts.

Contradiction between genetic analysis and diuretic loading test in type I Bartter syndrome: a case report

Background In typical cases of Bartter syndrome (BS), assessing response to diuretics (furosemide and thiazide), hereinafter referred to as diuretic loading test, may be used to diagnose the type by detecting which part of the kidney tubule is not functioning correctly. However, the diuretic loading test may not always agree with the results of genetic analyses. Case presentation A 5-year-old boy was admitted due to lower extremity weakness and abnormal gait. He had a recurrent episode of muscle weakness and laboratory results showed severe hypokalemia. The direct genomic sequencing of the case revealed a new mutation in the SLC12A1 gene, which is associated with type I Bartter syndrome. Because there was the difference between the phenotype and genotype, we conducted a diuretic loading test to confirm the diagnosis. However, the results showed a clear increase in urine excretion of Na and Cl. These results were not consistent with typical type I BS, but consistent with the patient’s phenotype. Conclusion The diuretic loading test has limited utility for diagnosis especially in atypical cases. On the other hand, this test, which allows assessment of channel function, is useful for better understanding of the genotype-phenotype correlation.