Search Results - (code OR (some OR model)) journal

Search alternatives:

Refine Results
  1. Cover Image

    Faster Existential FO Model Checking on Posets

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Modelling MAC-Layer Communications in Wireless Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Model Checking Lower Bounds for Simple Graphs

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Model-Checking of Ordered Multi-Pushdown Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Efficient CSL Model Checking Using Stratification

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Intuitionistic implication makes model checking hard

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Noncomputable functions in the Blum-Shub-Smale model

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    The Complexity of Infinite Computations In Models of Set Theory

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Neighbourhood Structures: Bisimilarity and Basic Model Theory

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Antichains for the Automata-Based Approach to Model-Checking

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Real-Time Model-Checking: Parameters everywhere

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Linear Encodings of Bounded LTL Model Checking

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Identifying Weight-Variant Latent Causal Models

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    The orthogneisses and paragneisses of Sassandra-Cavally (SASCA) domain (Côte d’Ivoire, West African Craton): Some Birimian crustal segments with a strong archaic signature

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Knowledge discovery in academic electronic resources using text mining

    Published 2013-02
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  16. Cover Image

    Mass casualty incident preparedness and response: A desk review of the Code Orange Plan and Assessment of Healthcare Workers’ Knowledge, Attitudes, and Practices in a Lebanese Tert...

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Long non-coding RNA PSMB8-AS1 as a potential biomarker for postoperative recurrence in patients with Fuhrman grades 1–3 clear cell renal cell carcinoma

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Inc3ViTs Model: A Hybrid Architecture to Accelerate and Reduce Complexity for the DeepVariant Model for Variant Calling

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Assessment of snow model uncertainty in relation to the effect of a 1 °C warming using the snow modelling framework openAMUNDSEN

    Published in The Cryosphere (TC) (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Seizing the future: a robust epileptic seizure recognition model-based cloud computing platform and advanced deep learning model

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: