Abstract: From social media all the way to satellite images, we are capturing visual data at an unprecedented scale. These images tell a story about our planet. With advances in automatic recognition, we can build a collective understanding of world-scale events as recorded through visual media. In this talk, we will first explore the idea… Read More »Visual Discovery for Science
Speaker: Surender Baswana, IIT Kanpur Abstract: Mincuts are one of the most well-researched topics in algorithms. In recent years, there has been phenomenal research on algorithms for computing (s, t)-mincuts and global mincuts. On the other hand, the data structural and graph theoretical aspects of mincuts have also been well-researched in the last 50… Read More »An amazing structure for representing all Steiner mincuts of a graph
Abstract: With the recent rise of AI businesses in all industries around the world, AI can also be used to make important decisions for society. However, it is also true that using AI incorrectly or without understanding the characteristics of AI can have a negative impact on society due to concerns about its impact on… Read More »Regulations, International Standardizations and Technologies to Realize “Trusted AI”
Speaker: Vijay Keswani (Duke University) https://vijaykeswani.github.io/ Details: Apr 8th (Tue) | 4 PM | Online Abstract: As the capabilities of AI have expanded, reports of societal and personal harms related to its use have surged. Examples range from systemic biases in AI tools used in healthcare and social media to stereotype propagation in AI-based search and… Read More »How Do We Build Responsible AI? Towards Fair and Participatory AI Designs
Speaker: Ramneek Kaur, post-doctoral fellow, CSE, IIT Delhi Abstract: With over 70% of India's rural population dependent on agriculture, and 82% of farmers being small and marginal, the availability of water for irrigation is critical to ensuring sustainable rural livelihoods. Government welfare schemes such as the Mahatma Gandhi National Rural Employment Guarantee Act (MGNREGA) play… Read More »Impact Assessment of Natural Resource Management (NRM) Interventions in India
Speaker: Dr. Pritam Choudhury Abstract: In his article „Constructive Mathematics and Computer Programming‟, the renowned logician and type-theorist, Per Martin-Löf notes, "If programming is understood not as the writing of instructions for this or that computing machine but as the design of methods of computation that it is the computer‟s duty to execute (a difference… Read More »Mathematics and Programming: The Past, Present and Future A Personal Perspective
Speaker: Dominik Peters Abstract: Lindahl equilibrium is a solution concept for allocating a fixed budget across several divisible public goods. It always lies in the core, meaning that the equilibrium allocation satisfies desirable stability and proportional fairness properties. We consider a model where agents have separable linear utility functions over the public goods, and the output… Read More »Computing Lindahl Equilibrium for Public Goods with and without Funding Caps
Speaker: Neeldhara Misra Abstract: Suppose there are n horses and we have a track with k lanes. If we pick k horses to run a race, a linear ordering is established among the chosen horses, based only on the finishing order (race time is not considered). How many races do we need to organize to determine the… Read More »How many matches does it take to find a champion?
Speaker: Prof. Sanjiva Prasad The talk explores a few elementary concepts from abstract algebra that (should) inform our data-centric development of common programs and data types, but are often elided in most textbook treatments. Included are sets, monoids, boolean algebras, semirings and Kleene algebras, structure-preserving maps and homomorphisms, and notions of co-induction. The talk is… Read More »Algebra and co- ..in the theory of programming
Speaker: Sumit Diware Abstract: Recent advancements in artificial intelligence (AI) have driven the emergence of real-world cognitive products and services, which rely on neural networks to perform complex tasks. Edge computing for AI (edge-AI) combines data sources with local hardware that executes neural network computations, to improve the response latency, data privacy/security, and service reliability. Computation-in-memory (CIM)… Read More »Computation-In-Memory based Edge-AI for Healthcare: A Cross-Layer Approach
