ICStega: Image Captioning-based Semantically Controllable Linguistic Steganography

Nowadays, social media has become the preferred communication platform for web users but brought security threats. Linguistic steganography hides secret data into text and sends it to the intended recipient to realize covert communication. Compared to edit-based linguistic steganography, generation-based approaches largely improve the payload capacity. However, existing methods can only generate stego text alone. Another common behavior in social media is sending semantically related image-text pairs. In this paper, we put forward a novel image captioning-based stegosystem, where the secret messages are embedded into the generated captions. Thus, the semantics of the stego text can be controlled and the secret data can be transmitted by sending semantically related image-text pairs. To balance the conflict between payload capacity and semantic preservation, we proposed a new sampling method called Two-Parameter Semantic Control Sampling to cutoff low-probability words. Experimental results have shown that our method can control diversity, payload capacity, security, and semantic accuracy at the same time.Comment: 5 pages, 5 tables, 3 figures. Accepted by ICASSP 202

Adiponectin protects rat myocardium against chronic intermittent hypoxia-induced injury via inhibition of endoplasmic reticulum stress.

Obstructive sleep apnea syndrome (OSAS) is associated with many cardiovascular disorders such as heart failure, hypertension, atherosclerosis, and arrhythmia and so on. Of the many associated factors, chronic intermittent hypoxia (CIH) in particular is the primary player in OSAS. To assess the effects of CIH on cardiac function secondary to OSAS, we established a model to study the effects of CIH on Wistar rats. Specifically, we examined the possible underlying cellular mechanisms of hypoxic tissue damage and the possible protective role of adiponectin against hypoxic insults. In the first treatment group, rats were exposed to CIH conditions (nadir O2, 5-6%) for 8 hours/day, for 5 weeks. Subsequent CIH-induced cardiac dysfunction was measured by echocardiograph. Compared with the normal control (NC) group, rats in the CIH-exposed group experienced elevated levels of left ventricular end-systolic dimension and left ventricular end-systolic volume and depressed levels of left ventricular ejection fraction and left ventricular fractional shortening (p<0.05). However, when adiponectin (Ad) was added in CIH + Ad group, we saw a rescue in the elevations of the aforementioned left ventricular function (p<0.05). To assess critical cardiac injury, we detected myocardial apoptosis by Terminal deoxynucleotidyl transfer-mediated dUTP nick end-labeling (TUNEL) analysis. It was showed that the apoptosis percentage in CIH group (2.948%) was significantly higher than that in NC group (0.4167%) and CIH + Ad group (1.219%) (p<0.05). Protein expressions of cleaved caspase-3, cleaved caspase-9, and cleaved-caspase-12 validated our TUNEL results (p<0.05). Mechanistically, our results demonstrated that the proteins expressed with endoplasmic reticulum stress and the expression of reactive oxygen species (ROS) were significantly elevated under CIH conditions, whereas Ad supplementation partially decreased them. Overall, our results suggested that Ad augmentation could improve CIH-induced left ventricular dysfunction and associated myocardial apoptosis by inhibition of ROS-dependent ER stress

Effects of Dietary Supplementation with Glycerol Monolaurate (GML) or the Combination of GML and Tributyrin on Growth Performance and Rumen Microbiome of Weaned Lambs

Our objective was to evaluate the effects of dietary supplementation with glycerol monolaurate (GML) or the combination (Solider, SOL) of GML and tributyrin (TB) on the growth performance and rumen microbiome of weaned lambs. Thirty-six male Hu lambs (11.46 &plusmn; 0.88 kg BW and 40 &plusmn; 5 days of age) were divided into three treatment groups: (1) CON: basal diet, (2) GML: basal diet supplemented with GML at 1.84 g/kg DM, and (3) SOL: basal diet supplemented with SOL at 3 g/kg DM. GML increased the final BW (p = 0.04) and ADG (p = 0.02) compared with CON. There were no significant differences in the DMI (p &gt; 0.10) among the three treatment groups. GML and SOL tended to decrease the dry matter intake/average daily gain (p = 0.07) compared with CON. GML tended to increase the apparent digestibility of CP (p = 0.08) compared with CON. SOL increased the apparent digestibility of NDF (p = 0.04) compared with CON. The Chao1 and Shannon indexes of SOL were both significantly higher than those of the other groups (p = 0.01). LefSE analysis showed that Bifidobacteriaceae of the Bifidobacteriales was enriched in the GML group. In addition, compared with GML, SOL reduced the relative abundance of Actinobacteria (p &lt; 0.01) and increased the relative abundance of Verrucomicrobia (p = 0.05), and GML reduced the relative abundance of Ruminococcus (p = 0.03). Our results indicated that dietary supplementation with GML or SOL improved growth performance and feed conversion, and changed the rumen microbiome of weaned lambs

A Method to Deduce and Synthesize the Dafny Programs

We propose a systematic method to deduce and synthesize the Dafny programs. First, the specification of problem is described in strict mathematical language. Then, the derivation process uses program specification transformation technology to perform equivalent transformation. Furthermore, Dafny program is synthesized through the obtained recursive relationship and loop invariants. Finally, the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool. Through this method, we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem, the minimum (or maximum) contiguous subarray problems, several searching problems, several sorting problems, and so on. Due to space limitation, we only illustrate the development process of Dafny programs for two typical problems: the minimum contiguous subarray problem and the new local bubble sorting problem. It proves that our method can effectively improve the correctness and reliability of Dafny program developed. What’s more, we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program

The protein levels of caspase-12, caspase-9, caspase-3.

<p>Western blot bands of cleaved caspase-12, cleaved caspase-9 and cleaved caspase-3 were separately normalized to caspase-12, caspase-9 and caspase-3. *P<0.05 and **P<0.01 versus NC group; #p<0.05 and ##P<0.01 versus CIH group.</p

Echocardiographic data —5 weeks.

<p>Values are means ± SD; n, number of animals exposed to CIH or room air for 5 weeks; HR, heart rate; LVDd, left ventricular end-diastolic diameter; LVDs, left ventricular end-systolic diameter; LVEDV, left ventricular end-diastolic volume; LVESV, left ventricular end-systolic volume; LVEF%, left ventricular ejection fraction; LVFS%, left ventricular percent fractional shortening. *P<0.05 versus NC group; #p<0.05 versus CIH.</p

IRE1 pathway activation in heart.

<p>The protein levels of p-IRE1, IRE1, XBP-1 (s). Western blot band of p-IRE1 was normalized to IRE1. *P<0.05 versus NC group; #p<0.05 versus CIH.</p