Application of an HP-Adaptive Finite Element Method for Thermal Flow Problems

Numerical results are presented for a set of convective thermal flow problems using an hp-adaptive finite element technique. The hp-adaptive model is based on mesh refinement and spectral order incensement to produce enhanced accuracy while attempting to minimize computational requirements. An a-posteriori error estimator based on the L2 norm is employed to guide the adaptation procedure. Example test cases consisting of natural convection in a differentially heated enclosure, flow with forced convection heat transfer over a backward facing step and natural convection within an enclosed partition are presented. Numerical results are compared with published data in the literature

Transgenic Eimeria magna Pérard, 1925 Displays Similar Parasitological Properties to the Wild-type Strain and Induces an Exogenous Protein-Specific Immune Response in Rabbits (Oryctolagus cuniculus L.)

Rabbit coccidiosis causes great economic losses to world rabbitries. Little work has been done considering genetic manipulation on the etiological agents, rabbit Eimeria spp. In this study, we constructed a transgenic line of Eimeria magna (EmagER) expressing enhanced yellow fluorescent protein (EYFP) and red fluorescent protein (RFP) using regulatory sequences of Eimeria tenella and Toxoplasma gondii. We observed the life cycle of EmagER and confirmed that the transgenic parasites express exogenous proteins targeted to different cellular compartments throughout the entire life cycle. EYFP was expressed mainly in the nucleus and RFP both in the nucleus and cytoplasm. Then, coccidia-free, laboratory-reared 40-day-old rabbits were primarily infected with either EmagER or wild-type strain oocysts and challenged with the wild-type strain. EmagER showed similar reproductivity and immunogenicity to the wild-type strain. Finally, we examined the foreign protein-specific immune response elicited by EmagER. Rabbits were immunized with either transgenic or wild-type oocysts. Immune response against parasite-soluble antigen, EYFP and RFP in spleen, and mesenteric lymph nodes were detected by quantitative real-time PCR. The relative expression level of IFN-γ, IL-2, and TNF-α were higher in EmagER-immunized rabbits than wild-type parasites-immunized rabbits after stimulation with EYFP and RFP. Our study confirmed that a specific immune response was induced by the exogenous protein expressed by EmagER and favored future studies on application of transgenic rabbit coccidia as recombinant vaccine vectors

Group Property Inference Attacks Against Graph Neural Networks

With the fast adoption of machine learning (ML) techniques, sharing of ML models is becoming popular. However, ML models are vulnerable to privacy attacks that leak information about the training data. In this work, we focus on a particular type of privacy attacks named property inference attack (PIA) which infers the sensitive properties of the training data through the access to the target ML model. In particular, we consider Graph Neural Networks (GNNs) as the target model, and distribution of particular groups of nodes and links in the training graph as the target property. While the existing work has investigated PIAs that target at graph-level properties, no prior works have studied the inference of node and link properties at group level yet. In this work, we perform the first systematic study of group property inference attacks (GPIA) against GNNs. First, we consider a taxonomy of threat models under both black-box and white-box settings with various types of adversary knowledge, and design six different attacks for these settings. We evaluate the effectiveness of these attacks through extensive experiments on three representative GNN models and three real-world graphs. Our results demonstrate the effectiveness of these attacks whose accuracy outperforms the baseline approaches. Second, we analyze the underlying factors that contribute to GPIA's success, and show that the target model trained on the graphs with or without the target property represents some dissimilarity in model parameters and/or model outputs, which enables the adversary to infer the existence of the property. Further, we design a set of defense mechanisms against the GPIA attacks, and demonstrate that these mechanisms can reduce attack accuracy effectively with small loss on GNN model accuracy.Comment: Full version of the ACM CCS'22 pape

Air Quality Simulation for Interior of an Automobile

Automobiles are used every day and air quality in the automobile is directly related to people's health. This paper focuses on the distribution of automotive interior carbon dioxide on the highway. A typical sedan is chosen as a sample. Carbon-dioxide meter and wind meter are used to get essential data. Then, the data is analyzed by the commercial CFD software - GAMBITAR and FLUENTAR. After plotting and comparing the contours of the distribution, how changing the fan speed will change the distribution is got. First, concentration of carbon dioxide at the bottom is always the highest region among the whole domain. Second, along with the increase of the fan speed, a region around the back row near the roof level with high concentration of carbon dioxide will become more and more significant. Third, along with the increase of the fan speed, concentration of carbon dioxide will decrease as a whole. Forth, along with the increase of the fan speed, concentration of carbon dioxide will be more uniform as a whole. Experiments are conducted to verify the simulation results, good agreements are observed

Modular quantizations of Lie algebras of Cartan type HH via Drinfeld Twists

We construct explicit Drinfel'd twists for the generalized Cartan type $H$ Lie algebras in characteristic $0$ and obtain the corresponding quantizations and their integral forms. Via making modular reductions including modulo $p$ reduction and modulo $p$-restrictedness reduction, and base changes, we derive certain modular quantizations of the restricted universal enveloping algebra $\mathbf u(\mathbf{H}(2n;\underline{1}))$ in characteristic $p$. They are new non-pointed Hopf algebras of truncated $p$-polynomial noncommutative and noncocommutative deformation of prime-power dimension $p^{p^{2n}-1}$, which contain the well-known Radford algebras as Hopf subalgebras. As a by-product, we also get some Jordanian quantizations for $\mathfrak {sp}_{2n}$.Comment: 33 page

Human Endogenous Retroviral Envelope Protein Syncytin-1 and Inflammatory Abnormalities in Neuropsychological Diseases

Human endogenous retroviruses (HERVs) comprise approximately 8% of the human genome. Recent studies have considered HERVs as potential pathogenic factors. The majority of HERV genes are mutated and not capable of encoding functional proteins; regardless, some HERV genes, such as HERV-W envelope (env) glycoprotein, are known to have intact open reading frames. The HERV-W element on 7q21.2, which encodes a protein referred to as Syncytin-1, participates in human placental morphogenesis and can activate a pro-inflammatory and autoimmune cascade. Neuropsychological disorders are typically linked to inflammatory abnormalities. In this study, we review that Syncytin-1 has been increasingly involved in the development of neuropsychological disorders, such as schizophrenia and multiple sclerosis (MS). This study also presents inflammation imbalances in schizophrenia and MS. More importantly, we discuss the potential role and molecular mechanisms by which Syncytin-1 regulates inflammatory abnormalities in neuropsychological diseases. In summary, Syncytin-1 activity may represent a novel molecular pathogenic mechanism in neuropyschological diseases, such as schizophrenia and MS