Research
My main research interests are in Bayesian inference for structured, often high-dimensional, discrete spaces, and Computational Statistics.
- Bayesian Statistics: Statistical inference (point and interval estimation) on high-dimensional discrete spaces: characterization, algorithms, and applications. Centroid estimation.
- Computational Statistics: MCMC methods in discrete structures and constrained high-dimensional discrete spaces. Graphical models.
- Computational Biology: Bayesian statistical inference applied to sequence analysis, RNA secondary structure prediction and classification, phylogenetic analysis, motif finding, genome-wide association studies (GWAS), and, more generally, systems biology.
- Transportation Engineering: Origin-destination matrix estimation, link count based inference, traffic assignment.
Publications and Presentations
I would invite any comments, reviews, critiques, or objections to these papers (especially for submitted or in-preparation papers!); please send them to my e-mail.
Articles
- Carvalho, L. E. and Loureiro, C. F. G., A Bayesian multinomial-Poisson simplified model for network traffic inference based on link cound data, World Conference in Transport Research, Lisbon, Portugal, 2010.
- Carvalho, L. E. and Lawrence, C. E., Centroid estimation in discrete high-dimensional spaces with applications in biology, Proc. Nat. Acad. Sci. USA 105(9):3209–3214, 2008.
- McKee, A. E., Neretti, N., Carvalho, L. E., Meyer, C. M., Fox, E. A., Brodsky, A. S., and Silver, P. A., Exon expression profiling reveals stimulus-mediated exon use in neural cells, Genomy Biology 8:R159, 2007.
- Vieira, A. B., Carvalho, L. E., Balassiano, R., Teypaz, N., and Cung, V., Solving the transit network design problem with constraint programming, 11th World Conference on Transport Research, Berkeley, CA, 2007.
Book Chapters
- Carvalho, L. E., Building data structures and iterators in Lua, Lua programming gems, Lua.org.
- Carvalho, L. E., A primer of scientific computing in Lua, Lua programming gems, Lua.org.
Submitted or In-preparation
- Carvalho, L. E., A Bayesian Statistical Approach for Inference on Static Origin-Destination Matrices, Submitted to: Transportation Research Series B. [ ArXiv ]
- Carvalho, L. E. and Lawrence, C. E., Bayesian centroid estimation, In preparation.
Teaching
- MA213: Basic Statistics and Probability, Spring 2011
- MA881: Bayesian Statistical Modeling and Discrete Inference, Fall 2010
- MA575: Linear Models, Fall 2010
- MA213: Basic Statistics and Probability, Spring 2010
- MA575: Linear Models, Fall 2009
Software
I am very fond of a powerful, fast, light scripting language called Lua:
- Numeric Lua is a numerical package for the Lua programming language. It includes support for complex numbers, multidimensional matrices, random number generation, and special functions.
- Simulua is a discrete-event simulation library for Lua, in the same tradition and flavor of the SIMULA family of programming languages.
I have also developed a few extensions to PostgreSQL:
- PL/Lua is an implementation of Lua as a loadable procedural language for PostgreSQL: with PL/Lua you can use PostgreSQL functions and triggers written in the Lua programming language.
- PostBio is a set of bioinformatics extensions for PostgreSQL.
- PostStat is a set of statistics extensions for PostgreSQL.
