Search alternatives:
specifications » specification (Expand Search), specificities (Expand Search)
verification » purification (Expand Search), modification (Expand Search)
modifications » modification (Expand Search)
Showing 1 - 20 results of 681,783 for search '((((specifications OR specifications) OR verification) OR modifications) OR identification)', query time: 2.00s Refine Results
  1. 1
    Formal Specifications and Verification of AUTOSAR-compliant RTOS

    Formal Specifications and Verification of AUTOSAR-compliant RTOS by Drona Nagarajan (12487381)

    Published 2024
    “…<p dir="ltr">In this paper we propose a method for formal specification of AUTOSAR SWS_OS and verify that a given implementation adheres to the standard. …”
    Save to List
    Saved in:
  2. 2
    deltaspec

    deltaspec by Renzo Degiovanni (8550231)

    Published 2023
    Subjects: “…Software testing, verification and validation…”
    Save to List
    Saved in:
  3. 3
    Digital specifications in coral imaging.

    Digital specifications in coral imaging. by Luis Gutierrez-Heredia (2270995)

    Published 2016
    Subjects:
    Save to List
    Saved in:
  4. 4
    Incorporating Verification Standards for Security Requirement Generation from Functional Specifications

    Incorporating Verification Standards for Security Requirement Generation from Functional Specifications by D F2SRD (19664245)

    Published 2025
    “…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …”
    Save to List
    Saved in:
  5. 5
    Benchmarks (SMT vs CSP)

    Benchmarks (SMT vs CSP) by Guillaume Voiron (3804220)

    Published 2017
    Subjects:
    Save to List
    Saved in:
  6. 6
    Particle identification specifications for tap water studies.

    Particle identification specifications for tap water studies. by Evangelos Danopoulos (9193080)

    Published 2020
    “…<p>Particle identification specifications for tap water studies.</p>…”
    Save to List
    Saved in:
  7. 7
    Particle identification specifications for bottled water studies.

    Particle identification specifications for bottled water studies. by Evangelos Danopoulos (9193080)

    Published 2020
    “…<p>Particle identification specifications for bottled water studies.…”
    Save to List
    Saved in:
  8. 8
    Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"

    Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications" by Isabel Amaral (22620224)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  9. 9
    Identification of SMC-specific genes by expression profiles and histone modifications.

    Identification of SMC-specific genes by expression profiles and histone modifications. by Moon Young Lee (749843)

    Published 2015
    “…(E) Comparison of histone modifications on ubiquitious genes. (F) Expression levels of SMC-enriched genes not altered by histone modifications.…”
    Save to List
    Saved in:
  10. 10
    Specifications of various scenarios.

    Specifications of various scenarios. by Prem Jagadeesan (14761861)

    Published 2023
    Subjects:
    Save to List
    Saved in:
  11. 11
    Examples of Check Specifications.

    Examples of Check Specifications. by Hanieh Razzaghi (599184)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  12. 12
    Verification of the tissue specificity of RIP.

    Verification of the tissue specificity of RIP. by Gen-cheng Gong (750554)

    Published 2015
    Save to List
    Saved in:
  13. 13
    Identification of ICC-specific genes through expression profiles and histone modifications.

    Identification of ICC-specific genes through expression profiles and histone modifications. by Moon Young Lee (749843)

    Published 2017
    “…<p>(A) Specificity of ICC-enriched genes. Cell specificity was determined by comparative analysis of gene expression profiles among ICC, SMC, and PDGFRα<sup>+</sup> cells: ICC<sup>expression level (FPKM)</sup>/[SMC<sup>expression level (FPKM)</sup> + PDGFRα<sup>+</sup> cells<sup>expression level (FPKM)</sup>]. …”
    Save to List
    Saved in:
  14. 14
    Database of Annotations for Deductive Verifiers

    Database of Annotations for Deductive Verifiers by Sophie Lathouwers (10083865)

    Published 2022
    Subjects:
    Save to List
    Saved in:
  15. 15
    Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches

    Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches by Md Rashedul Hasan (15423623)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  16. 16
    Computer specifications.

    Computer specifications. by Fazal E. Nasir (14992506)

    Published 2023
    “…This research presents a case study of variable-rate targeted spraying using deep learning for tobacco plant recognition and identification in a real tobacco field. An extensive comparison of the detection performance of six YOLO-based models for the tobacco crop has been performed based on experimentation in tobacco fields. …”
    Save to List
    Saved in:
  17. 17
    System specifications.

    System specifications. by Agustín Navarro-Torres (7114334)

    Published 2019
    “…<p>System specifications.</p>…”
    Save to List
    Saved in:
  18. 18
    Recording specifications.

    Recording specifications. by Peter Elliott (4225177)

    Published 2017
    “…<p>Recording specifications.</p>…”
    Save to List
    Saved in:
  19. 19
    Simulation specifications.

    Simulation specifications. by Tuan Anh Nguyen (121944)

    Published 2024
    Save to List
    Saved in:
  20. 20
    Copula specifications.

    Copula specifications. by Xin Hu (38924)

    Published 2024
    Save to List
    Saved in:

Search Tools: