Michael Shavlovsky

Learn More
Crowdsourcing offers a practical method for ranking and scoring large amounts of items. To investigate the algorithms and incentives that can be used in crowdsourcing quality evaluations, we built CrowdGrader, a tool that lets students submit and collaboratively grade solutions to homework assignments. We present the algorithms and techniques used in(More)
There is an emerging link between copper metabolism, tumor growth and efficiency of antitumor treatment with platinum drugs or copper chelators. So there is an urgent need for well-defined and reproduced animal models with different states of copper metabolism. In the present study an animal model (rats and mice) with switching copper status in blood serum(More)
Formal software verification is a software engineering technique for modeling a software system’s source code, and then proving properties about it, such as freedom from security vulnerabilities. Though proofs are largely automated, formal source code modeling is time consuming and requires substantial human attention. Xylem: The Code of Plants is an iPad(More)
CrowdGrader is a system that lets students submit and collaboratively review and grade homework. We describe the techniques and ideas used in CrowdGrader, and report on the experience of using CrowdGrader in disciplines ranging from Computer Science to Economics, Writing, and Technology. In CrowdGrader, students receive an overall crowd-grade that reflects(More)
Peer grading systems work well only if users have incentives to grade truthfully. An example of nontruthful grading, that we observed in classrooms, consists in students assigning the maximum grade to all submissions. With a naive grading scheme, such as averaging the assigned grades, all students would receive the maximum grade. In this paper, we develop(More)
Myocilin is a protein with a molecular weight near 50 kDa. It is expressed in almost all organs and tissues. We showed that the peptide DQLETQTRELETAYSNLLRD corresponding to N-terminal Leucine zipper motif (LZM) of the protein is able to form amyloid-like fibrils. The possible role of this motif in myocilin aggregation is discussed.
We propose novel algorithms for the problem of crowdsourcing binary labels. Such binary labeling tasks are very common in crowdsourcing platforms, for instance, to judge the appropriateness of web content or to flag vandalism. We propose two unsupervised algorithms: one simple to implement albeit derived heuristically, and one based on iterated bayesian(More)
The fibrillogenesis of a peptide corresponding to residues 35-51 of human α-lactalbumin (¹GYDTQAIVENNESTEYG¹⁷) can be dramatically enhanced by the addition of a tetrapeptide TDYG homologous to its C-terminus (TEYG). Generation of spontaneous hydrolytic products similar to this peptide was demonstrated by mass-spectrometry analysis of GYDTQAIVENNESTEYG(More)