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

IEEE Annual Conference on Decision and Control

作者： Sicun Gao Le Xie Armando Solar-Lezama Dimitrios Serpanos Howard Shrobe MIT Computer Science and Artificial Intelligence Lab Department of Electrical and Computer Engineering Texas A&M University Qatar Computing Research Institute

ISBN: (纸本)9781479978878

We introduce new methods for the automatic vulnerability analysis of power grids under false data injection attacks against nonlinear (AC) state estimation. We encode the analysis problems as logical decision problems that can be solved automatically by SMT solvers. To do so, we propose an analysis technique named "symbolic propagation," which is inspired by symbolic execution methods for finding bugs and exploits in software programs. We show that the proposed methods can successfully analyze vulnerability of AC state estimation in realistic power grid models. Our approach is generalizable towards many other applications such as power flow analysis and state estimation.

关键词： power systems State estimation Power grids Power flow analysis False Vulnerability AUTOMATIC

来源：评论

学校读者我要写书评

暂无评论

Beating the random assignment on constraint satisfaction problems of bounded degree

Beating the random assignment on constraint satisfaction pro...

引用

18th International Workshop on ApproximationAlgorithms for Combinatorial Optimization Problems, APPROX 2015, and 19th International Workshop on Randomization and Computation, RANDOM 2015

作者： Barak, Boaz Moitra, Ankur O'Donnell, Ryan Raghavendra, Prasad Regev, Oded Steurer, David Trevisan, Luca Vijayaraghavan, Aravindan Witmer, David Wright, John Microsoft Research New England United States MIT Mathematics Department United States Department of Computer Science Carnegie Mellon University United States UC Berkeley Department of Electrical Engineering and Computer Sciences United States Courant Institute of Mathematical Sciences New York University United States Cornell University United States

ISBN: (纸本)9783939897897

We show that for any odd k and any instance = of the Max-kXOR constraint satisfaction problem, there is an efficient algorithm that finds an assignment satisfying at least a 1/2 +Ω (1/√ D) fraction of ß's constraints, where D is a bound on the number of constraints that each variable occurs in. This improves both qualitatively and quantitatively on the recent work of Farhi, Goldstone, and Gutmann (2014), which gave a quantum algorithm to find an assignment satisfying a 1/2 +Ω (D-3/4) fraction of the equations. For arbitrary constraint satisfaction problems, we give a similar result for "triangle-free" instances;i.e., an efficient algorithm that finds an assignment satisfying at least a μ + Ω (1/√ D) fraction of constraints, where μ is the fraction that would be satisfied by a uniformly random assignment. © Boaz Barak, Ankur Moitra, Ryan O'Donnell, Prasad Raghavendra, Oded Regev, David Steurer, Luca Trevisan, Aravindan Vijayaraghavan, David Witmer, and John Wright.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

The growth of low wafer bow AlGaN/GaN structure on 200mm Si(111) 30

