High performance for numerical linear algebra often comes at the expense of stability. Computing the LU decomposition of a matrix via Gaussian Elimination can be organized so that the computation involves regular and efficient data access. However, maintaining numerical stability via partial pivoting involves row interchanges that lead to inefficient data access patterns.

关键词：数据布局；高斯消元；有效通信

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

There is an entire ecosystem of tools, techniques, and processes designed to improve software security by preventing, nding, mitigating, and/or eliminating software vulnerabilities. Software vendors have this entire ecosystem to choose from during each phase of the software development lifecycle, which begins when someone identi es a software need, ends when the software vendor decides to halt support for the software, and includes everything in between. Unfortunately, guidance regarding which of these tools to choose is often non-existent or based solely on anecdotal evidence. In this dissertation, we present three studies to demonstrate that empirical studies can be used to enhance our understanding of the e ectiveness of various tools and techniques intended to improve software security.

关键词：软件安全；软件漏洞；信息安全

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

Maximum constraint satisfaction problem (Max-CSP) is a rich class of combinatorial optimization problems. In this dissertation, we show optimal (up to a constant factor) NPhardness for maximum constraint satisfaction problem with k variables per constraint (Max- k-CSP), whenever k is larger than the domain size. This follows from our main result concerningCSPs given by a predicate: a CSP is approximation resistant if its predicate containsa subgroup that is balanced pairwise independent. Our main result is related to previous works conditioned on the Unique-Games Conjecture and integrality gaps in sum-of squares semide nite programming hierarchies.

关键词：最大约束满意度问题；组合最优问题；编程

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

This document introduces the syntax of BLOG, a probabilistic programming language, for describing random variables and their probabilistic dependencies. BLOG defines probabilistic generative models over first-order structures. For example, all Bayesian networks can be easily described by BLOG. BLOG has the following features: (a) it employs open-universe semantics; (b) it can describe relational uncertainty; (c) it can handle identity uncertainty; and (d) it is empowered by first-order logic. The syntax as described in this document corresponds to BLOG version 0.6. The current version represents a significant redesign and extension to previous versions of BLOG, based on the principles of usability and implementation efficiency.

关键词：博客；语言；语法

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

In this work, we used a high accuracy synchrotron-based reflectometer to experimentally determine the effects of angular bandwidth limitations on high- NA EUV mask performance. We collected the scatterometry data of both the mask blank and absorber field, as well as mask pattern diffraction performance as a function of illumination angle, scatter angle, and wavelength. Gratings down to 44 nm half pitch on mask, up to 16° angle of incidence (AOI), and wavelength ranging from 13.3 to 13.7 nm were considered. Rigorous Coupled- Wave Analysis (RCWA) was used to model scatterometry results which were compared with measurement. The experimental measurements on a mask with a multilayer reflectivity of over 60% at 13.5 nm wavelength that peaked about 10° showed that computing the large area reflectivity as a function of wavelength and incident angle from 0 to 14° resulted in root mean square errors in reflectivity unacceptably as high as 13% and 0.8% of the incident beam for the multilayer and absorber respectively. This dropped to 5% and 0.7% respectively when interdiffusion and wavelength-dependent refractive indices were taken into account. Calibration by fitting to the measured data reduced the errors to 0.8% and 0.08% respectively.

关键词：带宽限制；纳米波长；函数

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

We establish theoretical results concerning all local optima of various regularized M- estimators, where both loss and penalty functions are allowed to be nonconvex. Our results show that as long as the loss function satis es restricted strong convexity and the penalty function satis es suitable regularity conditions, any local optimum of the composite objective function lies within statistical precision of the true parameter vector. Our theory covers a broad class of nonconvex objective functions, including corrected versions of the Lasso for error-in-variables linear models; regression in generalized linear models using nonconvex regularizers such as SCAD and MCP; and graph and inverse covariance matrix estimation. On the optimization side, we show that a simple adaptation of composite gradient descent may be used to compute a global optimum up to the statistical precision stat in log(1=stat) iterations, which is the fastest possible rate of any rst-order method. We provide a variety of simulations to illustrate the sharpness of our theoretical predictions.

关键词：局部最优；理论模型；目标函数；线性模型

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

In this paper, we demonstrate a connection between Storvik's lter and a Kalman lter in parameter space and establish more general conditions under which Storvik's lter works. Drawing on an analogy to the extended Kalman lter, we develop and analyze, both theoretically and experimentally, a Taylor approximation to the parameter posterior that allows Storvik's method to be applied to a broader class of models. Our experiments on both synthetic examples and real applications show improvement over existing methods.

关键词：滤波器；增量计算；参数空间

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

This paper discusses the use of the Ptides model of computation as a coordination language for the design of deterministic, event-driven, real-time, distributed embedded systems. Specifically, the paper shows how the use of synchronized clocks in the context of Ptides enables explicit, platform independent speci cation of functionality and timing. From this speci cation, we generate code for two target platforms: Renesas and XMOS. The generated code includes a lightweight operating system which performs scheduling, I/O and network handling as well as application speci c tasks.

关键词：Ptides模型；估计；操作系统；网络处理；代码

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

This report has presented two software tools implemented in MATLAB to simulate a 13.6 g ornithopter in the sagittal plane and horizontal plane. Each of these simulations were compared totrueight data colected using a Vicon motion capture system to determine their accuracy.

关键词：飞行；模拟；扑翼飞机；MATLAB；软件

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

Advertising is a critical part of the Android ecosystem| many applications use one or more advertising services as a source of revenue. To use these services, developers must bundle third-party, binary-only libraries into their applications. In this model, applications and their advertising libraries share permissions. Advertising-supported applications must request multiple privacy-sensitive permissions on behalf of their advertising libraries, and advertising libraries receive access to all of their host applications' other permissions. We conducted a study of the Android Market and found that 49% of Android applications contain at least one advertising library, and these libraries overprivilege 46% of advertising-supported applications. Further, we nd that 56% of the applications with advertisements that request location (34% of all applications) do so only because of advertisements. Such pervasive overprivileging is a threat to user privacy. We introduce AdDroid, a privilege separated advertising framework for the Android platform. AdDroid introduces a new advertising API and corresponding advertising permissions for the Android platform. This enables AdDroid to separate privileged advertising functionality from host applications, allowing applications to show advertisements without requesting privacy-sensitive permissions.

关键词：广告商；应用程序

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