Found: 33
Select item for more details and to access through your institution.
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2024, v. 34, n. 2, p. 273, doi. 10.1142/S0218194023500523
- By:
- Publication type:
- Article
PSAK: A provably secure authenticated key agreement scheme based on extended Chebyshev chaotic maps for smart grid environments.
- Published in:
- Transactions on Emerging Telecommunications Technologies, 2023, v. 34, n. 5, p. 1, doi. 10.1002/ett.4752
- By:
- Publication type:
- Article
Fusing Context Features and Spatial Attention to Improve Object Detection.
- Published in:
- Applied Sciences (2076-3417), 2023, v. 13, n. 7, p. 4250, doi. 10.3390/app13074250
- By:
- Publication type:
- Article
Developmental characteristics and genetic model of Ordovician karst porosity in the southern margin of Northern China.
- Published in:
- Carbonates & Evaporites, 2023, v. 38, n. 1, p. 1, doi. 10.1007/s13146-023-00845-1
- By:
- Publication type:
- Article
MSDA-NMF: A Multilayer Complex System Model Integrating Deep Autoencoder and NMF.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 15, p. 2750, doi. 10.3390/math10152750
- By:
- Publication type:
- Article
JOSP: Joint Optimization of Flow Path Scheduling and Virtual Network Function Placement for Delay-Sensitive Applications.
- Published in:
- Mobile Networks & Applications, 2022, v. 27, n. 4, p. 1642, doi. 10.1007/s11036-021-01868-5
- By:
- Publication type:
- Article
Characteristics of Fatty Acid Metabolism in Lung Adenocarcinoma to Guide Clinical Treatment.
- Published in:
- Frontiers in Immunology, 2022, v. 13, p. 1, doi. 10.3389/fimmu.2022.916284
- By:
- Publication type:
- Article
Metabolomic and Transcriptomic Profiling Identified Significant Genes in Thymic Epithelial Tumor.
- Published in:
- Metabolites (2218-1989), 2022, v. 12, n. 6, p. 567, doi. 10.3390/metabo12060567
- By:
- Publication type:
- Article
Therapeutic Potential of Glutamine Pathway in Lung Cancer.
- Published in:
- Frontiers in Oncology, 2022, v. 12, p. 1, doi. 10.3389/fonc.2021.835141
- By:
- Publication type:
- Article
β-Caryophyllene from Chilli Pepper Inhibits the Proliferation of Non-Small Cell Lung Cancer Cells by Affecting miR-659-3p-Targeted Sphingosine Kinase 1 (SphK1).
- Published in:
- International Journal of General Medicine, 2021, v. 14, p. 9599, doi. 10.2147/IJGM.S338513
- By:
- Publication type:
- Article
Microarray Identifies a Key Carcinogenic Circular RNA 0008594 That Is Related to Non-Small-Cell Lung Cancer Development and Lymph Node Metastasis and Promotes NSCLC Progression by Regulating the miR-760-Mediated PI3K/AKT and MEK/ERK Pathways.
- Published in:
- Frontiers in Oncology, 2021, v. 11, p. 1, doi. 10.3389/fonc.2021.757541
- By:
- Publication type:
- Article
Dynamic Study of Intelligent Traffic Behaviour Based on Multiple Traffic Modes.
- Published in:
- Scientific Programming, 2021, p. 1, doi. 10.1155/2021/7254907
- By:
- Publication type:
- Article
FNet: A Two-Stream Model for Detecting Adversarial Attacks against 5G-Based Deep Learning Services.
- Published in:
- Security & Communication Networks, 2021, p. 1, doi. 10.1155/2021/5395705
- By:
- Publication type:
- Article
Formation environments and mechanisms of multistage paleokarst of Ordovician carbonates in Southern North China Basin.
- Published in:
- Scientific Reports, 2021, v. 11, n. 1, p. 1, doi. 10.1038/s41598-020-80878-x
- By:
- Publication type:
- Article
An Unsupervised Learning-Based Network Threat Situation Assessment Model for Internet of Things.
- Published in:
- Security & Communication Networks, 2020, p. 1, doi. 10.1155/2020/6656066
- By:
- Publication type:
- Article
Groundwater Hydrogeochemical Processes and the Connectivity of Multilayer Aquifers in a Coal Mine with Karst Collapse Columns.
- Published in:
- Mine Water & the Environment, 2020, v. 39, n. 2, p. 356, doi. 10.1007/s10230-020-00667-w
- By:
- Publication type:
- Article
Hydrogeochemical evolution of multilayer aquifers in a massive coalfield.
- Published in:
- Environmental Earth Sciences, 2019, v. 78, n. 24, p. 1, doi. 10.1007/s12665-019-8694-1
- By:
- Publication type:
- Article
Hydrogeochemical Characteristics and Groundwater Inrush Source Identification for a Multi‐aquifer System in a Coal Mine.
- Published in:
- Acta Geologica Sinica (English Edition), 2019, v. 93, n. 6, p. 1922, doi. 10.1111/1755-6724.14299
- By:
- Publication type:
- Article
Transcription Factor p53 Suppresses Tumor Growth by Prompting Pyroptosis in Non-Small-Cell Lung Cancer.
- Published in:
- Oxidative Medicine & Cellular Longevity, 2019, p. 1, doi. 10.1155/2019/8746895
- By:
- Publication type:
- Article
Novel Android Malware Detection Method Based on Multi-dimensional Hybrid Features Extraction and Analysis.
- Published in:
- Intelligent Automation & Soft Computing, 2019, v. 25, n. 3, p. 637, doi. 10.31209/2019.100000118
- By:
- Publication type:
- Article
A Node-Oriented Discrete Event Scheduling Algorithm Based on Finite Resource Model.
- Published in:
- Journal of Organizational & End User Computing, 2019, v. 31, n. 3, p. N.PAG, doi. 10.4018/JOEUC.2019070104
- By:
- Publication type:
- Article
Anonymous three-factor authenticated key agreement for wireless sensor networks.
- Published in:
- Wireless Networks (10220038), 2019, v. 25, n. 4, p. 1461, doi. 10.1007/s11276-017-1604-0
- By:
- Publication type:
- Article
Consumers Team Detection Model Based on Trust for Multi-Level.
- Published in:
- Mobile Information Systems, 2019, p. 1, doi. 10.1155/2019/4147859
- By:
- Publication type:
- Article
Dispersion features of transmitted channel waves and inversion of coal seam thickness.
- Published in:
- Acta Geophysica, 2018, v. 66, n. 5, p. 1001, doi. 10.1007/s11600-018-0192-4
- By:
- Publication type:
- Article
Circular RNA hsa_circ_0008305 (circPTK2) inhibits TGF-β-induced epithelial-mesenchymal transition and metastasis by controlling TIF1γ in non-small cell lung cancer.
- Published in:
- Molecular Cancer, 2018, v. 17, n. 1, p. N.PAG, doi. 10.1186/s12943-018-0889-7
- By:
- Publication type:
- Article
Artesunate Protects LPS-Induced Acute Lung Injury by Inhibiting TLR4 Expression and Inducing Nrf2 Activation.
- Published in:
- Inflammation, 2017, v. 40, n. 3, p. 798, doi. 10.1007/s10753-017-0524-6
- By:
- Publication type:
- Article
A multi-attribute rating based trust model: improving the personalized trust modeling framework.
- Published in:
- Multimedia Tools & Applications, 2017, v. 76, n. 4, p. 5833, doi. 10.1007/s11042-015-2539-z
- By:
- Publication type:
- Article
Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2016, v. 26, n. 4, p. 563, doi. 10.1142/S0218194016400027
- By:
- Publication type:
- Article
Unified threat model for analyzing and evaluating software threats.
- Published in:
- Security & Communication Networks, 2014, v. 7, n. 10, p. 1454, doi. 10.1002/sec.599
- By:
- Publication type:
- Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol.
- Published in:
- Journal of Applied Mathematics, 2014, p. 1, doi. 10.1155/2014/983204
- By:
- Publication type:
- Article
An algorithm on fairness verification of mobile sink routing in wireless sensor network.
- Published in:
- Personal & Ubiquitous Computing, 2013, v. 17, n. 5, p. 851, doi. 10.1007/s00779-012-0536-z
- By:
- Publication type:
- Article
Association between p53 codon 72 genetic polymorphisms and tobacco use and lung cancer risk in a Chinese population.
- Published in:
- Molecular Biology Reports, 2013, v. 40, n. 1, p. 645, doi. 10.1007/s11033-012-2103-0
- By:
- Publication type:
- Article
Use of hydrologic time-series data for identification of hydrodynamic function and behavior in a karstic water system in China.
- Published in:
- Hydrogeology Journal, 2011, v. 19, n. 8, p. 1577, doi. 10.1007/s10040-011-0774-6
- By:
- Publication type:
- Article