Decidable fragments of many-sorted logic
- Aharon Abadi
- Alexander Rabinovich
- et al.
- 2010
- Journal of Symbolic Computation
Paper
Publications
25370 results for Science
Tracking motion, deformation, and texture using conditionally gaussian processes
- Tim K. Marks
- John R. Hershey
- et al.
- 2010
- IEEE TPAMI
PaperA plant location guide for the unsure: Approximation algorithms for min-max location problems
- Barbara Anthony
- Vineet Goyal
- et al.
- 2010
- Mathematics of Operations Research
PaperOn suitability of euclidean embedding for host-based network coordinate systems
- Sanghwan Lee
- Zhi-Li Zhang
- et al.
- 2010
- IEEE/ACM TON
PaperUltralow nanoscale wear through atom-by-atom attrition in silicon-containing diamond-like carbon
- Harish Bhaskaran
- Bernd Gotsmann
- et al.
- 2010
- Nature Nanotechnology
PaperLearning author-topic models from text corpora
- Michal Rosen-Zvi
- Chaitanya Chemudugunta
- et al.
- 2010
- ACM TOIS
PaperThe HLA-B*2705 peptidome
- Lilach Ben Dror
- Eilon Barnea
- et al.
- 2010
- Arthritis and Rheumatism
PaperGraphene field-effect transistors with high on/off current ratio and large transport band gap at room temperature
- Fengnian Xia
- Damon B. Farmer
- et al.
- 2010
- Nano Letters
PaperAtypical transcription of microRNA gene fragments
- Jin Song Gao
- Yingjie Zhang
- et al.
- 2010
- Nucleic acids research
PaperHigh-throughput intermittent-contact scanning probe microscopy
- Deepak R. Sahoo
- Walter Häberle
- et al.
- 2010
- Nanotechnology
Paper