Suggested Topics within your search.
Showing 501 - 520 results of 5,486 for search '"Computational science"', query time: 0.11s Refine Results
  1. 501
    Counterexample-Preserving Reduction for Symbolic Model Checking

    Counterexample-Preserving Reduction for Symbolic Model Checking by Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 502
    Random Error Estimation and Propagation Analysis for Satellites’ Initial Positions

    Random Error Estimation and Propagation Analysis for Satellites’ Initial Positions by Huanqin Wu, Maocai Wang, Zhiming Song, Xiaoyu Chen, Guangming Dai

    Published 2023-01-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 503
    Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka

    Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka by Jiantao Zhou, Chaoxin Sun, Weina Fu, Jing Liu, Lei Jia, Hongyan Tan

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 504
    Design and Optimization of an EBG Antenna with an Efficient Electromagnetic Solver

    Design and Optimization of an EBG Antenna with an Efficient Electromagnetic Solver by Josefa Gómez, Abdelhamid Tayebi, José Ramón Almagro, Iván González, Felipe Cátedra

    Published 2012-01-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 505
    Correction to 'Data augmentation based semi-supervised method to improve COVID-19 CT classification' [Mathematical Biosciences and Engineering 20(4) (2023) 6838–6852]

    Correction to 'Data augmentation based semi-supervised method to improve COVID-19 CT classification' [Mathematical Biosciences and Engineering 20(4) (2023) 6838–6852] by Xiangtao Chen, Yuting Bai, Peng Wang, Jiawei Luo

    Published 2024-12-01
    Get full text
    Article
    Save to List
    Saved in:
  6. 506
    A Fast Optimization Method for Reliability and Performance of Cloud Services Composition Application

    A Fast Optimization Method for Reliability and Performance of Cloud Services Composition Application by Zhao Wu, Naixue Xiong, Yannong Huang, Qiong Gu, Chunyang Hu, Zhongbo Wu, Bo Hang

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  7. 507
    Exploring the Potential of Blockchain Technology in an IoT-Enabled Environment: A Review

    Exploring the Potential of Blockchain Technology in an IoT-Enabled Environment: A Review by Deepak, Preeti Gulia, Nasib Singh Gill, Mohammad Yahya, Punit Gupta, Prashant Kumar Shukla, Piyush Kumar Shukla

    Published 2024-01-01
    Get full text
    Article
    Save to List
    Saved in:
  8. 508
    AI based predictive acceptability model for effective vaccine delivery in healthcare systems

    AI based predictive acceptability model for effective vaccine delivery in healthcare systems by Muhammad Shuaib Qureshi, Muhammad Bilal Qureshi, Urooj Iqrar, Ali Raza, Yazeed Yasin Ghadi, Nisreen Innab, Masoud Alajmi, Ayman Qahmash

    Published 2024-11-01
    Get full text
    Article
    Save to List
    Saved in:
  9. 509
    What Are the Public’s Concerns About ChatGPT? A Novel Self-Supervised Neural Topic Model Tells You

    What Are the Public’s Concerns About ChatGPT? A Novel Self-Supervised Neural Topic Model Tells You by Rui Wang, Xing Liu, Peng Ren, Shuyu Chang, Zhengxin Huang, Haiping Huang, Guozi Sun

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  10. 510
    Hobbit: Providing Fall Detection and Prevention for the Elderly in the Real World

    Hobbit: Providing Fall Detection and Prevention for the Elderly in the Real World by Markus Bajones, David Fischinger, Astrid Weiss, Daniel Wolf, Markus Vincze, Paloma de la Puente, Tobias Körtner, Markus Weninger, Konstantinos Papoutsakis, Damien Michel, Ammar Qammaz, Paschalis Panteleris, Michalis Foukarakis, Ilia Adami, Danai Ioannidi, Asterios Leonidis, Margherita Antona, Antonis Argyros, Peter Mayer, Paul Panek, Håkan Eftring, Susanne Frennert

    Published 2018-01-01
    Get full text
    Article
    Save to List
    Saved in:
  11. 511
    BananaImageBD: A comprehensive banana image dataset for classification of banana varieties and detection of ripeness stages in BangladeshMendeley Data

    BananaImageBD: A comprehensive banana image dataset for classification of banana varieties and detection of ripeness stages in BangladeshMendeley Data by Md Hasanul Ferdaus, Rizvee Hassan Prito, Ahmed Abdal Shafi Rasel, Masud Ahmed, Md. Jahid Hassan Saykot, Shanjida Sultan Shanta, Sonali Akter, Ankan Chandra Das, Mohammad Manzurul Islam, Mahamudul Hasan, Md Sawkat Ali

    Published 2025-02-01
    Get full text
    Article
    Save to List
    Saved in:
  12. 512
    Current mirror with charge dissipation transistor for analogue single‐event transient mitigation in space application

    Current mirror with charge dissipation transistor for analogue single‐event transient mitigation in space application by Jingtian Liu, Bin Liang, Jianjun Chen, Yaqing Chi, Li Yan, Yang Guo

    Published 2021-03-01
    Get full text
    Article
    Save to List
    Saved in:
  13. 513
    Ontology-driven use of ChatGPT to build guidelines and select technology parameters for IoT lab development

    Ontology-driven use of ChatGPT to build guidelines and select technology parameters for IoT lab development by Adam Doering, Łukasz Kryła, Maciej Kamiński, Łukasz Muszarski, Cezary Orłowski, Marek Ożarowski

    Published 2025-02-01
    Get full text
    Article
    Save to List
    Saved in:
  14. 514
    GTAT: empowering graph neural networks with cross attention

    GTAT: empowering graph neural networks with cross attention by Jiahao Shen, Qura Tul Ain, Yaohua Liu, Banqing Liang, Xiaoli Qiang, Zheng Kou

    Published 2025-02-01
    Get full text
    Article
    Save to List
    Saved in:
  15. 515
    On the Stability of Some Discrete Fractional Nonautonomous Systems

    On the Stability of Some Discrete Fractional Nonautonomous Systems by Fahd Jarad, Thabet Abdeljawad, Dumitru Baleanu, Kübra Biçen

    Published 2012-01-01
    Get full text
    Article
    Save to List
    Saved in:
  16. 516
    Corrigendum to “In Vitro Evaluation of Probiotic Properties of Lactic Acid Bacteria Isolated from Some Traditionally Fermented Ethiopian Food Products”

    Corrigendum to “In Vitro Evaluation of Probiotic Properties of Lactic Acid Bacteria Isolated from Some Traditionally Fermented Ethiopian Food Products” by Guesh Mulaw, Tesfaye Sisay Tessema, Diriba Muleta, Anteneh Tesfaye

    Published 2020-01-01
    Get full text
    Article
    Save to List
    Saved in:
  17. 517
    The Prime Filter Theorem for Multilattices

    The Prime Filter Theorem for Multilattices by Daquin Cédric Awouafack, Blaise Blériot Koguep Njionou, Célestin Lélé

    Published 2022-01-01
    Get full text
    Article
    Save to List
    Saved in:
  18. 518
    A Survey of Artificial Immune System Based Intrusion Detection

    A Survey of Artificial Immune System Based Intrusion Detection by Hua Yang, Tao Li, Xinlei Hu, Feng Wang, Yang Zou

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  19. 519
    An Improved Clustering Algorithm of Tunnel Monitoring Data for Cloud Computing

    An Improved Clustering Algorithm of Tunnel Monitoring Data for Cloud Computing by Luo Zhong, KunHao Tang, Lin Li, Guang Yang, JingJing Ye

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  20. 520
    Propagation of Computer Virus under Human Intervention: A Dynamical Model

    Propagation of Computer Virus under Human Intervention: A Dynamical Model by Chenquan Gan, Xiaofan Yang, Wanping Liu, Qingyi Zhu, Xulong Zhang

    Published 2012-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: