Sep
8
Fingerprint Databases for Theorems
Host Applied Mathematics Speaker Bridget Tenner DePaul University http://math.depaul.edu/bridget Description Abstract: Suppose that mathematician M has just proved theorem T. How is M to know if her...
Events Archive
Find an Event
Currently selected filters
- Discrete Applied Math Seminar
Apr
21
Covering Optimization Models for Emergency Response, Security, and Resilience
Speaker Laura McLay University of Wisconsin at Madison https://directory.engr.wisc.edu/ie/faculty/mclay_laura/ Description Abstract: Covering models are used in a broad spectrum of applications. This...
Apr
17
Constructions in Non-Adaptive Group Testing - Steiner Systems and Latin Squares
Description In group testing we have a (large) set of items -- called population -- and a small subset of 'special' elements -- branded as 'defective' items. Our job is to identify the whole set of...
Apr
10
On Graph Fall-Colouring
Description Graph fall-colouring is an intersection of graph colouring and graph domination, whereby we attempt to partition a graph into independent dominating sets. In this talk, we will see various...
Feb
24
Horn formulas and directed hypergraphs
Host Rob Ellis Speaker Gyorgy Turan University of Illinois-Chicago http://www.math.uic.edu/people/profile?netid=gyt Description A Horn formula in propositional logic is a set of rules of the form a,b...
Feb
17
The Majority-rule Paradigm in Supertree Construction
Host Department of Applied Math Speaker F.R. McMorris Professor Emeritus, IIT www.iit.edu/directory/people/fr-mcmorris Description The problem of aggregating the individual preferences of a group of...
Feb
6
A Proof of the Manickam-Miklós-Singhi Conjecture for Vector Spaces
Speaker Ameera Chowdhury Carnegie Mellon University http://www.math.cmu.edu/~ameera/ Description A Proof of the Manickam-Miklós-Singhi Conjecture for Vector Spaces Event Topic Discrete Applied Math...
Nov
6
Relay placement for two-connectivity
Speaker Gruia Calinescu IIT Computer Science http://www.cs.iit.edu/~calinesc/ Description Motivated by applications to wireless sensor networks, we study the following problem. We are given a set S of...
Oct
30
Planarities and Hanani-Tutte
Speaker Marcus Schaefer DePaul University http://ovid.cs.depaul.edu/ Description The beautiful (and old) Hanani-Tutte theorem states that a graph is planar if and only if it can be drawn so that any...
Oct
24
Algebraic and Geometric Ideas in Linear Optimization
Speaker Jesus De Loera Department of Mathematics University of California Davis https://www.math.ucdavis.edu/~deloera/ Description Linear programming is undeniably a central software tool of applied...