CSLI (Center For The Study Of Language
And Information)
CSLI Menu (Current Page: Events) Archive of CSLI Calendars pointers to events in the bay area Stanford Events Calendar Coglunch Current CSLI Calendar CSLI Events information about CSLI CSLI people CSLI industrial affiliates publications research home
[Date Prev][Date Next][Date Index]

CSLI Calendar, Wednesday, 7 March 2007, vol. 22:25



 
                    CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________

7 March 2007                    Stanford               Vol. 22, No. 25
______________________________________________________________________

                     A weekly publication of the
       Center for the Study of Language and Information (CSLI)
      Stanford University, Cordura Hall, Stanford, CA 94305-4101
                    http://www-csli.stanford.edu/
                             ____________

            ACTIVITIES FROM 7 MARCH 2007 TO 16 MARCH 2007

WEDNESDAY, 7 MARCH 2007
11:00am SRI CSL Seminar Series [7-Mar-07]
        EK255, SRI International
        "Monitoring-based Programming and Analysis"
        Grigore Rosu
        UIUC
        http://fsl.cs.uiuc.edu/mop
        http://www.csl.sri.com/

12 noon UC Berkeley IPSR colloquium [7-Mar-07]
        5101 Tolman Hall (Berkeley)
        "Mindfulness, Attention and Brain Networks"
        Philippe Goldin
        Stanford University
        http://ls.berkeley.edu/dept/ipsr/colloquia.html

 3:45pm Psychology Department Colloquium [7-Mar-07]
        Jordan Hall 420:041
        "Experience Shapes Brain Development and Function"
        Helen Neville 
        University of Oregon
        http://www-psych.stanford.edu/events_colloquium.html
        Abstract below

 4:15pm EE380: Computer Systems Lab Colloquium [7-Mar-07]
        Gates B01 (HP Auditorium)
        "VoIP encryption in a surveillance society"
        Phillip Zimmerman (tentative)
        Zfone
        http://ee380.stanford.edu/contents.html
        Abstract below

 5:00pm Berkeley Faculty Research Lectures [7-Mar-07]
        Bancroft Hotel, 2680 Bancroft Way (Berkeley)
        "Why Flatland?"
        Vaughan F. R. Jones
        Mathematics, UC Berkeley
        http://www.urel.berkeley.edu/faculty/

 6:00pm Berkeley History and Philosophy of Logic Mathematics, and Science
        234 Moses (Berkeley) [7-Mar-07]
        "Two Complementary Concepts of Logical Consequence: 
        Model-theoretic consequence and Information-theoretic consequence"
        Jose M. Saguillo
        Logic and Moral Philosophy, University of Santiago de Compostela, Spain
        http://hplms.berkeley.edu/

THURSDAY, 8 MARCH 2007
 4:00pm PARC Forum [8-Mar-07]
        George Pake Auditorium at PARC
        "An Introduction to Climate Change: a live, updated
        presentation of the slideshow featured in the movie 'An
        Inconvenient Truth'"
        Joylette Portlock
        The Climate Project
        http://www.parc.com/forum/

 4:15pm SSP10: Symbolic Systems Forum [8-Mar-07]
        Bldg. 380:380C (Math Corner)
        "Reflections on Competence and Performance"
        Ivan Sag
        Linguistics, Stanford
        http://symsys.stanford.edu/ssp_events
        Abstract below

 4:15pm Isaac Newton Lecture 3: "Turning Data Into Evidence" [8-Mar-07]
        Bldg. 200:203
        "Gaining Access: Using Seismology to Probe the Earth's Insides"
        George Smith
        Philosophy, Tufts University
        http://www-philosophy.stanford.edu/ce.html
        Abstract below

 4:15pm Information Systems Seminar [8-Mar-07]
        Packard 101
        "Amplification, Threshold, and Combinatorial Control: 
        The Device Physics of Gene Regulation in Bacteria"
        Terry Hwa
        UCSD
        http://isl.stanford.edu/colloquium.html
        Abstract below

 7:30pm Silicon Valley Shannon Lecture [8-Mar-07]
        Packard 101
        "Data Delivery in a Service-Oriented World: 
        The BEA AquaLogic Data Services Platform"
        Michael J. Carey
        BEA Systems, Inc.
        http://www.cs.sjsu.edu/~tylin/ieeesilicon/

FRIDAY, 9 MARCH 2007
11:00am Information Systems Seminar [9-Mar-07]
        Packard 101
        "A Bayesian Probability Calculus for Density Matrices"
        Manfred K. Warmuth
        UC Santa Cruz
        http://isl.stanford.edu/colloquium.html
        Abstract below

11:00am Berkeley Institute of Cognitive and Brain Seminar [9-Mar-07]
        Tolman 5101 (Berkeley)
        "Neurodevelopmental changes in cognitive control"
        Silvia Bunge
        http://icbs.berkeley.edu/

12 noon Logical Methods in the Humanities [9-Mar-07]
        Bldg. 60:62J
        "Goedel's Challenge (To Turing):
        'The human mind infinitely surpasses any finite machine'"
        Wilfried Sieg
        Carnegie Mellon University
        http://www-logic.stanford.edu/
        Abstract below

12:30pm CS547: Human-Computer Interaction Seminar [9-Mar-07]
        Gates B03 (NEC Auditorium)
        "Interactive Diagrams of Complex 3D Objects"
        Maneesh Agrawala
        UC Berkeley
        http://vis.berkeley.edu/~maneesh/
        http://hci.stanford.edu/cs547/
        Abstract below

12:30pm UC Berkeley HWNI Student Seminar [9-Mar-07]
        101 LSA (Berkeley)
        "Mechanisms of non-visual ocular photoreception"
        Russell Van Gelder
        Washignton Univ. School of Medicine
        http://neuroscience.berkeley.edu/events/

 3:00pm Berkeley Information Access Seminar [9-Mar-07]
        107 South Hall (Berkeley)
        "Google Earth Symposium" 
        Ray Larson, Jeanette Zerneke & others
        http://courses.ischool.berkeley.edu/i296a-1/s07/schedule.html

 3:15pm Friday Cognitive Seminar [9-Mar-07]
        Jordan Hall 420:050
        "Thinking about thinking about thinking:
        language, space, and folk psychology"
        Steve Flusberg
        "276 trigrams, ah, ah, ah: Counting the way towards Bayesian
        connectionism with word segmentation"
        Jeremy Glick
        "Causality as context in implicit contingency learning"
        Daniel Sternberg
        http://www-psych.stanford.edu/events_cognitive.html

 3:30pm Linguistics Department Colloquium [9-Mar-07]
        Margaret Jacks Hall 460:126
        "Getting to Optimality"
        John J. McCarthy
        University of Massachusetts Amherst
        http://people.umass.edu/jjmccart/
        http://www-linguistics.stanford.edu/colloq/
        Abstract below

 4:00pm UC Berkeley Oxyopia Lecture [9-Mar-07]
        489 Minor Hall (UC Berkeley)
        "Eve's Legacy: Snakes and the Origins of Primates"
        Lynne Isbell
        Anthropology, UC Davis
        http://optometry.berkeley.edu/opt_txtpp/ce/oxyopias.html
        Abstract below

 4:10pm UC Berkeley Logic and the Methodology of Science [9-Mar-07]
        60 Evans Hall (Berkeley)
        "Functional Interpretations of Constructive Set Theory in All
        Finite Types"
        Justus Diller 
        University of Muenster
        http://wwwmath.uni-muenster.de/logik/Personen/diller/
        http://logic.berkeley.edu/colloquium.html

 4:15pm CS545: InfoSeminar [9-Mar-07]
        Gates B12
        "Making Sense of the World, One Photo at a Time"
        Mor Naaman
        Yahoo! Research (Berkeley)
        http://infolab.stanford.edu/infoseminar/
        Abstract below

 7:00pm Ethics in Society [9-Mar-07]
        Dinkelspiel Auditorium
        "Love and Taxes"
        Josh Kornbluth
        (co-sponsored by the Law School, Drama Department, and
        Institute for Creativity and the Arts)
        http://ethicsinsociety.stanford.edu

MONDAY, 12 MARCH 2007
 4:00pm UC Berkeley HWNI Talk [12-Mar-07]
        3105 Tolman Hall (Berkeley)
        "Imaging, Physiology and Bio-mechanics of the middle ear"
        Sunil Puria
        Mech. Eng., Stanford
        http://neuroscience.berkeley.edu/events/

TUESDAY, 13 MARCH 2007
10:30am UC Berkeley HWNI Talk [13-Mar-07]
        3105 Tolman Hall (Berkeley)
        "Discussions of a radian proposal: A1, S1 and V1) are not
        sensory cortices in the ordinary sense, i.e., they don't
        perform sensory analyses independent of behaviorally relevant factors"
        Norman Weinberger
        Neurobiol. & Behav., UC Irvine
        http://neuroscience.berkeley.edu/events/

12:30pm UC Berkeley HWNI Talk [13-Mar-07]
        3105 Tolman Hall (Berkeley)
        "Optimal signal processing in small stochastic biochemical networks"
        Chris Wiggins
        Columbia University
        http://neuroscience.berkeley.edu/events/

 3:00pm CSLI Tea [13-Mar-07]
        Cordura Hall Greenhouse

 4:15pm Logic Seminar [13-Mar-07]
        Bldg. 380:380W (math corner)
        "Elimination of cuts in Pi^1_1-CA with the omega-rule"
        W. Tait 
        University of Chicago
        http://www-logic.stanford.edu/seminars.html

 5:30pm Syntax Workshop [13-Mar-07]
        Margaret Jacks Hall 460:126
        "Extraposition Myth Busting"
        Jan Strunk
        University of Bochum/Stanford Visitor
        http://www.linguistics.ruhr-uni-bochum.de/~strunk/
        http://www-linguistics.stanford.edu/sssg/

 7:30pm BayCHI [13-Mar-07]
        George Pake Auditorium at PARC
        "Active Listening: Social Identity in the New Music Economy"
        Gideon D'Arcangelo
        ESI Design, New York & Lecturer, New York University
        "Pandora's Experience: Learning from Users, Designing for Users"
        Tim Westergren and Dan Lythcott-Haims
        Pandora
        http://www.baychi.org/program/
        Abstracts below

WEDNESDAY, 14 MARCH 2007
 4:15pm EE380: Computer Systems Lab Colloquium [14-Mar-07]
        Gates B01 (HP Auditorium)
        "A New Balancing Method for Solving Parametric Maximum Flow Problems"
        Bin Zhang
        HP Labs 
        http://ee380.stanford.edu/contents.html

 6:30pm SF Bay ACM Data Mining SIG [14-Mar-07]
        SAP LABS, Building D, 3410 Hillview Avenue, Palo Alto, CA
        "Scientific Data Mining - Challenges at the Petascale"
        Chandrika Kamath
        Lawrence Livermore National Laboratory
        http://sfbayacm.org/dmsig.php
        Abstract below

THURSDAY, 15 MARCH 2007
 3:15pm Friday Cognitive Seminar [15-Mar-07]
        Jordan Hall 420:050
        "Neural measures of individual differences in working memory
        and declarative memory" 
        Ben Hutchinson
        "Monkey fMRI: Setup and Training"
        Kevin Weiner 
        http://www-psych.stanford.edu/events_cognitive.html

 4:00pm PARC Forum [15-Mar-07]
        George Pake Auditorium at PARC
        "How to Reduce Global Warming and Make Humans Omnipresent
        Using Virtual Worlds"
        David Rolston
        Forterra
        http://www.parc.com/forum/
        Abstract below

 4:15pm SSP10: Symbolic Systems Forum [15-Mar-07]
        Bldg. 380:380C (Math Corner)
        "Toward a Translation Model for English to Turkish Machine
        Translation"
        Gorkem Ozbek
        M.S. Candidate, Symbolic Systems Program
        http://symsys.stanford.edu/ssp_events
        Abstract below

FRIDAY, 16 MARCH 2007
all day 8th Annual Semantics Fest [16-Mar-07]
        Margaret Jacks Hall 460:126
        http://www-linguistics.stanford.edu/semgroup/semfest/semfest07.html
        Information below       

11:00am UC Berkeley ICBS Colloquium [16-Mar-07]
        5101 Tolman Hall (Berkeley)
        "Computing Movement Geometry -- 
        A step in sensory-motor transformations"
        David Zipser
        UCSD
        http://icbs.berkeley.edu/
        Abstract below

11:00am Berkeley Institute of Cognitive and Brain Seminar [16-Mar-07]
        Tolman 5101 (Berkeley)
        "Computing Movement Geometry -- A step in sensory-motor
        transformations"
        David Zipser 
        UC San Diego
        http://icbs.berkeley.edu/
        Abstract below

