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

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Architecture of software tools for Domain-Specific Mathematical Modelling

Architecture of software tools for Domain-Specific Mathemati...

引用

International Conference on computer, Communications, and Control Technology (I4CT)

作者： Vitaliy Mezhuyev Faculty of Computer Systems and Software Engineering University Malaysia Pahang Gambang Malaysia

The paper discusses the methodology of Domain-Specific Mathematical Modelling, allowing development of metamodels and their application to modelling domains with different mathematical structure. The concepts of the metamodel, the metamodelling, the domain are considered, the stages of Domain-Specific Mathematical Modelling and the architecture of implementing this methodology software tools are defined.

关键词： Unified modeling language Mathematical model computer architecture Grammar Computational modeling software Virtual machining

来源：评论

学校读者我要写书评

暂无评论

Ontology based development of Domain Specific Languages for systems engineering

Ontology based development of Domain Specific Languages for ...

引用

International Conference on computer and Information Sciences (ICCOINS)

作者： Vitaliy Mezhuyev Faculty of Computer Systems and Software Engineering University Malaysia Pahang Gambang Malaysia

The new approach to development of Domain Specific Languages (DSL) for solving tasks of systems engineering (SE) is proposed. A DSL alphabet is defined on the base of an ontology of the SE domain as the set of its typical concepts. A DSL grammar on the base of Finite State Machine (FSM) formalism is defined, which allows to link the SE ontology with the different SE processes (specification of requirements, work planning, development, validation, standardisation etc.). A DSL is mapped with the set of mathematical methods, which allows to solve arising in the SE domains tasks. The approach on the sample of development of the DSL for specification of requirements is illustrated.

关键词： Ontologies DSL Grammar Modeling Unified modeling language Joining processes

来源：评论

学校读者我要写书评

暂无评论

Development of metamodels as logical and algebraic systems

Development of metamodels as logical and algebraic systems

引用

International Conference on Information Science, Electronics and Electrical engineering (ISEEE)

作者： Vitaliy Mezhuyev Faculty of Computer Systems and Software Engineering University Malaysia Pahang Gambang Malaysia

The new approach to development of metamodels for domain specific modelling is proposed in the paper. The logical system for expressing domain specific knowledge is linked with an algebraic structure, defined at the meta-metamodel level. This allows to take into account the mathematical structure of modelled domains, and to use algebraic operations for development of new effective methods for solving domain specific tasks. The applicability of the approach for development of the metamodel “Vector Logic” is shown. Vector logic is a diagrammatic system of propositional logic in which propositions are vectors in the logical space. Practical implementation of the metamodel in the Vector Logic Visual 3D Environment is considered.

关键词： Vectors Visualization Cognition Three-dimensional displays DSL Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Toward automated MAC spoofer investigations

Toward automated MAC spoofer investigations

引用

2014 7th International C Conference on computer Science and software engineering, C3S2E 2014

作者： Mokhov, Serguei A. Assels, Michael J. Paquet, Joey Debbabi, Mourad Department of Computer Science and Software Engineering Concordia University Montreal QC Canada Concordia Institute for Information Systems Engineering Concordia University Montreal QC Canada Faculty of Engineering and Computer Science Concordia University Montreal QC Canada National Cyber Forensics and Training Alliance Canada Canada

ISBN: (纸本)9781450327121

We automate live and dead forensic evidence gathering for MAC spoofer investigations and formalize its encoding in Forensic Lucid for subsequent reasoning. The monitoring covers a faculty's network focusing on 1000 analyst-managed clients. We describe initial operational deployment of the MAC Spoofer Analyzer's evidence gathering components. We also highlight immediate and future concerns regarding the automation of the reasoning aspects behind the analyzer to aid network system administrators in their daily network security monitoring, management, and maintenance activities. © 2014 ACM.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

A review of reversible medical image watermarking scheme with tamper localization and recovery capability

A review of reversible medical image watermarking scheme wit...

引用

International Conference on computer, Communications, and Control Technology (I4CT)

作者： Hui Liang Khor Siau-Chuin Liew Jasni Mohd. Zain Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang Kuantan Pahang MY Faculty of Computer Systems and Software Engineering University Malaysia Pahang Lebuhraya Tun Razak Gambang Darul Makmur Kuantan Pahang Malaysia

With the advancement of technology in communication network, it facilitated digital medical images transmitted to healthcare professional via internal network or public network (e.g. Internet). Consequently, digital medical image security has become an important issue when images and their pertinent patient information are exposed to the threats, such as tampering of images to include false data which may lead to wrong diagnosis and treatment. Medical image distortion is not to be tolerated for diagnosis purposes, thus a reversible watermarking is introduced. This paper reviews the works that have done on the reversible watermarking scheme with tamper localization and recovery capability.

关键词： Watermarking Medical diagnostic imaging Robustness Authentication Image coding

来源：评论

学校读者我要写书评

暂无评论

Reversible watermarking based on sorting prediction scheme

Reversible watermarking based on sorting prediction scheme

引用

International Conference on computer, Communications, and Control Technology (I4CT)

作者： Khalid Edris Mohammed Adam Ibrahim Fakhreldin Jasni Mohamed Zain Tuty Asmawaty Abdul Kadir Khalid Adam Faculty of Computer Systems & Software Engineering Universiti Malaysia Pahang Gambang Kuantan Pahang Malaysia

Reversible watermarking has drawn a lot of interest in recent years. To be reversible mean the original digital carrier can be completely restored. Sachnev et al proposed reversible watermarking algorithm by combining prediction technology, histogram shifting technology and sorting technology, which has good performance, however, their method is against the characteristics of the human visual system. In this paper, we propose a reversible watermarking algorithm to improve Sachnev et al algorithm by using new sorting method. The performance of the proposed reversible watermarking algorithm is evaluated and compared with Sachnev et al method. The results indicate that the proposed scheme can embed data with less distortion.

关键词： Watermarking Sorting Prediction algorithms Histograms Visual systems Airplanes PSNR

来源：评论

学校读者我要写书评

暂无评论

Flexible business-oriented service interfaces in information systems

Flexible business-oriented service interfaces in information...

引用

9th International Conference on Evaluation of Novel Approaches to software engineering, ENASE 2014

作者： Žemlička, Michal Král, Jaroslav Department of Software Engineering Faculty of Information Technology Czech Technical University in Prague Praha Czech Republic Network and Labs Management Center Faculty of Mathematics and Physics Charles University Praha Czech Republic Department of Computer Systems and Communications Faculty of Informatics Masaryk University Brno Czech Republic

ISBN: (纸本)9789897580307

Information systems supporting flexible business in small-to-medium enterprises must be easily modifiable under the supervision of their users. The users (business people) must take active part in agile system development and maintenance. The systems must be able to integrate large legacy systems and to communicate with the systems of independent business partners. Business processes need not be executed by a single ERP. We discuss a variant of SOA able to meet these requirements. The discussed SOA uses communication protocols based on problem-oriented languages. We propose a concept of organizational (architectural) services generalizing the concept of connectors and routers. The power and usefulness of the proposal is demonstrated on the examples of service composition, business-oriented interfaces, agile business processes, portals, and gateways. The proposal is based on experience from practical SOA projects.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Development and application of FORTU-FEM computer-Aided Design System

Development and application of FORTU-FEM Computer-Aided Desi...

引用

World Congress on Information and Communication Technologies (WICT)

作者： Vitaliy Mezhuyev Vladimir Lavrik Faculty of Computer Systems and Software Engineering University Malaysia Pahang Gambang Malaysia Department of Informatics and Software Engineering Berdyansk State Pedagogical University Berdyansk Ukraine

ISBN: (数字)9781479981151

The paper considers computer-Aided Design (CAD) system FORTU-FEM, which mathematical base is the Finite-Element Method (FEM). Unlike other CAD systems, which does not allow to their users to change the schema of calculation, FORTU-FEM has an open architecture and allows to engineers to develop various methods for design and analysis of non-standard mechanical constructions. Applications of FORTU-FEM for design of non-standard constructions from elastomers, calculation of the tensional and the deformed states of such the constructions are considered.

关键词： Design automation Finite element analysis Solid modeling Computational modeling software Databases Materials

来源：评论

学校读者我要写书评

暂无评论

Secure Feature Driven Development (SFDD) Model for Secure software Development

引用

Procedia - Social and Behavioral Sciences 2014年 129卷 546-553页

作者： Adila Firdaus Imran Ghani Seung Ryul Jeong Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysi School of Management Information Systems Graduate School of Business IT Kookmin University Seoul South Korea

This paper introduces an enhanced Feature Driven Development (FDD) model for secure software development. In fact, the enhanced model is based on our previous study and its findings which concluded that existing FDD poses limitations to develop secure software. Thus, an enhanced FDD that supports secure software development is proposed. We have implemented this new FDD model and conducted a case study to compare the level of security in the undergraduate and postgraduate level students. The paper illustrates that agility of FDD is not affected significantly, even after adding new phases.

关键词： Agile Methodology Security software engineering Feature Driven Development

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：