搜索结果: 1-15 共查到“计算机科学技术 generation”相关记录36条 . 查询时间(0.093 秒)
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...
New program bolsters innovation in next-generation artificial intelligence hardware（图）
人工智能 硬件 量子时代
2023/6/20
The MIT AI Hardware Program is a new academia and industry collaboration aimed at defining and developing translational technologies in hardware and software for the AI and quantum age. A collaboratio...
2017年第一届下一代计算应用国际会议（2017 1st International Conference on Next Generation Computing Applications ）
2017年 第一届 下一代 计算应用 国际会议
2017/6/22
The 1 International Conference on Next Generation Computing Applications, NextComp2017, will be held from July 19-21, 2017 in the Republic of Mauritius. The 2017 NextComp is the flagship confer...
THERMALNET: A DEEP CONVOLUTIONAL NETWORK FOR SYNTHETIC THERMAL IMAGE GENERATION
infrared images augmented reality object recognition deep convolutional neural networks
2017/6/19
Deep convolutional neural networks have dramatically changed the landscape of the modern computer vision. Nowadays methods based on deep neural networks show the best performance among image recogniti...
2017年下一代网络中集成边缘计算，缓存和卸载研讨会（2017 Workshop on Integrating Edge Computing, Caching, and Offloading in Next Generation Networks (IECCO)）
2017年 下一代 网络中集成边缘计算 缓存和卸载 研讨会
2017/3/21
The Workshop on "Integrating Edge Computing, Caching, and Offloading in Next Generation Networks" provides a forum for discussions of the up-to-date developments in integrating edge computing, caching...
Identification and Validation of Cognitive Design Principles for Automated Generation of Assembly Instructions
Diagrams design principles visual instructions assembly instructions spatial ability
2016/5/24
Designing effective instructions for everyday products is
challenging. One reason is that designers lack a set of design
principles for producing visually comprehensible and accessible
instructions...
Automatic Generation of Peephole Superoptimizers
Superoptimization Peephole Optimization Code Selection
2016/5/24
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at exploiting all opportun...
Automatic Generation of Tourist Maps
Visualization Non-Realistic Rendering WWW Applications
2016/5/24
Tourist maps are essential resources for visitors to an unfamiliar
city because they visually highlight landmarks and other points of
interest. Yet, hand-designed maps are static representations tha...
Automated Generation of Interactive 3D Exploded View Diagrams
exploded view illustration interactive visualization
2016/5/24
We present a system for creating and viewing interactive exploded
views of complex 3D models. In our approach, a 3D input model
is organized into an explosion graph that encodes how parts explode
w...
Simplifying Loop Invariant Generation Using Splitter Predicates
Static analysis invariant generation decomposition of multiphase loops
2016/5/24
We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phase loops...
Destination maps are navigational aids designed to show anyone
within a region how to reach a location (the destination). Handdesigned
destination maps include only the most important roads in
the ...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Receding horizon control: Automatic generation of high-speed solvers
Rolling time domain control model predictive control optimization cost
2015/8/7
Receding horizon control (RHC), also known as model predictive control (MPC), is a general purpose control scheme that involves repeatedly solving a constrained optimization problem, using predictions...
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...
KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
KLEE Unassisted and Automatic Generation High-Coverage Tests Complex Systems Programs
2015/8/7
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...