32 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Indian Institute of Technology MadrasIN5 papers
- Indian Institute of Information Technology Design and Manufacturing JabalpurIN2 papers
- Institute of PhysicsPL2 papers
- National Institute of Technology RaipurIN2 papers
- Siberian Federal UniversityRU2 papers
- Banaras Hindu UniversityIN1 paper
- Birla Institute of Technology and Science, PilaniIN1 paper
- Birla Institute of Technology and Science, Pilani - Goa CampusIN1 paper
- Birla Institute of Technology, MesraIN1 paper
- Center for Advanced Systems UnderstandingDE1 paper
- Center for Astrophysics Harvard & SmithsonianUS1 paper
- Central University of JammuIN1 paper
3 papers · 1 filter
Strain induced variations in transport and optical properties of SrVO: a DFT+U study
Maitreyo Biswas, Debolina Misra, Tarun K. Kundu
First-principles calculations based on density functional theory + Hubbard U (DFT+U) approach have been carried out to study the strain induced variations in the optical and transp…
On the stability of inhomogeneous fluids under acoustic fields
Varun Kumar Rajendran, Aravind Ram S P, Karthick Subramani
In this work, we present the stability theory for inhomogeneous fluids subjected to standing acoustic fields. Starting from the first principles, the stability criterion is establi…
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…