Resultados de búsqueda - Derivative securities. ; Python (Computer program language)~

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Program Analysis for Software Engineers and Students por Tan, Jialiang

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Modeling Language as Social and Cultural Data por Li, Lucy

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

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

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

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

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

Citation/Abstract
Full Text - PDF