Institution
Carnegie Mellon University
Education•Pittsburgh, Pennsylvania, United States•
About: Carnegie Mellon University is a education organization based out in Pittsburgh, Pennsylvania, United States. It is known for research contribution in the topics: Population & Robot. The organization has 36317 authors who have published 104359 publications receiving 5975734 citations. The organization is also known as: CMU & Carnegie Mellon.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this paper, the unconditional exact likelihood function is derived to estimate the parameters of a stationary univariate fractionally integrated time series, which allows the simultaneous estimation of all parameters of the model by exact maximum likelihood.
1,060 citations
Erica Sodergren1, George M. Weinstock1, Eric H. Davidson2, R. Andrew Cameron2 +243 more•Institutions (51)
TL;DR: The sequence and analysis of the 814-megabase genome of the sea urchin Strongylocentrotus purpuratus is reported, a model for developmental and systems biology and yields insights into the evolution of deuterostomes.
Abstract: We report the sequence and analysis of the 814-megabase genome of the sea urchin Strongylocentrotus purpuratus, a model for developmental and systems biology. The sequencing strategy combined whole-genome shotgun and bacterial artificial chromosome (BAC) sequences. This use of BAC clones, aided by a pooling strategy, overcame difficulties associated with high heterozygosity of the genome. The genome encodes about 23,300 genes, including many previously thought to be vertebrate innovations or known only outside the deuterostomes. This echinoderm genome provides an evolutionary outgroup for the chordates and yields insights into the evolution of deuterostomes.
1,059 citations
TL;DR: The complexity of satisfiability and determination of truth in a particular finite structure are considered for different propositional linear temporal logics and it is shown that these problems are NP-complete for the logic with F and PSPACE- complete for the logics with F, X, with U, with S, X operators.
Abstract: The complexity of satisfiability and determination of truth in a particular finite structure are considered for different propositional linear temporal logics. It is shown that these problems are NP-complete for the logic with F and are PSPACE-complete for the logics with F, X, with U, with U, S, X operators and for the extended logic with regular operators given by Wolper.
1,058 citations
TL;DR: A general model of Scientific Discovery as Dual Search (SDDS) is presented that shows how search in two problem spaces (an hypothesis space and an experiment space) shapes hypothesis generation, experimental design, and the evaluation of hypotheses.
1,057 citations
[...]
TL;DR: "Games with a purpose" have a vast range of applications in areas as diverse as security, computer vision, Internet accessibility, adult content filtering, and Internet search, and any game designed to address these and other problems must ensure that game play results in a correct solution and, at the same time, is enjoyable.
Abstract: Through online games, people can collectively solve large-scale computational problems. Such games constitute a general mechanism for using brain power to solve open problems. In fact, designing such a game is much like designing an algorithm - it must be proven correct, its efficiency can be analyzed, a more efficient version can supersede a less efficient one, and so on. "Games with a purpose" have a vast range of applications in areas as diverse as security, computer vision, Internet accessibility, adult content filtering, and Internet search. Any game designed to address these and other problems must ensure that game play results in a correct solution and, at the same time, is enjoyable. People will play such games to be entertained, not to solve a problem - no matter how laudable the objective
1,057 citations
Authors
Showing all 36645 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Yi Chen | 217 | 4342 | 293080 |
| Rakesh K. Jain | 200 | 1467 | 177727 |
| Robert C. Nichol | 187 | 851 | 162994 |
| Michael I. Jordan | 176 | 1016 | 216204 |
| Jasvinder A. Singh | 176 | 2382 | 223370 |
| J. N. Butler | 172 | 2525 | 175561 |
| P. Chang | 170 | 2154 | 151783 |
| Krzysztof Matyjaszewski | 169 | 1431 | 128585 |
| Yang Yang | 164 | 2704 | 144071 |
| Geoffrey E. Hinton | 157 | 414 | 409047 |
| Herbert A. Simon | 157 | 745 | 194597 |
| Yongsun Kim | 156 | 2588 | 145619 |
| Terrence J. Sejnowski | 155 | 845 | 117382 |
| John B. Goodenough | 151 | 1064 | 113741 |
| Scott Shenker | 150 | 454 | 118017 |