12:30pm CS547: Human-Computer Interaction Seminar [16-Mar-07]
        Gates B03 (NEC Auditorium)
        "Google Design in Practice: the Challenge of Simplicity"
        Adam Barker
        Google
        http://hci.stanford.edu/cs547/

 3:00pm Berkeley Information Access Seminar [16-Mar-07]
        107 South Hall (Berkeley)
        "Burning Man at Google: 
        A Cultural Infrastructure for New Media Production?"
        Fred Turner
        Communication, Stanford
        http://courses.ischool.berkeley.edu/i296a-1/s07/schedule.html

 3:15pm Philosophy Department Colloquium [16-Mar-07]
        Bldg. 90:92Q
        "Logical Segmentation and Higher-Order Quantification in
        Wittgenstein's 'Tractatus'"
        Thomas Ricketts
        University of Pittsburgh
        http://www.pitt.edu/~philosop/people/ricketts.html
        http://www-philosophy.stanford.edu/ce.html

 4:15pm CS545: InfoSeminar [16-Mar-07]
        Gates B12
        "The Query Containment Problem: Set Semantics vs. Bag Semantics"
        Phokion Kolaitis
        IBM Almaden Research
        http://infolab.stanford.edu/infoseminar/
        Abstract below
                             ____________

Stanford Blood Center: Shortage of all types.  For an appointment:
http://bloodcenter.stanford.edu/ or call 650-723-7831.  It only takes
an hour of your time and you get free cookies.
                             ____________

                                 NOTE

Daylight Savings Time changes this weekend in those parts of the US
that observe it.  This is earlier than usual and will result in some
computers being an hour off since, unless patched, they will not know
about the change.  Note it is not sufficient in most cases to manually
change the time on your computer since some applications depend on
local time and some on universal time instead you need to update the
info about timezones/daylight savings changes. Stanford has some info
at http://dst2007.stanford.edu/
                             ____________

                             ANNOUNCEMENT
               The 14th Annual Stanford Accel Symposium
                 Tuesday, 1 May 2007, 8:00am - 5:30pm
                   http://www.accel.com/symposium/

In 2007, online ad spending is forecast to surpass $20Bn for the first
time. However, traditional banner advertising, cost-per-click search
marketing, and affiliate models are largely ineffective at targeting
the exploding demand for new forms of video, audio, and social media
online. Therefore, advertisers are actively trying to develop
effective advertising models for these new forms of media as the Web
increasingly transitions from a utility to a rich
entertainment-centric medium.

This powerful emergence of the web as a unique form of participatory
rich media demands new business models, new approaches to advertising,
and new paradigms for media delivery. Incumbent rights holders are
being disrupted by online players whose users easily access and share
high-quality, long-form content with one another in real-time. Yet,
new players approach the digital media landscape well aware that their
business models will be largely dependent on their ability to
effectively monetize viewers through advertising, subscriptions, and
fair treatment of rights issues. Ultimately, the consumer will drive
the use cases in the converged future, and startups and incumbents
alike must scramble to develop cohesive, sustainable business
strategies to address these challenges.

Stanford's MediaX and Accel Partners, a long-time member of the
Silicon Valley venture community, have organized this 14th Symposium
to explore and highlight emerging trends and potential obstacles
surrounding the Future of Advertising in Digital Media. This Symposium
brings together the Stanford research/education community and
high-technology/business leaders from Silicon Valley and beyond who
are at the epicenter in driving developments in this rapidly growing
arena. Academic and industrial experts from diverse disciplines and
top executives of leading corporations will present unique personal
insights and exchange views about current and future challenges and
opportunities. The Symposium is structured as a series of keynotes and
fireside chats, each focusing on a particular theme:
  * A View from the Advertising Agency
  * Opportunities in Mobile Media & Advertising
  * Emerging Opportunities in Online Video
  * Monetizing Online Communities & Social Media
              
These lively sessions will consist of targeted viewpoints, as well as
open panel discussions and interactive participation from the
audience.

As the previous Symposia have demonstrated, engaging leading industry
and academic experts with informed and experienced participants
results in thoughtful discussions and deep insights into future trends
and opportunities. Plan to attend and leave better informed about the
"The Future of Advertising in Digital Media." We will cover topics
that will not only significantly shape the future technology
landscape, but also directly touch our everyday lives going forward.
We look forward to seeing you at the Symposium.

Early Bird Registration (before March 15)       $195
Pre-Registration (before April 1)               $325
Registration                                    $395
Stanford Students & Staff                        $10
                             ____________

                             ANNOUNCEMENT
             The Summer Institute at Wallenberg Hall 2007
                   Stanford University, California,
              http://wallenberg.stanford.edu/institute/

Wallenberg Hall is pleased to announce its 2007 Summer Institute, a
unique forum in which industry leaders, researchers, educators, and
practitioners explore critical issues at the crossroads of learning,
collaboration and technology. The Institute staff design interactive,
hands-on sessions that offer peers a chance to connect in a small
group setting on the Stanford University campus.

Program Description:
In 2007, the Institute offers five distinct sessions; participants 
register for each session independently. Attendance is capped in each 
session, guaranteeing a personal learning experience for all.

*Building Effective Virtual Teams - August 1-3, 2007
*Using Videogames in Education - August 6-10, 2007
*Mastering the Tools of Video Ethnography - August 6-10, 2007
*Designing Learning Spaces - 
        Session 1, August 13-14, 2007
        Session 2, August 16-17, 2007  
 (Please note that these sessions are identical in content)
*Using ePortfolios for Teaching, Learning and Assessment - August 16-17, 2007

Cost
Varies for each session.  Please see the individual pages for 
details.  Early bird discounts are available for all sessions.  Grad 
student and group discounts may also be available.  Full details are 
on each sessions' information page.
NB - Stanford participants can use STAP funds!!

For more information and registration, please visit the Institute
website at http://wallenberg.stanford.edu/institute/
                             ____________

                   PSYCHOLOGY DEPARTMENT COLLOQUIUM
                  on Wednesday, 7 March 2007, 3:45pm
                         Jordan Hall 420:041
         http://www-psych.stanford.edu/events_colloquium.html

          "Experience Shapes Brain Development and Function"
                            Helen Neville
                         University of Oregon
            http://bdl.uoregon.edu/Research/research.html

For several years we have employed psychophysics, electrophysiological
(ERP) and magnetic resonance imaging (MRI) techniques to study the
development and plasticity of the human brain.  We have studied deaf
and blind individuals, people who learned their first or second spoken
or signed language at different ages, and children of different ages
and of different cognitive capabilities. Over the course of this
research we have observed that different brain systems and related
functions display markedly different degrees or 'profiles' of
neuroplasticity.  Some systems appear quite strongly determined and
are not altered even when experience has been very different.  Other
systems are highly modifiable by experience and are dependent on
experience but only during particular time periods ("sensitive
periods").  There are several different sensitive periods, even within
a domain of processing.  A third 'plasticity profile' is demonstrated
by those neural systems that remain capable of change by experience
throughout life.

Guided by these findings, we have recently begun a program of research
on the effects of different types of training on brain development and
cognition in typically developing children of different ages.  These
studies will contribute to a basic understanding of the nature of
human brain plasticity.  In addition, they can contribute information
of practical significance in the design and implementation of
educational programs.

About the Speaker: Helen Neville heads the Brain Development Lab at
the University of Oregon where she does research on a wide range of
questions exploring language processing and neuroplasticity in
monolingual and bilingual children and adults.  In the Psychology
Department colloquium this week she'll present some of her recent
studies of brain development, including an intervention with Head
Start children investigating how different types of early training
affect cognition, attention, and language skills.
                             ____________
                                   
                EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
             on Wednesday, 7 March 2007, 4:15pm to 5:30pm
                      Gates B01 (HP Auditorium)
               http://ee380.stanford.edu/contents.html

             "VoIP encryption in a surveillance society"
                    Phillip Zimmerman (tentative)
                                Zfone
                    http://www.philzimmermann.com/

Phil will talk about how the debate on the use of crypto has shifted
since the 1990s, when it was a a clash between civil liberties and law
enforcement. Today it is an essential part of protecting our economies
from bad guys. Soon, new seismic realignment of government attitudes
about encryption may appear. Historically, law enforcement has
benefited from a strong asymmetry in the feasibility of government or
criminals wiretapping old fashioned telephone calls. As we migrate to
VoIP, that asymmetry collapses. Without VoIP encryption, organized
crime will be able to wiretap prosecutors and judges, leading law
enforcement to see VoIP encryption in a different light. In the 1990s,
the crypto debate was about averting omniscience in governments, but
today the encrypted VoIP debate may be about averting omniscience in
criminals.

About the Speaker: Phil Zimmermann is the creator of Pretty Good
Privacy (PGP), the most widely used email encryption software in the
world. He is also known for his work in VoIP encryption protocols,
notably ZRTP and Zfone.
                             ____________

                    SSP10: SYMBOLIC SYSTEMS FORUM
                  on Thursday, 8 March 2007, 4:15pm
                     Bldg. 380:380C (Math Corner)
                http://symsys.stanford.edu/ssp_events

             "Reflections on Competence and Performance"
                               Ivan Sag
                        Linguistics, Stanford

There is little doubt that Chomsky's distinction between linguistic
`competence' (our tacit, internalized knowledge of a language) and
`performance' (the external observables of language, marred by the
effects of interacting factors) has significantly enhanced our
understanding of the complex and abstract nature of human language.
Yet many of the competence grammar principles that have been proposed
in the literature of generative grammar are based on data sets where
`filler-gap' dependencies penetrate complex grammatical
structures. The baseline processing difficulty of these structures has
never been precisely calibrated and there has been no systematic
control of the many orthogonal factors that contribute to processing
difficulty.

In this informal presentation, I will suggest, building on recent and
ongoing experimental research in our WH-Processing Group, that we
should let increased processing difficulty take on a much larger role
in explaining `island' effects. The shift of the explanatory burden to
the theory of `performance', allows us both to simplify competence
grammars and to maximize the extent to which the explanation of
linguistic phenomena is grounded in terms of more general cognitive
considerations.
                            ____________

                         ISAAC NEWTON LECTURE
               on Thursday, 8 March 2007, 4:15pm-6:00pm
                            Bldg. 200:203
            http://www.stanford.edu/dept/cisst/events.html

                     "Turning Data into Evidence:
           Three lectures on the role of Theory in Science"
                             George Smith
                     Philosophy, Tufts University

Lecture 1: 22 February 2007
"Closing the Loop: Testing Newtonian Gravity, Then and Now"

Lecture 2: 1 March 2007
"Getting Started: Building Theories from Working Hypotheses"

Lecture 3: 8 March 2007
"Gaining Access: Using Seismology to Probe the Earth's Insides"

The view that all observation is theory-mediated and hence that
scientific evidence invariably rests on theoretical presuppositions
now seems beyond dispute. Many see the consequent apparent lack of
uncontestable grounding as raising deep questions about the nature and
limits of the knowledge achieved in the sciences, questions that are
sometimes taken to challenge all claims of science to epistemic
authority. The three lectures will concede from the outset that theory
of some sort is always needed to turn data into evidence and hence
that theory always enters constitutively into evidence. But they will
then argue that close analysis of historical practice in certain
representative areas of physics shows that the ways in which theory
has in fact entered into the process of marshalling evidence has not
undercut but actually strengthened their claim to epistemic authority.
   
About the Speaker: George E. Smith is widely recognized as a leading
authority on Isaac Newton, and, in particular, on Newton's
contributions to scientific methodology. Together with I. B. Cohen, he
edited The Cambridge Companion to Newton, where he has a central piece
on Newton's methodology. Aside from being Professor of Philosophy at
Tufts University, Smith has pursued a highly successful career as a
practicing mechanical engineer, and he Directed the Dibner Institute
for the History of Science and Technology at MIT from 2001-2006. The
three lectures will discuss a number of key developments in the
physical sciences, including gravitational research from Newton to
Einstein, J.  J. Thomson's work on the electron at the end of the
nineteenth century, and twentieth-century seismological research into
the earth's interior, in order to depict the fine structure of
evidential reasoning in these sciences and thereby illustrate and
defend their epistemic authority.  The lectures will be of wide
interest to historians, philosophers, pure and applied physicists,
engineers, and earth scientists, as well as to all those interested in
the question of the distinctive place of the "hard" sciences in
Western intellectual life.
                             ____________

                     INFORMATION SYSTEMS SEMINAR
               on Thursday, 8 March 2007, 4:15pm-5:15pm
                             Packard 101
               http://isl.stanford.edu/colloquium.html

        "Amplification, Threshold, and Combinatorial Control:
          The Device Physics of Gene Regulation in Bacteria"
                              Terry Hwa
                                 UCSD
                    http://matisse.ucsd.edu/~hwa/

Biological organisms possess an enormous repertoire of genetic
responses to ever-changing combinations of cellular and environmental
signals. Unlike digital electronic circuits however, signal processing
in cells is carried out by a limited number of asynchronous devices in
fluctuating aqueous environments. In this talk, I will discuss the
control of genetic responses in bacteria. Theoretical analysis of the
known mechanisms of transcriptional control suggests that the cell's
transcriptional system constitutes a rudimentary type of computing
machine, belonging to the class of "Boltzmann machine". These machines
are expected to be programmable, in the sense that different
combinatorial control functions of the same inputs may be specified by
specifying a short stretch of DNA sequence (the promoter). Further
analysis of post-transcriptional control suggests mechanisms for
signal amplification, threshold response, and noise attenuation. I
will present experimental characterization of some of these
bio-computational "devices", and illustrate how the promoter sequences
may be "trained" by directed evolution experiments. Quantitative
characterization and controlled manipulation of these devices may
bring about predictive understanding of biological control systems,
and reveal interesting, novel strategies of distributed computation.
                             ____________

                     INFORMATION SYSTEMS SEMINAR
                   on Friday, 9 March 2007, 11:00am
                             Packard 101
               http://isl.stanford.edu/colloquium.html
                     (this is a special seminar)

        "A Bayesian Probability Calculus for Density Matrices"
                          Manfred K. Warmuth
                            UC Santa Cruz

One of the main concepts in quantum physics is a density matrix, which
is a symmetric positive definite matrix of trace one. Finite
probability distributions can be seen as a special case when the
density matrix is restricted to be diagonal.
       
We develop a probability calculus based on these more general
distributions that includes definitions of joints, conditionals and
formulas that relate these, including analogs of the Theorem of Total
Probability and various Bayes rules for the calculation of posterior
density matrices. The resulting calculus parallels the familiar
"conventional" probability calculus and always retains the latter as a
special case when all matrices are diagonal.
       
Whereas the conventional Bayesian methods maintain uncertainty about
which model has the highest data likelihood, the generalization
maintains uncertainty about which unit direction has the largest
variance. Surprisingly the bounds also generalize: as in the
conventional setting we upper bound the negative log likelihood of the
data by the negative log likelihood of the MAP estimator.

This is joint work with Dima Kuzmin.
  
No background in Bayesian statistics or Quantum Physics is required
for this talk and we will give elaborate visualizations of all needed
concepts.

A version of the talk can be found at
http://www.cse.ucsc.edu/~manfred/pubs/C76talk.pdf
                             ____________
                                     
                  LOGICAL METHODS IN THE HUMANITIES
                   on Friday, 9 March 2007, 12 noon
                             Bldg. 60:62J
                    http://www-logic.stanford.edu/

                   "Goedel's Challenge (To Turing):
      'The human mind infinitely surpasses any finite machine'"
                            Wilfried Sieg
                      Carnegie Mellon University

The mathematical core of Goedel's philosophical challenge is
constituted by the incompleteness theorems when given in their "most
satisfactory form", i.e., as Goedel saw it, when formal theories are
characterized via Turing computability. As Turing machines codify
human mechanical procedures (carried out without appealing to higher
cognitive capacities) the question naturally arises, whether the
theorems justify the claim that the human mind or intellect has
mathematical abilities that are not shared by any machine.  Turing
admits that steps of "intuition" are needed to transcend particular
formal theories; thus, there is a substantive point in contrasting
Turing's views with Goedel's assertion, "the human mind infinitely
surpasses any finite machine".  I analyze a seemingly common core that
raises central issues in the foundations of mathematics and cognitive
science.
                             ____________

              CS547: HUMAN-COMPUTER INTERACTION SEMINAR
                on Friday, 9 March 2007, 12:30-2:00pm
                      Gates B03 (NEC Auditorium)
                    http://hci.stanford.edu/cs547/

             "Interactive Diagrams of Complex 3D Objects"
                           Maneesh Agrawala
                             UC Berkeley
                  http://vis.berkeley.edu/~maneesh/

Diagrams are essential for communicating the structure of complex 3D
objects such as mechanical assemblies, architectural environments and
biological organisms.  Yet, creating illustrations that clearly depict
the structural relationships between the parts of such objects is not
an easy task. The primary problem is occlusion -- important interior
structures are often hidden by opaque exterior surfaces. Therefore,
illustrators use conventions such as exploded views, cutaways,
ghosting (i.e. varying the transparency of the occluder), and
hidden-object stylization (i.e. varying the rendering style of the
hidden object) to reduce or eliminate occlusions and reveal internal
parts. In this talk I'll present several interactive systems that are
based on these design conventions and make it easy to generate
illustrative diagrams of complex 3D objects.

About the Speaker: Maneesh Agrawala is Assistant Professor in the
Visualization Lab in the Department of Electrical Engineering and
Computer Science at the University of California, Berkeley. His
research interests are visualization, human computer interaction and
computer graphics. For the last several years he has been
investigating the techniques and principles graphic designers use to
improve the effectiveness of visualizations. The goals of this work
are to discover the cognitive design principles and then instantiate
them in automated design tools.  This approach was demonstrated
LineDrive, an automated system that uses visual abstraction techniques
to create highly effective route maps. LineDrive maps are currently
available at Mappoint Driving Directions.
                             ____________

                  LINGUISTICS DEPARTMENT COLLOQUIUM
                   on Friday, 9 March 2007, 3:30pm
                     Margaret Jacks Hall 460:126
             http://www-linguistics.stanford.edu/colloq/

                       "Getting to Optimality"
                           John J. McCarthy
                 University of Massachusetts Amherst
                  http://people.umass.edu/jjmccart/

This talk will examine a modification of Optimality Theory that
incorporates something analogous to the derivations of rule-based
phonology. Classic OT's operational component GEN and its evaluative
component EVAL do not interact: GEN applies its operations freely to
create a wide variety of output candidates, and EVAL decides which one
is most harmonic (=optimal). In the modified theory, called harmonic
serialism (Prince and Smolensky 1993/2004) or OT-CC (McCarthy 2007),
GEN applies an operation only when the result is more harmonic,
according to EVAL. From this it follows that, if several operations
are involved in getting from the underlying form to the surface, there
must be a path of monotonic harmonic improvement from one to the
other. If there isn't such a path, "Come to think of it, you can't get
there from here".

OT-CC has applications to the problem of phonological opacity, but
this talk will focus on its typological consequences. The requirement
of monotonic harmonic improvement is more restrictive than classic
OT's harmony requirement, and as a result the same constraint set
yields a more limited typology in OT-CC than in classic OT. This talk
will explore the typological differences.
                             ____________

                     UC BERKELEY OXYOPIA LECTURE
                   on Friday, 9 March 2007, 4:00pm
                     489 Minor Hall (UC Berkeley)
       http://optometry.berkeley.edu/opt_txtpp/ce/oxyopias.html

          "Eve's Legacy: Snakes and the Origins of Primates"
                             Lynne Isbell
                        Anthropology, UC Davis

A gradient in brain size exists in mammals, with humans having much
larger brains than those of the great apes, who themselves have larger
brains than other primates. Primates as a whole have larger brains
than other mammals. About half of the neocortex in primates is
involved with vision, and indeed, their heavy reliance on vision is
what sets primates apart from other mammals. Thus, whatever it was
that led to our own huge brains started with the first primates. In
this talk, I will describe a new theory for the origin of those first
primates and their special brains. The Snake Detection theory proposes
that (1) the appearance of snakes may have initially led to the
expansion of mammalian visual systems, (2) the appearance of
constricting snakes about 100 million years ago may have led to the
origin of primates via expansion of the mammalian visual systems, and
(3) the appearance of venomous snakes about 60 million years ago may
have led to the origin of anthropoid primates and further expansion of
the primate visual systems. I also explain why other mammals did not
respond similarly to venomous snakes and why the visual systems of Old
World fruit bats are convergent with those of primates. I discuss the
myriad levels of evidence in support of this theory, including
biogeography, primate ecology, neurophysiology, and brain anatomy. The
echos of visual and behavioral adaptations to snakes are still present
in our brains today, including our fear of snakes and our remarkable
pre-conscious "blindsight" early warning system.
                             ____________

                          CS545: INFOSEMINAR
               on Friday, 9 March 2007, 4:15pm - 5:30pm
                              Gates B12
               http://infolab.stanford.edu/infoseminar/

           "Making Sense of the World, One Photo at a Time"
                              Mor Naaman
                      Yahoo! Research (Berkeley)

The availability of map interfaces and location-aware devices makes a
growing amount of unstructured, geo-referenced information available
on the Web. This type of information, in aggregate form, can help
understand data trends and features. In particular, over ten million
geo-referenced photos are now available on the photo-sharing website
Flickr. These photos are often associated with user-entered
unstructured text labels (i.e., tags) -- the first major collection of
its kind.
       
In this talk, I will discuss two approaches for extraction of
information (knowledge, if you will) from this metadata-rich yet
unstructured set of photos. The first approach is location-driven,
using the dataset to extract representative tags for each map region
and zoom level. An alternative approach takes a tag-centric view, and
attempts to extract place/event semantics for each tag by analyzing
the usage patterns of the tag in location and time.

Finally, I will describe and demonstrate two prototype applications
that make use of the extracted knowledge, ZoneTag and TagMaps, both
available from the Y!RB web site at http://whyrb.com/ .
                             ____________

                                BAYCHI
              on Tuesday, 13 March 2007, 7:30pm - 9:30pm
                     George Pake Auditorium, PARC
                    http://www.baychi.org/program/

     "Active Listening: Social Identity in the New Music Economy"
                          Gideon D'Arcangelo
         ESI Design, New York & Lecturer, New York University

The line between music consumer and music maker is blurring; in this
middle space are design opportunities to improve the ways we discover,
share and use music in our day-to-day lives. The practice of call and
response between audience and performer, long an attribute of musical
experience, is finding its way back into our interactions with digital
music. Gideon will discuss the impact new music technologies are
having on the role of the listener. Drawing on documentary fieldwork
tracking the behavior and attitudes of music consumers, the
presentation will outline a continuum of active musical experience,
and suggest how new interfaces for music fans and music makers are
helping bridge the gap between these two groups. From the music fan
perspective, the presentation will cover 'walkman busting' and
'podjacking' as forms of public broadcasting and social experiments
seeding CD mix clubs on among public radio listeners. From the music
maker perspective, the talk will cover work from the New Interfaces
for Musical Expression (NIME) community. The presentation will discuss
how trends in music listening, sharing and making point to the rising
value of taste in the new economy of music.

About the Speaker: Gideon D'Arcangelo is an interactive media designer
with a special focus on the intersection of technology and musical
experience. He is the producer of the 'Listening In' radio documentary
series on American Public Media's 'Weekend America.'  Previously, he
produced the 'Walkman Busting' radio segments on Public Radio
International's 'The Next Big Thing.' He occasionally reports on music
and technology for APM's 'Marketplace' With ESI Design, his recent
design projects include a science and technology center at NASA
Stennis Space Center, new experiential retail concept stores for Best
Buy, the Children's Museum of Los Angeles, and the Reuters Sign at
Three Times Square. Since 2000, Gideon has taught at the Interactive
Telecommunications Program in the Tisch School of the Arts at New York
University. He is an active member in the New Interfaces for Musical
Expression (NIME) community. He is the Papers Chair for the Seventh
International Conference on New Interfaces for Musical Expression, to
be held at NYU in June 2007. In the 1990's, he worked with
ethnomusicologist and folklorist Alan Lomax on the Global Jukebox, an
illustrated database of world song and dance styles. Recent writings
include 'Recycling Music, Answering Back: Toward an Oral Tradition of
Electronic Music' (NIME 2004 Proceedings) and 'Alan Lomax and the Big
Story of Song,' (Rounder Records CD1863).

   "Pandora's Experience: Learning from Users, Designing for Users"
                Tim Westergren and Dan Lythcott-Haims
                               Pandora

Dan's abstract: Pandora set out to introduce a new way of listening
to, and discovering, music. Building such a new experience required
rethinking the interactions around a web-based music application. Dan
will talk about how Pandora focused on building the best listening
experience, by balancing simplicity with the right levels of
personalization and interactivity. The design process led to the
development of Pandora's unique "voice," that helps to further engage
listeners in their music discovery. Pandora also engages listeners in
the development process, with both user testing and ongoing
communications and Dan will share some of the inevitable surprises
from this process.

Tim's abstract: In 1999 Tim launched Savage Beast Technologies, an
internet based music recommendation technology based on a new approach
called the Music Genome Project. He raised seed financing from several
Silicon Valley investors and, along with two co-founders, grew the
company to 50 employees and released a commercial product in the
beginning of 2001. Tim developed the original Music Genome product,
working closely with a technical lead, and hired, trained and managed
a team of 40 professional music analysts to build the database. The
company eventually signed licensing agreements with AOL, Best Buy,
Tower Records, Barnes&Noble, Borders and several other online
businesses. Midway through 2001 they exhausted their seed capital and
began seeking additional financing. Tim took over the role of CEO,
while also handling the Business Development, and the Sales &
Marketing role at the company. Over the next 3 years, Tim pitched the
company more than 300 times to prospective investors, while also
serving as the company's business development lead, manager and
internal/external evangelist. In the worst funding environment in many
decades, Tim secured enough bridge financing to last until March of
2004. He recruited a new management team and in concert with the new
group, completely overhauled the company strategy and launched the
business into online radio. The new entity was renamed Pandora. Since
2004, Tim and the team have built and launched a very successful
consumer product, Pandora. Since the free service was opened in
November, 2005, Pandora has become the world's third largest online
radio broadcaster, with more than 5 million registered listeners and a
staff of 100 employees.

About the Speakers: Dan Lythcott-Haims, Creative Director of Pandora,
is a multi-disciplinary designer with over 15 years of user-centered
design experience. He has been Creative Director of Pandora since the
company was founded almost 7 years ago. During that time, Dan has been
the principal designer of on-line music recommendation sites, in-store
music kiosks, and the current Pandora interface.

Prior to Pandora, Dan owned a small design firm, where he designed web
sites for organizations such as the Computer Museum History Center and
the Hewlett Foundation. Previously, he spent several years designing
interactive exhibits for a wide range of museums - from science and
technology centers to National Historic Sites. Dan received his B.A.
from Stanford University, where he studied Product Design. He likes
classic rock and 80s music.

Tim Westergren, Pandora Founder and Chief Strategy Officer, founded
Pandora in January, 2000 and is an award-winning composer, an
accomplished musician and record producer with 10 years experience in
the music industry. He has worn many hats, from recording and touring
with independent bands, to scoring feature films and running a
commercial recording studio. Trained as a jazz pianist, he has played
the bassoon, drums and clarinet and his musical background spans such
genres as rock, blues, jazz and classical music. Tim founded Pandora
to help talented emerging artists find their audience as well as to
help avid music fans discover and enjoy new artists. Tim received his
B.A. from Stanford University, where he studied computer acoustics and
recording technology. He once had the privilege of studying under the
legendary Stan Getz, whose words, "Remember, it's not the mode...it's
the mood," still ring true.
                             ____________

                      SF BAY ACM DATA MINING SIG
             on Wednesday, 14 March 2007, 6:30pm - 9:00pm
      SAP LABS, Building D, 3410 Hillview Avenue, Palo Alto, CA
                    http://sfbayacm.org/dmsig.php

        "Scientific Data Mining - Challenges at the Petascale"
                           Chandrika Kamath
                Lawrence Livermore National Laboratory


The data from scientific simulations, observations, and experiments is
now being measured in terabytes and will soon reach the petabyte
regime. The size of the data, as well as its complexity, make it
difficult to find useful information in the data. This is of course
disconcerting to scientists who wonder about the science still
undiscovered in the data. The Sapphire scientific data mining project
at Lawrence Livermore National Laboratory (
http://www.llnl.gov/casc/sapphire ) has been addressing this concern
by applying data mining techniques to problems ranging in size from a
few megabytes to a hundred terabytes in a variety of domains. Using
example problems from domains including fluid mixing, molecular
dynamics, astronomy, remote sensing, and experimental physics, I will
discuss some of the challenges we have encountered in mining these
datasets. I will then discuss what the future holds for scientific
data mining as we move to petascale computing.

About the Speaker: Chandrika Kamath is a computer scientist at the
Center for Applied Scientific Computing at the Lawrence Livermore
National Laboratory, where she has led the Sapphire project in
scientific data mining since 1998. Her research focuses on the
analysis of data from observations, experiments, and simulations,
using techniques from image and video processing, data mining, pattern
recognition, and statistics. The Sapphire project won the 2006 R&D 100
award for its scientific data mining software. Prior to joining LLNL
in 1997, Chandrika was a Consulting Software Engineer at Digital
Equipment Corporation (DEC), developing high performance mathematical
software for the Digital Extended Math Library (DXML). She earned her
Ph.D. in 1986 and her M.S. in 1984, both in Computer Science from the
University of Illinois at Urbana-Champaign. She holds six patents in
data mining, is an Editor-in-Chief of a new Journal 'Statistical
Analysis and Data Mining' premiering in 2007, and is active in
organizing data mining conferences and workshops.
                             ____________

                              PARC FORUM
             on Thursday, 15 March 2007, 4:00pm - 5:00pm
                     George Pake Auditorium, PARC
                      http://www.parc.com/forum/

      "How to Reduce Global Warming and Make Humans Omnipresent
                        Using Virtual Worlds"
                            David Rolston
                               Forterra

This Forum will focus on Virtual Worlds (massively multi-player online
games, or MMOGs), past, present, and future-- beginning with a live
demo of a virtual world application to illustrate concepts and
capabilities. We will discuss the history and current state of
applications based on virtual world technology - moving beyond MMOGs
to focus on "serious" applications. Our discussion of the future will
present a vision of how virtual worlds may develop, including how
interconnected virtual worlds could someday evolve into a 3D Internet
that will allow people to make a quantum leap in how they communicate
and collaborate and will fundamentally change the nature of society,
redefining the norm for human interaction. The Forum will conclude
with a presentation of technical challenges that must be resolved for
this vision to be realized.

About the Speaker: Dave Rolston has more than 35 years of experience
in high tech. His experience spans a broad spectrum of industries,
applications, and technologies including simulation and training,
graphics applications, imagery, gaming, artificial intelligence,
entertainment, and the early Internet. During his career, Dave has
performed in various roles, including technical, business,
operational, and general management assignments.

Before Forterra, Dave served as VP of Engineering for ATI, responsible
for design of graphics chips that drive many of the world's PC's and
game consoles. Prior to joining ATI, Dave was CEO of
MultiGen-Paradigm, which produces foundational software and content
development for the visual simulation industry. After
MultiGen-Paradigm was acquired by Computer Associates, Dave served as
a Senior VP, managing MultiGen-Paradigm, Viewpoint, and other
content-development organizations. Before MultiGen-Paradigm, he worked
for Silicon Graphics, starting as the Director of Marketing and later
serving as GM of the Advanced Graphics Division. Prior to SGI Dave was
a divisional GM of TRW subsidiary ESL, developing applications mostly
for the defense and intelligence community. Earlier in Dave's career,
he was a Honeywell, Inc., engineering fellow, responsible for
corporate activity in artificial intelligence.

Dave has a BS in civil engineering, MS in industrial engineering, and
PhD in computer science with emphasis in simulation and artificial
intelligence. Dave is a registered professional engineer and has
taught engineering at several universities and served with several
engineering industry consortiums. He holds several patents, has
published a large number of technical papers and a best-selling book
on artificial intelligence.
                             ____________

                    SSP10: SYMBOLIC SYSTEMS FORUM
                  on Thursday, 15 March 2007, 4:15pm
                     Bldg. 380:380C (Math Corner)
                http://symsys.stanford.edu/ssp_events

"Toward a Translation Model for English to Turkish Machine Translation"
                             Gorkem Ozbek
               M.S. Candidate, Symbolic Systems Program

Since its initial formulation by IBM researchers in the early 1990's,
statistical machine translation (SMT) has grown considerably as a
research field. Today SMT systems consistently outperform rule-based
techniques in formal evaluations. However, many researchers in the
field believe that there is something to be gained by enriching the
strictly statistical approach with linguistics. The benefits become
particularly noticeable in the task of translating English text into a
language with sufficiently different word / sentence
structure. Accuracy of English to Turkish machine translation, for
example, can be improved significantly by incorporating into the
statistical skeleton components that model the important differences
in morphology and morphosyntax between English and Turkish.

I will begin the talk by providing an overview of the state-of-the-art
in statistical machine translation. I will discuss the two essential
components of every system, the language model and the translation
model, and suggest how the quality of the latter can be improved by
modeling phrase structure differences between the languages. I will go
on to analyze the main such differences in the case of Turkish:
agglutinative morphology and morphosyntax. I will present results from
preliminary experiments that consider word structure, and conclude by
discussing how to extend this approach in future work to apply at the
phrasal level, using both generative and discriminative techniques.
                             ____________

                      8TH ANNUAL SEMANTICS FEST
                  on Friday, 16 March 2007, all day
                     Margaret Jacks Hall 460:126
 http://www-linguistics.stanford.edu/semgroup/semfest/semfest07.html

The Semantics Fest is intended to promote discussion and collaboration
among all those in the Stanford community interested in the semantics
and pragmatics of natural language, as well as their interface with
other modules of grammar.

Schedule:

 8:45   Coffee

 9:00   "When under means `under to': Evidence for a unified
        locational semantics for English prepositions"
        Bruno Estigarribia and Beth Levin

 9:30   "Positional shift of adjunct PPs, Locative split and
        reanlaysis of goal locative PPs in Middle Chinese"
        Jeeyoung Peck

10:00   Break

10:15   "Telicity as implicature -- A pragmatic account of Hindi perfectivity"
        Anubha Kothari

10:45   "Aspect and object alternation in Vedic Sanskrit"
        Eystein Dahl

11:15   Break

11:30   "The `ditransitive construction' with indirect object as
        provider in Mandarin Chinese"
        Jingxia Lin

12:00   "Deriving quantitative patterns in variation and ambiguity"
        Arto Anttila and Vivienne Fong

12:30   Lunch

 1:30   "Dealing with Japanese relative clauses and beyond:
        Integration of information" 
        Yoshiko Matsumoto

 2:00   "Avoid vagueness?  The case of sentence-initial linking `however'"
        Arnold Zwicky and Douglas W. Kenter

 2:30   Break

 2:45   "Quantified indirect speech, pre-semantic uses of context and
        the pragmatics/semantics boundary"
        Graham Katz

 3:15   "The contextual dependence of inverted approximatives"
        Patricia Amaral and Scott Schwenter

 3:45   "Licensing of negative polarity particles in English"
        Dmitry Levinson
        
 4:15   Break

 4:30   "Extris, extris"
        Arnold Zwicky

 5:00   "On the development of ALL-pseudo-clefts in English"
        Elizabeth Traugott
                             ____________

                     UC BERKELEY ICBS COLLOQUIUM
                  on Friday, 16 March 2007, 11:00am
                        Tolman 5101 (Berkeley)
                      http://icbs.berkeley.edu/

                   "Computing Movement Geometry --
               A step in sensory-motor transformations"
                             David Zipser
                                 UCSD

