Risultati della ricerca - "Computer Programs"

Raffina i risultati
  1. Copertina

    Students of Color Online: 10 Questions to Promote Digital Health, Safety, and Citizenship

    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  2. Copertina

    Front-end Replication Dynamic Window (FRDW) for Online Motor Imagery Classification di Chen, X

    Pubblicato in arXiv.org (Dec 12, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  3. Copertina

    Proceedings of the International Association for Development of the Information Society (IADIS) International Conferences on Mobile Learning (ML 2025, 21st) and Educational Technol... di Inmaculada Arnedillo Sánchez, Editor

    Pubblicazione 2025
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  4. Copertina

    2024 Texas Kids Count Data Book di Rayo-Garza, Coda

    Pubblicato in Every Texan (2025)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  5. Copertina

    Towards Practical and Automated Type-Based Program Analysis in Java di Karimipour, Nima

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  6. Copertina

    Neuro-Symbolic Program Generation and Execution for Hybrid Reasoning di Hu, Yaojie

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  7. Copertina

    Crossing Software Abstraction Boundaries to Facilitate Software Engineering di Reiter, Pemma

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  8. Copertina

    Auto-Active Relational Verification and Alignment Completeness di Nagasamudram, Ramana

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  9. Copertina

    Assisting Cloud System Development With Automated Insight Generation di Qiu, Yiming

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  10. Copertina

    Cyber Hygiene Training: Using a Salesforce Developer Module to Improve Student Online Behaviors di Kocsis, David

    Pubblicato in Journal of Information Systems Education (Spring 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  11. Copertina

    Large Language Model-Brained GUI Agents: A Survey di Zhang, Chaoyun

    Pubblicato in arXiv.org (Dec 23, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  12. Copertina

    SpecRover: Code Intent Extraction via LLMs di Ruan, Haifeng

    Pubblicato in arXiv.org (Dec 11, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  13. Copertina

    Using a Digital-Ready Mentorship Program to Develop the Future Technology Workforce di Edwards, Danielle

    Pubblicato in Journal of Information Systems Education (Spring 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  14. Copertina

    Evaluating and Improving Fuzzer Mutation Strategies di Kukucka, James Matthew

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  15. Copertina

    A shiny app for modeling the lifetime in primary breast cancer patients through phase-type distributions di Acal, Christian

    Pubblicato in arXiv.org (Dec 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  16. Copertina

    Formal Foundations for Translational Separation Logic Verifiers (extended version) di Thibault Dardinier

    Pubblicato in arXiv.org (Dec 20, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  17. Copertina

    ETF: An Entity Tracing Framework for Hallucination Detection in Code Summaries di Maharaj, Kishan

    Pubblicato in arXiv.org (Dec 18, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  18. Copertina

    Reconciling Performance and Security in Modern Computer Architecture di Pal, Asmita

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  19. Copertina

    CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems di Harie, Yojiro

    Pubblicato in arXiv.org (Dec 11, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  20. Copertina

    Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification di Thompson, Kyle

    Pubblicato in arXiv.org (Dec 18, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: