Home
Carlos Santos's Library tagged → View Popular
Kodkod
"Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive closure, and partial models."
http://www.stanford.edu/~montanar/BOOK/book.html
It should be an introduction to a rich and rapidly evolving research field at the interface between statistical physics, theretical computer science/discrete mathematics, and coding/information theory. It should be accessible to graduate students an researchers without specific training in any of these three fields.
Editing the Gelman/Pearl Debate on Causality
Pointers to the relevant posts. Reading Gelman's posts on this made me realize that I have a lot of ground to cover before I even start understanding causality.
Streetsblog New York City » Safety in Numbers: It’s Happening in NYC
The city's expanding bike network is paying dividends -- boosting the level of cycling and making streets safer in the process.
[0905.3369] Learning Nonlinear Dynamic Models
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory showing this new approach is consistent for models with long range structure, and apply the approach to motion capture and high-dimensional video data, yielding results superior to standard alternatives.
[quant-ph/0206089] Book Review: 'A New Kind of Science'
This is a critical review of the book 'A New Kind of Science' by Stephen Wolfram. We do not attempt a chapter-by-chapter evaluation, but instead focus on two areas: computational complexity and fundamental physics. In complexity, we address some of the questions Wolfram raises using standard techniques in theoretical computer science. In physics, we examine Wolfram's proposal for a deterministic model underlying quantum mechanics, with 'long-range threads' to connect entangled particles. We show that this proposal cannot be made compatible with both special relativity and Bell inequality violation.
Wetware - Bray, Dennis - Yale University Press
In clear, jargon-free language, Dennis Bray taps the findings of the new discipline of systems biology to show that the internal chemistry of living cells is a form of computation. Cells are built out of molecular circuits that perform logical operations, as electronic devices do, but with unique properties. Bray argues that the computational juice of cells provides the basis of all the distinctive properties of living systems: it allows organisms to embody in their internal structure an image of the world, and this accounts for their adaptability, responsiveness, and intelligence.
Earning My Turns: Computation != Deliberation
There must be something really weird in the coffee at the Department of Philosophy at Berkeley that keeps some of them (Dreyfus, Searle, Noë) from recognizing that even a simple amoeba computes to maintain some awareness of and ecologically appropriate behavior towards their shifting environment.
The Datacenter as a Computer
This is a 120 page document describing the design of state of the art, large scale computing facilities, such as those run by the big Internet companies. It discusses everything from facilities issues through the computing hardware through to the software infrastructure. This is an excellent design guide about how everyone should be designing data centers of all sizes, not just huge facilities. Don't be intimidated by its length: it is very easy to read. Just browse the table of contents and pick and choose the sections that interest you. I particularly enjoyed Chapter 5: Energy and Power Efficiency.
Common Java Cookbook
Might be useful if I ever need to program in Java again (very likely)
nmdb - A multiprotocol network database
nmdb is a network database (dbm-style) for controlled networks that can use different protocols to to communicate with its clients. It supports TIPC, TCP, UDP and SCTP.
It consists of an in-memory cache that saves (key, value) pairs, and a persistent backend that stores the pairs on disk.
Both work combined, but the use of the backend is optional, so you can use the server only for cache queries, pretty much like memcached.
-
nmdb is a network database (dbm-style) for controlled networks that can use
different protocols to to communicate with its clients. It supports
TIPC, TCP, UDP and
SCTP.
It consists of an in-memory cache that saves (key, value) pairs, and a
persistent backend that stores the pairs on disk.
Both work combined, but the use of the backend is optional, so you can use the
server only for cache queries, pretty much like
memcached.
Earning My Turns: Diversity in scientific data
Highly curated, single-source data is useful only in those areas where how the data is collected and curated is not a central part of the scientific debate. I can't think of a single area of science that I follow in which the core data are settled, from biology to linguistics. Diverse sources, openly exchanged, contrasted, and combined, are the lifeblood of data-driven science.
-
Highly curated, single-source data is useful only in those areas where how the data is collected and curated is not a central part of the scientific debate. I can't think of a single area of science that I follow in which the core data are settled, from biology to linguistics. Diverse sources, openly exchanged, contrasted, and combined, are the lifeblood of data-driven science.
Op-Contributor - End the University as We Know It - Op-Ed - NYTimes.com
-
The dirty secret of higher education is that without underpaid graduate students to help in laboratories and with teaching, universities couldn’t conduct research or even instruct their growing undergraduate populations. That’s one of the main reasons we still encourage people to enroll in doctoral programs. It is simply cheaper to provide graduate students with modest stipends and adjuncts with as little as $5,000 a course — with no benefits — than it is to hire full-time professors.
In other words, young people enroll in graduate programs, work hard for subsistence pay and assume huge debt burdens, all because of the illusory promise of faculty appointments. But their economical presence, coupled with the intransigence of tenure, ensures that there will always be too many candidates for too few openings.
Earning My Turns: Falling for the magic formula
The main failing of the paper under discussion seems to be choosing an artificially unlikely null hypothesis. This is a common problem in statistical modeling of sequences, for example genomic sequences. It is hard to construct realistic null hypotheses that capture as much as possible of the statistics of the underlying process except for what the hypothesis under test is supposedly responsible for.
-
The main failing of the paper under discussion seems to be choosing an artificially unlikely null hypothesis. This is a common problem in statistical modeling of sequences, for example genomic sequences. It is hard to construct realistic null hypotheses that capture as much as possible of the statistics of the underlying process except for what the hypothesis under test is supposedly responsible for.
Selected Tags
Related Tags
Sponsored Links
Diigo is about better ways to research, share and collaborate on information. Learn more »
Join Diigo