Alviss

A novel privacy type system is proposed to protect the privacy of context information in ubiquitous computing systems. The subject reduction property of the proposed type system is formally established to guarantee that a well-typed process can only reduce to well-typed processes. The soundness of the proposed type system is also formally established to ensure that well-typed processes do not viol...

Materials, Vol. 15, Pages 8326: Unlocking Novel Ultralow Frequency Band Gap: Assembled Cellular Metabarrier for Broadband Wave Isolation Materials doi: 10.3390/ma15238326 Authors: Xiao Liang Fang Zhang Jinhui Jiang Cang He Hongji Yang Admittedly, the design requirements of compactness, low frequency, and broadband seem to constitute an impossible trinity, hindering the further development of elast...

Immune checkpoint inhibitors(ICIs) that activate tumor-specific immune responses bring new hope for the treatment of hepatocellular carcinoma(HCC). However, there are still some problems, such as uncertain curative effects and low objective response rates, which limit the curative effect of immunotherapy. Therefore, it is an urgent problem to guide the use of ICIs in HCC based on molecular typing....

In this work, we address the problem of cross-view geo-localization, which estimates the geospatial location of a street view image by matching it with a database of geo-tagged aerial images. The cross-view matching task is extremely challenging due to drastic appearance and geometry differences across views. Unlike existing methods that predominantly fall back on CNN, here we devise a novel evolv...

Pseudogenes have been reported to play oncogenic or tumor-suppressive roles in cancer progression. However, the molecular mechanism of most pseudogenes in pancreatic ductal adenocarcinoma (PDAC) remains unknown. Herein, we characterized a novel pseudogene-miRNA-mRNA network associated with PDAC progression using bioinformatics analysis. After screening by dreamBase and GEPIA, 12 up-regulated and 7...

The determination of structural dynamic characteristics can be challenging, especially for complex cases. This can be a major impediment for dynamic load identification in many engineering applications. Hence, avoiding the need to find numerous solutions for structural dynamic characteristics can significantly simplify dynamic load identification. To achieve this, we rely on machine learning. The ...

In modern software development, software requirements and implementation are not always reconciled. This leads to difficulties for evolution tasks in future. Specifically, for modern context-aware systems, changes in stakeholders` requirements disclose that existing implementation is insufficient to meet the new requirements due to the limitations of the traditional techniques. In this paper, we p...

Raising the level of abstraction is to improve the ability to understand the world and then to help with computing. This paper proposes the new value of intangible cultural heritage to compute game rate on abstraction level and to instantiate and infer the other values with the same concrete information and game rate. The proposed approach is to formulate element and standard, enabling system auto...

Among all the Web application security issues, SQL Injection Vulnerability (SQLIV) is one of the most serious problems. How to test SQLIV effectively is of great importance. To address this issue, this paper describes a novel approach that is the utilization of Feature Matrix (FM) model for SQLIV black-box penetration test. Firstly, FM is introduced, which integrates the general SQLIV penetration ...