检索结果-内蒙古大学图书馆

Journal of Vacuum Science & Technology B: Microelectronics Processing and Phenomena 1990年第6期8卷 1432-1436页

作者： Eytan Barouch Brian Bradie Uwe Hollerbach Steven A. Orszag Department of Mathematics and Computer Science Clarkson University Potsdam New York 13676 Program in Applied and Computational Mathematics Princeton University Princeton New Jersey 08544

A three‐dimensional computational simulator of nonplanar substrates coated with positive photoresists is presented. The model includes four major steps: projection printing, exposure, post‐exposure baking (PEB), and dissolution. Projection printing is based on Hopkins’ classical work. The exposure model employs the full nonlinear wave equation coupled with the photoactive compound (PAC) bleaching rate equation. These equations are solved using a spectral element iterative scheme. The PEB is treated as a material diffusion equation employing ideas introduced by Mack and the dissolution algorithm is our LEAD (least action dissolution) algorithm modified for nonplanar substrates. Several realistic examples are presented displaying final profiles at various dissolution times.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MEAN FIELD GAMES WITH COMMON NOISE VIA MALLIAVIN CALCULUS

arXiv

引用

arXiv 2024年

作者： Tangpi, Ludovic Wang, Shichun Princeton University Department of Operations Research and Financial Engineering and Program in Computational and Applied Mathematics United States

We present a simpler proof of the existence of equilibria for a class of mean field games with common noise, where players interact through the conditional law given the current value of the common noise rather than its entire path. By extending a compactness criterion for Malliavin-differentiable random variables to processes, we establish existence of strong equilibria, where the conditional law and optimal control are adapted to the common noise filtration and defined on the original probability space. Notably, our approach only requires measurability of the drift and cost functionals with respect to the state *** Codes 91A16, 60H07 Copyright © 2024, The Authors. All rights reserved.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Robust camera location estimation by convex programming

Robust camera location estimation by convex programming

引用

Conference on Computer Vision and Pattern Recognition (CVPR)

作者： Onur Özyeşil Amit Singer Program in Applied and Computational Mathematics Princeton University Princeton NJ USA Department of Mathematics Princeton University Princeton NJ USA

3D structure recovery from a collection of 2D images requires the estimation of the camera locations and orientations, i.e. the camera motion. For large, irregular collections of images, existing methods for the location estimation part, which can be formulated as the inverse problem of estimating n locations t 1 , t 2 , ..., tn in ℝ 3 from noisy measurements of a subset of the pairwise directions t i -t j /∥t i -t j ∥, are sensitive to outliers in direction measurements. In this paper, we firstly provide a complete characterization of well-posed instances of the location estimation problem, by presenting its relation to the existing theory of parallel rigidity. For robust estimation of camera locations, we introduce a two-step approach, comprised of a pairwise direction estimation method robust to outliers in point correspondences between image pairs, and a convex program to maintain robustness to outlier directions. In the presence of partially corrupted measurements, we empirically demonstrate that our convex formulation can even recover the locations exactly. Lastly, we demonstrate the utility of our formulations through experiments on Internet photo collections.

关键词： Estimation Cameras Robustness Noise measurement Three-dimensional displays Accuracy Minimization

来源：评论

学校读者我要写书评

暂无评论

Inferring System and Optimal Control Parameters of Closed-Loop Systems from Partial Observations 63

Inferring System and Optimal Control Parameters of Closed-Lo...

引用

63rd IEEE Conference on Decision and Control, CDC 2024

作者： Geadah, Victor Arbelaiz, Juncal Ritz, Harrison Daw, Nathaniel D. Cohen, Jonathan D. Pillow, Jonathan W. Princeton University Department of Mechanical and Aerospace Engineering PrincetonNJ United States Princeton University Program in Applied and Computational Mathematics PrincetonNJ United States Princeton Neuroscience Institute Princeton University PrincetonNJ United States

ISBN: (纸本)9798350316339

We consider the joint problem of system identification and inverse optimal control for discrete-time stochastic Linear Quadratic Regulators. We analyze finite and infinite time horizons in a partially observed setting, where the state is observed noisily. To recover closed-loop system parameters, we develop inference methods based on probabilistic statespace model (SSM) techniques. First, we show that the system parameters exhibit non-identifiability in the infinite-horizon from closed-loop measurements, and we provide exact and numerical methods to disentangle the parameters. Second, to improve parameter identifiability, we show that we can further enhance recovery by either (1) incorporating additional partial measurements of the control signals or (2) moving to the finitehorizon setting. We further illustrate the performance of our methodology through numerical examples. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Ab initio evaluation of Coulomb and exchange parameters for DFT+U calculations

