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

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

FANTOM5 CAGE profiles of human and mouse samples

引用

Scientific Data 2017年第1期4卷 1-10页

作者： Noguchi, Shuhei Arakawa, Takahiro Fukuda, Shiro Furuno, Masaaki Hasegawa, Akira Hori, Fumi Ishikawa-Kato, Sachi Kaida, Kaoru Kaiho, Ai Kanamori-Katayama, Mutsumi Kawashima, Tsugumi Kojima, Miki Kubosaki, Atsutaka Manabe, Ri-Ichiroh Murata, Mitsuyoshi Nagao-Sato, Sayaka Nakazato, Kenichi Ninomiya, Noriko Nishiyori-Sueki, Hiromi Noma, Shohei Saijyo, Eri Saka, Akiko Sakai, Mizuho Simon, Christophe Suzuki, Naoko Tagami, Michihira Watanabe, Shoko Yoshida, Shigehiro Arner, Peter Axton, Richard A. Babina, Magda Kenneth Baillie, J. Barnett, Timothy C. Beckhouse, Anthony G. Blumenthal, Antje Bodega, Beatrice Bonetti, Alessandro Briggs, James Brombacher, Frank Carlisle, Ailsa J. Clevers, Hans C. Davis, Carrie A. Detmar, Michael Dohi, Taeko Edge, B. Albert S. Edinger, Matthias Ehrlund, Anna Ekwall, Karl Endoh, Mitsuhiro Enomoto, Hideki Eslami, Afsaneh Fagiolini, Michela Fairbairn, Lynsey Farach-Carson, Mary C. Faulkner, Geoffrey J. Ferrai, Carmelo Fisher, Malcolm E. Forrester, Lesley M. Fujita, Rie Furusawa, Jun-Ichi Geijtenbeek, Teunis B. Gingeras, Thomas Goldowitz, Daniel Guhl, Sven Guler, Reto Gustincich, Stefano Ha, Thomas J. Hamaguchi, Masahide Hara, Mitsuko Hasegawa, Yuki Herlyn, Meenhard Heutink, Peter Hitchens, Kelly J. Hume, David A. Ikawa, Tomokatsu Ishizu, Yuri Kai, Chieko Kawamoto, Hiroshi Kawamura, Yuki I. Kempfle, Judith S. Kenna, Tony J. Kere, Juha Khachigian, Levon M. Kitamura, Toshio Klein, Sarah Peter Klinken, S. Knox, Alan J. Kojima, Soichi Koseki, Haruhiko Koyasu, Shigeo Lee, Weonju Lennartsson, Andreas MacKay-Sim, Alan Mejhert, Niklas Mizuno, Yosuke Morikawa, Hiromasa Morimoto, Mitsuru Moro, Kazuyo Morris, Kelly J. Motohashi, Hozumi Mummery, Christine L. Nakachi, Yutaka Nakahara, Fumio Nakamura, Toshiyuki Nakamura, Yukio Nozaki, Tadasuke Ogishima, Soichi Ohkura, Naganari Ohno, Hiroshi Ohshima, Mitsuhiro Okada-Hatakeyama, Mariko Okazaki, Yasushi Orlando, Valerio Ovchinnikov, Dmitry A. Passier, Robert Patrikakis, Margaret Pombo, Ana Pradhan-Bhatt, Swati Qin, Xian-Yang Rehli, Michael Rizzu, Patrizia Roy, S Division of Genomic Technologies RIKEN Center for Life Science Technologies Yokohama Kanagawa 230-0045 Japan RIKEN Omics Science Center Yokohama Kanagawa 230-0045 Japan Department of Medicine Karolinska Institutet Stockholm 14186 Sweden Karolinska University Hospital Center for Metabolism and Endocrinology Stockholm 14186 Sweden Scottish Centre for Regenerative Medicine University of Edinburgh 5 Little France Drive Edinburgh EH164UU United Kingdom Department of Dermatology and Allergy Charite University Medicine Berlin Charitéplatz 1 Berlin 10117 Germany Roslin Institute and Royal School of Veterinary Studies University of Edinburgh Edinburgh EH259RG United Kingdom Australian Infectious Diseases Research Centre University of Queensland St Lucia 4072 QLD Australia School of Chemistry and Molecular Biosciences University of Queensland St Lucia 4072 QLD Australia Bio-Rad Laboratories Pty Ltd Hercules 94547 CA United States University of Queensland Diamantina Institute University of Queensland Woolloongabba 4102 QLD Australia IRCCS Fondazione Santa Lucia Via del Fosso di Fiorano 64 Rome 00143 Italy Australian Institute for Bioengineering and Nanotechnology University of Queensland Brisbane St Lucia 4072 QLD Australia Division of Immunology Institute of Infectious Diseases and Molecular Medicine University of Cape Town Anzio Road Observatory 7925 South Africa Immunology of Infectious Diseases Faculty of Health Sciences South African Medical Research Council University of Cape Town Anzio Road 7925 South Africa International Centre for Genetic Engineering and Biotechnology Cape Town Component Anzio Road 7925 South Africa Hubrecht Institute Royal Netherlands Academy of Arts and Sciences Uppsalalaan 8 3584 Netherlands University Medical Centre Utrecht Postbus 85500 Utrecht 3508 Netherlands Genomics Cold Spring Harbor Laboratory Cold Spring Harbor New York 11797 NY United States Institute of Pharmaceutical Sciences ETH Zurich Vladi

In the FANTOM5 project, transcription initiation events across the human and mouse genomes were mapped at a single base-pair resolution and their frequencies were monitored by CAGE (Cap Analysis of Gene Expression) coupled with single-molecule sequencing. Approximately three thousands of samples, consisting of a variety of primary cells, tissues, cell lines, and time series samples during cell activation and development, were subjected to a uniform pipeline of CAGE data production. The analysis pipeline started by measuring RNA extracts to assess their quality, and continued to CAGE library production by using a robotic or a manual workflow, single molecule sequencing, and computational processing to generate frequencies of transcription initiation. Resulting data represents the consequence of transcriptional regulation in each analyzed state of mammalian cells. Non-overlapping peaks over the CAGE profiles, approximately 200,000 and 150,000 peaks for the human and mouse genomes, were identified and annotated to provide precise location of known promoters as well as novel ones, and to quantify their activities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using equivalence classes for testing programs for safety instrumented systems

Using equivalence classes for testing programs for safety in...

引用

2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013

作者： De Vasconcelos Oliveira, Kézia Perkusich, Angelo Gorgônio, Kyller Costa Dias Da Silva, Leandro Martins, Aldenor Falcão Center of Electrical Engineering and Informatics Federal University of Campina Grande Campina Grande Parafba Brazil Computing Institute Federal University of Alagoas Maceió Alagoas Brazil Graduate Program in Electrical Engineering Federal University of Campina Grande Campina Grande Paraíba Brazil

ISBN: (纸本)9781479908622

The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In particular, SIS play an important role in oil and gas processing plants. SIS are responsible not only for the continuous operation of the plant, it also keeps the plant in a safe state, avoiding damages to the environment and minimizing risks to employees. Therefore, the correct behavior of such systems is an important goal to achieve when building industrial plants. Verification and testing of SIS programs is a very hard task to accomplish. This happens mainly for two reasons. First, testing the real system is very expensive and sometimes it may take a huge amount of time, weeks or even months. Second, those systems deal with a huge number of variables. It is not always possible for a human tester to check if all of them are correct when performing tests. Providing an automatic and formal testing approach for such systems is an important contribution for the development of such systems. In this work we introduce a new method for generating test cases for SIS programs running on programable Logic Controller (PLC). As we did on previous work, ISA 5.2 diagrams are used as specification of the systems, but now we are using a hardware-in-the-loop technique, and the target artifact is a software running on a PLC. To avoid the execution of redundant tests, we introduced a new test case generation algorithm that is based on equivalence classes. Finally, we discussed a study case in which our method is used to detect error, that were introduced on purpose, on a simple system. © 2013 IEEE.

