With instrument specifications and platforms constantly changing as technology progresses,the design space for these instruments is unstable and often unpredictable.Furthermore,the astronomers designing these instruments may not be technology experts, and assessing tradeoffs between different computing architectures, such as FPGAs, GPUs, and ASICs and determining how to partition an instrument can prove difficult.In this work, I present a toolcalled Optimal Rearrangement of Cluster-based Astronomy Signal Processing, or ORCAS, that automatically determines how to optimally partition an instrument across different types of hardware for radio astronomy based on a high level description of the instrument and a set of benchmarks.

关键词：计算架构；仪器；天文学信号处理工具

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

In this paper we present Blazes, a cross-platform program analysis framework that (a) identifies program locations that require coordination to ensure consistent executions, and (b) automatically synthesizes application-specific coordination code that can significantly outperform general-purpose techniques. We present two case studies, one using annotated programs in the Twitter Storm system, and another using the Bloom declarative language.

关键词：跨平台的程序分析框架；声明性语言；带注释的程序

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

This dissertation unifies and advances the theory of incentivized information elicitation. Using tools from convex analysis, we introduce a new model of elicitation with a matching characterization theorem which together encompass mechanism design, scoring rules, prediction markets, and other models. This lays a firm foundation on which the rest of the dissertation is built.

关键词：代理；私人信息；激励措施；激励信息抽取；凸分析；匹配特征定理

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

关键词：云数据；可信平台；云代理；云计算；信息安全；硬件；应用程序

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

A security analyst often needs to understand two runs of the same program that exhibit a difference in program state or output. This is important, for example, for vulnerability analysis, as well as for analyzing a malware program that features different behaviors when run in different environments. In this paper we propose a differential slicing approach that automates the analysis of such execution differences. Differential slicing outputs a causal difference graph that captures the input differences that triggered the observed difference and the causal path of differences that led from those input differences to the observed difference. The analyst uses the graph to quickly understand the observed difference. We implement differential slicing and evaluate it on the analysis of 11 real-world vulnerabilities and 2 malware samples with environment-dependent behaviors. We also evaluate it in an informal user study with two vulnerability analysts. Our results show that differential slicing successfully identifies the input differences that caused the observed difference and that the causal difference graph significantly reduces the amount of time and effort required for an analyst to understand the observed difference.

关键词：自动分析；执行差异；可观察差异

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

This work presents in detail the design, fabrication and testing of the transparent μECoG arrays including verification of impedance, transparency, and electrical properties. These arrays have the smallest electrodes to date of any μECoG array, transparent or otherwise, enabling higher spatial-temporal resolution than previous devices. This work also extends previous work by plating the ITO electrodes with the transparent conductive polymer PEDOT [27] in order to improve electrochemical impedance properties and characterizing the results. The intent of the author is that this work can function as detailed instruction manual for designing, manufacturing, and testing μECoG devices made with transparent electrode technology. The work ends by describing next steps for utilizing the transparent μECoG arrays in research on the origin of μECoG signals in the cortex, combining optogenetics with holographically patterned light sources.

关键词：μECoG；高时空分辨率；信号性质

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

We present a novel algorithm to acquire and analyzerich 3D geometric features in single urban images. Traditional representation of 3D structures via local image features lack global geometric information to provide high-quality image correspondence and 3D models. The new approach utilizes the low-rank representation technique to seek a new class of invariant features based on minimizing the matrix rank of image textures, which are more holistic with respect to global geometric information, invariant tocamera distortion, and robust to pixel corruption.

关键词：几何特性；最小化矩阵；图像通信；3D

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

We introduce and discuss new user interface issues raised by the advent of gesture recognitionenabled mobile devices. Compared to traditional hand gestures on touch-screens of mobile devices, the effectiveness of gesture recognition on mobile devices depends on their screen sizes, the distance between the user and the device, and how the user holds the device. Due to these user interface issues, software developers who would like to apply gesture recognition to their applications should redesign their user interfaces different from typical mobile applications. To effectively visualize feedback of a physical therapy applicatio for mKinect, the purpose of which is to bring the users Kinect experience onto their smartphones, we present a novel approach of visual feedback for a gesture recognition-enabled mobile devices.

关键词：用户界面；移动设备；视觉反馈

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

An optimization-based method for identifying the speed profile of a moving surface from image data is studied.If the dynamic surface motion is modeled by a level set equation, the identification problem can be formulated as an optimization problem constrained with the level set equation whose (viscosity) solution, in general, has kinks. The non-differentiable solution prevents us from having a bounded gradient of the cost function of the optimization problem. To overcome this difficulty, we develop a novel identification approach using a regularized level set equation.

关键词：最优决策方法；正规化水平集方程；图像数据

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

My project is to experiment with the state of the art, as well as current shortcomings, in Big data integration and analysis. We will build a search engine to integrate Public Linked Data into Patent Data to provide more sematic contexts and values to each patent. We build the interface and connection to retrieve the traditional data from the front-end website.

关键词：大数据；集成分析；搜索引擎

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