引用

Physical Review B 2007年第15期76卷 155123-155123页

作者： Nicholas J. Mosey Emily A. Carter []Department of Mechanical and Aerospace Engineering and Program in Applied and Computational Mathematics Princeton University Princeton New Jersey 08544-5263 USA

Conventional density functional theory (DFT) fails for materials with strongly correlated electrons, such as late transition metal oxides. Large errors in the intra-atomic Coulomb and exchange interactions are the source of this failure. The DFT+U method has provided a means, through empirical parameters, to correct these errors. Here, we present a systematic ab initio approach in evaluating the intra-atomic Coulomb and exchange terms, U and J, respectively, in order to make the DFT+U method a fully first-principles technique. The method is based on a relationship between these terms and the Coulomb and exchange integrals evaluated in the basis of unrestricted Hartree-Fock molecular orbitals that represent localized states of the extended system. We used this ab initio scheme to evaluate U and J for chromia (Cr2O3). The resulting values are somewhat higher than those determined earlier either empirically or in constrained DFT calculations but have the advantage of originating from an ab initio theory containing exact exchange. Subsequent DFT+U calculations on chromia using the ab initio derived U and J yield properties consistent with experiment, unlike conventional DFT. Overall, the technique developed and tested in this work holds promise in enabling accurate and fully predictive DFT+U calculations of strongly correlated electron materials.

关键词： .electrons Empirical evaluation of Coulomb DFT calculations chromia

来源：评论

学校读者我要写书评

暂无评论

Manifold learning-based methods for analyzing single-cell RNA-sequencing data

引用

Current Opinion in Systems Biology 2018年 7卷 36-46页

作者： Moon, Kevin R. Stanley, Jay S. Burkhardt, Daniel van Dijk, David Wolf, Guy Krishnaswamy, Smita Department of Genetics Yale University New Haven CT United States Applied Mathematics Program Yale University New Haven CT United States Computational Biology and Bioinformatics Program Yale University New Haven CT United States Department of Computer Science Yale University New Haven CT United States

Recent advances in single-cell RNA sequencing technologies enable deep insights into cellular development, gene regulation, and phenotypic diversity by measuring gene expression for thousands of cells in a single experiment. While these technologies hold great potential for improving our understanding of cellular states and progression, they also pose new challenges and require advanced mathematical and algorithmic tools to extract underlying biological signals. In this review, we cover one of the most promising avenues of research into unlocking the potential of scRNA-seq data: the field of manifold learning, and the related manifold assumption in data analysis. Manifold learning provides a powerful structure for algorithmic approaches to process the data, extract its dynamics, and infer patterns in it. In particular, we cover manifold learning-based methods for denoising the data, revealing gene interactions, extracting pseudotime progressions with model fitting, visualizing the cellular state space via dimensionality reduction, and clustering the data. © 2017 Published by Elsevier Ltd.

关键词： Data mining Gene regulatory networks Imputation Manifold learning Pseudotime trends Single cell RNA sequencing

来源：评论

学校读者我要写书评

暂无评论

Algorithms and data structures for truncated hierarchical B-splines

Algorithms and data structures for truncated hierarchical B-...

引用

8th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2012

作者： Kiss, Gábor Giannelli, Carlotta Juẗtler, Bert Doctoral Program Computational Mathematics Johannes Kepler University Linz Altenberger Str. 69 4040 Linz Austria Institute of Applied Geometry Johannes Kepler University Linz Altenberger Str. 69 4040 Linz Austria

ISBN: (纸本)9783642543814

Tensor-product B-spline surfaces are commonly used as standard modeling tool in Computer Aided Geometric Design and for numerical simulation in Isogeometric Analysis. However, when considering tensor-product grids, there is no possibility of a localized mesh refinement without propagation of the refinement outside the region of interest. The recently introduced truncated hierarchical B-splines (THB-splines) [5] provide the possibility of a local and adaptive refinement procedure, while simultaneously preserving the partition of unity property. We present an effective implementation of the fundamental algorithms needed for the manipulation of THB-spline representations based on standard data structures. By combining a quadtree data structure - which is used to represent the nested sequence of subdomains - with a suitable data structure for sparse matrices, we obtain an efficient technique for the construction and evaluation of THB-splines. © Springer-Verlag 2014.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Geometry based data generation 32

Geometry based data generation

引用

32nd Conference on Neural Information Processing Systems, NeurIPS 2018

作者： Lindenbaum, Ofir Wolf, Guy Stanley, Jay S. Krishnaswamy, Smita Applied Mathematics Program Yale University New HavenCT06511 United States Computational Biology and Bioinformatics Program Yale University New HavenCT06510 United States Departments of Genetics and Computer Science Yale University New HavenCT06510 United States

We propose a new type of generative model for high-dimensional data that learns a manifold geometry of the data, rather than density, and can generate points evenly along this manifold. This is in contrast to existing generative models that represent data density, and are strongly affected by noise and other artifacts of data collection. We demonstrate how this approach corrects sampling biases and artifacts, thus improves several downstream data analysis tasks, such as clustering and classification. Finally, we demonstrate that this approach is especially useful in biology where, despite the advent of single-cell technologies, rare subpopulations and gene-interaction relationships are affected by biased sampling. We show that SUGAR can generate hypothetical populations, and it is able to reveal intrinsic patterns and mutual-information relationships between genes on a single-cell RNA sequencing dataset of hematopoiesis. © 2018 Curran Associates Inc..All rights reserved.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

Simultaneous tracking of movement and gene expression in multiple Drosophila melanogaster flies using GFP and DsRED fluorescent reporter transgenes

引用

BMC Research Notes 2009年第1期2卷 1-11页

作者： Grover, Dhruv Yang, Junsheng Ford, Daniel Tavaré, Simon Tower, John Molecular and Computational Biology Program Department of Biological Sciences University of Southern California Los Angeles CA 90089-2910 United States Department of Applied Mathematics and Theoretical Physics University of Cambridge Cambridge CB3 0WA United Kingdom

Background. Fluorescent proteins such as GFP (Green Fluorescent Protein) and DsRED (Discosoma *** Fluorescent Protein) are often used as reporter molecules for transgene expression in Drosophila and other species. We have recently reported methods that allow simultaneous tracking of animal movement and GFP expression in real time, however the assay was limited to single animals and a single transgene. Numerous studies would be facilitated by methods that allow for assay of multiple animals and multiple transgenes. Findings. Here we report an improved fly video tracking system that allows multiple transgenic flies to be tracked simultaneously using visible light, GFP fluorescence and DsRED fluorescence. The movement of multiple flies could be accurately tracked at real time rates, while simultaneously assaying the expression level of two different transgenes marked with GFP and DsRED. The individual flies could be accurately tracked and distinguished even during periods when transgene fluorescence was undetected. For example, characteristic patterns of hsp70 and hsp22 transgene induction could be simultaneously quantified and correlated with animal movement in aging flies, and as groups of flies died due to dessication/starvation. Conclusion. The improved methods allow for more efficient assay of the correlation between gene expression, behavior, aging and mortality: multiple animals can be assayed with simultaneous quantification of multiple transgenes using GFP and DsRED fluorescence. These methods should allow for increased flexibility in experimental designs. For example, in the future it should be possible to use gene expression levels to predict remaining life span more accurately, and to quantify gene expression changes caused by interactions between animals in real time. © 2009 Tower et al.

关键词： Green Fluorescent Protein Extended Kalman Filter Green Fluorescent Protein Expression Green Fluorescent Protein Fluorescence Daily Activity Pattern

来源：评论

学校读者我要写书评

暂无评论

Understanding Rollover Data

Understanding Rollover Data

引用

IEEE Conference on Computer Communications Workshops

作者： Liang Zheng Carlee Joe-Wong Department of Electrical Engineering Princeton University USA Program in Applied and Computational Mathematics Princeton University USA

ISBN: (纸本)9781467399562

Internet service providers (ISPs) have been facing heavy competition to attract more users in the mobile data market, along with growing operational costs. Most mobile data plans charge users a fixed fee for a monthly data quota, and any unused data at the end of each month will be wasted. In the beginning of 2015, both AT&T and T-Mobile reinstated rollover data plans with constrained eligibility. Users could then keep the unused portion of their monthly data quotas for use in a future month(s). In this work, we evaluate the benefits of rollover data for both ISPs and users as well as identify the types of users who would upgrade to rollover data plans. To do so, we consider two alternatives: a smaller data plan without rollover data, and a more expensive data plan with larger monthly quota that does include rollover data. We find that moderately price-sensitive users benefit from rollover data: price-insensitive users would not have any data to rollover, while extremely price-sensitive users would not find the rollover data worth its higher cost. Under specific bounds on the size of the rollover data plan's monthly quota, we find that users can obtain more utility and ISPs can profit from rollover data, which is verified on one year of usage data from a U.S. ISP.

关键词： Mobile communication Data models Pricing Conferences Switches Aggregates Computers

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：