[Date Prev][Date Next][Date Index]
CSLI Calendar, Wednesday, 28 January 2004, vol. 19:20
CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________
28 January 2004 Stanford Vol. 19, No. 20
______________________________________________________________________
A weekly publication of the
Center for the Study of Language and Information (CSLI)
Stanford University, Cordura Hall, Stanford, CA 94305-4115
http://www-csli.stanford.edu/
____________
ACTIVITIES FROM 28 JANUARY 2004 TO 6 FEBRUARY 2004
WEDNESDAY, 28 JANUARY 2004
3:45pm Psychology Department Colloquium
Jordan Hall 420:041
"The Visual Analysis of Human Movement"
Maggie Shiffar
Rutgers University
http://www-psych.stanford.edu/news.html
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
"Information-theoretic Co-clustering with Application to
Word-Document Matrices"
Dharmednra S. Modha
IBM Almaden Research Center
http://cll.stanford.edu/scla.html
Abstract below
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
"3D Face Recognition: The Ultimate Biometric Lock"
Ron Kimmel
CS Dept. Technion
http://ee380.stanford.edu/contents.html
Abstract below
7:00pm SCIL Futures of Learning Lecture Series
Wallenberg Hall Learning theater (Bldg. 160)
Allan Collins
Education and Social Policy, Northwestern University
http://scil.stanford.edu/
THURSDAY, 29 JANUARY 2004
12:15pm CSLI CogLunch
Cordura Hall, Room 100
"Morgan's Canon"
Elliott Sober
Philosophy, Stanford
http://www-csli.stanford.edu/events/Coglunch/
Abstract below
12:15pm Stanford Networking Seminar
Packard 202
"Supporting Massively Multiplayer Online Games on Peer-to-Peer
Overlays"
Honghui Lu
University of Pennsylvania
http://netseminar.stanford.edu/
Abstract below
3:00pm Reuters Foundation Digital Vision Program Seminar
Reuters lounge, Cordura Hall
"The pragmatic importance of trust in international business:
the trends of individualism, entrepreneurs, and the internet
in dealing with the U.S. Market"
Reid Hoffman
LinkedIn
http://cgi.stanford.edu/group/reuters/cgi-bin/calendar/index.cgi
4:00pm PARC Forum
George Pake Auditorium at PARC
"Numerical Simulations of the Geodynamo:
Current Results and Future Challenges"
Gary A Glatzmaier
Earth Sciences, University of California, Santa Cruz
http://www.parc.com/forum/
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
"How do people think about space?"
Barbara Tversky
Psychology, Stanford
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
4:15pm Logical Methods in the Humanities
Bldg. 200:030 (history corner)
"Carnap's Dream: Wittgenstein, Goedel, and Logical Syntax"
Andre Carus
University of Chicago
http://www-logic.stanford.edu/seminars.html
Abstract below
4:15pm Information Systems Seminar
Packard 101
"Channel Shortening for Multicarrier Systems"
Conor Heneghan
University College Dublin
http://isl.stanford.edu/groups/seminar/
(the previously scheduled talk by Sergio Verdu has been postponed)
5:00pm UC Berkeley Linguistics Department Colloquium
219 Dwinelle (Berkeley)
"Specificational clauses at the interfaces"
Line Mikkelsen
UC Santa Cruz
http://linguistics.berkeley.edu/lingdept/Current/events.html
Abstract below
FRIDAY, 30 JANUARY 2004
11:00am Berkeley Institute of Cognitive and Brain Seminar
Tolman 5101 (Berkeley)
"When and Why Do the Visual Analyses of Human and Object
Motions Differ?"
Maggie Shiffar
Psychology, Rutgers University
http://socrates.berkeley.edu:4247/seminar.html
12:30pm CS547: Human-Computer Interaction Seminar
Gates B03
"Talking phones: a cultural analysis of an information and
communication technology"
Genevieve Bell
Intel Research.
http://www-pcd.stanford.edu/cs547/
Abstract below
1:45pm NLP Reading Group
Ventura 17
"Limited-Domain Speech-to-Speech Translation between English
and Pashto"
John Fry
SRI International
http://www-nlp.stanford.edu/nlp/nlpgroup.html
Abstract below
3:00pm Logical Methods in the Humanities
Bldg. 90:92Q (Philosophy)
"The Varieties of Mathematical Explanation
Paolo Mancosu
UC Berkeley
http://www-logic.stanford.edu/seminars.html
Abstract below
3:30pm Semantics and Pragmatics Workshop
Margaret Jacks Hall 460:126
"Aspectual and causal structure in event representations for
argument linking"
Bill Croft
University of Manchester and CASBS
http://www-linguistics.stanford.edu/semgroup/
Abstract below
4:15pm CS545: Database Seminar
Gates B12
"XQuery for Next Generation DBMSs:
Challenges in Realizing the Promise"
Roberta Cochrane
IBM Almaden Research Center
http://www-db.stanford.edu/dbseminar/
Abstract below
MONDAY, 2 FEBRUARY 2004
9:00am Second Language Acquisition Reading Group
CERAS 204
"Bilingual memory representation in Korean-English and
Spanish-English bilinguals"
Presentation of research by
Hyekyung Sung
Stanford University School of Education
Sung, H. & Padilla, A.M. (1996). "Bilingual memory
representation in Korean-English and Spanish-English
bilinguals". Proceedings of the 20th Annual Boston University
Conference on Language Development. (pp. 748-759). Boston,
MA: Cascadilla Press.
http://www.stanford.edu/~kenro/SLA-RG/
12 noon UC Berkeley Developmental Psychology Seminar
2515 Tolman (Berkeley)
"Teaching, Naturally: Its Biological, Psychological, and
Cultural Foundations"
Sidney Strauss
Education, Tel Aviv University
http://psychology.berkeley.edu/admin/colloquia.html
4:15pm CS528: Broad Area Colloquium in AI,
Geometry, Graphics, Robotics, and Vision
TCSeq 200
Dan Jurafsky
Linguistics, Stanford
http://graphics.stanford.edu/courses/cs528/
4:15pm CS531: SCCM Seminar Series
Gates B12
"Complex Networks and Six Degrees of Separation"
Edmond Chow
Lawrence Livermore National Lab
http://www-sccm.stanford.edu/seminar-w2004/
Abstract below
TUESDAY, 3 FEBRUARY 2004
4:15pm Logic Seminar
Bldg. 380:380F (math corner)
"A Simple Proof of Strong Normalization with Permutative Conversions"
M. Tatsuta
National Institute of Informatics[Japan] and Stanford
G. Mints
Stanford
http://www-logic.stanford.edu/seminars.html
Abstract below
4:15pm EE392: Sensor Networks Seminar
Jordan Hall 041
"Information Processing in Sensor Networks"
Feng Zhao
Stanford/PARC
http://www.stanford.edu/class/ee392s/
WEDNESDAY, 4 FEBRUARY 2004
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
"Large Conjunctive Clusters and Bicliques"
Nina Mishra
Stanford University / HP Labs
http://cll.stanford.edu/scla.html
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
"The Architecture of Colossus, The First PC"
Benjamin Wells
Computer Science, Mathematics, University of San Francisco
http://ee380.stanford.edu/contents.html
THURSDAY, 5 FEBRUARY 2004
3:00pm Reuters Foundation Digital Vision Program Seminar
Reuters lounge, Cordura Hall
Richard Rathbun
http://cgi.stanford.edu/group/reuters/cgi-bin/calendar/index.cgi
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
"Heterogeneous Reasoning, Hyperproof and Playfair"
Dave Barker-Plummer
CSLI
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
FRIDAY, 6 FEBRUARY 2004
11:00am Berkeley Institute of Cognitive and Brain Seminar
Tolman 5101, Berkeley
Title to be announced
Lera Boroditsky
ICBS Fellow, Cognitive and Brain Sciences, MIT
http://socrates.berkeley.edu:4247/seminar.html
12 noon Diversity in Language Seminar
Bldg. 260:237 German Studies Library
"Stylistic Diversity and Language Change in Russian".
Dick Schupbach
http://dlcl.stanford.edu/research/workgroups/diversity.html
12:30pm CS547: Human-Computer Interaction Seminar
Gates B03
To be announced
http://www-pcd.stanford.edu/cs547/
1:30pm EE Seminar
Cypress Semiconductor Auditorium, CISX-101
"Paradigm Changes Toward Digital Consumer Products/Technology"
Tsugio Makimoto
Sony Corporation
Abstract below
3:15pm Philosophy Department Colloquium
Bldg. 90:92Q
"Correspondence Between Theory and Phenomena"
Scott Tanona
Stanford University
http://www-philosophy.stanford.edu/ce.html
3:30pm Semantics and Pragmatics Workshop
Margaret Jacks Hall 460:126
Title to be announced
Tim Stowell
UCLA
http://www-linguistics.stanford.edu/semgroup/
4:15pm CS545: Database Seminar
Gates B12
"Towards Declarative and Efficient Querying on Protein Structures"
Jignesh Patel
Univ. of Michigan
http://www-db.stanford.edu/dbseminar/
____________
Stanford Blood Center status: Shortage of O-, O+, A+, AB+, and AB-.
For an appointment: http://bloodcenter.stanford.edu/ or call
650-723-7831. It only takes an hour of your time.
____________
CSLI SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
on Wednesday, 28 January 2004, 4:15pm to 5:30pm
Cordura 100
http://cll.stanford.edu/scla.html
"Information-theoretic Co-clustering with Application to
Word-Document Matrices"
Dharmendra S. Modha
IBM Almaden Research Center
Two-dimensional contingency or co-occurrence tables arise frequently
in important applications such as text, web-log and market-basket data
analysis. A basic problem in contingency table analysis is
co-clustering: simultaneous clustering of the rows and columns. A
novel theoretical formulation views the contingency table as an
empirical joint probability distribution of two discrete random
variables and poses the co-clustering problem as an optimization
problem in information theory---the optimal co-clustering maximizes
the mutual information between the clustered random variables subject
to constraints on the number of row and column clusters. We present an
innovative co-clustering algorithm that monotonically increases the
preserved mutual information by intertwining both the row and column
clusterings at all stages. Using the practical example of simultaneous
word-document clustering, we demonstrate that our algorithm works well
in practice, especially in the presence of sparsity and
high-dimensionality.
____________
EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
on Wednesday, 28 January 2004, 4:15pm to 5:30pm
NEC Auditorium (B03), Gates Computer Science Building
http://ee380.stanford.edu/contents.html
"3D Face Recognition:
The Ultimate Biometric Lock"
Ron Kimmel
CS Dept. Technion
(Visiting Stanford)
http://www-sccm.stanford.edu/~ronk/
At the Geometric Image Processing Lab., together with Alexander and
Michael Bronstein, and with the help of lab engineer Eyal Gordon, we
built a system that can distinguish between two identical twins
(Michael and Alexander) based on 3D pictures of their faces. Our
system can recognize faces under various poses and facial expressions.
In this talk I will review the components of our system and some
theoretical problems and technical challenges. The numerical building
blocks include
1. Kimmel-Sethian fast marching on triangulated domains (FMTD)
scheme, that efficiently computes geodesic distances on
triangulated surfaces.
2. Elad-Kimmel bending invariant signatures for isometric surfaces. A
method for matching isometric surfaces.
and the
3. Bronstein2-Kimmel eigen-forms for expression invariant 3D face
recognition.
About the speaker: Ron Kimmel is a Technion, Israel Institute of
Technology graduate (D.Sc. 1995). During 1995-1998 he has been a
postdoctoral fellow at Berkeley Labs, and UC Berkeley. Since 1998, he
has been a faculty member of Computer Science at the Technion, where
he is currently an associate professor. He is now a visiting Professor
at the Computer Science Department, Stanford University, and working
with MediGuide Inc.
His research interests are in differential geometry, scientific
computing, image processing and analysis, robotic navigation, and
computer graphics. Prof. Kimmel was awarded the Rich innovation award
(twice), the Taub Prize for excellence in research, and the Alon, HTI,
Wolf, Gutwirth, Ollendorff, and Jury fellowships.
He has been a long term consultant of HP research Lab (1998-2000),
Net2Wireless/Jigami research (2000-2001), and MediGuide (2002-2003).
____________
CSLI COGLUNCH
on Thursday, 29 January 2004, 12:15pm-1:30pm
Cordura Hall, Room 100
http://www-csli.stanford.edu/events/Coglunch/
"Morgan's Canon"
Elliot Sober
Philosophy, Stanford University
In his Introduction to Comparative Psychology (1894), C. Lloyd Morgan
formulates a methodological principle governing whether and how mental
states should be attributed to non-human organisms. His "canon" states
that one should not attribute a "higher" mental faculty to an organism
if the organism's behavior can be explained by the hypothesis that it
possesses a "lower" faculty. Something rather like Morgan's canon is
now used in cognitive ethology, and is called the "principle of
conservatism." Morgan thought his principle is justified by
evolutionary considerations. I'll discuss Morgan's argument, and the
status of his methodological principle.
____________
STANFORD NETWORKING SEMINAR
on Thursday, 29 January 2004, 12:40pm (lunch 12:15pm)
Packard 202
http://netseminar.stanford.edu/
"Supporting Massively Multiplayer Online Games
on Peer-to-Peer Overlays"
Honghui Lu
University of Pennsylvania
We present an approach to support massively multi-player games (MMG)
on peer-to-peer overlays. Our approach exploits the fact that players
in MMGs display locality of interest, and therefore can form
self-organizing groups based on their locations in the virtual world.
To this end, we have designed scalable mechanisms to distribute the
game state to the participating players and to maintain consistency in
the face of node failures. The resulting system dynamically scales
with the number of online players. It is also more flexible and has a
lower deployment cost than centralized game servers.
We have implemented a simple game we call SimMud, and experimented
with up to 4000 players to demonstrate the applicability of this
approach. I will discuss the design and experimental results of our
prototype, as well as future research in performance optimizations and
cheat detection.
About the speaker: Honghui Lu is an Assistant Professor of Computer
and Information Science at University of Pennsylvania. She received
her Ph.D. from Rice University in 2001. She has previously worked on
distributed shared memory and multimedia Web content distribution.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 29 January 2004, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
"How do people think about space?"
Barbara Tversky
Psychology, Stanford University
People think about different spaces differently, depending on how they
perceive them and how they interact with or in them. The space of the
body is composed of typically named body parts and their functions.
The space around the body is organized by the three major axes of the
body, and biased by their relative accessibility. The space of
navigation is constructed out of landmarks and spatial relations among
them; this organization leads to systematic errors in cognitive maps.
Finally, the space of graphics is created by people to represent
elements and relations that are spatial or metaphorically spatial for
a number of ends: to augment memory, to facilitate information
processing, to promote inferences and discoveries.
About the Speaker: Barbara Tversky studied cognitive psychology at the
University of Michigan and taught at Hebrew University in Jerusalem
before joining Stanford. Her general interests are in spatial
thinking and language, memory, event cognitive and perception, with
specific interests in spatial mental models, cognitive maps, spatial
and temporal descriptions, event perception, event narratives, graphic
interfaces, diagrammatic reasoning, visual and verbal explanations,
visual narratives, design, cognitive design principles,
cross-linguistic comparisons.
____________
LOGICAL METHODS IN THE HUMANITIES
on Thursday, 29 January 2004, 4:15pm-6:05pm
Math Corner 380:383N
http://www-logic.stanford.edu/seminars.html
"Carnap's Dream: Wittgenstein, Goedel, and Logical Syntax"
Andre Carus
University of Chicago
This paper focusses on Carnap's notes for an "Attempt at a Metalogic"
which Carnap wrote on a famous "sleepless night" in January 1931 after
learning of Goedels incompleteness results. This draft, Carnap tells
us, represents the original kernel of his Logical Syntax of Language.
I discuss the context of this work in the relationship between Carnap
and Goedel, and conclude with a somewhat surprising anti-Quinean twist
at the end.
____________
UC BERKELEY LINGUISTICS DEPARTMENT COLLOQUIUM
on Thursday, 29 January 2004, 5:00pm
219 Dwinelle (Berkeley)
http://linguistics.berkeley.edu/lingdept/Current/events.html
"Specificational clauses at the interfaces"
Line Mikkelsen
UC Santa Cruz
Based on a rich and varied set of observations, Higgins (1979)
distinguished specificational copular clauses like (1) from
predicational copular clauses like (2):
(1) The recipient of this year's Nobel Peace Prize is Shirin Ebadi.
(2) The recipient of this year's Nobel Peace Prize is Iranian.
Subsequent work has attributed at least some of these differences to
specificational copular clauses having a radically different syntax
from that of predicational clauses. In this talk, I argue that the
syntactic structure of specificational clauses is unexceptional, and
that what is special about these clauses is an unusual alignment of
the less referential argument with the subject position. This
alignment is in turn motivated by pragmatic factors, in particular the
preference for the topic to be aligned with the subject position. I
discuss how these ideas can be implemented either in Optimality
Theoretic terms, using harmonic alignment, or within the Minimalist
Program, exploiting the distinction between interpretable and
uninterpretable features.
Higgins, R.F. (1979) The Pseudo-cleft Construction in English. New
York: Garland.
____________
CS547: HUMAN-COMPUTER INTERACTION SEMINAR
on Friday, 30 January 2004, 12:30-2:00pm
Gates B03
http://www-pcd.stanford.edu/cs547/
"Talking phones:
A cultural analysis of an information and communication technology"
Genevieve Bell
Intel Research
In June of 2002, Malaysian news-stands carried the latest issue of
"Mobile Stuff" -- a magazine geared toward Malaysia's growing
population of mobile phone subscribers. On the cover, two young Malay
men in clothing that suggests more LA hood and less KL suburbs, hold
out their mobile phones to the camera beneath the banner headline
"Real Men Use SMS." Six months later, billboards in Shanghai carried
the image of a woman's shapely calves and ankles, bound with black
patent leather ankle straps; positioned beneath one strap is her
mobile phone. Beyond their utility as a technology of information
exchange, mobile phones it appears have inserted themselves into the
cultural fabric of societies across the world. Using comparative
cases from Asia, this talk explores how mobile phones, and their
various accouterments, have become key symbolic markers of
identities. I argue that mobile phones, rather than facilitating an
idealized universal communication, actually contribute to the
re-inscription of local particularity and cultural difference as
dimensions of a larger political economy of value. Making sense of the
different ways that cell phones are articulating with daily life
provides an important perspective on the ways in which cultural
patterns affect technology use.
About the Speaker: Genevieve Bell is a Senior Researcher within Intel
Corporation's Intel Research. She is currently running a 2 year
research project focused on gaining a better understanding of the
daily life of Asia's urban middle classes, with an emphasis on the
role of new information and communication technologies. To date, she
has conducted fieldwork in India, Malaysia, Singapore, Indonesia,
China and South Korea. Since joining Intel in 1998, Bell has conducted
ethnographic research in a variety of consumer spaces, including
malls, retail districts, and museums, as well as within a range of
different American households. Bell has also conducted significant
research beyond the US, including a five-country, strategically
situated, ethnographic study of European domestic spaces. Prior to
joining Intel, Bell taught anthropology and Native American Studies at
Stanford University. Bell received her BA/MA in anthropology from Bryn
Mawr College in Pennsylvania. She earned a PhD in cultural
anthropology from Stanford University in 1998.
____________
NLP READING GROUP
on Friday, 30 January 2004, 1:45pm - 3:15pm
Ventura 17
http://www-nlp.stanford.edu/nlp/nlpgroup.html
"Limited-Domain Speech-to-Speech Translation
between English and Pashto"
John Fry
SRI International
We are developing a prototype system for near-real-time, spontaneous,
bidirectional translation between spoken American English and Pashto
within the domain of doctor-patient interaction. The final system is
intended to run on a handheld device, such as a PDA, with its
attendant memory and speed limitations. Pashto, an Indo-Iranian
language spoken in Afghanistan and western Pakistan, presents many
challenges to both data-intensive and knowledge-based approaches to
automatic translation because of its lack of language resources,
including both data and expert knowledge. We have adopted a
knowledge-based approach, employing a bidirectional parser/generator
and quasi-logical forms, along the lines developed by Rayner et al.
(The Spoken Language Translator, Cambridge 2000).
____________
LOGICAL METHODS IN THE HUMANITIES
on Friday, 30 January 2004, 3:00pm-5:00pm
Philosophy 90:92Q
http://www-logic.stanford.edu/seminars.html
"The Varieties of Mathematical Explanation"
Paolo Mancosu
UC Berkeley
Contemporary work in scientific explanation has pursued to a great
extent the project of a single unified account of the nature of
explanation. Unfortunately the drive towards unification has also left
by the wayside an important number of phenomena. In particular, many
theories of scientific explanation do not address mathematical
explanation, either because they rule mathematical explanations out of
court from the outset or because they hold that their account of
explanation automatically takes care of mathematical explanation. In
this paper we begin by providing evidence for the claim that
mathematicians seek explanations in their ordinary practice and
cherish different types of explanations. We go on to suggest that a
fruitful approach to the topic of mathematical explanation would
consist in providing a taxonomy of recurrent types of mathematical
explanation and then trying to see whether these patters are
heterogeneous or can be subsumed under a general account. We maintain
that mathematical explanations are heterogeneous. However, neither
giving the taxonomy nor arguing for the previous claim is what we have
set for ourselves in this paper. Rather, we would like to provide a
single case study of how to use mathematical explanations as found in
mathematical practice to test theories of mathematical explanation.
This can be seen, as it were, as a case study of how to show that the
variety of mathematical explanations cannot be easily reduced to a
single model. The case study will focus on Steiner's theory of
mathematical explanation and Pringsheim's explanatory proof of
Kummer's convergence criterion in the theory of infinite series.
____________
STANFORD SEMANTICS AND PRAGMATICS WORKSHOP
on Friday, 30 January 2004, 3:30pm
Margaret Jacks Hall 460:126
http://www-linguistics.stanford.edu/semgroup/
"Aspectual and causal structure in event representations"
Bill Croft
University of Manchester and CASBS
Aspect - "the temporal structure of an event" (Comrie 1976:3) - and
the causal or force-dynamic structure of an event (Talmy 1976, 1988,
2000) - play a major role in motivating the grammar of verbs. In
earlier work (Croft 1991, 1998), I argued that the argument
structure(s) of verbs are motivated largely by the force-dynamic
structure of events. However, the geometric representation used in
that work conflated a simplistic analysis of aspect with the
force-dynamic relations that were the focus of that work. In work in
progress, I offer a geometric representation that clearly separates
the aspectual and causal dimensions and offers a more sophisticated
analysis of aspect. I focus here on aspect, which is represented in
two dimensions (time and qualitative change, based on never-published
work begun with Jerry Hobbs in the late 1980s). A detailed
classification of event types is offered, and alternative construals
of specific verbs (event classes) are illustrated. The data is
extremely complex, and multidimensional scaling is used to map out
verb meanings in an aspectual conceptual space. A two-dimensional
scaling analysis indicates that the most important semantic dimensions
in determining aspectual grammatical behavior are (1) abrupt change of
state vs. undirected process and (2) incremental vs. nonincremental
change. I conclude by presenting the addition of the force-dynamic
dimension onto the aspectual dimensions in the verbal event
representation.
____________
CS545: DATABASE SEMINAR
on Friday, 30 January 2004, 4:15pm - 5:30pm
Gates B12
http://www-db.stanford.edu/dbseminar/
"XQuery for Next Generation DBMSs:
Challenges in Realizing the Promise"
Roberta Cochrane
IBM Almaden Research Center
The next generation of data management solutions must persist and
process business objects, documents, and relational records in an
integrated system. Transactional DBMSs, business intelligence
analytics, and document systems must converge into one system,
supporting powerful functionality to integrate the information that
resides in individual silos of information. To support the needs and
expectations of tomorrow's customers, this information must be
disseminated to a vast number of users, far exceeding the demands on
todays data management systems. XML has emerged as the industry
standard for representing and exchanging data and is already
predominant in todays applications. Business, analytic and structured
data will be exchanged as XML between applications and web
services. XQuery is a query language recommended by W3C, which is
designed to be applicable across many types of data sources. However,
compared to the power of SQL, many features are still missing, such as
the ability to clearly specify OLAP types of queries. In this talk I
will give my perspective on the current state of the XQuery language,
and highlight some areas where I feel extensions to the language will
be required for XQuery to realize its promise.
About the Speaker: Dr. Bobbie Cochrane is a Manager in the Exploratory
Database Department at IBM Almaden Research Center in San Jose,
California. She is currently leading research projects in XML Database
Technologies. She was one of the lead architects for IBM's
materialized view technology. She has also done extensive research in
active database systems. She implemented the Starburst Rule System
and led the design and implementation of triggers and constraints for
both serial and parallel versions of IBMs DB2 Universal Database
System. She played a major role in defining the SQL3 standard for
triggers and constraints. Bobbie is a member of the IBM Academy of
Technology, and was one of IBM's 2002 YWCA TWIN awardees, honoring
women in industry.
____________
CS531: SCCM SEMINAR SERIES
on Monday, 2 February 2004, 4:15pm-5:15pm
Gates B12
http://www-sccm.stanford.edu/seminar-w2004/
"Complex Networks and Six Degrees of Separation"
Edmond Chow
Lawerence Livermore National Laboratory
http://www.llnl.gov/casc/people/chow/
We will discuss various properties of networks that appear in real
life: neural networks, the Internet, the Web graph, and social
networks, where a link between two vertices indicates some form of
relationship. We will then focus on the "six degrees of separation"
problem: how to efficiently find a short chain of people that connect
two arbitrary persons in a social network, using only local
information in the search. We propose a method that involves a simple
application of sparse matrices and the power method. It turns out
that whether or not such short chains can be found depends on specific
properties of the social network.
____________
LOGIC SEMINAR
on Tuesday, 3 February 2004, 4:15pm-5:30pm
Math Corner 380:380F
http://www-logic.stanford.edu/seminars.html
"A Simple Proof of Strong Normalization with Permutative Conversions"
M. Tatsuta
National Institute of Informatics[Japan] and Stanford
G. Mints
Stanford
All existing proofs of strong normalization in the presence of
disjunction, existence and permutative conversions are much more
complicated than similar proofs for the negative fragment. Recently
W. Tait published a partial normalization proof for a stronger
language containing realizing terms. Using this apparatus and some
recent ideas of the authors we provide a simple strong normalization
proof for a standard formulation of second order natural deduction
with disjunction, existential quantification, and permutative
conversions.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 5 February 2004, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
"Heterogeneous reasoning, Hyperproof, and Playfair"
Dave Barker-Plummer
CSLI, Stanford University
Heterogeneous reasoning is the name that we have given to reasoning
which involves information presented in mixed representational forms.
Finding a route to a party using written instructions and a map of the
area is an example of heterogeneous reasoning. In this talk I will
discuss heterogeneous reasoning and why we think that it is
important. I will demonstrate a computer program called Hyperproof,
which implements a formalized system of heterogeneous natural
deduction. The representation systems here are first-order logic, and
pictures of a blocks world. Finally I will discuss Playfair, a package
that we are currently working on which extends Hyperproof to use more
and different representations. If time permits I will also talk about
how the heterogeneous reasoning framework can be used to represent
(non-deductive) design reasoning.
About the Speaker: Dave Barker-Plummer is a Senior Research Scientist
at Stanford University's Center for the Study of Language and
Information. Since 1995 he has managed the Openproof project's work on
educational software for teaching logic at the undergraduate level. He
has taught computer science and logic at Stanford, Swarthmore College
and Duke University.
____________
EE Seminar
on Friday, 6 February 2004, 1:30pm
Cypress Semiconductor Auditorium, CISX-101
"Paradigm Changes Toward Digital Consumer Products/Technology"
Tsugio Makimoto
Sony Corporation
The chip industry is in transition from a PC centric to a DC or
Digital Consumer centric industry. Digitalization of consumer
electronics will have major impacts on our society creating the
"Second Digital Wave." New directions in chip technologies will be
presented in the new paradigm. Robotics will become the market and
technology driver in the long range and "Cleverness Driven Devices"
will become increasingly important.
About the Speaker: Born on 15th May 1937, Dr. Makimoto is Corporate
Advisor to Sony Corporation in charge of semiconductor technology. He
received the B.S degree from the University of Tokyo in 1959, the M.S
degree in 1966 from Stanford University., and the Ph.D. degree from
the University of Tokyo in 1971.
From 1959 to 1999, he worked at Hitachi Ltd. in the field of
semiconductor. He started as a device engineer and later assumed
various managerial positions including General Manager of
Semiconductor Division in 1992 and finally Senior Executive Managing
Director in 1997. He joined Sony as Corporate Senior Executive Vice
President in 2000 and assumed the current position in 2001.
In the late 1970s, he took the leadership of developing high-speed
CMOS devices which marked a key turning point in the history of
semiconductor industry.
In the late 1980s, he discovered the cyclical nature of semiconductor
industry which alternates directions between customization and
standardization, roughly every ten years. This cycle was named as
Makimotos Wave by the Electronics Weekly in UK. Based on this wave
concept, he wrote a book Living with the Chip in 1995 jointly with D.
Manners.
In the 1990s, he took leadership in developing and manufacturing high
density DRAMs and new types of RISC microprocessors, and was nominated
an IEEE FELLOW in 1997 for his contribution for developing and
manufacturing high-density MOS devices. In 1997, he wrote a book
titled Digital Nomad, again with D. Manners, to introduce the new
trends in the field of electronics after the PC.
Dr. Makimoto gave various keynote speeches at major semiconductor
related international conferences including two keynotes at IEDM in
1982 and 2002.
____________
END MATERIAL
The CSLI Calendar appears weekly on Wednesdays throughout the academic
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 most of the CSLI computers can type 'help csli-calendar' to
see the current issue.
The CSLI Calendar is also posted each week to
news://nntp-csli.stanford.edu/csli.bboard.
and
news://news.stanford.edu/su.events
Information about CSLI's research program is available at
http://www-csli.stanford.edu/
For maps to the Stanford University campus see
http://www.stanford.edu/home/visitors/maps.html
____________