All Pages
All Posts
- Challenges in Genomics Data Visualization
- A Validated Regulatory Network for Th17 Cell Specification
- On my way to ICFP/CUFP/OUD and more in Copenhagen
- Functional Big-Data Genomics
- Biocaml: The OCaml Bioinformatics Library
- Managing and Analyzing Big-Data in Genomics
- A Domain Specific Language Stack for Bio HPC
- Shonan Meeting
- A Comparison of Single-cell RNA-seq with Gene Expression Microarrays
- On my way to POPL
- A Type Theory for Probability Density Functions
- ML/ICFP/CUFP 2011
- Rap Guide to Evolution
- Dijkstra on elegance in programming
- The CRIT framework for identifying cross patterns in systems biology and application to chemogenomics
- OCaml User Meeting 2011
- MACS 1.4 patch
- Small example of pthreads
- MACS password download
- Prediction and characterization of noncoding RNAs in C. elegans by integrating conservation, secondary structure, and high-throughput sequencing and array data
- Integrative Analysis of the Caenorhabditis elegans Genome by the modENCODE Project
- RSEQtools: A modular framework to analyze RNA-Seq data using compact, anonymized data summaries
- Milner on science and language
- DREAM and RECOMB Satellite Conferences
- Platform independent .bashrc file
- Goodbye Yale. Hello NYU.
- Poincare on the necessity of hypothesis
- Shiny new copy of Logicomix has arrived!
- Carnap on the challenge of interdisciplinary research
- Just registered for ICFP
- Abelson, Sussman, and Sussman: programming languages are for humans
- Nettle Tech Reports
- Presenting at the CScADS Workshop on Autotuning for Petascale Applications
- IBM PL Day 2010
- I’ll be presenting at IBM PL Day on July 29.
- Our paper comparing sequencing and array technologies is online.
- Comparison and calibration of transcriptome data from RNA-Seq and tiling arrays
- Strunk and White on colons, commas, semicolons, dashes, and parentheses
- Poincare on lazy thinking
- ICCS paper and talk slides now available.
- logit – a simple tool to date-stamp files into a log directory
- Buckminster Fuller: there is no such thing as artificial sweetener
- Andrews on the irrelevancy of numbers in mathematics
- Martin-Löf says mathematics is informal
- Toward Interactive Statistical Modeling
- My new website
- Genome-Wide Identification of Binding Sites Defines Distinct Functions for Caenorhabditis elegans PHA-4/FOXA in Development and Environmental Response
- Automating Mathematical Program Transformations
- Machiavelli: we always think it was better before
- Our PADL paper was accepted.
- An approach to compare genome tiling microarray and MPSS sequencing data for transcript mapping
- ENCODE/modENCODE Consortium Meeting 2009
- Linear coupled component automata for MILP modeling of hybrid systems
- tYNA: An Online Tool for Analysis of Biological Networks
- Dissertation: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems
- Finished my PhD!
- Milner on the science of the artificial
- Boltzmann says theory is practical
All Monthly Archives
- April 2013 (1)
- September 2012 (4)
- June 2012 (1)
- May 2012 (2)
- February 2012 (1)
- January 2012 (1)
- October 2011 (1)
- September 2011 (1)
- June 2011 (1)
- May 2011 (1)
- April 2011 (2)
- March 2011 (1)
- February 2011 (2)
- January 2011 (1)
- December 2010 (2)
- November 2010 (3)
- October 2010 (2)
- September 2010 (2)
- August 2010 (1)
- July 2010 (5)
- June 2010 (5)
- April 2010 (4)
- March 2010 (2)
- February 2010 (1)
- January 2010 (2)
- October 2009 (1)
- July 2009 (1)
- March 2009 (1)
- January 2009 (1)
- January 2007 (1)
- May 2006 (2)
- April 2006 (1)
- April 2005 (1)
All Category Archives
- News (17)
- Posters (1)
- Presentations (13)
- Publications (14)
- Quotes (13)
- Uncategorized (6)
Archives by Tag
Bash Bioinformatics C Computer Networks Education Haskell High Performance Computing Hybrid Systems Java OCaml Optimization Popular Science Probability SML Statistics Types Visualization
Categories
Tags