关键词： Safety testing

来源：评论

学校读者我要写书评

暂无评论

Risk management in scientific research: A proposal guided in project management book of knowledge and Failure Mode and Effects Analysis

Risk management in scientific research: A proposal guided in...

引用

Frontiers in Education (FIE) Conference

作者： Pollyana Notargiacomo Mustaro Rogério Rossi Graduate Program in Electrical Engineering/School of Computing and Informatics Mackenzie Presbyterian University São Paulo Brazil Graduate Program in Electrical Engineering Mackenzie Presbyterian University São Paulo Brazil

ISBN: (纸本)9781467352598

The achievement of different university degrees (from graduate to the specialization, master's and doctoral) usually is related to the development and presentation of research results conducted by an Academic Advisor. However, their finalization or the results may be adversely affected by the lack of identification of risk that may present themselves during the process of construction and development of the research. To minimize these impacts, the present study was based on the alignment and adjustment of processes present in the Project Management Body of Knowledge (PMBoK), a specific guide that consolidates the best practices of project management from the Project Management Institute (PMI), and the use of Failure Mode and Effects Analysis (FMEA). From such elements and the identification of factors relevant to the educational institution involved and the processes related to the advisory and development of scientific research, it was sought to build a proposed risk analysis in the academic, named Academic Project Risk Management Plan (APRMP). This aims to contribute to the discussion and gathering information that can support the Advisor and the student at all stages of the research (planning, development and conclusion) that downside risks are avoided or minimized and that opportunities become clear and effective possibilities.

关键词： Risk management Proposals Educational institutions Monitoring Planning

来源：评论

学校读者我要写书评

暂无评论

ASIS&T annual meeting pre-conference activities: Information behavior on the move: 2013 ASIS&T SIG/USE research symposium

引用

Bulletin of the Association for Information Science and Technology 2014年第3期40卷

作者： Denise E. Agosto Lorri Mon Rong Tang Associate Professor College of Computing & Informatics Drexel University and editor of the Journal of Research on Libraries & Young Adults Associate Professor and Chair The MS-IT program in the Florida State University College of Communication and Information Associate Professor and Director Simmons Usability Lab in the Graduate School of Library and Information Science Simmons College

EDITOR'S SUMMARY The 13th Annual SIG/USE Research Symposium focused on ways mobile technologies have influenced information needs, seeking and use. In her keynote address, Caroline Haythornthwaite framed movement as changing contributorship, interactions and participation in multiple knowledge communities. A series of Ignite talks on the common theme of mobility followed, with topics ranging from mobile phones as the preferred Internet access device, credibility of mobile applications and online resources and public libraries' use of social media and mobile applications to mobile apps promoting health information literacy and supporting teleworking. Small groups brainstormed on opportunities, challenges and research ideas inspired by the theme. Annual SIG/USE awards recognized scholars for innovative work on topics including refugees' information seeking, factors influencing scholars' data sharing and drawings as visual representations of information. The symposium closed with encouragement to consider how information on the move influences perspectives and research into information behavior.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code Compression using Multi-Level Dictionary

Code Compression using Multi-Level Dictionary

引用

IEEE Latin American Symposium on Circuits and Systems

作者： Wanderson Roger Azevedo Dias Edward David Moreno Federal University of Amazonas - UFAM Institute of Computing - IComp Post-Graduate Program in Informatics - PPGI Manaus Amazonas Brazil Federal University of Sergipe - UFS Center for Exact Sciences and Technology - CCET Department of Computing - DComp Aracaju Sergipe Brazil

ISBN: (纸本)9781467348973

This paper presents a new code compression method in which we merge the Huffman algorithm with the formation of patterns of blocks and three dictionaries. We seek two consecutive blocks in two levels, one of them into compressed code and the other related to uncompressed code. We have used simulation with SimpleScalar and programs from MiBench. Our proposal has achieved a compression rate of 32.6% and 31.9%, respectively, for ARM and MIPS processor.

关键词： ARM MIPS Multi-Level Dictionary

来源：评论

学校读者我要写书评

暂无评论

Collaborative information gathering and recommendation using mobile computing

Collaborative information gathering and recommendation using...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Jonice Oliveira Andressa Silva Raphael Franckini Graduate Program in Informatics (PPGI) Department of Computing Science (DCC) Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil Department of Computing Science (DCC) Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781467360845

The increasing adoption of mobile devices can improve the collaborative participation, especially in data acquiring, of people in their space: where they live or where they work. Based in this kind of crowdsourcing, we create a proposal for The Federal University of Rio de Janeiro (UFRJ), specially its campus of “Ilha do Fundão” (Fundão Island), which has a fragmented culture since its origin. Nowadays, it is still possible to find not only a geographical distance, but also informational disaggregation and waste of resources and opportunities. In order to minimize these problems, as well motivating the collaborative work, we create an approach using mobile computing, called UFRJ Social. The main idea is that the crowd (students, professor, employers, visitors and anyone who stay in the campus) can provide information or opinions of any place (infrastructure, events, classes, bus stations and others). This application is context-sensitive, and users can receive recommendations by their geographical location and interests. This approach was evaluated in a study case and the results were positive. In this paper we also analyze how this approach can be extended in other scenarios.

关键词： Educational institutions Collaboration Mobile handsets Internet Context Proposals Communities

来源：评论

学校读者我要写书评

暂无评论

Using equivalence classes for testing programs for safety instrumented systems

Using equivalence classes for testing programs for safety in...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Kézia de Vasconcelos Oliveira Angelo Perkusich Kyller Costa Gorgônio Leandro Dias da Silva Aldenor Falcão Martins Center of Electrical Engineering and Informatics Federal University of Campina Grande Campina Grande Paraiba Brazil Computing Institute Federal University of Alagoas Maceio Alagoas Brazil Graduate Program in Electrical Engineering Federal University of Campina Grande Campina Grande Paraiba Brazil

关键词： Automata Testing Safety Valves Input variables Computational modeling Instruments

来源：评论

学校读者我要写书评

暂无评论

Evaluation of process variability on current for nanotechnologies devices

Evaluation of process variability on current for nanotechnol...

引用

2012 IEEE 3rd Latin American Symposium on Circuits and Systems, LASCAS 2012

作者： Meinhardt, Cristina Reis, Ricardo Computer Science Center - C3 Federal University of Rio Grande - FURG Rio Grande Brazil Graduate Program in Computing Institute of Informatics Federal University of Rio Grande Do Sul - UFRGS Porto Alegre Brazil

ISBN: (纸本)9781467312080

The continuous shrinking of devices has introduced new challenges to integrated circuit design, mainly to deal with the parametric variations in process parameters. This paper presents an evaluation of the process variability on the current Ids of nanotechnologies devices, individually and simultaneously, taking into account the correlation among them. The results show that the deviation from mean value is quite significant ≈ 16% for high performance models. The variation of L has the dominant effect on the overall variation of the device in high performance models while the dominant effect on the overall variation of the device in low power models still being due to Vth variations. Lastly, the effect of process parameter variations deteriorates with technology scaling, with a considerable increase in the deviation from the 22nm to 16nm technology. © 2012 IEEE.

关键词： Nanotechnology

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Process Variability on Current for Nanotechnologies Devices

Evaluation of Process Variability on Current for Nanotechnol...

引用

IEEE Latin American Symposium on Circuits and Systems

作者： Cristina Meinhardt Ricardo Reis Computer Science Center - C3 Federal University of Rio Grande - FURG Graduate Program in Computing Institute of Informatics Federal University of Rio Grande do Sul - UFRGS

ISBN: (纸本)9781467312073

关键词： Cutting parameters Nanotechnologies currents electric current HIGH-PERFORMANCE parameter variation Deviation mean value powered models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：