Search

Your search keyword '"Satya, Prakash"' showing total 5,981 results

Search Constraints

Start Over You searched for: Author "Satya, Prakash" Remove constraint Author: "Satya, Prakash"
5,981 results on '"Satya, Prakash"'

Search Results

1. Localized Attractor Computations for Infinite-State Games (Full Version)

2. Nonlinear mechanics of phase-change-induced accretion

10. Most General Winning Secure Equilibria Synthesis in Graph Games

16. Solving Two-Player Games under Progress Assumptions

18. Unexpected magnetism explained in Cu/Cu2O-rGO nanocomposite

19. Contract-Based Distributed Synthesis in Two-Objective Parity Games

20. Accretion-Ablation Mechanics

29. Synthesizing Permissive Winning Strategy Templates for Parity Games

30. Context-triggered Abstraction-based Control Design

31. Real-time information processing via volatile resistance change in scalable protonic devices

32. Performance of machine learning algorithms for lung cancer prediction: a comparative approach

33. A comprehensive examination of the linear and numerical stability aspects of the bubble collision model in the TRACE-1D two-fluid model applied to vertical disperse flow in a PWR core channel under loss of coolant accident conditions

34. Impact of dose and storage duration of platelet concentrates on platelet recovery between ABO identical and ABO non-identical random donor platelet transfusions in hemato-oncology patients

35. Expert panel opinion on adult pneumococcal vaccination in the post-COVID era (NAP- EXPO Recommendations-2024)

38. Computing Adequately Permissive Assumptions for Synthesis

41. Deep Diving Into the Fusion Across Cancer Types in the Indian Population From Formalin-Fixed Paraffin-Embedded RNA-Exome Data: A Road to Discovering Novel Rearrangements With Clinical Relevance

42. Soluble Lead Redox Flow Batteries: Status and Challenges

43. Modeling of CI engine performance and emission parameters using artificial neural network powered by catalytic co-pyrolytic renewable fuel

44. De novo transcriptome assembly, annotation and SSR mining data of Hellula undalis (Fabr.) (Lepidoptera: Pyralidae), the cabbage webworm

Catalog

Books, media, physical & digital resources