Rajat Arora

Orcid: 0000-0002-0491-8092

According to our database1, Rajat Arora authored at least 18 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Genetic algorithm-based price and warranty optimization in software systems.
Expert Syst. J. Knowl. Eng., July, 2024

2023
Investigating the impact of effort slippages in software development project.
Int. J. Syst. Assur. Eng. Manag., June, 2023

A Deep Learning Framework for Solving Hyperbolic Partial Differential Equations: Part I.
CoRR, 2023

CapsFlow: Optical Flow Estimation with Capsule Networks.
CoRR, 2023

2022
Spatio-Temporal Super-Resolution of Dynamical Systems using Physics-Informed Deep-Learning.
CoRR, 2022

Physics-informed neural networks for modeling rate- and temperature-dependent plasticity.
CoRR, 2022

PhySRNet: Physics informed super-resolution network for application in computational solid mechanics.
Proceedings of the IEEE/ACM International Workshop on Artificial Intelligence and Machine Learning for Scientific Applications, 2022

2021
Machine Learning-Accelerated Computational Solid Mechanics: Application to Linear Elasticity.
CoRR, 2021

SinGAN-GIF: Learning a Generative Video Model from a Single GIF.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

2019
A Fast, Scalable, and Reliable Deghosting Method for Extreme Exposure Fusion.
Proceedings of the IEEE International Conference on Computational Photography, 2019

2016
Efficient baseband processing system for DVB-RCS to DVB-S2 onboard processing satellite.
Proceedings of the 2016 International Conference on Advances in Computing, 2016

2015
Design and implementation of DVB-S2 transport stream for onboard processing satellite.
Proceedings of the 19th International Symposium on VLSI Design and Test, 2015

2012
A Proposal for Deployment of Wireless Sensor Network in Day-to-Day Home and Industrial Appliances for a Greener Environment.
Proceedings of the Second International Conference on Soft Computing for Problem Solving, 2012

2005
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

2004
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking.
J. Univers. Comput. Sci., 2004

Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

CNF formula simplification using implication reasoning.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003
Enhancing SAT-based equivalence checking with static logic implications.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003


  Loading...