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

Detection of Atmospheric Gravity Wave Activity during sever..:

, In: 2020 XXXIIIrd General Assembly and Scientific Symposium of the International Union of Radio Science,
Kundu, Subrata ; Chowdhury, Swati ; Yang, Shih-Sian... - p. 1-5 , 2020
Link: https://doi.org/10.23919..
 
?
2

Study the Ionospheric Total Electron Content (TEC) variatio..:

, In: 2020 URSI Regional Conference on Radio Science ( URSI-RCRS),
Kundu, Subrata ; Sasmal, Sudipta ; Chakraborti, Suman. - p. 1-4 , 2020
Link: https://doi.org/10.23919..
 
?
3

Numerical modeling of seasonal and diurnal variations of lo..:

, In: 2020 URSI Regional Conference on Radio Science ( URSI-RCRS),
Chowdhury, Swati ; Kundu, Subrata ; Sasmal, Sudipta... - p. 1-4 , 2020
Link: https://doi.org/10.23919..
 
?
4

Contaminated effect of Geomagnetic storm on pre-seismic atm..:

, In: 2020 URSI Regional Conference on Radio Science ( URSI-RCRS),
Biswas, Sagardweep ; Kundu, Subrata ; Ghosh, Soujan.. - p. 1-3 , 2020
Link: https://doi.org/10.23919..
 
?
5

Modulators and Poststroke Behavioral Changes:

, In: Mechanism and Genetic Susceptibility of Neurological Disorders,
Saxena, Rahul ; Babita ; Saxena, Suyash. - p. 273-283 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Formal Verification of Floating-Point Division:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),
Kapoor, Ashish ; Ferguson, Warren ; Jain, Himanshu. - p. 93-96 , 2023
Link: https://doi.org/10.1109/..
 
?
7

An Improved Method to Recognize Bengali Handwritten Charact..:

, In: Proceedings of International Conference on Data Science and Applications; Lecture Notes in Networks and Systems,
Halder, Monishanker ; Kundu, Sudipta ; Hasan, Md. Ferdows - p. 611-624 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Proving optimizations correct using parameterized program e..:

, In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Kundu, Sudipta ; Tatlock, Zachary ; Lerner, Sorin - p. 327-337 , 2009
Link: https://dl.acm.org/doi/1..
 
?
9

Partial order reduction for scalable testing of systemC TLM..:

, In: Proceedings of the 45th annual Design Automation Conference,
Kundu, Sudipta ; Ganai, Malay ; Gupta, Rajesh - p. 936-941 , 2008
Link: https://dl.acm.org/doi/1..
 
?
10

Automated refinement checking of concurrent systems:

, In: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design,
Kundu, Sudipta ; Lerner, Sorin ; Gupta, Rajesh - p. 318-325 , 2007
Link: https://dl.acm.org/doi/1..
 
?
11

Comparative analysis of workflow and performance characteri..:

, In: 2012 IEEE International Conference on Computational Intelligence and Computing Research,
Achary, K Sudipta ; Mandal, Arkaprava Bhaduri ; Reza, Motahar - p. 1-5 , 2012
Link: https://doi.org/10.1109/..
 
?
12

Contributors:

, In: Risk-Informed Methods and Applications in Nuclear and Energy Engineering,
Aagesen, Larry K. ; Aldemir, Tunc ; Alfonsi, A.... - p. xi-xiii , 2024
Link: https://doi.org/10.1016/..
 
?
13

List of contributors:

, In: Nanotechnology for Abiotic Stress Tolerance and Management in Crop Plants,
Agarwala, Niraj ; Agrawal, Ruchi ; Akash, Datta... - p. xi-xiii , 2024
Link: https://doi.org/10.1016/..
 
?
14

List of contributors:

, In: Microbial Vitamins and Carotenoids in Food Biotechnology,
Ahmad, Fakhruddin Ali ; Ahmad, Md Fahim ; Ahmad, Md Faruque... - p. xi-xv , 2024
Link: https://doi.org/10.1016/..
 
?
15

Thermal Characterization of Polydopamine (PDA) Based Vitrim..:

, In: Lecture Notes in Mechanical Engineering; Recent Advancements in Mechanical Engineering,
Borah, Lakshi Nandan ; Chandrangith, K. P. ; Halder, Sudipta - p. 473-480 , 2024
Link: https://doi.org/10.1007/..
 
1-15