Arama Sonuçları - "Derivative securities. ; Python (Computer program language)"

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Static Analysis Tools for Network-Device Stacks Yazar: Ruffy, Fabian

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Program Analysis for Software Engineers and Students Yazar: Tan, Jialiang

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Modeling Language as Social and Cultural Data Yazar: Li, Lucy

Citation/Abstract
Full Text - PDF

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

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

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

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