GitHub1d
rohankalbag/testing-and-verification
This repository contains all the relevant files, my solutions to the assignments done in the course. The language and frameworks used were C, minisat, bddlib ...
C&EN3d
B-Modified Pd Cathodes for the Efficient Detoxification of Halogenated Antibiotics: Enhancing C–F Bond Breakage beyond Hydrodefluorination
CAS Key Laboratory of Urban Pollutant Conversion, Institute of Urban Environment, Chinese Academy of Sciences, Xiamen 361021, P. R. China.
scienceopen.com2d
Timing Driven Placement for Fault Tolerant Circuits Implemented on SRAM-Based FPGAs
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
scienceopen.com2d
Robust Fitting by Adaptive-Scale Residual Consensus
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.