Making sensory specified goal directed movements requires the solution
of many difficult computational problems. The solution to these
problems can be simplified by decomposing the process into a series of
stages. In this talk I will show what can be accomplished by a stage
that computes the geometrical aspects of movement without regard for
time or forces. The output of the geometrical stage provides
information that simplifies the task of subsequent stages that deal
with the physics of movement. In particular I will describe a
computational model of the geometrical stage that uses a relatively
simple gradient technique to solve such problems as transformations
from extrinsic to intrinsic reference frames, specifying movement
paths, removing under-specification due to excess degrees of freedom,
and does a considerable amount of constraint satisfaction and error
correction. The model is used to simulate the 3D movements of an arm
with seven degrees of freedom. Comparing these simulated movements to
human movement data reveals the validity of several of the models
behavioral predictions.
                             ____________

          BERKELEY INSTITUTE OF COGNITIVE AND BRAIN SEMINAR
                  on Friday, 16 March 2007, 11:00am
                        Tolman 5101 (Berkeley)
                      http://icbs.berkeley.edu/

"Computing Movement Geometry -- A step in sensory-motor transformations"
                             David Zipser
                             UC San Diego
                 http://www.cogsci.ucsd.edu/~zipser/

Making sensory specified goal directed movements requires the solution
of many difficult computational problems. The solution to these
problems can be simplified by decomposing the process into a series of
stages. In this talk I will show what can be accomplished by a stage
that computes the geometrical aspects of movement without regard for
time or forces. The output of the geometrical stage provides
information that simplifies the task of subsequent stages that deal
with the physics of movement. In particular I will describe a
computational model of the geometrical stage that uses a relatively
simple gradient technique to solve such problems as transformations
from extrinsic to intrinsic reference frames, specifying movement
paths, removing under-specification due to excess degrees of freedom,
and does a considerable amount of constraint satisfaction and error
correction. The model is used to simulate the 3D movements of an arm
with seven degrees of freedom. Comparing these simulated movements to
human movement data reveals the validity of several of the models
behavioral predictions.
                             ____________

                          CS545: INFOSEMINAR
              on Friday, 16 March 2007, 4:15pm - 5:30pm
                              Gates B12
               http://infolab.stanford.edu/infoseminar/

   "The Query Containment Problem: Set Semantics vs. Bag Semantics"
                           Phokion Kolaitis
                         IBM Almaden Research

Query containment is a fundamental algorithmic problem in database
query processing and optimization. Under set semantics, the
query-containment problem for conjunctive queries has long been known
to be NP-complete. SQL queries, however, are typically evaluated under
bag semantics and return multisets as answers, since duplicates are
not eliminated unless explicitly requested. The exact complexity of
the query-containment problem for conjunctive queries under bag
semantics has been an outstanding open problem for about fifteen
years; in fact, this problem is not even known to be decidable.

The goal of this talk is to present an overview of old and new results
about the complexity of the query-containment problem for conjunctive
queries and their variants, under both set semantics and bag
semantics. The main new result is that, under bag semantics, the
query-containment problem for conjunctive queries with inequalities is
undecidable. In fact, this problem remains undecidable even if the
queries use just a single binary relation and the total number of
inequalities is bounded by a constant value.

This is joint work with T.S. Jayram (IBM Almaden Research Center) and
Erik Vee (Yahoo! Research).
                            ____________

                             END MATERIAL

The CSLI Calendar appears weekly on most Wednesdays throughout the
year.  Announcements, abstracts, and other information to appear in
the Calendar should be submitted to the editor, who reserves the right
to decide what does or does not go in the calendar
mailto:incalendar@csli.stanford.edu

Requests to be added to the mailing list should be sent to
majordomo@csli.stanford.edu.  With the lines in the body of the text
of either
 subscribe csli-calendar
for the long form or
 subscribe csli-short-calendar
for the short form (i.e., no abstracts).  Problems with subscribing or
unsubscribing should be sent to
owner-csli-calendar@csli.stanford.edu.

The full current issue is at
http://www-csli.stanford.edu/Archive/calendar/current.shtml
and the archives at
http://www-csli.stanford.edu/Archive/calendar/

People on many of the CSLI computers can type 'help csli-calendar' to
see the current issue.

The CSLI Calendar is also posted each week to the su.events usenet
newsgroup (only available from computers on the Stanford network)

Information about CSLI's research program is available at
http://www-csli.stanford.edu/

For maps to the Stanford University rooms see
http://www-csli.stanford.edu/events/locations.shtml
                             ____________