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

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Asymmetrical Voltage-Cancellation Control for a Series-Series Fixed-Frequency Inductive Power Transfer System

Asymmetrical Voltage-Cancellation Control for a Series-Serie...

引用

Annual Conference of the IEEE Industrial electronics Society

作者： Bernardo Peschiera Kunwar Aditya Sheldon S. Williamson Power Electronics and Energy Research (PEER) Group P. D. Ziogas Power Electronics Laboratory Department of Electrical and Computer Engineering Concordia University General Motors-Automotive Center of Excellence (GM-ACE) Department of Electrical Computer and software Engineering Faculty of Engineering and Applied Science The University of Ontario-Institute of Technology

ISBN: (纸本)9781479940318

The main objective of this paper is to study and analyze the power supply stage of a series-series (SS) fixed-frequency inductive power transfer (IPT) system, in order to suggest effective soft switching techniques to improve its performance. Because of the characteristics of the system, zero voltage switching (ZVS) operation was used and three control strategies were compared: phase-shift (PS) control, asymmetrical duty cycle (ADC) control and optimal asymmetrical voltage cancellation (o_AVC) control. The o_AVC control is found to be more efficient for this application. Additionally, this paper presents an inductive power transfer transformer (IPTT) prototype that was built in the laboratory, which helped validate the theoretical analysis and simulation results with practical tests. The plots and circuit simulations were obtained from MATLAB and SIMULINK respectively.

关键词： Battery Charging Electric vehicles Inductive power transfer Power electronics Resonance Transportation

来源：评论

学校读者我要写书评

暂无评论

Malay anaphor and antecedent candidate identification: A proposed solution

Malay anaphor and antecedent candidate identification: A pro...

引用

4th Asian Conference on Intelligent Information and Database systems, ACIIDS 2012

作者： Mohd Noor, Noorhuzaimi Karimah Noah, Shahrul Azman Ab Aziz, Mohd Juzaiddin Hamzah, Mohd Pouzi Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang Lebuhraya Tun Razak Pahang Kuantan 26300 Malaysia Knowledge Technology Research Group Faculty of Technology and Information Science Universiti Kebangsaan Malaysia Selangor Bangi 43600 Malaysia Department of Computer Science Faculty of Science Technology Universiti Malaysia Terengganu Terengganu Kuala Terengganu 21030 Malaysia

ISBN: (纸本)9783642284922

This paper discusses on Malay language anaphor and antecedent candidate determination using the knowledge-poor techniques. The process to determine the candidate for anaphor and antecedent is important because the usage of pronouns in a text is not always considered as an anaphor. Sometimes pronoun referred to something outside the context or does not refer to any situation in the text. Such a situation is also exhibited in the use of pronouns in Malay language. Therefore, certain rules must be issued to identify the antecedent and anaphor candidate. Pronoun usage in Malay language does indicate the gender of the person, but to distinguish the status of the person such as imperial family, honorable people and common people. Thus, generic rules that have been used by other languages cannot simply be adapted for Malay language. The proposed solution concerns with the distance of each candidate and location of the Subject-Verb-Object (SVO) used to determine the anaphor candidate. As such, syntactic information, semantic information and distance of anaphor-antecedent are seen important to determine the antecedent candidate. © 2012 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Towards runtime testing in automotive embedded systems

Towards runtime testing in automotive embedded systems

引用

IEEE International Symposium on Industrial Embedded systems

作者： Bradatsch, C. Ungerer, T. Zalman, R. Lajtkep, A. Systems and Networking Department of Computer Science University of Augsburg 86159 Augsburg Germany Automotive Electronics Microcontroller Development System and Software Engineering Infineon Technologies AG 75579 Neubiberg Germany Electrics/Electronics and Driver Environment Platform Technologies Software and AUTOSAR BMW Group 80788 Munich Germany

ISBN: (纸本)9781612848204

Runtime testing is a common way to detect faults during normal system operation. To achieve a specific diagnostic coverage runtime testing is also used in safety critical, automotive embedded systems. In this paper we propose a test architecture to consolidate the hardware resource consumption and timing needs of runtime tests and of application and system tasks in a hard real-time embedded system as applied to the automotive domain. Special emphasis is put to timing requirements of embedded systems with respect to hard real-time and concurrent hardware resource accesses of runtime tests and tasks running on the target system. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Safe automotive software

Safe automotive software

引用

Lecture Notes in computer science

作者： Heckemann, Karl Gesell, Manuel Pfister, Thomas Berns, Karsten Schneider, Klaus Trapp, Mario Fraunhofer Institute for Experimental Software Engineering Fraunhofer-Platz 1 67663 Kaiserslautern Germany Embedded Systems Group Department of Computer Science University of Kaiserslautern Germany Robotics Research Lab. Department of Computer Science University of Kaiserslautern Germany

ISBN: (纸本)9783642238659

For automotive manufacturers and tier-1 suppliers, the upcoming safety standard ISO 26262 results in new requirements for the development of embedded electronics and software. In particular, the variety of driver assistance systems that autonomously influence the driving dynamics of a vehicle may have a high risk potential and require development in accordance with the normative guidelines. But especially for those systems whose function is typically not based solely on hardware but on complex software algorithms, safety certification can be very complex or even impossible. In this paper the problems of development of vehicle systems according to ISO 26262 are described. Finally an approach for a safety-oriented reference architecture is presented that introduces adaptive software safety cages. This architecture enables application of formal verification methods. Supported by multisensor data fusion this allows to reduce safety requirements for vehicle control systems. © 2011 Springer-Verlag.

关键词： Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

Towards runtime testing in automotive embedded systems

Towards runtime testing in automotive embedded systems

引用

International Symposium on Industrial Embedded systems

作者： C. Bradatsch T. Ungerer R. Zalman A. Lajtkep Systems and Networking Department of Computer Science University of Augsburg Augsburg Germany Automotive Electronics Microcontroller Development-System & Software Engineering Infineon Technologies Neubiberg Germany Electrics/Electronics and Driver Environment Platform Technologies Software and AUTOSAR BMW Group Munich Germany

关键词： Circuit faults Testing Runtime Hardware Safety Automotive engineering Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Resource management of enterprise cloud systems using layered queuing and historical performance models

Resource management of enterprise cloud systems using layere...

引用

2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010

作者： Bacigalupo, David A. Van Hemert, Jano Usmani, Asif Dillenberger, Donna N. Wills, Gary B. Jarvis, Stephen A. School of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom Data-Intensive Research Group School of Informatics University of Edinburgh EH8 9AB United Kingdom BRE Centre for Fire Safety Engineering School of Engineering University of Edinburgh EH9 3JL United Kingdom IBM T.J. Watson Research Centre Yorktown Heights NY 10598 United States Department of Computer Science High Performance Systems Group University of Warwick CV4 7AL United Kingdom

ISBN: (纸本)9781424465347

The automatic allocation of enterprise workload to resources can be enhanced by being able to make 'whatif' response time predictions, whilst different allocations are being considered. It is important to quantitatively compare the effectiveness of different prediction techniques for use in cloud infrastructures. To help make the comparison of relevance to a wide range of possible cloud environments it is useful to consider the following. 1.) urgent cloud customers such as the emergency services that can demand cloud resources at short notice (e.g. for our FireGrid emergency response software). 2.) dynamic enterprise systems, that must rapidly adapt to frequent changes in workload, system configuration and/or available cloud servers. 3.) The use of the predictions in a coordinated manner by both the cloud infrastructure and cloud customer management systems. 4.) A broad range of criteria for evaluating each technique. However, there have been no previous comparisons meeting these requirements. This paper, meeting the above requirements, quantitatively compares the layered queuing and ("HYDRA") historical techniques - including our initial thoughts on how they could be combined. Supporting results and experiments include the following: i.) defining, investigating and hence providing guidelines on the use of a historical and layered queuing model;ii.) using these guidelines showing that both techniques can make low overhead and typically over 70% accurate predictions, for new server architectures for which only a small number of benchmarks have been run;and iii.) defining and investigating tuning a prediction-based cloud workload and resource management algorithm. © 2010 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Resource management of enterprise cloud systems using layered queuing and historical performance models

Resource management of enterprise cloud systems using layere...

引用

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

作者： David A. Bacigalupo Jano van Hemert Asif Usmani Donna N. Dillenberger Gary B. Wills Stephen A. Jarvis School of Electronics and Computer Science University of Southampton UK Data-Intensive Research Group School of Informatics University of Edinburgh UK BRE Centre of Fire Safety Engineering School of Engineering University of Edinburgh UK IBM Thomas J. Watson Research Center Yorktown Heights NY USA High Performance Systems Group Department of Computer Science University of Warwick UK

ISBN: (纸本)9781424465330

The automatic allocation of enterprise workload to resources can be enhanced by being able to make `what-if' response time predictions, whilst different allocations are being considered. It is important to quantitatively compare the effectiveness of different prediction techniques for use in cloud infrastructures. To help make the comparison of relevance to a wide range of possible cloud environments it is useful to consider the following. 1.) urgent cloud customers such as the emergency services that can demand cloud resources at short notice (e.g. for our FireGrid emergency response software). 2.) dynamic enterprise systems, that must rapidly adapt to frequent changes in workload, system configuration and/or available cloud servers. 3.) The use of the predictions in a coordinated manner by both the cloud infrastructure and cloud customer management systems. 4.) A broad range of criteria for evaluating each technique. However, there have been no previous comparisons meeting these requirements. This paper, meeting the above requirements, quantitatively compares the layered queuing and (¿HYDRA¿) historical techniques - including our initial thoughts on how they could be combined. Supporting results and experiments include the following: i.) defining, investigating and hence providing guidelines on the use of a historical and layered queuing model; ii.) using these guidelines showing that both techniques can make low overhead and typically over 70% accurate predictions, for new server architectures for which only a small number of benchmarks have been run; and iii.) defining and investigating tuning a prediction-based cloud workload and resource management algorithm.

关键词： Resource management Clouds Delay Predictive models computer science Data engineering Emergency services Disaster management Guidelines Quality of service

来源：评论

学校读者我要写书评

暂无评论

An Assessment on Technologies for Implementing Core Assets in Service-Oriented Product Lines

An Assessment on Technologies for Implementing Core Assets i...

引用

Brazilian Symposium on software Components, Architectures and Reuse (SBCARS)

作者： Heberth Braga G. Ribeiro Silvio Romero de Lemos Meira Eduardo Santana de Almeida Daniel Lucrédio Alexandre Álvaro Vander Alves Vinicius Cardoso Garcia Meira Informatics Center Federal University of Pernambuco (UFPE) Recife Pernambuco Brazil School of Information and Communication Engineering Sungkyunkwan University (SKKU) Suwon Korea LG Electronics Inc LG Electronics Inc Sao Paulo Brazil Computer Science Department Federal University of São Carlos Sao Paulo Brazil Computer Science Department University of Brasília (DC-UnB) Brasilia Brazil Reuse in Software Engineering Group (RiSE) Recife Pernambuco Brazil

software Product Lines (SPL) and Service-Orientation (SO) are two strategies that focus on different goals, but they both use software reuse as their main principle. SPL encompass a family of software systems developed from reusable assets, while SO is a way of developing service-based applications, providing reusable business functionalities. In the combination of SPL and SO, a key aspect is the understanding about the use of variability mechanisms for realizing variabilities in different levels of granularity (e.g., components, services, service-orchestrations) addressed in a technology specific way and improve modularity, complexity, and Separation of Concerns (SoC) of reusable assets. In this paper, we present a quantitative case study for evaluating the modularity, complexity, SoC and stability of reusable core assets using distinct technologies for implementing them, and an initial decision model based to guide software engineers on choosing suitable technologies.

关键词： Measurement Context Service oriented architecture software Complexity theory Couplings Runtime

来源：评论

学校读者我要写书评

暂无评论

On the Influence of Thread Allocation for Irregular Codes in NUMA systems

On the Influence of Thread Allocation for Irregular Codes in...

引用

IEEE International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)

作者： Juan A. Lorenzo Francisco F. Rivera Peter Tuma Juan C. Pichel Computer Architecture Group Electronics and Computer Science Department University of Santiago de Compostela Spain Distributed Systems Research Group Department of Software Engineering Charles University Prague Czech Republic Galicia Supercomputing Centre Santiago de Compostela Spain

This work presents a study undertaken to characterise the FINISTERRAE supercomputer, one of the biggest NUMA systems in Europe. The main objective was to determine the performance effect of bus contention and cache coherency as well as the suitability of porting strategies regarding irregular codes in such a complex architecture. Results show that: (1) cores which share a socket can be considered as independent processors in this context; (2) for big data sizes, the effect of sharing a bus degrades the final performance but masks the cache coherency effects; (3) the NUMA factor (remote to local memory latency ratio) is an important factor on irregular codes and (4) the default kernel allocation policy is not optimal in this system. These results allow us to understand the behaviour of thread-to-core mappings and memory allocation policies.

关键词： Yarn Supercomputers Delay Europe Sockets Kernel Sparse matrices Distributed computing Application software computer architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：