Real-Time CertiKos: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation Subtitle
By : Vishesh Rana
Book Info
Real-Time Image Upscaling with Commonly Available Resources Subtitle
By : Aarav Modi
Real-Time Individual Thermal Preferences Prediction Using Visual Sensors Subtitle
By : Lalit Baruah
Reconciling Nist's Post-Quantum Cryptography Candidates with Performance Requirements Subtitle
By : Baljinder Dave
Reimagining Statistical Shape Modeling Pipelines with Deep Neural Networks Subtitle
By : Rupesh Singh
Relationship of Organizational Structures in Higher Education to Risk Management Subtitle
By : Ekta Mitra
Relative motion as an ecological mechanism Subtitle
By : Diksha Das
Reliable Autonomy Under Uncertainty: from Learning-Based to Non-Rational Control Subtitle
By : Baljinder Murmu
Remote Therapy Experience as a Proxy for Understanding Interactional Virtual Reality Therapy Subtitle
By : Mitesh Kaur
Representation Learning for Anomaly Detection: From the Aspects of Data Views and Optimization Subtitle
By : Nitin Kumar
