Sphere packing in Lean. ~ Christopher Birkbeck, Sidharth Hariharan, Seewoo Lee, Gareth Ma, Bhavik Mehta, Maryna Viazovska. thefundamentaltheor3m.github.io/Sphere-Packi... #ITP #LeanProver #Math
October 24, 2025 at 11:07 AM
Everybody can reply
2 likes
BBC Asian Network
All Day Certified Party with Vallisa
Now Playing
Hariharan, Kailash Kher & Udit Narayan
Yun Hi Chala Chal
All Day Certified Party with Vallisa
Now Playing
Hariharan, Kailash Kher & Udit Narayan
Yun Hi Chala Chal
September 27, 2024 at 1:44 PM
Everybody can reply
BBC Asian Network
Pritt
Now Playing
Chinmayi Sripada, Hariharan, Harris Jayaraj & Shweta Mohan
Amali Thumali
Pritt
Now Playing
Chinmayi Sripada, Hariharan, Harris Jayaraj & Shweta Mohan
Amali Thumali
August 18, 2024 at 7:51 PM
Everybody can reply
BBC Asian Network
Pure Spice - Takeover
Now Playing
Hariharan & Yuvan Shankar Raja
Venmegam
Pure Spice - Takeover
Now Playing
Hariharan & Yuvan Shankar Raja
Venmegam
March 18, 2025 at 2:14 PM
Everybody can reply
Dependence of the estimated electric potential in thunderstorms observed at GRAPES-3 on the hadronic interaction generators used in simulations
https://arxiv.org/pdf/2412.18167
B. Hariharan et al
https://arxiv.org/pdf/2412.18167
B. Hariharan et al
https://arxiv.org/abs/2412.18167
arXiv abstract link
arxiv.org
December 25, 2024 at 5:34 AM
Everybody can reply
BBC Asian Network
Pure Spice - Takeover
Now Playing
Hariharan
Thaj Mahal Ondru
Pure Spice - Takeover
Now Playing
Hariharan
Thaj Mahal Ondru
June 28, 2025 at 3:24 AM
Everybody can reply
Don’t lose your Ed: adhesion molecules in growth and survival
This Research Highlight showcases the work from Danielle Spitzer, William Sun, Anthony Rodríguez-Vargas, and Iswar Hariharan:
journals.biologists.com/dev/article/...
This Research Highlight showcases the work from Danielle Spitzer, William Sun, Anthony Rodríguez-Vargas, and Iswar Hariharan:
journals.biologists.com/dev/article/...
August 11, 2025 at 9:20 AM
Everybody can reply
3 reposts
3 likes
Seenivasan Hariharan, Sebastian Zur, Sachin Kinge, Lucas Visscher, Kareljan Schoutens, Stacey Jeffery
Quantum Walks for Chemical Reaction Networks
https://arxiv.org/abs/2509.07890
Quantum Walks for Chemical Reaction Networks
https://arxiv.org/abs/2509.07890
September 10, 2025 at 5:11 AM
Everybody can reply
Dependence of the estimated electric potential in thunderstorms observed at GRAPES-3 on the hadronic interaction generators used in simulations. B. Hariharan et. al. https://arxiv.org/abs/2412.18167
December 25, 2024 at 3:37 AM
Everybody can reply
BBC Asian Network
Asian Network Certified with Nikita Kanda
Now Playing
Hariharan, Kailash Kher & Udit Narayan
Yun Hi Chala Chal
Asian Network Certified with Nikita Kanda
Now Playing
Hariharan, Kailash Kher & Udit Narayan
Yun Hi Chala Chal
October 10, 2024 at 9:57 AM
Everybody can reply
1 likes
BBC Asian Network
Asian Network Certified...
Now Playing
Hariharan & Lata Mangeshkar
Ek Duje Ke Vaaste
Asian Network Certified...
Now Playing
Hariharan & Lata Mangeshkar
Ek Duje Ke Vaaste
October 6, 2024 at 9:18 AM
Everybody can reply
BBC Asian Network
Pure Spice with DJ Manara
Now Playing
Hariharan & Sujatha
Irava Pagala (Omar Lovers & Friends Edit)
Pure Spice with DJ Manara
Now Playing
Hariharan & Sujatha
Irava Pagala (Omar Lovers & Friends Edit)
January 27, 2024 at 10:44 PM
Everybody can reply
BBC Asian Network
Asian Network Chill with Jaspreet Kaur
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
Asian Network Chill with Jaspreet Kaur
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
July 11, 2024 at 10:16 PM
Everybody can reply
BBC Asian Network
Pritt
Now Playing
AR Rahman, Deepthi Suresh, Sathyaprakash & Sreekanth Hariharan
Osarattum Pathu Thala
Pritt
Now Playing
AR Rahman, Deepthi Suresh, Sathyaprakash & Sreekanth Hariharan
Osarattum Pathu Thala
July 14, 2024 at 6:39 PM
Everybody can reply
Agentic AI digital badge was issued by Thinkers360 to Hariharan Ragothaman www.thinkers360.com/tl/badge/309... via @Hariharan Ragothaman on @Thinkers360
Agentic AI digital badge was issued by Thinkers360 to Hariharan Ragothaman
Thinkers360 is the world's first open platform for thought leaders to discover opportunities, promote and advance their expertise. Leading brands use our tools for finding and working with the…
www.thinkers360.com
September 3, 2025 at 6:29 PM
Everybody can reply
Mohanakrishnan Hariharan: Semantic Mastery: Enhancing LLMs with Advanced Natural Language Understanding https://arxiv.org/abs/2504.00409 https://arxiv.org/pdf/2504.00409 https://arxiv.org/html/2504.00409
April 2, 2025 at 6:00 AM
Everybody can reply
1 reposts
BBC Asian Network
Pure Spice - Takeover
Now Playing
Hariharan, Naveen, Andrea Jeremiah & Bhargavi Pillai
Oh Baby
Pure Spice - Takeover
Now Playing
Hariharan, Naveen, Andrea Jeremiah & Bhargavi Pillai
Oh Baby
June 14, 2025 at 11:27 PM
Everybody can reply
BBC Asian Network
Bobby Friction
Now Playing
Dhvani Bhanushali, Vivek Hariharan, Lijo George, Nakash Aziz & Jonita Gandhi
Current Laga Re
Bobby Friction
Now Playing
Dhvani Bhanushali, Vivek Hariharan, Lijo George, Nakash Aziz & Jonita Gandhi
Current Laga Re
August 27, 2024 at 1:01 AM
Everybody can reply
BBC Asian Network
All Day Diwali with Haroon Rashid
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
All Day Diwali with Haroon Rashid
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
October 31, 2024 at 11:22 AM
Everybody can reply
Geesara Kulathunga, Abdurrahman Yilmaz, Zhuoling Huang, Ibrahim Hroob, Hariharan Arunachalam, Leonardo Guevara, Alexandr Klimchik, Grzegorz Cielniak, Marc Hanheide
Resilient Timed Elastic Band Planner for Collision-Free Navigation in Unknown Environments
https://arxiv.org/abs/2412.03174
Resilient Timed Elastic Band Planner for Collision-Free Navigation in Unknown Environments
https://arxiv.org/abs/2412.03174
December 5, 2024 at 7:05 AM
Everybody can reply
BBC Asian Network
Asian Network Certified...
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
Asian Network Certified...
Now Playing
Hariharan & Kavita Krishnamurthy
Tu Hi Re (from Bombay)
May 28, 2024 at 1:30 PM
Everybody can reply
BBC Asian Network
Pritt
Now Playing
Hariharan
Pala Pala
Pritt
Now Playing
Hariharan
Pala Pala
January 12, 2025 at 8:56 PM
Everybody can reply
BBC Asian Network
The Ultimate 90s Bollywood Song - Part 1
Now Playing
Hariharan & Alka Yagnik
Bahon Ke Darmiyan (from Khamoshi: The Musical)
The Ultimate 90s Bollywood Song - Part 1
Now Playing
Hariharan & Alka Yagnik
Bahon Ke Darmiyan (from Khamoshi: The Musical)
December 25, 2024 at 4:55 PM
Everybody can reply
Recent Human Health graduate and standout scholar Shraddha Hariharan will share a behind-the-scenes look at #EmoryAtTheSuperBowl tomorrow, as we share how Emory's groundbreaking discoveries are having real-world impacts.
Follow along with Shraddha on our Instagram: www.instagram.com/emorycollege
Follow along with Shraddha on our Instagram: www.instagram.com/emorycollege
February 7, 2025 at 8:55 PM
Everybody can reply
1 reposts
1 likes
About 10% of implanted medical devices are rejected by the body. Amrutha Hariharan 2nd yr CÚRAM PhD candidate @uniofgalwaymag.bsky.social funded thru CDTLifETIME is developing biomaterial coatings for devices to make them more readily acceptable. Read more @ tinyurl.com/bpxjaccw @researchireland.ie
July 15, 2025 at 10:24 AM
Everybody can reply
1 reposts
1 likes