Search Results - (((codee OR code) OR somee) OR (made OR some)) journal

Search alternatives:

Refine Results
  1. Cover Image

    Alignment complete relational Hoare logics for some and all

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

    Polishness of some topologies related to word or tree automata

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

    Some observations on the logical foundations of inductive theorem proving

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

    First Order Theories of Some Lattices of Open Sets

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

    A DFT Study of Some Structural and Spectral Properties of 4-Methoxyacetophenone Thiosemicarbazone and Its Complexes with Some Transition Metal Chlorides: Potent Antimicrobial Agent...

    Published in Advances in Chemistry (2016)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Complexity Analysis of LLM-Generated Recursive Code: A Systematic Evaluation

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

    An evaluation study of large language models for addressing code quality issues

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

    Scenario-Adaptive Deep Joint Source-Channel Coding for CSI Feedback

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

    A Survey on the Coding for DNA Storage: Challenges, Algorithms, and Future Directions

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

    Sparse Grassmannian Design for Noncoherent Codes via Schubert Cell Decomposition

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

    Bk8 Casino No Deposit Bonus Codes For Free Spins 2026

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

    Club Gold Casino No Deposit Bonus Codes For Free Spins 2026

    Published in Tafter Journal (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Bk8 Casino No Deposit Bonus Codes For Free Spins 2026

    Published in Tafter Journal (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    History of medical ethics in Korea: focused on analysis of medical codes and covenants

    Published in Korean Journal of Medical History (1970)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Cultural Codes and Representation Dynamics in Diyarbakır Region Turkish Folk Music

    Published in Conservatorium / Konservatoryum (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Should We Have a Code of Ethics as Dance Makers and Teachers?

    Published in Dance Major Journal (2021)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Output format biases in the evaluation of large language models for code translation

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

    New Results on Vertices that Belong to Every Minimum Locating-Dominating Code

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

    Breaking Training Bottlenecks: Effective and Stable Reinforcement Learning for Coding Models

    Published in ArXiv cs.GL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: