博碩士論文查詢聯邦系統首頁 聯絡信箱 關於我們 加入我們

dspace.mit.edu 檢索結果共 84617 筆,本頁資料從第 229 筆到第 240 筆

This thesis discusses improvements to the teacher user interface of a tablet-computer-based classroom interaction system called Classroom Learning Partner. The new interface elements allow teachers to more easily keep track of class and individual progress through assignments, view students' work, give different assignments to different students, and quickly gauge stude....

By Casey Ann McNamara--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

TaleBlazer is a platform for creating and playing location-based educational augmented reality games. This thesis describes the design and implementation of new indoor location-based functionality in TaleBlazer, based on the use of iBeacon technology. It describes how the new functionality can be used in indoor location-based games, and presents results from a pilot ind....

By Ellen Yongin Finch--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

Classes of problems that exhibit high levels of data reuse have heavy overhead costs due to the necessity of repeated memory accesses. A proposed programmable hardware accelerator using a spatial architecture paired with triggered instructions could solve this class of problems more efficiently. Performance models are useful for evaluating the performance of different a....

By Matthew (Matthew M.) Fox--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

Manipulation problems involving many objects present substantial challenges for planning algorithms due to the high dimensionality and multi-modality of the search space. Symbolic task planners can efficiently construct plans involving many entities but cannot incorporate the constraints from geometry and kinematics. Existing approaches to integrated task and motion pla....

By Caelan Reed Garrett--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

Supportive communication is an eective collaboration behavior identied in human teams in which team members share information proactively to improve overall team performance. Prior work formulated this objective as the Single-Agent in a Team Decision Problem (SAT-DP) where agents decide whether or not to communicate an unexpected observation during execution time. We ex....

By Keren Gu--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

This thesis outlines a new language feature for Ruby: the security context, which enables complex information flow control schemes to be written in Ruby without modification to the virtual machine. Security contexts are Ruby objects that act as transparent proxies and can be attached to other objects, allowing them to seamlessly modify parameters and return values into ....

By Paul Wang Hemberger--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

Lowering voltage and frequency guardbands of CPU, DRAM, cache, or interconnect lowers power and latency, but increases the risk of silent data corruptions in even formally verified hardware and software. Researchers have been developing systems that use unreliable hardware, combined with software checkers executed on reliable hardware, to gain high performance with no r....

By Yoana G Gyurova--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

In this thesis, I give the first construction of a succinct garbling scheme for RAM programs. For a program requiring space S and time T to compute, the size of its garbling is Õ(S) instead of poly(T). This construction relies on the existence of indistinguishability obfuscation, as well as the existence of injective one-way functions. As a building block, I introduce ....

By Justin Lee Holmgren--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

This thesis presents Coup, a technique that reduces the cost of updates in shared memory systems. In particular, it describes a new cache coherence protocol, MEUSI, and evaluates its performance under simulation in zsim. MEUSI extends the MESI protocol to allow data to be cached in a new update-only state, reducing both block-level thrashing and on-chip network traffic ....

By Webb H Horn--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

Online education is a rapidly growing field and with the desire to create more online educational content comes the necessity to be able to easily generate and maintain that content. This project aims to allow for recording, editing, and maintaining "digital blackboard" style lectures, in which a handwritten lecture with voiceover narration is created. Current recording....

By Alexandra (Alexandra E.) Hsu--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

TaleBlazer is a platform for creating and playing location-based augmented-reality games. The TaleBlazer web-based editor allows users to build customized games using a blocks-based programming language. In order to allow more user groups to utilize various features offered by TaleBlazer, building an intuitive editor user interface is especially essential to maximizing ....

By Jacqueline Hung--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk

SASY (Scalable and Adjustable SYmbolic) Planner is a flexible symbolic planner which searches for a satisfying plan to a partially observable Markov decision process, or a POMDP, while benefiting from advantages of classical symbolic planning such as compact belief state expression, domain-independent heuristics, and structural simplicity. Belief space symbolic formalis....

By Ciara L. (Ciara Lei) Kamahele-Sanfratello--Massachusetts Institute of Technology--2016-01-04
發佈到Facebook發佈到Plurk


 

計畫贊助者: