Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sarkar, Dipankar
27  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Chemically Stabilized Laterite Soil Using Rice Husk Ash:

, In: Recent Advances in Transportation Systems Engineering and Management; Lecture Notes in Civil Engineering,
Paul, Somnath ; Sarkar, Dipankar - p. 451-463 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Performance Study of a Cambered Blade H-Rotor by CFD Analys..:

, In: Lecture Notes in Electrical Engineering; Proceedings of the 3rd International Conference on Communication, Devices and Computing,
Sarkar, Dipankar ; Sengupta, Anal Ranjan - p. 315-324 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Stabilization of Subgrade Soil Using Nano-chemicals and Fly..:

, In: Lecture Notes in Civil Engineering; Proceedings of the Indian Geotechnical Conference 2019,
Biswas, Tridipa ; Sarkar, Dipankar - p. 65-74 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Performance Characteristic Evaluation of Asphalt Mixes with..:

, In: Transportation Research; Lecture Notes in Civil Engineering,
Saha Chowdhury, Priyadarshini ; Kumar, Sonu ; Sarkar, Dipankar - p. 793-803 , 2019
Link: https://doi.org/10.1007/..
 
?
5

SamaTulyataOne : A Path Based Equivalence Checker:

, In: Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference),
Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan - p. 1-5 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Translation validation of loop and arithmetic transformatio..:

, In: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems,
Banerjee, Kunal ; Mandal, Chittaranjan ; Sarkar, Dipankar - p. 31-40 , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

An efficient path based equivalence checking for Petri net ..:

, In: Proceedings of the 9th India Software Engineering Conference,
Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan - p. 70-79 , 2016
Link: https://dl.acm.org/doi/1..
 
?
8

An efficient equivalence checking method for petri net base..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 2,
Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan - p. 827-828 , 2015
Link: https://dl.acm.org/doi/1..
 
?
9

Hand-in-hand verification of high-level synthesis:

, In: Proceedings of the 17th ACM Great Lakes symposium on VLSI,
Karfa, Chandan ; Sarkar, Dipankar ; Mandal, Chittaranjan. - p. 429-434 , 2007
Link: https://dl.acm.org/doi/1..
 
?
10

Model checking on state transition diagram:

, In: Proceedings of the 2004 Asia and South Pacific Design Automation Conference,
Das, Batsayan ; Sarkar, Dipankar ; Chattopadhyay, Santanu - p. 412-417 , 2004
Link: https://dl.acm.org/doi/1..
 
?
11

Contributors:

, In: Water Resources Management for Rural Development,
Ajayi, Francis Oluwadamilare ; Arora, Vaishali ; Baitharu, Iswar... - p. xiii-xvi , 2024
Link: https://doi.org/10.1016/..
 
?
12

List of contributors:

, In: Role of Green Chemistry in Ecosystem Restoration to Achieve Environmental Sustainability,
Ahmad, Md Altamash ; Allam, Bharat Kumar ; Anand, Aryan... - p. xv-xix , 2024
Link: https://doi.org/10.1016/..
 
?
13

Water pollution in rural areas: Primary sources, associated..:

, In: Water Resources Management for Rural Development,
Ghosh, Dipankar ; Chaudhary, Shubhangi ; Sarkar, Sampriti. - p. 15-28 , 2024
Link: https://doi.org/10.1016/..
 
?
14

Contributors:

, In: Visualization Techniques for Climate Change with Machine Learning and Artificial Intelligence,
Alothman, Zeid Abdullah ; Anirud, Rishabb ; Babu, K. V. Suresh... - p. 17-23 , 2023
Link: https://doi.org/10.1016/..
 
?
15

An Image Steganography Approach Using Arnold Transformation:

, In: Advances in Systems Analysis, Software Engineering, and High Performance Computing; Novel Research and Development Approaches in Heterogeneous Systems and Algorithms,
Pattanayak, Solanki ; Samanta, Sabyasachi ; Dey, Dipankar.. - p. 217-235 , 2023
Link: https://doi.org/10.4018/..
 
1-15