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

Annual Conference on Information Sciences and Systems (CISS)

作者： Amir Ali Ahmadi Anirudha Majumdar Mathematical Programming Group IBM Watson Research Center Department of Electrical Engineering and Computer Science MIT

Sum of squares (SOS) optimization has been a powerful and influential addition to the theory of optimization in the past decade. Its reliance on relatively large-scale semidefinite programming, however, has seriously challenged its ability to scale in many practical applications. In this paper, we introduce DSOS and SDSOS optimization as more tractable alternatives to sum of squares optimization that rely instead on linear programming and second order cone programming. These are optimization problems over certain subsets of sum of squares polynomials and positive semidefinite matrices and can be of potential interest in general applications of semidefinite programming where scalability is a limitation.

关键词： Optimization Robustness Collision avoidance Pricing Geometry

来源：评论

学校读者我要写书评

暂无评论

Publisher Correction: Re-analysis of public genetic data reveals a rare X-chromosomal variant associated with type 2 diabetes

引用

Nature communications 2018年第1期9卷 2162页

作者： Sílvia Bonàs-Guarch Marta Guindo-Martínez Irene Miguel-Escalada Niels Grarup David Sebastian Elias Rodriguez-Fos Friman Sánchez Mercè Planas-Fèlix Paula Cortes-Sánchez Santi González Pascal Timshel Tune H Pers Claire C Morgan Ignasi Moran Goutham Atla Juan R González Montserrat Puiggros Jonathan Martí Ehm A Andersson Carlos Díaz Rosa M Badia Miriam Udler Aaron Leong Varindepal Kaur Jason Flannick Torben Jørgensen Allan Linneberg Marit E Jørgensen Daniel R Witte Cramer Christensen Ivan Brandslund Emil V Appel Robert A Scott Jian'an Luan Claudia Langenberg Nicholas J Wareham Oluf Pedersen Antonio Zorzano Jose C Florez Torben Hansen Jorge Ferrer Josep Maria Mercader David Torrents Barcelona Supercomputing Center (BSC) Joint BSC-CRG-IRB Research Program in Computational Biology 08034 Barcelona Spain. Genomic Programming of Beta-cells Laboratory Institut d'Investigacions August Pi i Sunyer (IDIBAPS) 08036 Barcelona Spain. Instituto de Salud Carlos III Centro de Investigación Biomédica en Red de Diabetes y Enfermedades Metabólicas Asociadas (CIBERDEM) 28029 Madrid Spain. Section of Epigenomics and Disease Department of Medicine Imperial College London London W12 0NN UK. The Novo Nordisk Foundation Center for Basic Metabolic Research Section for Metabolic Genetics Faculty of Health and Medical Sciences University of Copenhagen 2100 Copenhagen Denmark. Institute for Research in Biomedicine (IRB Barcelona) The Barcelona Institute of Science and Technology Baldiri Reixac 10-12 08028 Barcelona Spain. Departament de Bioquímica i Biomedicina Molecular Facultat de Biologia Universitat de Barcelona 08028 Barcelona Spain. Computer Sciences Department Barcelona Supercomputing Center (BSC-CNS) 08034 Barcelona Spain. Department of Epidemiology Research Statens Serum Institut 2300 Copenhagen Denmark. Division of Endocrinology and Center for Basic and Translational Obesity Research Boston Children's Hospital Boston MA 02116 USA. Medical and Population Genetics Program Broad Institute of MIT and Harvard Cambridge MA 02142 USA. ISGlobal Centre for Research in Environmental Epidemiology (CREAL) 08003 Barcelona Spain. CIBER Epidemiología y Salud Pública (CIBERESP) 28029 Madrid Spain. Universitat Pompeu Fabra (UPF) 08003 Barcelona Spain. Artificial Intelligence Research Institute (IIIA) Spanish Council for Scientific Research (CSIC) 28006 Madrid Spain. Programs in Metabolism and Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA 02142 USA. Diabetes Unit and Center for Genomic Medicine Massachusetts General Hospital Boston MA 02114 USA. Division of General Internal Medicine Massachusetts General Hospital Bost

In the originally published version of this Article, the affiliation details for Santi González, Jian'an Luan and Claudia Langenberg were inadvertently omitted. Santi González should have been affiliated with 'Barcelona Supercomputing Center (BSC), Joint BSC-CRG-IRB Research Program in Computational Biology, 08034 Barcelona, Spain', and Jian'an Luan and Claudia Langenberg should have been affiliated with 'MRC Epidemiology Unit, University of Cambridge School of Clinical Medicine, Cambridge Biomedical Campus, Cambridge CB2 0QQ, UK'. Furthermore, the abstract contained an error in the SNP ID for the rare variant in chromosome Xq23, which was incorrectly given as rs146662057 and should have been rs146662075. These errors have now been corrected in both the PDF and HTML versions of the Article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

-Step fuzzy competition graphs

引用

Journal of Applied Mathematics and Computing 2014年第1期47卷 461-472页

作者： Samanta, Sovan Akram, Muhammad Pal, Madhumangal Department of Mathematics Joykrishnapur High School (H.S.) Tamluk India Department of mathematics University of the Punjab Lahore Pakistan Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India

Presently, fuzzy graph theory has wide applications in engineering and social networks. Based on the applications, different types of fuzzy graphs are defined. Among them the competition graph is significantly used to model ecological problems. This graph is one kind of intersection graph. Different competitions of real world have been designed by fuzzy competition graphs. One generalization of fuzzy competition graph, called $$m$$ -step fuzzy competition graph, is defined in this paper. Some related fuzzy graphs including fuzzy $$m$$ -step neighbourhood graph, fuzzy economic competition graphs and fuzzy $$m$$ -step economic competition graphs are introduced. Some properties of these new graphs have been investigated.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A real-time remote monitoring of water quality by means of a wireless sensor network

引用

Sensor Letters 2014年第9期12卷 1414-1421页

作者： Tuna, G. Nefzi, B. Arkoc, O. Potirakis, S.M. Department of Computer Programming Trakya University Edirne Turkey Independent Research Paris France School of Technical Sciences Kirklareli University Kirklareli Turkey of Piraeus Aigaleo - Athens Greece

Water is the key component of life on planet Earth. Although most of the Earth's surface is covered by water only a very small percentage of it is drinkable "fresh water." Drinkable water quality is influenced by several factors, like the construction of dams and embankments, the irrigation practices, and the anthropogenic activities. In order to control water quality, it is essential to understand the sources of pollutants by frequent water quality monitoring. Conventional monitoring of water quality calls for the collection of large numbers of samples and long delays until the results are available. Therefore, rapid monitoring of water quality is very important, proven by the large number of systems proposed for this kind of automatic monitoring. In this work, we propose a wireless sensor network (WSN)-based monitoring system controlled by a web-based online interface which allows the remote water quality monitoring via Internet. This brings advantages over traditional monitoring systems in terms of cost effectiveness, portability and applicability. Simulation-based studies concerning the wireless network aspects, as well as the practical output of the proposed system are presented for the evaluation of its effectiveness.

关键词： Water quality

来源：评论

学校读者我要写书评

暂无评论

Down to Earth - How to Visualize Traffic on High-dimensional Torus Networks

Down to Earth - How to Visualize Traffic on High-dimensional...

引用

Workshop on Visual Performance Analysis (VPA)

作者： Lucas Theisen Aamer Shah Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany

High-dimensional torus networks are becoming common in flagship HPC systems, with five of the top ten systems in June 2014 having networks with more than three dimensions. Although such networks combine performance with scalability at reasonable cost, the challenge of how to achieve optimal performance remains. Tools are needed to help understand how well the traffic is distributed among the many dimensions. This involves not only capturing network traffic but also its comprehensible visualization. However, visualizing such networks requires projecting multiple dimensions onto a two-dimensional screen, which is naturally challenging. To tackle this problem, in this position paper, we propose a visualization technique which can display traffic on torus networks with up to six dimensions. Our fundamental approach is to simultaneously present multiple views of the same network section, with each view visualizing different dimensions. Furthermore, we leverage the multiple-coordinate system concept and combine it with a customized polygon view to provide both a global and a zoomed-in perspective of the network. By interactively linking all the views, our technique makes it possible to analyze how the communication pattern of an application is mapped onto a network.

关键词： Data visualization Visualization Monitoring Measurement Educational institutions Joining processes Hardware

来源：评论

学校读者我要写书评

暂无评论

A socially-intelligent multi-robot service team for in-home monitoring

A socially-intelligent multi-robot service team for in-home ...

引用

International Conference on Information, Intelligence, Systems and Applications (IISA)

作者： Konstantinos Drossos Andreas Floros Stelios Potirakis Nikolas-Alexander Tatlas Gurkan Tuna Deptartment of Audiovisual Arts Ionian University Corfu Greece Department of Electronics Technological Educational Institute of Piraeus Egaleo Greece Department of Computer Programming Trakya University Edirne Turkey

The objective of this study is to develop a socially-intelligent service team comprised of multiple robots with sophisticated sonic interaction capabilities that aims to transparently collaborate towards efficient and robust monitoring by close interaction. In the distributed scenario proposed in this study, the robots share any acoustic data extracted from the environment and act in-sync with the events occurring in their living environment in order to provide potential means for efficient monitoring and decision-making within a typical home enclosure. Although each robot acts as an individual recognizer using a novel emotionally-enriched word recognition system, the final decision is social in nature and is followed by all. Moreover, the social decision stage triggers actions that are algorithmically distributed among the robots' population and enhances the overall approach with the potential advantages of the team work within specific communities through collaboration.

关键词： Stress Emotion recognition Robot sensing systems Acoustics Service robots Robot kinematics

来源：评论

学校读者我要写书评

暂无评论

Network-based safety-related vibration and position analysis for railway vehicles

Network-based safety-related vibration and position analysis...

引用

International Conference on Connected Vehicles and Expo (ICCVE)

作者： Samer Telawi Yusuf Sima Bashier Machmur Ali Hayek Josef Börcsök Udo Pinders Walter Schreiber Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE Reuschling GmbH & Co KG Hattingen Germany

Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as sliding and spinning, during the operational time. Those states play a central role in the performance of the vehicles described as an interaction among different mechanical parts regarding their life-time, their wear and tear, as well as the maintenance costs. In addition, these states ultimately affect the safety of target system and its environment. Therefore, the necessity of avoiding, controlling, or manipulating these states to lower their effects into a tolerable level has become the major driver for conducting the current research work. In this paper, a prototype for safety-related platform for detecting and controlling railway vehicles states by means of vibration capture is presented. Additionally, test procedures in order to collect the vibration data related to each state are presented; these tests were performed under the supervision of an industrial partner. Moreover, the recognized initial patterns of the vibration signals related to the studied states are also introduced.

关键词： Safety Vehicles Acceleration Vibrations computer architecture Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Encryption Time Comparison of AES on FPGA and computer

Encryption Time Comparison of AES on FPGA and Computer

引用

3rd International Conference on Computational Science, Engineering and Information Technology, CCSEIT 2013

作者： Akman, Yasin Yerlikaya, Tarik Computer Programming Department Selcuk University Konya Turkey Computer Engineering Department Trakya University Edirne Turkey

ISBN: (纸本)9783319009506

Advanced Encryption Standard (AES), which is approved and published by Federal Information Processing Standard (FIPS), is a cryptographic algorithm that can be used to protect electronic data. The AES algorithm can be programmed in software or hardware. This paper presents encryption time comparison of the AES algorithm on FPGA and computer. In the study, Verilog HDL and C programming language is used on the FPGA and computer, respectively. The AES algorithm with 128-bit input and key length 128-bit (AES-128) was simulated on Xilinx ISE Design Suite 13.3. It was observed that, the AES algorithm runs on the FPGA faster than on a computer. We measured the time of encryption on FPGA and computer. Encryption time is 390ns of AES on FPGA and 11 μs of AES on a computer.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

How file access patterns influence interference among cluster applications

How file access patterns influence interference among cluste...

引用

IEEE International Conference on Cluster Computing

作者： Chih-Song Kuo Aamer Shah Akihiro Nomura Satoshi Matsuoka Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany Tokyo Institute of Technology Global Scientific Information and Computing Center Tokyo Japan

On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel file system, leading to contention and in its wake to degraded application performance. However, the degree of interference depends on the specific file access pattern. On the basis of synchronized time-slice profiles, we compare the interference potential of different file access patterns. We consider both micro-benchmarks, to study the effects of certain patterns in isolation, and realistic applications to gauge the severity of such interference under production conditions. In particular, we found that writing large files simultaneously with small files can slow down the latter at small chunk sizes but the former at larger chunk sizes. We further show that such effects can seriously affect the runtime of real applications-up to a factor of five in one instance. In the future, both our insights and profiling techniques can be used to automatically classify the interference potential between applications and to adjust scheduling decisions accordingly.

关键词： Interference Servers Throughput Benchmark testing Market research Degradation Aggregates

来源：评论

学校读者我要写书评

暂无评论

programming macro tree transducers

Programming macro tree transducers

引用

2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN International Conference on Functional programming, ICFP 2013

作者： Bahr, Patrick Day, Laurence E. Department of Computer Science University of Copenhagen Denmark Functional Programming Laboratory University of Nottingham United Kingdom

ISBN: (纸本)9781450323895

A tree transducer is a set of mutually recursive functions transforming an input tree into an output tree. Macro tree transducers extend this recursion scheme by allowing each function to be defined in terms of an arbitrary number of accumulation parameters. In this paper, we show how macro tree transducers can be concisely represented in Haskell, and demonstrate the benefits of utilising such an approach with a number of examples. In particular, tree transducers afford a modular programming style as they can be easily composed and manipulated. Our Haskell representation generalises the original definition of (macro) tree transducers, abolishing a restriction on finite state spaces. However, as we demonstrate, this generalisation does not affect compositionality.

关键词： Transducers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：