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

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

来源：评论

学校读者我要写书评

暂无评论

OPTISTIM – Combining computational neuroscience and electrophysiology for optimal cortical electric stimulation

引用

Brain Stimulation 2017年第4期10卷 e30-e30页

作者： Moritz Dannhauer Alexis Gkogkidis Seyhmus Guler Kimia Shayestehfard Rob MacLeod Tonio Ball Jeff Ojemann Dana Brooks Scientific Computing and Imaging Institute (SCI) University of Utah 72 Central Campus Dr Salt Lake City UT 84112 USA Center for Integrative Biomedical Computing (CIBC) University of Utah 72 Central Campus Dr Salt Lake City UT 84112 USA Electrical and Computer Engineering Northeastern University 360 Huntington Avenue Boston MA 02115 USA Intracranial EEG and Brain Imaging Lab Epilepsy Center University Hospital Freiburg Germany BrainLinks-BrainTools Cluster of Excellence University of Freiburg Germany Seattle Children’s Hospital Department of Neurological Surgery University of Washington USA

来源：评论

学校读者我要写书评

暂无评论

Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking 15

Variation-aware evaluation of MPSoC task allocation and sche...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Mingsong Chen Daian Yue Xiaoke Qin Xin Fu Prabhat Mishra Shanghai Key Lab of Trustworthy Computing East China Normal University China Department of Computer & Information Science & Engineering University of Florida USA Department of Electrical & Computer Engineering University of Houston USA

ISBN: (纸本)9783981537048

To maximize the overall performance yield, variation-aware analysis is becoming a key step in Multiprocessor System-on-Chip (MP-SoC) Task Allocation and Scheduling (TAS). Although various approaches have been investigated to improve performance yields, most of them cannot perform quantitative comparison among existing TAS heuristics, which is important for MPSoC designers to make decisions. Based on the statistical model checker UPPAAL-SMC, we propose a framework that can automatically evaluate the performance yield of TAS strategies under time and power constraints with variations. Experimental results show that our approach can not only filter inferior strategies efficiently, but also support the automated tuning of architecture and constraint parameters to achieve the required performance yield.

关键词： Time factors Tuning Monitoring Arrays Gaussian distribution Data models Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

SEGMENTATION AS POSTPROCESSING FOR HYPERSPECTRAL IMAGE CLASSIFICATION

SEGMENTATION AS POSTPROCESSING FOR HYPERSPECTRAL IMAGE CLASS...

引用

IEEE International Geoscience and Remote Sensing Symposium

作者： L. I. Jimenez V. A. Ayma P. Achanccaray G. A. O. P. Costa R. Q. Feitosa A. Plaza Hyperspectral Computing Laboratory Department of Technology of Computers and Communications University of Extremadura Computer Vision Lab Department of Electrical Engineering Catholic University of Rio de Janeiro

ISBN: (纸本)9781479979301

Hyperspectral imaging is a new technique in remote sensing that collects hundreds of images at differents wavelength values for the same area of the Earth. For instance the Airborne Visible Infra-Red Imaging Spectrometer (AVIRIS) sensor of NASA capable to obtain 224 spectral channels in a wave-length range between 40 and 250 nanometers. As a result each pixel of the image can be represented as a spectral signature. Image segmentation is the process of dividing a digital image into groups of pixels or objects. Hyperspectral image classification is an important and active area dedicated to identifying each pixel in the image with an exclusive material/object class. Several efforts had been done in this field using spectral and spatial information separately or simultaneously in order to improve the performance of the classification techniques. In this work we have developed a new technique that uses a segmentation algorithm to post-process the classification results obtained using a widely used classifier such as the support vector machine (SVM). Experimental results with a real hyperspectral data set collected over the city of Pavia, Italy, are provided.

关键词： Segmentation Classification Hyperspectral imaging

来源：评论

学校读者我要写书评

暂无评论

Automatic assessment of developmental dysplasia of the hip

Automatic assessment of developmental dysplasia of the hip

引用

IEEE International Symposium on Biomedical Imaging

作者： Niamul Quader Antony Hodgson Kishore Mulpuri Thomas Savage Rafeef Abugharbieh Department of Electrical and Computer Engineering Biomedical Signal and Image Computing Lab Department of Mechanical Engineering University of British Columbia Canada Pediatric Orthopedics Pediatric Radiology British Columbia Children's Hospital Canada

Developmental dysplasia of the hip (DDH) refers to a spectrum of hip joint abnormalities that may lead to significant adverse consequences if not detected and treated early in infancy. Clinical exam with selective ultrasound (US) imaging is the current standard used for early detection and diagnosis of DDH in infants up to 6 months of age. However, current US systems require specialized training and have considerable between-center variability, which raises concerns of missed early diagnoses and subsequent complications from late treatment. We propose a novel, automatic, and near real-time image analysis approach that extracts bone contours in US images of the neonatal hip and calculates image based dysplasia metrics (alpha and beta angles). We present quantitative validation on 54 US scans of femoral head flexion collected from 10 infants under age of 3 months.

关键词： Bones Hip Measurement Ultrasonic imaging Pediatrics Feature extraction Band-pass filters

来源：评论

学校读者我要写书评

暂无评论

A 3D dynamic biomechanical swallowing model for training and diagnosis of dysphagia

A 3D dynamic biomechanical swallowing model for training and...

引用

IEEE International Symposium on Biomedical Imaging

作者： Moshiur Rahman Farazi Bonnie Martin-Harris Negar M. Harandi Sidney Fels Rafeef Abugharbieh Biomedical Signal and Image Computing Lab Human Communication Technologies Lab Electrical and Computer Engineering University of British Columbia Canada Department of Otolaryngology-Head and Neck Surgery Medical University of South Carolina USA

ISBN: (纸本)9781467393300

We present a three dimensional (3D) biomechanical swallowing model of the oral, pharyngeal and laryngeal (OPAL) muscles and structures. Such modeling may aid in predicting functional outcomes in swallowing disorder (i.e. dysphagia) treatment and could significantly reduce therapy time. Our physics-based model captures the OPAL anatomical geometries and kinematics from 2D animations constructed from video-fluoroscopic (VF) evaluations of real patient swallowing events using the Modified Barium Swallow Impairment Profile (MBSImP™©) protocol. We investigate the upper airway dynamics with these clinically accurate kinematics and geometries. We use smoothed particle hydrodynamics (SPH) modeling of water-like and nectar-like fluid boluses, simulated within an airway-skin mesh that encompasses our modeled 3D structures and follows the model's dynamics. We demonstrate that our model can simulate a bolus in a manner consistent with clinical data, and can robustly handle fluid with different viscosity incorporating a wide range of moving boundary conditions.

关键词： Biological system modeling Atmospheric modeling Solid modeling Animation Biomechanics Fluids Three-dimensional displays

来源：评论

学校读者我要写书评

暂无评论

StoreApp: A shared storage appliance for efficient and scalable virtualized Hadoop clusters

StoreApp: A shared storage appliance for efficient and scala...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Yanfei Guo Jia Rao Dazhao Cheng Changjun Jiang Cheng-Zhong Xu Xiaobo Zhou Department of Computer Science University of Colorado Colorado Springs Colorado USA The Key Lab of Embedded System and Service Computing Tongji University Shanghai China Electrical and Computer Engineering Wayne State University Detroit Michigan USA

Virtualizing Hadoop clusters provides many benefits, including rapid deployment, on-demand elasticity and secure multi-tenancy. However, a simple migration of Hadoop to a virtualized environment does not fully exploit these benefits. The dual role of a Hadoop worker, acting as both a compute node and a data node, makes it difficult to achieve efficient IO processing, maintain data locality, and exploit resource elasticity in the cloud. We find that decoupling per-node storage from its computation opens up opportunities for IO acceleration, locality improvement, and on-the-fly cluster resizing. To fully exploit these opportunities, we propose StoreApp, a shared storage appliance for virtual Hadoop worker nodes co-located on the same physical host. To completely separate storage from computation and prioritize IO processing, StoreApp pro-actively pushes intermediate data generated by map tasks to the storage node. StoreApp also implements late-binding task creation to take the advantage of prefetched data due to mis-aligned records. Experimental results show that StoreApp achieves up to 61% performance improvement compared to stock Hadoop and resizes the cluster to the (near) optimal degree of parallelism.

关键词： Prefetching Benchmark testing Cloud computing computers Conferences Elasticity Parallel processing

来源：评论

学校读者我要写书评

暂无评论

Clustered Spatio-Temporal Compression Design for Wireless Sensor Networks

Clustered Spatio-Temporal Compression Design for Wireless Se...

引用

International Conference on computer Communications and Networks (ICCCN)

作者： Siguang Chen Chuanxin Zhao Meng Wu Zhixin Sun Jian Jin Department of Electrical and Computer Engineering The University of British Columbia Vancouver Canada Key Lab of Broadband Wireless Communication and Sensor Network Technology of Ministry of Education Nanjing University of Posts and Telecommunications Nanjing China School of Electrical Engineering and Computing Curtin University Perth Australia

Since the temporal and spatial correlations of sensor readings are existent in wireless sensor networks (WSNs), this paper develops a clustered spatio-temporal compression scheme by integrating network coding (NC) and compressed sensing (CS) for correlated data. The proper selections of NC coefficients and measurement matrix are designed for this scheme. This design guarantees the reconstruction of clustered compression data successfully with an overwhelming probability and unifies the operations of NC and CS into real field successfully. Moreover, in contrast to other spatio-temporal schemes with the same computational complexity, the proposed scheme possesses lower reconstruction error by employing the independent encoding in each sensor node (including the cluster head nodes) and joint decoding in sink node. At the same time it has lower computational complexity as compared with JSM-based spatio-temporal scheme by exploiting the temporal and spatial correlations of original sensing data step by step. Finally, the simulation results verify that the clustered spatio-temporal compression scheme outperforms the other two compression schemes significantly in terms of recovery error and compression gain.

关键词： Correlation Wireless sensor networks Sensors Encoding Computational complexity Decoding Security

来源：评论

学校读者我要写书评

暂无评论

An exploratory study on the relation between user interface complexity and the perceived quality

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8541卷 370-379页

作者： Taba, Seyyed Ehsan Salamati Keivanloo, Iman Zou, Ying Ng, Joanna Ng, Tinny School of Computing Queen’s University Canada Department of Electrical and Computer Engineering Queen’s University Canada IBM Toronto Lab MarkhamON Canada

The number of mobile applications has increased drastically in the past few years. Some applications are superior to the others in terms of user-perceived quality. User-perceived quality can be defined as the user’s opinion of a product. For mobile applications, it can be quantified by the number of downloads and ratings. Earlier studies suggested that user interface (UI) barriers (i.e., input or output challenges) can affect the user-perceived quality of mobile applications. In this paper, we explore the relation between UI complexity and user-perceived quality in Android applications. Furthermore, we strive to provide guidelines for the proper amount of UI complexity that helps an application achieve high user-perceived quality through an empirical study on 1,292 mobile applications in 8 different categories. © Springer International Publishing Switzerland 2014.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：