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

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Possibilistic boolean games: Strategic reasoning under incomplete information

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年 8761卷 196-209页

作者： De Clercq, Sofie Schockaert, Steven De Cock, Martine Nowé, Ann Dept. of Applied Math CS&Stats Ghent University Ghent Belgium School of Computer Science&Informatics Cardiff University Cardiff United Kingdom Center for Data Science University of Washington Tacoma United States Computational Modeling Lab Vrije Universiteit Brussel Brussels Belgium

Boolean games offer a compact alternative to normal-form games, by encoding the goal of each agent as a propositional formula. In this paper, we show how this framework can be naturally extended to model situations in which agents are uncertain about other agents’ goals. We first use uncertainty measures from possibility theory to semantically define (solution concepts to) Boolean games with incomplete information. Then we present a syntactic characterization of these semantics, which can readily be implemented, and we characterize the computational complexity. © Springer International Publishing Switzerland 2014.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Synchronization and ordering semantics in hybrid MPI+GPU programming

Synchronization and ordering semantics in hybrid MPI+GPU pro...

引用

2013 IEEE 37th Annual computer Software and Applications Conference, COMPSAC 2013

作者： Aji, Ashwin M. Balaji, Pavan Dinan, James Feng, Wu-Chun Thakur, Rajeev Dept. of Computer Science Virginia Tech United States Math. and Comp. Sci. Div. Argonne National Lab. United States

ISBN: (纸本)9780769549798

Despite the vast interest in accelerator-based systems, programming large multinode GPUs is still a complex task, particularly with respect to optimal data movement across the host-GPU PCIe connection and then across the network. In order to address such issues, GPU-integrated MPI solutions have been developed that integrate GPU data movement into existing MPI implementations. Currently availab.e GPU-integrated frameworks differ in aspects related to the buffer synchronization and ordering semantics they provide to users. The noteworthy models are (1) unified virtual addressing (UVA)-based approach and (2) MPI attributes-based approach. In this paper, we compare these approaches, for both programmability and performance, and demonstrate that the UVA-based design is useful for isolated communication with no data dependencies or ordering requirements, while the attributes-based design might be more appropriate when multiple interdependent MPI and GPU operations are interleaved. © 2013 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Modeling stable matching problems with answer set programming

Modeling stable matching problems with answer set programmin...

引用

7th International Web Rule Symposium on Theory, Practice, and Applications of Rules on the Web, RuleML 2013

作者： De Clercq, Sofie Schockaert, Steven De Cock, Martine Nowé, Ann Dept. of Applied Math. CS and Stats Ghent University Ghent Belgium School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Computational Modeling Lab Vrije Universiteit Brussel Brussels Belgium

ISBN: (纸本)9783642396168

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley [7]. Several variants and extensions to this problem have since been investigated to cover a wider set of applications. Each time a new variant is considered, however, a new algorithm needs to be developed and implemented. As an alternative, in this paper we propose an encoding of the SMP using Answer Set Programming (ASP). Our encoding can easily be extended and adapted to the needs of specific applications. As an illustration we show how stable matchings can be found when individuals may designate unacceptable partners and ties between preferences are allowed. Subsequently, we show how our ASP based encoding naturally allows us to select specific stable matchings which are optimal according to a given criterion. Each time, we can rely on generic and efficient off-the-shelf answer set solvers to find (optimal) stable matchings. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Synchronization and Ordering Semantics in Hybrid MPI+GPU Programming

Synchronization and Ordering Semantics in Hybrid MPI+GPU Pro...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Ashwin M. Aji Pavan Balaji James Dinan Wu-chun Feng Rajeev Thakur Dept. of Computer Science Virginia Tech Math. and Comp. Sci. Div. Argonne National Lab.

ISBN: (纸本)9781479913725

关键词： Graphics processing units Synchronization Semantics Programming Data transfer Kernel Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Certifying the safe design of a virtual fixture control algorithm for a surgical robot

Certifying the safe design of a virtual fixture control algo...

引用

16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013 - Part of CPSWeek 2013

作者： Kouskoulas, Yanni Renshaw, David Platzer, André Kazanzides, Peter Johns Hopkins University Applied Physics Lab. United States Carnegie Mellon University Computer Science Dept. United States Johns Hopkins University Dept. of Computer Science United States

ISBN: (纸本)9781450315678

We applied quantified differential-dynamic logic (QdL) to analyze a control algorithm designed to provide directional force feedback for a surgical robot. We identified problems with the algorithm, proved that it was in general unsafe, and described exactly what could go wrong. We then applied QdL to guide the development of a new algorithm that provides safe operation along with directional force feedback. Using KeYmaeraD (a tool that mechanizes QdL), we created a machine-checked proof that guarantees the new algorithm is safe for all possible inputs. Copyright © 2013 ACM.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Exploring user motivations for eyes-free interaction on mobile devices 12

Exploring user motivations for eyes-free interaction on mobi...

引用

30th ACM Conference on Human Factors in Computing Systems, CHI 2012

作者： Yi, Bo Cao, Xiang Fjeld, Morten Zhao, Shengdong Dept. of Computer Science National University of Singapore Singapore Microsoft Research Asia Beijing China T2i Lab. Dept. of Applied IT Chalmers University of Technology Sweden

ISBN: (纸本)9781450310154

While there is increasing interest in creating eyes-free interaction technologies, a solid analysis of why users need or desire eyes-free interaction has yet to be presented. To gain a better understanding of such user motivations, we conducted an exploratory study with four focus groups, and suggest a classification of motivations for eyes-free interaction under four categories (environmental, social, device features, and personal). Exploring and analyzing these categories, we present early insights pointing to design implications for future eyes-free interactions. Copyright 2012 ACM.

关键词： Motivation

来源：评论

学校读者我要写书评

暂无评论

Interactive exploration of geospatial network visualization

Interactive exploration of geospatial network visualization

引用

30th ACM Conference on Human Factors in Computing Systems, CHI 2012

作者： Nagel, Till Duval, Erik Vande Moere, Andrew Interaction Design Lab. University of Applied Sciences Potsdam 14469 Potsdam Germany Dept. Computer Science KU Leuven 3001 Leuven Belgium Dept. Architecture Urbanism and Planning KU Leuven 3001 Leuven Belgium

ISBN: (纸本)9781450310161

This paper presents a tabletop visualization of relations between geo-positioned locations. We developed an interactive visualization, which enables users to visually explore a geospatial network of actors. The multitouch tabletop, and the large size of the interactive surface invite users to explore the visualization in semi-public spaces. For a case study on scientific collab.rations between institutions, we applied and improved several existing techniques for a walk-up-and-use system aimed at scientists for a social setting at a conference. We describe our iterative design approach, our two implemented prototypes, and the lessons learnt from their creation. We conducted user evaluation studies at the two on-location demonstrations, which provide evidence of the prototype usability and usefulness, and its support for understanding the distribution and connectivity in a geospatial network. © 2012 ACM.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Transparent accelerator migration in a virtualized GPU environment 12

Transparent accelerator migration in a virtualized GPU envir...

引用

12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2012

作者： Xiao, Shucai Balaji, Pavan Dinan, James Zhu, Qian Thakur, Rajeev Coghlan, Susan Lin, Heshan Wen, Gaojin Hong, Jue Feng, Wu-Chun Dept. of Computer Science Virginia Tech. United States Math. and Comp. Sci. Div. Argonne National Lab. United States Accenture Technologies United States Leadership Comp. Facility Argonne National Lab. United States Shenzhen Inst. of Adv. Tech. Chinese Academy of Sciences China

ISBN: (纸本)9780769546919

This paper presents a framework to support transparent, live migration of virtual GPU accelerators in a virtualized execution environment. Migration is a critical capability in such environments because it provides support for fault tolerance, on-demand system maintenance, resource management, and load balancing in the mapping of virtual to physical GPUs. Techniques to increase responsiveness and reduce migration overhead are explored. The system is evaluated by using four application kernels and is demonstrated to provide low migration overheads. Through transparent load balancing, our system provides a speedup of 1.7 to 1.9 for three of the four application kernels. © 2012 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

VOCL: An optimized environment for transparent virtualization of graphics processing units

VOCL: An optimized environment for transparent virtualizatio...

引用

2012 Innovative Parallel Computing, InPar 2012

作者： Xiao, Shucai Balaji, Pavan Zhu, Qian Thakur, Rajeev Coghlan, Susan Lin, Heshan Wen, Gaojin Hong, Jue Feng, Wu-Chun Dept. of Computer Science Virginia Tech. United States Math. and Comp. Sci. Div. Argonne National Lab. United States Accenture Technology Labs. United States Leadership Comp. Facility Argonne National Lab. United States Shenzhen Inst. of Adv. Tech. Chinese Academy of Sciences China

ISBN: (纸本)9781467326322

Graphics processing units (GPUs) have been widely used for general-purpose computation acceleration. However, current programming models such as CUDA and OpenCL can support GPUs only on the local computing node, where the application execution is tightly coupled to the physical GPU hardware. In this work, we propose a virtual OpenCL (VOCL) framework to support the transparent utilization of local or remote GPUs. This framework, based on the OpenCL programming model, exposes physical GPUs as decoupled virtual resources that can be transparently managed independent of the application execution. The proposed framework requires no source code modifications. We also propose various strategies for reducing the overhead caused by data communication and kernel launching and demonstrate about 85% of the data write bandwidth and 90% of the data read bandwidth compared to data write and read, respectively, in a native nonvirtualized environment. We evaluate the performance of VOCL using four real-world applications with various computation and memory access intensities and demonstrate that compute-intensive applications can execute with negligible overhead in the VOCL environment. © 2012 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：