AMS Prize - Levi L. Conant Prize

Research at HP Labs : Information Dynamics Lab : Information Dynamics: "The main research focus of the information dynamics laboratory is on the relation between the local actions and the global behavior of large distributed systems. Areas that we explore are distributed knowledge, aspects of bioinformatics, social organizations, and novel economic mechanisms."

BibTeX mode for GNU Emacs: "Cleaning Entries
Instead of removing `OPT' and `ALT' prefixes and unnecessary delimiters one by one, you can use the command bibtex-clean-entry (normally bound to C-c C-c) to let BibTeX mode do the work for you"

The BibTeX Format: "When using BibTeX, the interaction between names and accenting is somewhat tricky. You should use `G{\'o}del' or `G{\'{o}}del', and not `{G{\'{o}}del}' or `{G\'{o}del}'. "

RUG - Thijs, A.M.: "Simulation and fixpoint semantics"

E-Library of Science

Gumm paper on bounded functors

How To Succeed In Math- Advice To Students

Objetivos para esta semana:
1. Escribir lo que llevo estudiado de Pattinson
3. Leer Meier y tratar de hacer predicate lifting con probabilistic logic
4. Escribir bisimulaciones en type spaces.
5. Predicate Lfting for probabilistic logics

M 781

Wiley Higher Education :: Functions Modeling Change: A Preparation for Calculus, Second Edition

Dirk Pattinson