All Seminars
Title: A Parameter Decomposition Scheme for Iteratively Regularized Gauss-Newton |
---|
Type: AWM Event |
Speaker: Dr. Alexandra Smirnova of Georgia State University |
Contact: Kinnari Amin, kinnari.amin@emory.edu |
Date: 2008-12-08 at 4:00PM |
Venue: MSC W301 |
Download Flyer |
Abstract: A new convergence result for an Iteratively Regularized Gauss Newton (IRGN) algorithm with a Tikhonov regularization term using a seminorm generated by a linear operator will be presented [SRK07]. The convergence theorem uses an a posteriori stopping rule and a modified source condition, without any restriction on the nonlinearity of the operator. The theoretical results are illustrated by simulations for a 2D version of the exponentially ill-posed optical tomography inverse problem for the diffusion and absorption coefficient spatial distributions. The modified Tikhonov regularization performs the mapping of the minimization variables, which are the coefficients of the spline expansions for the diffusion and absorption, to physical space. This incorporates the inherently differing scales of these variables in the minimization, and also suggests relative weighting of the regularization terms with respect to each parameter space. The modified IRGN allows greater flexibility for implementations of iteratively regularized solutions of ill-posed inverse problems in which differing scales in physical space hinder standard IRGN inversions. |
Title: Sentry Selection |
---|
Seminar: Combinatorics |
Speaker: Paul Balister of University of Memphis |
Contact: Michal Karonski, michal@mathcs.emory.edu |
Date: 2008-12-05 at 4:00PM |
Venue: W306 |
Download Flyer |
Abstract: Suppose we have a collection of sensors in a large region, each of which can detect events within a disk of radius 1. We wish to devise a schedule so that each sensor can sleep for much of the time, while making sure that the whole region is covered by the sensors that are awake. A natural way of doing this is to partition the sensors into k subsets, each subset of sensors covering the whole region. Then in time slot t we activate all the sensors in subset (t mod k). If this is possible we say the sensors are k-partitionable. An obvious necessary condition is that each point in the region is covered by at least k sensors (k-coverage), but this is not in general sufficient. We show that for random deployments of sensors k-coverage usually implies k-partitionability, and identify the most likely obstructions to k-partitionability when this fails. This leads to some natural unsolved problems involving k-partitionability of (deterministic) configurations of disks. This is joint work with B. Bollobas, A. Sarkar, and M. Walters. |
Title: Sign Pattern Matrices |
---|
Seminar: Numerical Analysis and Scientific Computing |
Speaker: Dr. Zhongshan Li of Georgia State University, Dept. of Mathematics & Statistics |
Contact: Raya Horesh, rshindm@emory.edu |
Date: 2008-12-03 at 3:00PM |
Venue: W304 |
Download Flyer |
Abstract: |
Title: Invariants of orthogonal involutions |
---|
Seminar: Algebra |
Speaker: Jean-Pierre Tignol of Universite catholique de Louvain, Belgium |
Contact: R. Parimala, parimala@mathcs.emory.edu |
Date: 2008-11-25 at 4:00PM |
Venue: MSC W303 |
Download Flyer |
Abstract: For central simple algebras of even degree with orthogonal involutions, invariants modeled on the discriminant and Clifford algebra of quadratic forms were defined by Jacobson and Tits, and a relative cohomological invariant of degree 3 is defined by using the Rost invariant of Spin groups when the first two invariants vanish. Its properties and computation will be discussed in the particular case where the algebra has degree 8 and index 4, in relation with properties of 8-dimensional quadratic forms in $I^2$. (Joint work with Anne Qu\'eguiner-Mathieu). |
Title: Contextualized Computing Education |
---|
Seminar: Computer Science |
Speaker: Dr. Mark Guzdial of Georgia Institute of Technology |
Contact: James J. Lu, jlu@mathcs.emory.edu |
Date: 2008-11-21 at 3:00PM |
Venue: MSC W201 |
Download Flyer |
Abstract: One of the most powerful tools for improving success rates in introductory computing courses is the incorporation of context -- a theme that pervades the computing lectures, assignments, and examples which relates the content to a concrete application domain. Contextualized computing education has even allowed us to be successful with challenging audiences, such as the non-technical major. In this talk, we review why Georgia Tech has chosen to teach serious computer science to every student on campus, and then discuss research findings from several schools on the benefits and costs of contextualized computing education. |
Title: Groups have Shape |
---|
Graduate Student Seminar: Algebra |
Speaker: Dr. Aaron Abrams of Emory University |
Contact: Praphat Fernandes, praphat.fernandes@emory.du |
Date: 2008-11-19 at 4:00PM |
Venue: MSC W303 |
Download Flyer |
Abstract: Discrete groups come in all shapes and sizes. I'll show you some. Then I'll explain what I think a quasi-isometry is. |
Title: Morse theory and conjugacy classes of finite subgroups |
---|
Seminar: Topology |
Speaker: Dani Pallavi of Emory University |
Contact: Aaron Abrams, abrams@mathcs.emory.edu |
Date: 2008-11-18 at 4:00PM |
Venue: W304 |
Download Flyer |
Abstract: Many groups have the property of having only finitely many conjugacy classes of finite subgroups. Examples include hyperbolic groups, CAT(0) groups, mapping class groups, and automorphism groups of free groups. Do subgroups of these groups inherit this property? The answer turns out to be no. I will describe how combinatorial Morse theory can be used to produce couterexamples. This is joint work with Noel Brady and Matt Clay. |
Title: An Investigation into Managing SQL-Cardinality Constraints |
---|
Defense: Master's Thesis |
Speaker: Lesi Wang of Emory University |
Contact: Lesi Wang, lwang31@emory.edu |
Date: 2008-11-17 at 2:00PM |
Venue: MSC E408 |
Download Flyer |
Abstract: Constraint Satisfaction Problems (CSP) are commonly found in practice and finding effective representation language and efficient constraint solving techniques are important research areas. A recent development is the integration of CSP (specifically SAT) solvers with relational database systems to enable CSPs to be modelled using SQL, and solved within the database system. A key challenge in this integration is to keep the SAT encoding of SQL constraints small. In this work, we describe a divide-and- conquer technique for reducing the encoding of cardinality constraints. We present a number of experiments to show the improvements on performance. |
Title: Pattern Discovery Under Saturation Constraints |
---|
Seminar: Computer Science |
Speaker: Dr. Alberto Apostolico of Georgia Institute of Technology |
Contact: James Lu, jlu@mathcs.emory.edu |
Date: 2008-11-14 at 3:00PM |
Venue: MSC W201 |
Download Flyer |
Abstract: The problem of characterizing and detecting surprisingly recurrent sequence patterns such as substrings or motifs and related associations or rules is pursued ubiquitously in order to compress data, unveil structure, infer succinct descriptions, extract and classify features, etc. In Molecular Biology, some such patterns are variously implicated in facets of biological structure and function. Because of that, Pattern Discovery constitutes one of the most battered, flourishing and arguably useful applications of Computational Molecular Biology. The very notion of a pattern still embodies subtleties and ambiguities, as do related concepts such as class and structure. And the discovery, particularly on a massive scale, of surprising patterns and correlations thereof poses interesting methodological and algorithmic problems, some of which appear to be hardly surmountable. This talk proposes a brief account of algorithmic pattern discovery under constraints of saturation, displays some of its applications, and highlights issues, products and challenges emerged in recent and current work. |
Title: Cohomology and support varieties for Cartan Lie superalgebras |
---|
Seminar: Algebra |
Speaker: Irfan Bagci of University of Georgia |
Contact: Skip Garibaldi, skip@mathcs.emory.edu |
Date: 2008-11-11 at 4:00PM |
Venue: MSC W303 |
Download Flyer |
Abstract: V.~Kac classified finite dimensional simple Lie superalgebras over the field of complex numbers in 1970s. They constitute several series and are divided into two types based on their even part: classical type and Cartan type. Lie superalgebras of Cartan type consists of four series $W(n)$, $S(n)$, $S^{~}(n)$, and $H(n)$. In this talk I will briefly introduce Cartan type Lie superalgebras and then I will show how explicitly one can compute cohomology and support varieties for $W(n)$ and $S(n)$. I will also mention what we have for $H(n)$ and present a new theorem on realizability of support varieties that holds both for classical and Cartan type Lie superalgebras. If I have time I am planning to present some open problems at the end of my talk. The results about $W(n)$ represents joint work with Jonathan Kujawa and Daniel Nakano. |