Bilaketaren emaitzak - "Derivative securities. ; Python (Computer program language)"

Correct Programs, Executed Correctly: Verifying Specifications and Executions nork Ioannidis, Eleftherios

Citation/Abstract
Full Text - PDF

Digital Platform Transitions in the Finance Industry: Three Essays nork Wilson, Cheryll-Ann

Citation/Abstract
Full Text - PDF

Code Generation With Large Language Models: Inductive Reasoning and Calibration nork Li, Wen-Ding

Citation/Abstract
Full Text - PDF

Static Analysis Tools for Network-Device Stacks nork Ruffy, Fabian

Citation/Abstract
Full Text - PDF

Neurosymbolic Programming in Scallop: Design, Implementation, and Applications nork Li, Ziyang

Citation/Abstract
Full Text - PDF

Practical Information Flow Control in Real-World Systems: Cryptography, Reference Monitor, and Confidential Computing nork Zhou, Quan

Citation/Abstract
Full Text - PDF

On the Real-World (In)Security of Large Language Model Systems: Threats and Detection nork Lin, Zilong

Citation/Abstract
Full Text - PDF

Analyzing and Optimizing Cache-Friendliness Through Memory Access Patterns: Metrics, Tools, and Methodologies nork Parra Gonzalez, Claudio Alejandro

Citation/Abstract
Full Text - PDF

Enhancing Security, Safety, and Reliability of Modern Cyber-Physical Systems nork Zhang, Qingzhao

Citation/Abstract
Full Text - PDF

Program Analysis for Software Engineers and Students nork Tan, Jialiang

Citation/Abstract
Full Text - PDF

Using Language for Efficient, Explainable, and Interactive Machine Learning nork Radhakrishnan Menon, Rakesh

Citation/Abstract
Full Text - PDF

Cyber-Physical Security Through the Lens of AI-Enabled Systems nork Yu, Zhiyuan

Citation/Abstract
Full Text - PDF

Modeling Language as Social and Cultural Data nork Li, Lucy

Citation/Abstract
Full Text - PDF

The Effect of Artificial Intelligence Code Generation on Software Developer Productivity nork Morgan, Scott

Citation/Abstract
Full Text - PDF

From Devices to the Cloud: Digital Forensics in the Changing Social Media Landscape nork Brown, Joseph

Citation/Abstract
Full Text - PDF
Full text outside of ProQuest

Simulation-Based Testing of the Traffic Rules Requirements for Autonomous Vehicles at Intersections nork Karimi, Abolfazl

Citation/Abstract
Full Text - PDF

Stereotyping in Language (Technologies): An Examination of Racial and Gender Stereotypes in Natural Language and Language Models nork Lee, Hojun

Citation/Abstract
Full Text - PDF

Bootstrapping a Trustworthy and Seamless Digital Engineering Appliance nork Wheaton, James S.

Citation/Abstract
Full Text - PDF

Digital Forensics and AI: Artifact Analysis and Using AI in the Forensics Domain nork Walker, Clinton Joel

Citation/Abstract
Full Text - PDF
Full text outside of ProQuest

StatePre: A Large Language Model-Based State-Handling Method for Network Protocol Fuzzing nork Zhang, Yifan

Citation/Abstract
Full Text + Graphics
Full Text - PDF