The growth of low wafer bow AlGaN/GaN structure on 200mm Si(...

引用

30th International Conference on Compound Semiconductor Manufacturing Technology, CS MANTECH 2015

作者： Huang, Chieh-Chih Ried, Frank Palacios, Tomas Chua, Soo Jin Fitzgerald, Eugene A. Singapore-MIT Alliance for Research and Technology Center 1 Create Way Singapore138602 Singapore AIXTRON SE Herzogenrath52134 Germany Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology CambridgeMA02139 United States National University of Singapore Engineering Drive 3 Singapore117576 Singapore Department of Materials Science and Engineering Massachusetts Institute of Technology CambridgeMA02139 United States

In this study, we would like to find out the simplest way to achieve the lowest wafer bow in the GaN HEMT on 200mm Si wafer. The simplest refit that we found involved using 12 sapphire blocks distributed around the periphery of the flat susceptor. The final wafer bow can reach around 22um for the GaN HEMT on 1mm thick 200mm Si wafer. The sheet resistance of the sample with the sapphire blocks will measure 34% lower than the sample without the sapphire blocks.

关键词： III-V semiconductors

来源：评论

学校读者我要写书评

暂无评论

Particle computation: Device fan-out and binary memory

Particle computation: Device fan-out and binary memory

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Hamed Mohtasham Shad Rose Morris-Wright Erik D. Demaine Sándor P. Fekete Aaron T. Becker MIT the Computer Science and Artificial Intelligence Laboratory Cambridge MA USA Dept. of Computer Science TU Braunschweig Braunschweig Germany Dept. of Electrical and Computer Engineering University of Houston Houston TX USA

ISBN: (纸本)9781479969241

We present fundamental progress on the computational universality of swarms of micro- or nano-scale robots in complex environments, controlled not by individual navigation, but by a uniform global, external force. Consider a 2D grid world, in which all obstacles and robots are unit squares, and for each actuation, robots move maximally until they collide with an obstacle or another robot. In previous work, we demonstrated components of particle computation in this world, designing obstacle configurations that implement AND and OR logic gates: by using dual-rail logic, we designed NOT, NOR, NAND, XOR, XNOR logic gates. However, we were unable to design a FAN-OUT gate, which is necessary for simulating the full range of complex interactions that are present in arbitrary digital circuits. In this work we resolve this problem by proving unit-sized robots cannot generate a FAN-OUT gate. On the positive side, we resolve the missing component with the help of 2×1 robots, which can create fan-out gates that produce multiple copies of the inputs. Using these gates we are able to establish the full range of computational universality as presented by complex digital circuits. As an example we connect our logic elements to produce a 3-bit counter. We also demonstrate how to implement a data storage element.

关键词： Logic gates computers Clocks Robot kinematics Radiation detectors Wiring

来源：评论

学校读者我要写书评

暂无评论

Silicon Nanoparticles: Porous Silicon Nanoparticle Delivery of Tandem Peptide Anti‐Infectives for the Treatment ofPseudomonas aeruginosaLung Infections (Adv. Mater. 35/2017)

引用

Advanced Materials 2017年第35期29卷

作者： Ester J. Kwon Matthew Skalak Alessandro Bertucci Gary Braun Francesco Ricci Erkki Ruoslahti Michael J. Sailor Sangeeta N. Bhatia Koch Institute for Integrative Cancer Research and Harvard‐MIT Division of Health Sciences and Technology Massachusetts Institute of Technology Cambridge MA 02139 USA Department of Chemistry and Biochemistry University of California at San Diego La Jolla CA 92093 USA Dipartimento di Scienze e Tecnologie Chimiche University of Rome Tor Vergata Via della Ricerca Scientifica Rome 00133 Italy Cancer Research Center Sanford Burnham Prebys Medical Discovery Institute La Jolla CA 92037 USA Koch Institute for Integrative Cancer Research Institute for Medical Engineering and Science Harvard‐MIT Division of Health Sciences and Technology Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge MA 02139 USA Howard Hughes Medical Institute Massachusetts Institute of Technology Cambridge MA 02139 USA

来源：评论

学校读者我要写书评

暂无评论

Measurement of shear and slip with a GelSight tactile sensor

Measurement of shear and slip with a GelSight tactile sensor

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Wenzhen Yuan Rui Li Mandayam A. Srinivasan Edward H. Adelson Department of Mechanical Engineering MIT Cambridge MA USA Department of Electrical Engineering and Computer Science (EECS) and CSAIL MIT Cambridge MA USA Massachusetts Institute of Technology Cambridge MA US Department of Brain and Cognitive Sciences and CSAIL MIT Cambridge MA USA

Artificial tactile sensing is still underdeveloped, especially in sensing shear and slip on a contact surface. For a robot hand to manually explore the environment or perform a manipulation task such as grasping, sensing of shear forces and detecting incipient slip is important. In this paper, we introduce a method of sensing the normal, shear and torsional load on the contact surface with a GelSight tactile sensor [1]. In addition, we demonstrate the detection of incipient slip. The method consists of inferring the state of the contact interface based on analysis of the sequence of images of GelSights elastomer medium, whose deformation under the external load indicates the conditions of contact. Results with a robot gripper like experimental setup show that the method is effective in detecting interactions with an object during stable grasp as well as at incipient slip. The method is also applicable to other optical based tactile sensors.

关键词： Force Surface topography Tactile sensors Entropy

来源：评论

学校读者我要写书评

暂无评论

Inferning Trees

Inferning Trees

引用

Annual Allerton Conference on Communication, Control, and Computing

作者： Mina Karzand Guy Bresler the Department of Electrical Engineering and Computer Science at MIT and a member of RLE. the Department of Electrical Engineering and Computer Science at MIT and a member of LIDS and IDSS.

ISBN: (纸本)9781509018253

We consider the problem of learning an Ising model for the purpose of subsequently performing inference from partial observations. This is in contrast to most other work on graphical model learning, which tries to learn the true underlying graph. This objective requires a lower bound on the strength of edges for identifiability of the model. We show that in the relatively simple case of tree models, the Chow-Liu algorithm learns a distribution with accurate low-order marginals despite the model possibly being non-identifiable. In other words, a model that appears rather different from the truth nevertheless allows to carry out inference accurately.

关键词： Inferning Trees purpose objective requires

来源：评论

学校读者我要写书评

暂无评论

High-throughput single cell protease analysis on human circulating tumor cells 19

High-throughput single cell protease analysis on human circu...

引用

19th International Conference on Miniaturized Systems for Chemistry and Life sciences, MicroTAS 2015

作者： Jing, T. Khoo, B.L. Ng, E.X. Lee, S.C. Han, J. Lim, C.T. Chen, C.-H. Department of Biomedical Engineering National University of Singapore Singapore Singapore Singapore-MIT Alliance for Research and Technology Singapore Singapore Department of Hematology-Oncology National University Cancer Institute Singapore Singapore Cancer Science Institute of Singapore National University of Singapore Singapore Singapore Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology United States Mechanobiology Institute National University of Singapore Singapore Singapore National University of Singapore Singapore Singapore

ISBN: (纸本)9780979806483

Detection of circulating tumor cells (CTCs) from cancer patients' blood provides a convenient method for early-stage cancer diagnosis and to monitor disease progression. Many studies have confirmed that tumor consists of a heterogeneous cell composition. Only a small portion of CTCs can persist within the blood circulatory system. Residing CTCs may then extravasate to form a secondary tumor, mediated by the secretion of matrix metalloproteinases (MMP). Here, we present an integrated microfluidic approach for MMP activity measurement on sorted single CTCs. The assay results could contribute to identify CTC subpopulations of different metastatic potential and provide insights into cancer heterogeneity. © 15CBMS-0001.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

Clustering of Capnogram Features to Track State Transitions During Procedural Sedation

Clustering of Capnogram Features to Track State Transitions ...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Rebecca J. Mieloszyk Margaret G. Guo George C. Verghese Gary Andolfatto Thomas Heldt Baruch S. Krauss the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) Cambridge MA USA. the Department of Emergency Medicine University of British Columbia Lions Gate Hospital Vancouver BC Canada. the Institute for Medical Engineering and Science and the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) Cambridge MA USA. the Division of Emergency Medicine at Boston Children's Hospital and the Department of Pediatrics at Harvard Medical School Boston MA USA.

ISBN: (纸本)9781424492695

Procedural sedation has allowed many painful interventions to be conducted outside the operating room. During such procedures, it is important to maintain an appropriate level of sedation to minimize the risk of respiratory depression if patients are over-sedated and added pain or anxiety if under-sedated. However, there is currently no objective way to measure the patient's evolving level of sedation during a procedure. We investigated the use of capnography-derived features as an objective measure of sedation level. Time-based capnograms were recorded from 30 patients during sedation for cardioversion. Through causal k-means clustering of selected features, we sequentially assigned each exhalation to one of three distinct clusters, or states. Transitions between these states correlated to events during sedation (drug administration, procedure start and end, and clinical interventions). Similar clustering of capnogram recordings from 26 healthy, non-sedated subjects did not reveal distinctly separated states.

关键词： Clustering Capnogram Features Track State Transitions During Procedural Sedation

来源：评论

学校读者我要写书评

暂无评论

Generation of Bright, Spatially Coherent Soft X-Ray High Harmonics in a Hollow Waveguide Using Two-Color Synthesized Laser Pulses

引用

Physical Review Letters 2015年第4期115卷 043901-043901页

作者： Cheng Jin Gregory J. Stein Kyung-Han Hong C. D. Lin J. R. Macdonald Laboratory Department of Physics Kansas State University Manhattan Kansas 66506 USA Department of Electrical Engineering and Computer Science and Research Laboratory of Electronics Massachusetts Institute of Technology (MIT) Cambridge Massachusetts 02139 USA

We investigate the efficient generation of low-divergence high-order harmonics driven by waveform-optimized laser pulses in a gas-filled hollow waveguide. The drive waveform is obtained by synthesizing two-color laser pulses, optimized such that highest harmonic yields are emitted from each atom. Optimization of the gas pressure and waveguide configuration has enabled us to produce bright and spatially coherent harmonics extending from the extreme ultraviolet to soft x rays. Our study on the interplay among waveguide mode, atomic dispersion, and plasma effect uncovers how dynamic phase matching is accomplished and how an optimized waveform is maintained when optimal waveguide parameters (radius and length) and gas pressure are identified. Our analysis should help laboratory development in the generation of high-flux bright coherent soft x rays as tabletop light sources for applications.

关键词： SOFT X rays HARMONICS (Electric waves) ELECTRIC waves LASER pulses WAVEGUIDES LASER beams LIGHT sources

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：