computer-programming

Documents about computer-programming

• Canonical sampling through velocity rescaling#6395OpenAlex
• First principles methods using CASTEP#6943OpenAlex
• CodeStream: A Dataset of Iterative Programming Submissions with Sequential Verdict Traces and Attempt Histories#122332DataCite
• CodeStream: A Dataset of Iterative Programming Submissions with Sequential Verdict Traces and Attempt Histories#122333DataCite
• Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks#189212arXiv (OAI)
• HISTORICAL TRENDS IN MACRO-JURISPRUDENCE: A LANGUAGE MODEL ASSESSMENT, 1870-2023#335610OpenAlex
• RNA Gene Finding with Biased Mutation Operators#493009Boise State ScholarWorks
• Automatic Comprehension and Summarisation of Legal Contracts#679266OpenAlex
• Beyond Lemma Sharing -- Novel Parallelization Strategies for Property Directed Reachability#972493arXiv (All)
• From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware#1049860arXiv (All)
• Using machine learning approaches for multi-omics data analysis: A review#199723OpenAlex
• Artificial intelligence misuse and concern for information privacy: New construct validation and future directions#400613OpenAlex
• User interface paradigms for visually authoring mid-air gestures: a survey and a provocation#954453Koc University Digital Collections
• A Review of Cybersecurity Guidelines for Manufacturing Factories in Industry 4.0#976526OpenAlex
• Toward Cybersecurity Testing and Monitoring of IoT Ecosystems#209968Springer Nature OA
• Assessing the strength of machine learning and deep learning models for network anomaly detection: insights from multi-dataset cybersecurity analysis#159390Springer Nature OA
• Engaging Students with AI for Code Comprehension, Critique, and Explanation#179765Digital Commons @ Michigan Tech
• Bioinformatics for precision medicine in oncology: principles and application to the SHIVA clinical trial#340961OpenAlex
• You & AI: a research computing hackathon: poster abstract#393589Spiral
• Proposal of an Implementation Process for the Brazilian General Data Protection Law (LGPD)#461689OpenAlex
• Bridging awareness and behavior: decoding implicit metacognitive behaviors in AI-assisted programming via fine-grained log analysis.#138587NCBI PubMed Central
• Systèmes distribués : transparence, masquage et outils associés#374568HAL (France)
• Sustainable data analysis with Snakemake#663209OpenAlex
• Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring#668652arXiv (OAI Expanded)
• Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring#670717arXiv (All)
• Exploring the Potential of Large Language Models in Computational Argumentation#679244OpenAlex
• FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps#789111arXiv (OAI Expanded)
• FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps#793115arXiv (All)
• Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study#926851arXiv (All)
• Does AI Assistance Leave a Temporal Fingerprint? Detecting Overreliance in AI-Assisted Writing and Programming#1011598arXiv (All)
• Perineural Invasion Detection Using Deep Learning: A Systematic Review#252039Springer Nature OA
• PATIENT+N: Profiling Feature Importance for Focal Epileptic Seizure Onset Detection for New Patients#667016Springer Nature OA
• A regulação da inteligência artificial na saúde no Brasil começa com a Lei Geral de Proteção de Dados Pessoais#686584OpenAlex
• Opportunistic Permission Exploitation of Third-Party Libraries in Android Apps#248677Springer Nature OA
• Data is power: Towards additional guidance on profiling and automated decision-making in the GDPR#462110OpenAlex
• Secure Device Authentication with Blockchain Based Trust Technique for IoT#680866Springer Nature OA
• BUSCO: assessing genome assembly and annotation completeness with single-copy orthologs#6446OpenAlex
• SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits#144325arXiv (OAI)
• Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System#173325arXiv (OAI)
• Geek Sublime#465981Open Library
• How Researchers Use and Verify AI Coding Assistants: Tasks and Validation Practices in Scientific Programming#1036459arXiv (All)
• Reimagining Health Data Exchange: An Application Programming Interface–Enabled Roadmap for India#348473OpenAlex
• Cybersecurity Attacks on Software Logic and Error Handling Within AIS Implementations: A Systematic Testing of Resilience#663224OpenAlex
• Liver Disease Diagnosis: Fuzzy c-means and Scoring Ranking Approach#209970Springer Nature OA
• A High-Performance Computing Portal Applied to 3D Electron Microscopy#252096Springer Nature OA
• The NumPy Array: A Structure for Efficient Numerical Computation#6114OpenAlex
• Avogadro: an advanced semantic chemical editor, visualization, and analysis platform#6965OpenAlex
• Soil and Water Assessment Tool Theoretical Documentation Version 2009#400320OpenAlex
• Understanding Privacy-Related Advice on Stack Overflow#400591OpenAlex
• The Scored Society: Due Process for Automated Predictions#461995OpenAlex