搜索结果: 1-15 共查到“计算机科学技术 the order”相关记录24条 . 查询时间(0.843 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Calculation of high-order harmonic generation of atoms and molecules by combining time series prediction and neural networks
时间序列预测 神经网络计算 原子分子 高阶谐波生成
2023/5/9
High-order harmonic generation (HHG) from the interaction of ultra-intense laser pulses with atoms is an important tabletop short-wave coherent light source. Accurate quantum simulations of it present...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Local Response of Topological Order to an External Perturbation
Local Response Topological Order External Perturbation
2016/1/23
We study the behavior of the Re ′nyi entropies for the toric code subject to a variety of different perturbations, by means of 2D density matrix renormalization group and analytical methods. We find t...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Compressed sensing based cone-beam computed tomography reconstruction with a first-order method
Department of Radiation Oncology Stanford University Stanford California 94305
2015/8/7
This article considers the problem of reconstructing cone-beam computed tomography (CBCT) images from a set of undersampled and potentially noisy projection measurements. The authors cast the reconstr...
Code generation for embedded second-order cone programming
The validation code convex optimization embedded applications the second-order cone programming
2015/8/7
This paper describes a framework for generating easily verifiable code to solve convex optimization problems in embedded applications by transforming them into equivalent second-order cone programs. I...
FINDING COMPOSITE ORDER ORDINARY ELLIPTIC CURVES USING THE COCKS-PINCH METHOD
ORDER ORDINARY ELLIPTIC CURVES COCKS-PINCH METHOD
2015/8/5
We apply the Cocks-Pinch method to obtain pairing-friendly composite order groups with prescribed embedding degree associated to ordinary
elliptic curves, and we show that new security issues arise i...
Herding to A Side of Order Book Balance
econophysics order book imbalance Indonesian stock market
2015/7/31
In the growing econophysics, it is quite rare that the presented analyses approach the interesting properties of order book. However, a lot of data are available in the order book, and analysis on thi...
3D Flapping Wing Simulation with High Order Spectral Difference Method on Deformable Mesh
3D Flapping Simulation Spectral Diff erence Method Deformable Mesh
2015/7/3
In this paper we carry out computational studies of three-dimensional flow over flapping wings. The problems we have investigated include, firstly, three-dimensonal simulation of ...
A Conservative Meshless Scheme: General Order Formulation and Application to Euler Equations
Conservative Meshless Scheme General Order Formulation Application Euler Equations
2015/7/3
In this paper, we present a mesh-free, finite-volume-like scheme designed for numerically solving conservation laws. We first derive a conservative formulation for computing mesh-free @...
A hybrid multilevel method for high-order discretization of the Euler equations on unstructured meshes
Multigrid methods Newton–Krylov methods Euler equations
2015/7/3
Higher order discretization has not been widely successful in industrial applications to compressible flow simulation. Among several reasons for this, one may identify the lack of tailor-suited,...
High-Order Spectral Difference Simulation of Laminar Compressible Flow Over Two Counter-Rotating Cylinders
High-Order Spectral Diff erence Simulation Laminar Compressible Counter-Rotating Cylinders
2015/7/3
Flow past a single rotating cylinder has been studied, both numerically and experimen tally, by many authors. In contrast is the flow past rotating cylinders in a side-by-side arrangement, which...
Efficient Algorithms for High-Order Discretizations of the Euler and Navier-Stokes Equations
Efficient Algorithms High-Order Discretizations Euler Navier-Stokes Equations
2015/7/2
Higher order discretizations have not been widely successful in industrial applications to compressible ow simulation. Among several reasons for this, one may identify the lack of tailor-suited, best-...
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution
武汉理工大学 现代计算机体系结构 英文 课件 Lecture10 Out of Order and Speculative Execution
2015/6/1
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution。