computer-programming

Documents about computer-programming

• On the Cohesion of Hub-like microservices#648537Springer Nature OA
• Bilevel programming for generating discrete representations in multiobjective optimization#955430Koc University Digital Collections
• On the privacy of mental health apps#400378OpenAlex
• Think OS: A Brief Introduction to Operating Systems#2404Green Tea Press
• Biological Engineering Programming#3260MIT OpenCourseWare
• Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm#16626Semantic Scholar
• Heterogeneous Dynamic Logic: Provability Modulo Program Theories#144320arXiv (OAI)
• Proving Darwin#428724Open Library
• When Types Intersect and Effects Get Handled#668562arXiv (OAI Expanded)
• When Types Intersect and Effects Get Handled#670627arXiv (All)
• Evaluating Large Language Models Trained on Code#199499OpenAlex
• dalex: Responsible Machine Learning with Interactive Explainability and\n Fairness in Python#203237OpenAlex
• Under which Conditions Are Highlighted Multi-attribute Tables more Effective for Decision Making? An Eye-Tracking Study#447058Springer Nature OA
• Fine Structure Constant Defines Visual Transparency of Graphene#6537OpenAlex
• Congenital Torticollis (Torticollis Not Related to Trauma) Chapter 28#6894OpenAlex
• Computational Methods of Scientific Programming#67397MIT OpenCourseWare
• Towards formalizing the GDPR’s notion of singling out#404555OpenAlex
• A Comprehensive Survey on Computer Forensics: State-of-the-Art, Tools, Techniques, Challenges, and Future Directions#671972OpenAlex
• Mapping the landscape of software vulnerabilities in connected vehicles#686946Springer Nature OA
• The impact of using different choice functions when solving CSPs with autonomous search#935621Repositorio de Universidad Autónoma de Chile.
• Introduction to Mathematical Programming#3612MIT OpenCourseWare
• Integrating single-cell transcriptomic data across different conditions, technologies, and species#6769OpenAlex
• SAIA: a seamless Slurm-native solution for HPC-based services#164226Springer Nature OA
• "Computer Science Can Feed a Lot of Dreams"#333174ERIC
• Explainable Artificial Intelligence Applications in Cyber Security: State-of-the-Art in Research#199515OpenAlex
• Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models#328732Semantic Scholar
• Recommender systems#335820OpenAlex
• Resource-Aware Quantum Programming with General Recursion and Quantum Control#668344arXiv (OAI Expanded)
• Resource-Aware Quantum Programming with General Recursion and Quantum Control#670409arXiv (All)
• You may implement this later: Cofunctors as partial implementations#974578arXiv (All)
• Less is more: usefulness of data flow diagrams and large language models for security threat validation#130606Springer Nature OA
• The Capstone game factory: From throwaway projects to legacy software#456088Springer Nature OA
• Digital Music Composition: The Effects of Computer Coding Musical Compositions on Adult Learners' Attitudes toward Computer Science#333160ERIC
• Evaluation of measurement data — Guide to the expression of uncertainty in measurement#355302OpenAlex
• Affinity Profiling and Discrimination by Association in Online Behavioural Advertising#477109OpenAlex
• A Practical Quantum Hoare Logic with Classical Variables, I#153018arXiv (OAI)
• The Making of "The Legal Process"#269923OpenAlex
• An interactive procedure for numerical design optimization#426860Digital Commons @ NJIT
• igraph 1.0 enables fast and robust network analysis across programming languages.#430998NCBI PubMed Central
• A Torrent-Inspired Large File Transfer System for Small Satellite Swarms#499149NASA STI
• KnowTeX: Visualizing Mathematical Dependencies#973040arXiv (All)
• Expressive power of one-shot control operators and coroutines#974020arXiv (All)
• Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence#1011555arXiv (All)
• Security smell detection in Dockerfiles#1041465Springer Nature OA
• Jiving with LLMs: Assessing First Year Students’ Computer Programming Self Efficacy After Reading Code With LLMs#291101Digital Commons @ Michigan Tech
• Learn Differential Equations: Up Close with Gilbert Strang and Cleve Moler#3206MIT OpenCourseWare
• Xylem: A Comparative Analysis of GPU Dispatch Pipelines for Large-Scale, Procedural Environments#307596DigitalCommons@CalPoly
• <i>Phaser</i>crystallographic software#6368OpenAlex
• The Cambridge Structural Database#6536OpenAlex
• On the Termination Problem for Probabilistic Higher-Order Recursive Programs#633159arXiv (OAI Expanded)