1.1k citations
- Menlo SchoolUS21 papers
- Stanford UniversityUS9 papers
- University of California, BerkeleyUS9 papers
- University of PennsylvaniaUS7 papers
- Michigan State UniversityUS6 papers
- Space Telescope Science InstituteUS6 papers
- University College LondonGB6 papers
- University of California San DiegoUS6 papers
- University of Illinois Urbana-ChampaignUS6 papers
- Oak Ridge National LaboratoryUS5 papers
- Purdue University West LafayetteUS5 papers
- Brown UniversityUS4 papers
Showing 2015Show all
3 papers · 1 filter
physics.space-ph2015★ 14 cited
Concurrent observations at the magnetic equator of small-scale irregularities and large-scale depletions associated with equatorial spread F
D. A. Hickey, C. R. Martinis, F. S. Rodrigues +5
In 2014 an all-sky imager (ASI) and an Advanced Modular Incoherent Scatter Radar consisting of 14 panels (AMISR-14) system were installed at the Jicamarca Radio Observatory. The AS…
cs.LG2015★ 36 cited
A Behavior Analysis-Based Game Bot Detection Approach Considering Various Play Styles
Yeounoh Chung, Chang-yong Park, Noo-ri Kim +4
An approach for game bot detection in MMORPGs is proposed based on the analysis of game playing behavior. Since MMORPGs are large scale games, users can play in various ways. This…
cs.AI2015★ 13 cited
A Theory of Formal Synthesis via Inductive Learning
Susmit Jha, Sanjit A. Seshia
Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based o…