Showing 1,121 - 1,140 results of 7,253 for search '"Computer Science"', query time: 0.27s Refine Results
  1. 1121
    On an Optimal Interval Selection for the Regression of Molecular Frequency vs. Density Data Aimed at Determining Nonlinearity Parameters of Organic Liquids

    On an Optimal Interval Selection for the Regression of Molecular Frequency vs. Density Data Aimed at Determining Nonlinearity Parameters of Organic Liquids by Roman N. Belenkov, Eugene B. Postnikov

    Published 2023-05-01
    “…Computer Sciences & Mathematics Forum…”
    Get full text
    Article
  2. 1122
    MSCDNet-based multi-class classification of skin cancer using dermoscopy images

    MSCDNet-based multi-class classification of skin cancer using dermoscopy images by Vankayalapati Radhika, B. Sai Chandana

    Published 2023-08-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  3. 1123
    Normalization of IZF with Replacement

    Normalization of IZF with Replacement by Wojciech Moczydlowski

    Published 2008-04-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  4. 1124
    The family of local C2 splines with two free generating functions

    The family of local C2 splines with two free generating functions by I. Verlan

    Published 1993-02-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  5. 1125
    A semi-automatic motion-constrained Graph Cut algorithm for Pedestrian Detection in thermal surveillance videos

    A semi-automatic motion-constrained Graph Cut algorithm for Pedestrian Detection in thermal surveillance videos by Oluwakorede Monica Oluyide, Jules-Raymond Tapamo, Tom Mmbasu Walingo

    Published 2022-09-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  6. 1126
    Multiparty Session Actors

    Multiparty Session Actors by Rumyana Neykova, Nobuko Yoshida

    Published 2017-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  7. 1127
    A particle swarm optimization algorithm based on an improved deb criterion for constrained optimization problems

    A particle swarm optimization algorithm based on an improved deb criterion for constrained optimization problems by Ying Sun, Wanyuan Shi, Yuelin Gao

    Published 2022-12-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  8. 1128
    Admissibility in Finitely Generated Quasivarieties

    Admissibility in Finitely Generated Quasivarieties by George Metcalfe, Christoph Röthlisberger

    Published 2013-06-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  9. 1129
    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens by Dominik Kirst, Dominique Larchey-Wendling

    Published 2022-06-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  10. 1130
    Design of smart citrus picking model based on Mask RCNN and adaptive threshold segmentation

    Design of smart citrus picking model based on Mask RCNN and adaptive threshold segmentation by Ziwei Guo, Yuanwu Shi, Ibrar Ahmad

    Published 2024-03-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  11. 1131
    Applications of Metric Coinduction

    Applications of Metric Coinduction by Dexter Kozen, Nicholas Ruozzi

    Published 2009-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  12. 1132
    Study of Behaviours via Visitable Paths

    Study of Behaviours via Visitable Paths by Christophe Fouqueré, Myriam Quatrini

    Published 2018-05-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  13. 1133
    Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

    Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq by Manfred Schmidt-Schauß, David Sabel, Elena Machkasova

    Published 2015-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  14. 1134
    The Data Complexity of Ontology-Mediated Queries with Closed Predicates

    The Data Complexity of Ontology-Mediated Queries with Closed Predicates by Carsten Lutz, Inanc Seylan, Frank Wolter

    Published 2019-08-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  15. 1135
    Detecting Unrealizability of Distributed Fault-tolerant Systems

    Detecting Unrealizability of Distributed Fault-tolerant Systems by Bernd Finkbeiner, Leander Tentrup

    Published 2015-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  16. 1136
    Rolling bearing fault diagnosis based on Gramian angular difference field and improved channel attention model

    Rolling bearing fault diagnosis based on Gramian angular difference field and improved channel attention model by Lunpan Wei, Xiuyan Peng, Yunpeng Cao

    Published 2024-01-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  17. 1137
    First-Order and Temporal Logics for Nested Words

    First-Order and Temporal Logics for Nested Words by Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin

    Published 2008-11-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  18. 1138
    Impact of COVID-19 lockdown on air quality analyzed through machine learning techniques

    Impact of COVID-19 lockdown on air quality analyzed through machine learning techniques by Umer Zukaib, Mohammed Maray, Saad Mustafa, Nuhman Ul Haq, Atta ur Rehman Khan, Faisal Rehman

    Published 2023-03-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  19. 1139
    Non-redundant implicational base of formal context with constraints using SAT

    Non-redundant implicational base of formal context with constraints using SAT by Taufiq Hidayat, Asmala Ahmad, Hea Choon Ngo

    Published 2024-01-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  20. 1140
    AlphaDDA: strategies for adjusting the playing strength of a fully trained AlphaZero system to a suitable human training partner

    AlphaDDA: strategies for adjusting the playing strength of a fully trained AlphaZero system to a suitable human training partner by Kazuhisa Fujita

    Published 2022-10-01
    “…PeerJ Computer Science…”
    Get full text
    Article

Search Tools: