An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA).
Robert Glück
doaj +5 more sources
Integrated Phytochemical Analysis Based on UPLC-Q-TOF-MS/MS, Network Pharmacology, and Experiment Verification to Explore the Potential Mechanism of Platycodon grandiflorum for Chronic Bronchitis [PDF]
Frontiers in Pharmacology, 2020 Background and AimPlatycodon grandiflorum (PG) has been widely used for treating chronic bronchitis (CB). However, the material basis and underlying mechanism of action of PG against CB have not yet been elucidated.MethodsTo analyze the ingredients in PG,
Yaling Deng +9 more
doaj +2 more sources
The Ground-Based BIOMEX Experiment Verification Tests for Life Detection on Mars [PDF]
Life, 2021 The success of an astrobiological search for life campaign on Mars, or other planetary bodies in the Solar System, relies on the detectability of past or present microbial life traces, namely, biosignatures.
Claudia Pacelli +8 more
doaj +2 more sources
EXOSC10 is a novel hepatocellular carcinoma prognostic biomarker: a comprehensive bioinformatics analysis and experiment verification [PDF]
PeerJ, 2023 Background Hepatocellular carcinoma (HCC) is a common malignant tumor. There are few studies on EXOSC10 (exosome component 10) in HCC; however, the importance of EXOSC10 for HCC remains unclear.
Zhi-Yong Meng +8 more
doaj +3 more sources
User Authentication Using Inner-Wrist Skin Prints: Feasibility and Performance Assessment with Off-the-Shelf Fingerprint Sensor [PDF]
SensorsWrist-worn devices enable new paradigms of implicit and continuous user authentication; however, identifying biometric modalities that combine reliability with practical integrability remains challenging.
Szymon Cygan +6 more
doaj +2 more sources
Optical verification experiments of sub-scale starshades [PDF]
Journal of Astronomical Telescopes, Instruments, and Systems, 2021 Starshades are a leading technology to enable the detection and spectroscopic characterization of Earth-like exoplanets. In this paper we report on optical experiments of sub-scale starshades that advance critical starlight suppression technologies in preparation for the next generation of space telescopes.
Harness, Anthony +9 more
openaire +2 more sources
Micromachines, 2022 At present, the research of electronically controlled injectors is mostly limited to the non-direct drive structure. Although the research on the direct drive structure is involved, it mostly stays in the conceptual machine or simulation stage.
Zhaoqi Zhou +5 more
doaj +1 more source
Systems Pharmacology Study of the Anti-Liver Injury Mechanism of Citri Reticulatae Pericarpium
Frontiers in Pharmacology, 2021 Liver diseases are mostly triggered by oxidative stress and inflammation, leading to extracellular matrix overproduction and prone to develop into liver fibrosis, cirrhosis and hepatocellular carcinoma.
Jianxiong Wu +5 more
doaj +1 more source
Remote Sensing, 2021 For shipborne high-frequency surface wave radar (HFSWR), the movement of the ship has a great impact on the radar echo, thus affecting target detection performance.
Yonggang Ji +6 more
doaj +1 more source
Energies, 2021 In the offshore industry, especially heavy oil thermal recovery wells, due to the great temperature difference between the low-temperature seawater and high-temperature heavy oil, it is easy to cause the temperature increase of annular fluid in the ...
Hao Wang +6 more
doaj +1 more source