Хайлтын үр дүнгүүд - Derivative securities. ; Python (Computer program language)

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Program Analysis for Software Engineers and Students -н Tan, Jialiang

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

Modeling Language as Social and Cultural Data -н Li, Lucy

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

From Devices to the Cloud: Digital Forensics in the Changing Social Media Landscape -н 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 -н Karimi, Abolfazl

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text + Graphics
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

Citation/Abstract
Full Text - PDF

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

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