Search Results - ((modules OR mode) OR (code OR some)) journal

Search alternatives:

Refine Results
  1. Cover Image

    Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers

    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:
  2. Cover Image

    Emergent Communication for Co-constructed Emotion Between Embodied Agents via Collective Predictive Coding

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

    Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

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

    Polar Complexity: A New Descriptive Complexity with Applications to Source and Joint Source-Channel Coding

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

    PyDislocDyn: A Python code for calculating dislocation drag and other crystal properties

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Lazy lossless compression by symbol lookahead invalidation in universal adaptive stream-based entropy coding

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

    Some Original Inferences on Pearson Coefficients and Determining the Capability of Post-Covid Resilience Processes

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

    Synthesis and antileishmanial evaluation of some 2,3-disubstituted-4(3)-quinazolinone derivatives

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

    On Some Integral Inequalities Related to Hermite-Hadamard-Fejér Inequalities for Coordinated Convex Functions

    Published in Chinese Journal of Mathematics (2014)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    On Some Properties of Linear Systems on Time Scales With Tractability Index Greater Than One

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

    Some results on deferred statistical convergence of double sequences in neutrosophic normed linear spaces

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

    Influence of duration and temperature of infusion on the heavy metal contents of some groups of tea in Nigeria

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

    Studies on some engineering properties of dried egg powder reference to its bulk handling

    Published in Annals of Science and Technology (2024)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Influence of some environmental factors on the distribution of zooplankton complexes in Mandra Reservoir, in Southeastern Bulgaria

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

    Reassignment of Some Caryospora Species (Apicomplexa: Eimeriidae) to Eumonospora (Apicomplexa: Sarcocystidae) and a Summary

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

    Ramsey-Collatz Correlation and Some Extremal Combinatorics, along with Ramsey-Mahler Rare Concurrencies

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

    Some preliminary notes on Challow, a Tibeto-Burman language from Manipur, India

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

    Enhancement of some citrus rootstocks tolerance to drought stress by vermicompost and foliar application of trehalose

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

    Faunistic and taxonomic notes on some Madagascan Muscidae (Diptera) and descriptions of three new species

    Published in Contributions to Entomology (2022)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    The calling songs of some katydids (Orthoptera, Tettigonioidea) from the tropical forests of Southeast Asia

    Published in Journal of Orthoptera Research (2023)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: