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

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Nikolaos Papakonstantinou Seppo Sierla Konstantinia Charitoudi Bryan O'Halloran Tommi Karhela Valeriy Vyatkin Irem Turner Department of Electrical Engineering and Automation Aalto University Finland Faculty of Computing Engineering and Science (FCES) University of South Wales UK School of Mechanical Industrial and Manufacturing Engineering Oregon State University OR USA VTT Technical Research Centre of Finland Finland Department of Computer Science Electrical and Space Engineering Luleå Tekniska Universitet Sweden Oregon State University Corvallis OR US

Much of the research on security of industrial automation systems has focused on countermeasures such as intrusion detection, certificate management or public key infrastructures. Due to limited resources, countermeasures should be focused to prevent the attacks with highest potential for damage. The impact of an attack can only be determined through a detailed analysis of the interactions of the automation system and the physical system under control. Attacks against single components are similar to ordinary component failures, so our focus is on deliberate damage to several components, since such scenarios are not considered in reliability engineering methods used for industrial automation systems. A simulation based security impact assessment method is proposed, using genetic algorithms to explore the range of possible attacks.

关键词： Genetic algorithms Computational modeling Biological cells Security Automation Generators Inductors

来源：评论

学校读者我要写书评

暂无评论

Highlights from the 11th ISCB Student Council Symposium 2015. Dublin, Ireland. 10 July 2015

引用

BMC bioinformatics 2016年第3期17 Suppl 3卷 95页

作者： Katie Wilkins Mehedi Hassan Margherita Francescatto Jakob Jespersen R. Gonzalo Parra Bart Cuypers Dan DeBlasio Alexander Junge Anupama Jigisha Farzana Rahman Griet Laenen Sander Willems Lieven Thorrez Yves Moreau Nagarajan Raju Sonia Pankaj Chothani C. Ramakrishnan Masakazu Sekijima M. Michael Gromiha Paddy J Slator Nigel J Burroughs Przemysław Szałaj Zhonghui Tang Paul Michalski Oskar Luo Xingwang Li Yijun Ruan Dariusz Plewczynski Giulia Fiscon Emanuel Weitschek Massimo Ciccozzi Paola Bertolazzi Giovanni Felici Pieter Meysman Manu Vanaerschot Maya Berg Hideo Imamura Jean-Claude Dujardin Kris Laukens Westa Domanova James R. Krycer Rima Chaudhuri Pengyi Yang Fatemeh Vafaee Daniel J. Fazakerley Sean J. Humphrey David E. James Zdenka Kuncic Plant Pathology and Plant-Microbe Biology Section School of Integrative Plant Science Cornell University Ithaca USA Graduate Field of Computational Biology Cornell University Ithaca USA School of Computing & Mathematics University of South Wales Cardiff UK Department of Genome Biology for Neurodegenerative Diseases German Center for Neurodegenerative Diseases (DZNE) within the Helmholtz Association ᅟ Germany Department of Surgery Massachusetts General Hospital The Broad Institute of MIT and Harvard Boston USA Department of Systems Biology Technical University of Denmark Kemitorvet Denmark Protein Physiology Lab Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Buenos Aires Argentina Molecular Parasitology Unit (MPU) Institute of Tropical Medicine Antwerp Belgium Advanced Database Research and Modeling (ADReM) research group University of Antwerp Antwerpen Belgium Department of Computer Science University of Arizona Tucson USA Department of Veterinary Clinical and Animal Sciences Center for non-coding RNA in Technology and Health University of Copenhagen Copenhagen Denmark University College Dublin Dublin Ireland Department of Electrical Engineering (ESAT) STADIUS Center for Dynamical Systems Signal Processing and Data Analytics KU Leuven Leuven Belgium Minds Medical IT Department Leuven Belgium Scientific Institute of Public Health (WIV-ISP) Platform of Biotechnology and Molecular Biology (PBB) Brussels Belgium Department of Development and Regeneration @ Kulak KU Leuven Kortrijk Belgium Department of Biotechnology Bhupat and Jyoti Metha School of Biosciences Indian Institute of Technology Madras Chennai India Philips Research North America Briarcliff Manor USA Global Scientific Information and Computing Center (GSIC) Tokyo Institute of Technology Tokyo Japan Systems Biology Centre University of Warwick Senate House Coventry UK Systems Biology Doctoral Training Centre University of Warwick Senate House Coventry UK Center for B

A1 Highlights from the eleventh ISCB Student Council Symposium 2015 Katie Wilkins, Mehedi Hassan, Margherita Francescatto, Jakob Jespersen, R. Gonzalo Parra, Bart Cuypers, Dan DeBlasio, Alexander Junge, Anupama Jigisha, Farzana Rahman O1 Prioritizing a drug’s targets using both gene expression and structural similarity Griet Laenen, Sander Willems, Lieven Thorrez, Yves Moreau O2 Organism specific protein-RNA recognition: A computational analysis of protein-RNA complex structures from different organisms Nagarajan Raju, Sonia Pankaj Chothani, C. Ramakrishnan, Masakazu Sekijima; M. Michael Gromiha O3 Detection of Heterogeneity in Single Particle Tracking Trajectories Paddy J Slator, Nigel J Burroughs O4 3D-NOME: 3D NucleOme Multiscale Engine for data-driven modeling of three-dimensional genome architecture Przemysław Szałaj, Zhonghui Tang, Paul Michalski, Oskar Luo, Xingwang Li, Yijun Ruan, Dariusz Plewczynski O5 A novel feature selection method to extract multiple adjacent solutions for viral genomic sequences classification Giulia Fiscon, Emanuel Weitschek, Massimo Ciccozzi, Paola Bertolazzi, Giovanni Felici O6 A Systems Biology Compendium for Leishmania donovani Bart Cuypers, Pieter Meysman, Manu Vanaerschot, Maya Berg, Hideo Imamura, Jean-Claude Dujardin, Kris Laukens O7 Unravelling signal coordination from large scale phosphorylation kinetic data Westa Domanova, James R. Krycer, Rima Chaudhuri, Pengyi Yang, Fatemeh Vafaee, Daniel J. Fazakerley, Sean J. Humphrey, David E. James, Zdenka Kuncic

关键词： Visceral Leishmaniasis Feature Selection Method Frequent Itemset Mining Leishmania Donovani Student Council

来源：评论

学校读者我要写书评

暂无评论

Synchronization in Time-varying Networks of Non-Introspective Agents without Exchange of Controller States

Synchronization in Time-varying Networks of Non-Introspectiv...

引用

American Control Conference

作者： Tao Yang Havard Fjaer Grip Ali Saberi Meirong Zhang Anton A. Stoorvogel ACCESS Linnaeus Centre Royal Institute of Technology (KTH) SE-100 44 Stockholm Sweden Department of Engineering Cybernetics Norwegian University of Science and Technology School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 USA Department of Electrical Engineering Mathematics and Computing Science University of Twente P.O. Box 217 7500 AE Enschede The Netherlands

ISBN: (纸本)9781479932757

We consider two synchronization problems, namely, state synchronization for networks of identical linear agents, and regulated output synchronization for networks of non-identical linear agents, under a time-varying topology. Agents are assumed to be multiple-input multiple-output (MIMO), minimum-phase, right invertible and non-introspective (i.e., they only receive relative output information from their neighboring agents, but lack independent information about their own states or outputs). The time-varying topology is assumed to switch among a finite number of directed graphs containing a directed spanning tree with an arbitrarily a priori given non-vanishing dwell time. Moreover agents are unable to exchange of controller states with their neighboring agents. For solving each problem, we propose a distribute dynamic protocol based on a combination of low-gain and high-gain design techniques.

关键词： Synchronization Topology Switches Network topology Educational institutions Eigenvalues and eigenfunctions Trajectory

来源：评论

学校读者我要写书评

暂无评论

A mathematical model for empowerment of Beowulf clusters for exascale computing

A mathematical model for empowerment of Beowulf clusters for...

引用

2013 11th International Conference on High Performance computing and Simulation, HPCS 2013

作者： Mirtaheri, Seyedeh Leili Khaneghah, Ehsan Mousavi Grandinetti, Lucio Sharifi, Mohsen Center of High Performance Computing for Parallel and Distributed Processing University of Calabria Rende Italy School of Computer Engineering Iran University of Science and Technology Tehran Iran

ISBN: (纸本)9781479908363

High-performance computing (HPC) clusters are currently faced with two major challenges - namely, the dynamic nature of new generation of applications and the heterogeneity of platforms - if they are going to be useful for exascale computing. Processes running these applications may well demand unpredictable requirements and changes to system configuration and capabilities at runtime, thereby requiring fast system response without sacrificing the transparency and integrity of the reconfigured empowered system that is running on a heterogeneous platform. While a challenge in and of itself, platform heterogeneity is both useful and instrumental in the handling of unpredictable requests. The realization of such a dynamically reconfigurable and heterogeneous HPC cluster system for exascale computing requires a model to guide running processes to determine if they need empowerment of the current cluster, and if yes, by how much. To show the feasibility of empowerment of traditional HPC clusters for exascale computing, we have selected Beowulf as a noble candidate cluster and present a mathematical model for the empowerment of Beowulf clusters for exascale computing (EBEC). We have developed the model in line with Beowulf's cluster approach and by using vector space algebra. In contrast to traditional hardware-oriented approaches to improvise the performance of clusters, we use a software approach to the development of the proposed model by emphasizing processes, which act as the creators of the cluster and thus should decide on system (re)configuration, as the principal building blocks of the system. We have also adopted a new approach to heterogeneity by considering heterogeneity at different levels including hardware, system software, application software, and system functionality. In addition to support for heterogeneity and dynamic reconfiguration, the proposed model includes support for scalability that is crucial to exascale computing too. © 2013 IEEE.

关键词： Vector spaces

来源：评论

学校读者我要写书评

暂无评论

Consumerisation of IT: Mitigating Risky User Actions and Improving Productivity with Nudging

引用

Procedia Technology 2014年 16卷 508-517页

作者： Iryna Yevseyeva Charles Morisset James Turland Lynne Coventry Thomas Groß Christopher Laing Aad van Moorsel Centre for Cybercrime and Computer Security School of Computing Science Newcastle University Newcastle-upon-Tyne NE1 7RU United Kingdom Psychology and Communication Technology Laboratory School of Health & Life Sciences Northumbria University Newcastle-upon-Tyne NE1 8ST United Kingdom Faculty of Engineering and Environment Department of Computer Science Northumbria University Newcastle-upon-Tyne NE1 8ST United Kingdom

In this work we address the main issues of IT consumerisation that are related to security risks, and propose a ‘soft’ mitigation strategy for user actions based on nudging, widely applied to health and social behaviour influence. In particular, we propose a complementary, less strict, more flexible Information Security policies, based on risk assessment of device vulnerabilities and threats to corporate data and devices, combined with a strategy of influencing security behaviour by nudging. We argue that nudging, by taking into account the context of the decision-making environment, and the fact that the employee may be in better position to make a more appropriate decision, may be more suitable than strict policies in situations of uncertainty of security-related decisions.

关键词： consumerisation security risks mitigation strategies nudging

来源：评论

学校读者我要写书评

暂无评论

An Automatic Generation of Textual Pattern Rules for Digital Content Filters Proposal, Using Grammatical Evolution Genetic Programming

引用

Procedia Technology 2014年 16卷 806-812页

作者： Vitor Basto-Fernandes Iryna Yevseyeva Rafael Z. Frantz Carlos Grilo Noemí Pérez Díaz Michael Emmerich School of Technology and Management Computer Science and Communications Research Centre Polytechnic Institute of Leiria 2411-901 Leiria Portugall Centre for Cybercrime and Computer Security School of Computing Science Newcastle University Newcastle-upon-Tyne NE1 7RU UK UNIJUÍ University Department of Exact Sciences and Engineering Rua Lulu Ilgenfritz 480 - Bairro São Geraldo 98700-000 Ijuí RS Brazil University of Vigo Campus As Lagoas S/N 32004 Ourense Spain LIACS Leiden University 2333CA Leiden The Netherlands

This work presents a conceptual proposal to address the problem of intensive human specialized resources that are nowadays required for the maintenance and optimized operation of digital contents filtering in general and anti-spam filtering in particular. The huge amount of spam, malware, virus, and other illegitimate digital contents distributed through network services, represents a considerable waste of physical and technical resources, experts and end users time, in continuous maintenance of anti-spam filters and deletion of spam messages, respectively. The problem of cumbersome and continuous maintenance required to keep anti-spam filtering systems updated and running in an efficient way, is addressed in this work by the means of genetic programming grammatical evolution techniques, for automatic rules generation, having SpamAssassin anti-spam system and SpamAssassin public corpus as the references for the automatic filtering customization.

关键词： Spam filtering Digital Content Filters Genetic Programming Classification Grammatical Evolution

来源：评论

学校读者我要写书评

暂无评论

Relations among privacy notions for signcryption and key invisible "sign-then-encrypt"

Relations among privacy notions for signcryption and key inv...

引用

18th Australasian Conference on Information Security and Privacy, ACISP 2013

作者： Wang, Yang Manulis, Mark Au, Man Ho Susilo, Willy Centre for Computer and Information Security Research School of Computer Science and Software Engineering University of Wollongong Australia Department of Computing University of Surrey United Kingdom

ISBN: (纸本)9783642390586

Signcryption simultaneously offers authentication through unforgeability and confidentiality through indistinguishability against chosen ciphertext attacks by combining the functionality of digital signatures and public-key encryption into a single operation. Libert and Quisquater (PKC 2004) extended this set of basic requirements with the notions of ciphertext anonymity (or key privacy) and key invisibility to protect the identities of signcryption users and were able to prove that key invisibility implies ciphertext anonymity by imposing certain conditions on the underlying signcryption scheme. This paper revisits the relationship amongst privacy notions for signcryption. We prove that key invisibility implies ciphertext anonymity without any additional restrictions. More surprisingly, we prove that key invisibility also implies indistinguishability against chosen ciphertext attacks. This places key invisibility on the top of privacy hierarchy for public-key signcryption schemes. On the constructive side, we show that general "sign-then- encrypt" approach offers key invisibility if the underlying encryption scheme satisfies two existing security notions, indistinguishable against adaptive chosen ciphertext attacks and indistinguishability of keys against adaptive chosen ciphertext attacks. By this method we obtain the first key invisible signcryption construction in the standard model. © 2013 Springer-Verlag.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Informatization construction of moral education curriculum resources in schools and universities

Informatization construction of moral education curriculum r...

引用

IEEE Workshop on Electronics, computer and Applications (IWECA)

作者： Shardrom Johnson Jue Gao Minjie Bian Daniel Hsu Jiajin Yuan Ye Zhou Shanghai Municipal Education Commission Information Centre Shanghai Peoples Republic of China School of Computer Engineering and Science Shanghai University Shanghai Peoples Republic of China Computing Center Shanghai University Shanghai Peoples Republic of China College of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai Peoples Republic of China Moral Education Department Shanghai Municipal Education Commission Shanghai Peoples Republic of China

To further promote the integration and overall planning of moral education curriculum resources, and enhance the efficiency of moral education continuity in schools and universities, the project of “Shanghai Platform on Construction and Sharing of Moral Education Curriculum Resources in schools and Universities” take the national spirit and life into practice as the main line, and carry on the overall planning for the integration of moral education curriculum resources in schools and universities. During the project, the raw materials selection and distribution mechanism of the subject teaching and extracurricular activities are submitted, and the access and evaluation mechanism of the intelligence resource about teacher interactive are put forward. By the distributed cloud storage structure, some research focus have been in automatic structuring of unstructured data, intelligence of resource evaluation and resource precipitation, hit rate of resource retrieval. Based on the above efforts, the platform on construction and sharing has preliminary been success in line with the characteristics of Big-Data, and the informatization construction of moral education curriculum resources in schools and universities has been initial results.

关键词： Educational institutions Ethics Standards Technological innovation Lead

来源：评论

学校读者我要写书评

暂无评论

An enhanced routing algorithm for congestion control in a home energy management system

An enhanced routing algorithm for congestion control in a ho...

引用

2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013

作者： Liu, Qi Qian, Hong Wei Wang, Bao Wei Shen, Jian Linge, Nigel Jiangsu Engineering Centre of Network Monitoring School of Computer and Software Nanjing University of Information Science and Technology Nanjing China School of Computing Science and Engineering University of Salford Salford United Kingdom

ISBN: (纸本)9781479908929

Wireless communication is well used in home energy management systems (HEMS). ZigBee, as a typical example helps to achieve cheap and fast deployment, but also brings resource limits and performance issues. An enhanced routing algorithm is therefore present in this paper to improve congestion detection and avoidance. Better performance has been achieved According to the experiments conducted in a practical environment. © 2013 IEEE.

关键词： Routing algorithms

来源：评论

学校读者我要写书评

暂无评论

Secure RFID ownership transfer protocols

Secure RFID ownership transfer protocols

引用

9th International Conference on Information Security Practice and Experience, ISPEC 2013

作者： Li, Nan Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security Research School of Computer Science and Software Engineering University of Wollongong Wollongong NSW Australia Department of Computing Faculty of Science Macquarie University Sydney NSW Australia

ISBN: (纸本)9783642380327

An RFID tag could change hands many times during its lifetime. In a retail chain, the ownership of the tag is instituted by the supplier who initially owns the tag. In the view of a buyer, the validity of the current tag ownership and the originality of supplier are most important. In typical RFID ownership transfer protocols, the knowledge of the tag's authentication key proves the ownership. However, it is insufficient against an active attacker, since tags are usually lack of tamper-proof protections. Ownership transfer relies on a successful verification of tag's supplier and current ownership. In this paper, we formally define the security model of ownership transfer protocols and propose a secure ownership transfer protocol. In our scheme, current owner provides a new owner with the evidence of transfer and a proof of tag origin. Key management becomes easy in our system, since the one asymmetric verification key of the owner can be used to verify multiple tags that belong to the owner. © 2013 Springer-Verlag.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：