We present a mobile photo editing application— CrowdBrush, which uses Google Android as front-end platform and Amazon Mechanical Turk as back-end platform. As there are increasingly more images were captured by smart phone these days, providing photo manipulation functions on the mobile phone directly become very important for better user experience.Our system aims at providing more advanced photo manipulation features by uploading a user’s image to our backend server, having workers on the internet help to process the image, and then sending the processed result back to the mobile phone.

关键词：CrowbBrush；图片编辑软件；计算机视觉技术；自动全景

查看摘要 索取原文[23页]

Traditionally, learning of design skills has been situated in the context of apprenticeships or formal design studios. Unfortunately, these methods are inaccessible to practicing professionals due to constraints on time and location. And, indeed, professional designers must continuously update their knowledge as paradigm shifts in design practice threaten to make their skills obsolete. An ideal resolution to this problem is to situate the learning of design skills within the professional practice of design.This dissertation studies an approach to this mode of situated learning, focusing on integrating learning mechanisms into practical design tools. These tools provide scaffolding for novices as they construct an understanding of best practices in design while engaging in real design work.

关键词：覆盖图设计；设计工具；设计技能

查看摘要 索取原文[99页]

The conventional planar bulk MOSFET is difficult to scale down to sub-20nm gate length, due to the worsening performance variability and short channel effects. Thin body transistors, including Multiple-Gate (FinFET & Tri-Gate FET) and Fully Depleted SOI (FD-SOI) MOSFETs are anticipated to replace the current transistor architecture, and will be used in future CMOS technology nodes. Strained Silicon technology is widely used today to boost planar bulk transistor performance. Thus it's technically important to examine the strain-induced performance enhancement in these thin body transistors, for nanometer scale channel length. A comprehensive study on impact of channel stress on ultra-thin-body FD-SOI MOSFETs is presented. It's found that strain-induced mobility enhancement diminishes with Silicon body thickness scaling below 5nm for electrons, but not for holes. Strain-induced carrier transport enhancement is maintained with gate-length scaling. By applying forward back biasing (FBB) through the ultra-thin Buried Oxide layer, both carrier mobilities and their responses to strain get enhanced. For Multiple-gate FETs, the impact of performance enhancement through various types of stressors (including CESL, SiGe Source/Drain, Strained SOI and Metal Gate Last process) is studied, for different fin crystalline orientations and aspect ratios, to provide guidance for 3-D transistor design optimization.

关键词：晶体管；CMOS；诱导性能；场效电晶体

查看摘要 索取原文[104页]

We show that our lightweight specifications for parallelism correctness enable us to much more effectively specify, test, debug, and verify the use of parallelism in multithreaded software, independent of complex and fundamentally-sequential functional correctness. We show that we can easily write determinism, atomicity, and nondeterministic sequential (NDSeq) specifications for a number of parallel Java benchmarks. We propose novel testing techniques for checking that a program conforms to its determinism, atomicity, or nondeterministic sequential specification, and we apply these techniques to find a number of parallelism errors in our benchmarks. Further, we propose techniques for automatically inferring a likely determinism or NDSeq specification for a parallel program, given a handful of representative executions.

关键词：并行正确性；多线程软件；JAVA基准数；测试

查看摘要 索取原文[174页]

The ever increasing need for regional and global roaming together with continuous advances in wireless communication standards continue to push future transceivers towards an ability to support multi-mode operation with minimal increases in cost, hardware complexity, and power consumption. RF channel-select filter banks pose a particularly attractive method for achieving multiband reconfigurability, since they not only provide the needed front-end reconfigurability, but also allow for power efficient and versatile transceiver designs, e.g., software-defined radio. Such channel-select filters, however, impose requirements on their constituent resonators that are not yet achievable on the micro-scale. Specifically, capacitively-transduced micromechanical resonators achieve highQ, but suffer from high impedance; while piezoelectric micromechanical resonators offer low impedance, but with insufficientQ. This dissertation demonstrates four new techniques to address the issues in both technologies.

关键词：无线通信标准；收发器；交换器；机电耦合

查看摘要 索取原文[154页]

We will discuss both known and novel algorithms that can find the best path without considering all hyperedges in the hypergraph, and hence can speed up search without sacrificing search quality. We will provide simplified proofs of correctness for these algorithms. We also propose two novel algorithms that permit extraction of the k-best paths instead of the single best. We compare these approaches both against exhaustive search, and against approximate search techniques which speed up search by sacrificing optimality guarantees.

关键词：检索算法；自然语言处理；结构；检索速度

查看摘要 索取原文[82页]

The success of modeling object viewpoints motivates us to tackle the generic variation problem through component models, where each component characterizes not only a particular viewpoint of objects, but also a particular subcategory or pose.Furthermore, our approach allows the transfer of inner-grained semantic information from the components, such as keypoint locations and segmentation masks.

关键词：识别地区；建模对象；语义信息

查看摘要 索取原文[84页]

In this thesis, we apply the pattern recognition and data processing strengths of machine learning to accomplish traffic analysis objectives. Traffic analysis relies on the use of observable features of encrypted traffic in order to infer plaintext contents. We apply a clustering technique to HTTPS encrypted traffic on websites covering medical, legal and financial topics and achieve accuracy rates ranging from 64% - 99% when identifying traffic within each website. The total number of URLs considered on each page ranged from 176 to 366. We present our results along with a justification of the machine learning techniques employed and an evaluation which explores the impact on accuracy of variations in amount of training data, number of clustering algorithm invocations, and convergence threshold. Our technique represents a significant improvement over previous techniques which have achieved similar accuracy, albeit with the aid of supporting assumptions simplifying traffic analysis. We examine these assumptions more closely and present results suggesting that two assumptions, browser cache configuration and selection of webpages for evaluation, can have considerable impact on analysis. Additionally, we propose a set of minimum evaluation standards for improved quality in traffic analysis evaluations.

关键词：流量分析；机器学习；HTTPS；漏洞；模式识别；数据处理

查看摘要 索取原文[16页]

My thesis is that languages and frameworks can and should be designed to make it easier for programmers to write reviewably secure systems. A system is reviewably secure if its security is easy for an experienced programmer to verify, given access to the source code. A security reviewer should be able, with a reasonable amount of effort, to gain confidence that such a system meets its stated security goals. This dissertation includes work on on language subsetting and web application framework design. It presents Joe-E, a subset of the Java programming language designed to enforce object-capability security, simplifying the task of verifying a variety of security properties by enabling sound, local reasoning. Joe-E also enforces determinism-by-default, which permits functionally-pure methods to be identified by their signature. Functional purity is a useful property that can greatly simplify the task of correctly implementing and reasoning about application code.

关键词：软件系统；信息安全；框架支持；源代码；语言子集

查看摘要 索取原文[183页]

we design a system which consists of a client-side mobile application to collect photos and a server-side pipeline for crowdsourcing. The client-side mobile application provides a user interface for smart phone users to take, upload, manipulate and save their photos. The server-side automated pipeline is built on Amazon’s Mechanical Turk platform to generate masks from online crowd workers for pictures uploaded by application users.

关键词：众包；自动全景；转描机技术；移动应用程序；图片处理

查看摘要 索取原文[24页]