Результати пошуку - "Functional programming"

Уточнити результати
  1. Зображення обкладинки

    Principled Parallel Composition and the Separation of Concerns за авторством Rioux, Nicholas

    Опубліковано в: ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  2. Зображення обкладинки

    Coverage-Based Fault Localization in Haskell

    Опубліковано в: Journal of Computer Science and Technology (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  3. Зображення обкладинки

    A practical formalization of monadic equational reasoning in dependent-type theory за авторством Affeldt, Reynald

    Опубліковано в: Journal of Functional Programming (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  4. Зображення обкладинки

    ADprep – A Fully‐Automated Software for Large‐scale Multimodal MRI and PET Imaging Workflows за авторством Dehsarvi, Amir

    Опубліковано в: Alzheimer's & Dementia (Dec 1, 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  5. Зображення обкладинки

    Theory Exploration Automated Conjecturing for Programs and Proofs за авторством Einarsdóttir, Sólrún Halla

    Опубліковано в: PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  6. Зображення обкладинки

    A Formal Semantics of Core Erlang за авторством Abdelrahman Mohamedi, Ibrahim

    Опубліковано в: PQDT - Global (2025)
    Citation/Abstract
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  7. Зображення обкладинки

    From Phonons to Phase Stability: A Computational Approach to the Thermodynamics of CaMnO3-δ за авторством Gastaldi, Jonatan

    Опубліковано в: PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  8. Зображення обкладинки

    ADprep – A Fully‐Automated Software for Large‐scale Multimodal MRI and PET Imaging Workflows за авторством Dehsarvi, Amir

    Опубліковано в: Alzheimer's & Dementia (Dec 1, 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  9. Зображення обкладинки

    Naturalistic fMRI and MEG recordings during viewing of a reality TV show за авторством Li, Jixing

    Опубліковано в: Scientific Data (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  10. Зображення обкладинки

    AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model за авторством Zhang, Zhenhua

    Опубліковано в: Symmetry (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  11. Зображення обкладинки

    Ontology-Based Data Pipeline for Semantic Reaction Classification and Research Data Management за авторством Borgelt Hendrik

    Опубліковано в: Computers (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  12. Зображення обкладинки

    Refactoring Loops in the Era of LLMs: A Comprehensive Study за авторством Midolo Alessandro

    Опубліковано в: Future Internet (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  13. Зображення обкладинки

    A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types

    Опубліковано в: Nature Communications (2025)
    Citation/Abstract
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  14. Зображення обкладинки

    In Silico Modeling of Metabolic Pathways in Probiotic Microorganisms for Functional Food Biotechnology за авторством Baimakhanova, Baiken B

    Опубліковано в: Fermentation (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  15. Зображення обкладинки

    Fault-tolerant control for nonlinear time-delay systems using neural network observers за авторством Rahimi, Farshad

    Опубліковано в: International Journal of Dynamics and Control (Jan 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  16. Зображення обкладинки

    Editorial за авторством Pope, Sue

    Опубліковано в: Mathematics Teaching (Mar 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Додати у Вибране
    Збережено в:
  17. Зображення обкладинки

    Cesno: The Initial Design of a New Programming Language за авторством Vanilla, Ozelot

    Опубліковано в: arXiv.org (Sep 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  18. Зображення обкладинки

    Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study за авторством Tim van Dam

    Опубліковано в: arXiv.org (Mar 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  19. Зображення обкладинки

    Modernizing SMT-Based Type Error Localization за авторством Kopinsky, Max

    Опубліковано в: arXiv.org (Aug 16, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:
  20. Зображення обкладинки

    Debugging Functional Programs by Interpretation за авторством Whitington, John

    Опубліковано в: arXiv.org (Nov 1, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Додати у Вибране
    Збережено в:

Інструменти для пошуку: