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

5th International Conference on Software Language Engineering, SLE 2012

作者： Widl, Magdalena Biere, Armin Brosch, Petra Egly, Uwe Heule, Marijn Kappel, Gerti Seidl, Martina Tompits, Hans Institute of Information Systems Vienna University of Technology Austria Business Informatics Group Vienna University of Technology Austria Institute for Formal Models and Verification Johannes Kepler University Austria Department of Computer Science University of Texas Austin United States

ISBN: (纸本)9783642360886

The employment of optimistic model versioning systems allows multiple developers of a team to work independently on their local copies of a software model. The merging process towards one consolidated version can be error-prone and time-consuming when performed without any tool support. Recently, several sophisticated approaches for model merging have been presented. However, even for multi-view modeling languages like UML, which distribute the information on the modeled system over different views, these views are merged independently of each other. Hence, inconsistencies are likely to be introduced into the merged model. We suggest to solve this problem by exploiting information stored in one view as constraint for the computation of a consolidated version of another view. More specifically, we demonstrate how state machines can guide the integration of parallel changes performed on a sequence diagram. We give a concise formal description of this problem and suggest a translation to the satisfiability problem of propositional logic. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Merging

来源：评论

学校读者我要写书评

暂无评论

Erratum: Large meta-analysis of genome-wide association studies identifies five loci for lean body mass

引用

Nature communications 2017年第1期8卷 1414页

作者： M Carola Zillikens Serkalem Demissie Yi-Hsiang Hsu Laura M Yerges-Armstrong Wen-Chi Chou Lisette Stolk Gregory Livshits Linda Broer Toby Johnson Daniel L Koller Zoltán Kutalik Jian'an Luan Ida Malkin Janina S Ried Albert V Smith Gudmar Thorleifsson Liesbeth Vandenput Jing Hua Zhao Weihua Zhang Ali Aghdassi Kristina Åkesson Najaf Amin Leslie J Baier Inês Barroso David A Bennett Lars Bertram Rainer Biffar Murielle Bochud Michael Boehnke Ingrid B Borecki Aron S Buchman Liisa Byberg Harry Campbell Natalia Campos Obanda Jane A Cauley Peggy M Cawthon Henna Cederberg Zhao Chen Nam H Cho Hyung Jin Choi Melina Claussnitzer Francis Collins Steven R Cummings Philip L De Jager Ilja Demuth Rosalie A M Dhonukshe-Rutten Luda Diatchenko Gudny Eiriksdottir Anke W Enneman Mike Erdos Johan G Eriksson Joel Eriksson Karol Estrada Daniel S Evans Mary F Feitosa Mao Fu Melissa Garcia Christian Gieger Thomas Girke Nicole L Glazer Harald Grallert Jagvir Grewal Bok-Ghee Han Robert L Hanson Caroline Hayward Albert Hofman Eric P Hoffman Georg Homuth Wen-Chi Hsueh Monica J Hubal Alan Hubbard Kim M Huffman Lise B Husted Thomas Illig Erik Ingelsson Till Ittermann John-Olov Jansson Joanne M Jordan Antti Jula Magnus Karlsson Kay-Tee Khaw Tuomas O Kilpeläinen Norman Klopp Jacqueline S L Kloth Heikki A Koistinen William E Kraus Stephen Kritchevsky Teemu Kuulasmaa Johanna Kuusisto Markku Laakso Jari Lahti Thomas Lang Bente L Langdahl Lenore J Launer Jong-Young Lee Markus M Lerch Joshua R Lewis Lars Lind Cecilia Lindgren Yongmei Liu Tian Liu Youfang Liu Östen Ljunggren Mattias Lorentzon Robert N Luben William Maixner Fiona E McGuigan Carolina Medina-Gomez Thomas Meitinger Håkan Melhus Dan Mellström Simon Melov Karl Michaëlsson Braxton D Mitchell Andrew P Morris Leif Mosekilde Anne Newman Carrie M Nielson Jeffrey R O'Connell Ben A Oostra Eric S Orwoll Aarno Palotie Stephen C J Parker Munro Peacock Markus Perola Annette Peters Ozren Polasek Richard L Prince Katri Räikkönen Stuart H Ralston Samuli Ripatti John A Robbins Jerome I Rotter Igor Rudan Veikko Department of Internal Medicine Erasmus MC Rotterdam 3000 The Netherlands. Netherlands Genomics Initiative (NGI)-sponsored Netherlands Consortium for Healthy Aging (NCHA) Leiden 2593 The Netherlands. Department of Biostatistics Boston University School of Public Health Boston MA 02118 USA. Hebrew SeniorLife Institute for Aging Research Roslindale MA 02131 USA. Harvard Medical School Boston MA 02115 USA. Molecular and Integrative Physiological Sciences Program Harvard School of Public Health Boston MA 02115 USA. Program in Personalized and Genomic Medicine and Department of Medicine Division of Endocrinology Diabetes and Nutrition University of Maryland School of Medicine Baltimore MD 21201 USA. Broad Institute Cambridge MA 02142 USA. Sackler Faculty of Medicine Department of Anatomy and Anthropology Tel Aviv University Tel Aviv 6997801 Israel. Department of Twin Research and Genetic Epidemiology King's College London St Thomas' Campus London WC2R 2LS UK. Department of Epidemiology Erasmus MC Rotterdam 3000 The Netherlands. Department of Medical Genetics University of Lausanne Lausanne 1011 Switzerland. Swiss Institute of Bioinformatics Lausanne 1015 Switzerland. Centre Hospitalier Universitaire (CHUV) University Institute for Social and Preventive Medicine Lausanne 1010 Switzerland. Department of Medical and Molecular Genetics Indiana University School of Medicine Indianapolis IN 46202 USA. MRC Epidemiology Unit University of Cambridge School of Clinical Medicine Cambridge Biomedical Campus Cambridge CB2 OQQ UK. Institute of Epidemiology II Helmholtz Zentrum München - German Research Center for Environmental Health Neuherberg 85764 Germany. Icelandic Heart Association Kopavogur 201 Iceland. Faculty of Medicine University of Iceland Reykjavik 101 Iceland. deCODE Genetics Reykjavik 101 Iceland. Department of Internal Medicine Institute of Medicine Sahlgrenska Academy University of Gothenburg Gothenburg SE-405 30 Sweden. Dep

A correction to this article has been published and is linked from the HTML version of this article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A system for perspective-aware search 3

A system for perspective-aware search

引用

3rd European Workshop on Human-computer Interaction and Information Retrieval, EuroHCIR 2013 - Co-located with the 36th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2013

作者： Qureshi, M. Atif Younus, Arjumand O'Riordan, Colm Pasr, Gabriella Touheed, Nasir Computational Intelligence Research Group Information Technology National University of Ireland Galway Ireland Information Retrieval Lab. Informatics Systems and Communication University of Milan Bicocca Milan Italy Web Science Research Group Faculty of Computer Science Institute of Business Administration Karachi Pakistan

Traditional search engines fail to capture the notion of "perspective" in their search results and at times present the results skewed towards a particular topic. Under most of these cases even query reformulation fails to retrieve desired search results and the underlying reason for such failure is often the bias within the document collection itself (e.g., news articles). A perspective-aware search interface enabling users to look into search results for some "perspective" terms may be of great use for certain information needs. In this paper we describe such a system. Copyright © 2013 for the individual papers by the papers' authors.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

M×N-ary chaotic pulse-width-position modulation An effective combination method for improving bit rate

M×N-ary chaotic pulse-width-position modulation An effectiv...

引用

作者： Quyen, Nguyen Xuan Van Yem, Vu Hoang, Thang Manh Kyamakya, Kyandoghere Department of Telecommunication Systems School of Electronics and Telecommunications Hanoi University of Science and Technology Hanoi Viet Nam Department of Electronics and Computer Engineering School of Electronics and Telecommunications Hanoi University of Science and Technology Hanoi Viet Nam Transportation Informatics Group Institute for Smart Systems Technologies Alpen-Adria University Klagenfurt Klagenfurt Austria

Purpose - This paper presents and investigates a method named M×N-ary chaotic pulse-width-position modulation (CPWPM) which is based on the combination of M-ary chaotic pulse-position modulation (CPPM) and N-ary chaotic pulse-width modulation (CPWM) in order to provide a better performance in noise-affected environments as well as improve significantly bit rate. Design/methodology/approach - Analysis of schemes for modulator and demodulator are presented in detail through describing the schemes of the individual methods and their combination. Theoretical evaluation of bit-error rate (BER) performance in presence of additive white Gaussian noise (AWGN) is provided. Chaotic behavior with tent map in variation of modulation parameters is also investigated. In order to verify the theoretical analyses, numerical simulations are carried out and their results are reported. Findings - Both evaluation and simulation results show that when the number of symbols increases, the bit rate is improved significantly but the BER performance is just slightly worse. This makes M×N-ary CPWPM become an effective method for chaos-based digital communication. Originality/value - Although CPPM, CPWM and M-ary modulation methods have been described in the literature separately, their combination is presented and investigated for the first time in this paper. © Emerald group Publishing Limited.

关键词： Pulse width modulation

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Methods for evaluating medical tests and biomarkers

引用

Diagnostic and prognostic research 2017年第1期1卷 11页

作者： Gowri Gopalakrishna Miranda Langendam Rob Scholten Patrick Bossuyt Mariska Leeflang Anna Noel-Storr James Thomas Iain Marshall Byron Wallace Penny Whiting Clare Davenport Gowri GopalaKrishna Isabel de Salis Sue Mallett Robert Wolff Richard Riley Marie Westwood Jos Kleinen Gary Collins Hans Reitsma Karel Moons Antonia Zapf Annika Hoyer Katharina Kramer Oliver Kuss J Ensor J J Deeks E C Martin R D Riley Gerta Rücker Susanne Steinhauser Martin Schumacher Joie Ensor Kym Snell Brian Willis Thomas Debray Jon Deeks Lavinia Ferrante di Ruffano Sian Taylor-Phillips Chris Hyde Stuart A Taylor Gauraang Batnagar Lavinia Ferrante Di Ruffano Farah Seedat Aileen Clarke Sarah Byron Frances Nixon Rebecca Albrow Thomas Walker Carla Deakin Zhivko Zhelev Harriet Hunt Yaling Yang Lucy Abel James Buchanan Thomas Fanshawe Bethany Shinkins Laure Wynants Jan Verbakel Sabine Van Huffel Dirk Timmerman Ben Van Calster Aeliko Zwinderman Jason Oke Jack O'Sullivan Rafael Perera Brian Nicholson Hannah L Bromley Tracy E Roberts Adele Francis Denniis Petrie G Bruce Mann Kinga Malottki Holly Smith Lucinda Billingham Alice Sitch Oke Gerke Mie Holm-Vilstrup Eivind Antonsen Segtnan Ulrich Halekoh Poul Flemming Høilund-Carlsen Bernard G Francq Jac Dinnes Julie Parkes Walter Gregory Jenny Hewison Doug Altman William Rosenberg Peter Selby Julien Asselineau Paul Perez Aïssatou Paye Emilie Bessede Cécile Proust-Lima Christiana Naaktgeboren Joris de Groot Anne Rutjes Johannes Reitsma Emmanuel Ogundimu Jonathan Cook Yannick Le Manach Yvonne Vergouwe Romin Pajouheshnia Rolf Groenwold Karen Moons Linda Peelen Daan Nieboer Bavo De Cock Micael J Pencina Ewout W Steyerberg Jennifer Cooper Nick Parsons Chris Stinton Steve Smith Andy Dickens Rachel Jordan Alexandra Enocson David Fitzmaurice Peymane Adab Charles Boachie Gaj Vidmar Karoline Freeman Martin Connock Rachel Court Carl Moons Jessica Harris Andrew Mumford Zoe Plummer Kurtis Lee Barnaby Reeves Chris Rogers Veerle Verheyden Gianni D Angelini Gavin J Murphy Jeremy Huddy Melody Ni Katherine Good Graham Cooke 1Department of Clinical Epidemiology Biostatistics & Bioinformatics Academic Medical Center University of Amsterdam Amsterdam The Netherlands. 2Cochrane Netherlands Julius Center for Health Sciences and Primary Care University Medical Center Utrecht Utrecht Netherlands. 234Department of Clinical Epidemiology Biostatistics & Bioinformatics Academic Medical Center University of Amsterdam Amsterdam The Netherlands. 49Department of Clinical Epidemiology Biostatistics & Bioinformatics Academic Medical Center University of Amsterdam Amsterdam The Netherlands. 3Cochrane Dementia and Cognitive Improvement Group University of Oxford Oxford UK. 4EPPI-Centre Department of Social Science University College London London UK. 5Division of Health and Social Care Research King's College London London UK. 6College of Computer and Information Science Northeastern University Boston USA. 13University Hospitals Bristol NHS Foundation Trust School of Social and Community Medicine Bristol UK. 275Institute of Applied Health Research University of Birmingham Birmingham UK. 9Department of Clinical Epidemiology Biostatistics & Bioinformatics Academic Medical Center University of Amsterdam Amsterdam The Netherlands. 10School of Social and Community Medicine University of Bristol Bristol UK. 179Institute of Applied Health Research University of Birmingham Birmingham UK. 12Kleijnen Systematic Reviews Ltd York UK. 25Research Institute for Primary Care and Health Sciences Keele University Keele UK. 188Centre for Statistics in Medicine Nuffield Department of Orthopaedics Rheumatology and Musculoskeletal Sciences University of Oxford Oxford UK. 191Julius Center for Health Sciences and Primary Care University Medical Center Utrecht 3584 CG Utrecht Netherlands. 237Julius Center for Health Sciences and Primary Care University Medical Center Utrecht 3584 CG Utrecht Netherlands. 18Department of Medical Statistics University Medical Center Göttingen Göttingen Germany. 19Institute for B

[This corrects the article DOI: 10.1186/s41512-016-0001-y.].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Smart phone localization method using dual-carrier acoustic waves

Smart phone localization method using dual-carrier acoustic ...

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Takayuki Akiyama Masanari Nakamura Masanori Sugimoto Hiromich Hashizume Department of Informatics The Graduate University for Advanced Studies Tokyo Japan Department of Computer Science Hokkaido University Sapporo Japan Information Systems Architecture National Institute of Informatics Tokyo Japan

We describe an indoor localization technique for smart phones. Our new method, called the Frequency Division Multiplexing Phase Accordance Method (FDM-PAM), uses a beat called a sync pattern composed of a pair of sinusoidal waves with slightly different frequencies, which is similar to our original ultrasound ranging technique called the Phase Accordance Method (PAM). By generating multiple sync patterns with different central frequencies and transmitting them from different speakers, FDM-PAM conducts time-difference-of-arrival (TDOA) multilateration for localizing smart phones. In the current implementation of FDM-PAM, the 2D indoor position of a smart phone can be estimated. Three sync patterns are generated by using two out of six sinusoidal waves with frequencies ranging from 14.75 kHz to 17.25 kHz. The transmission of the sync pattern from the speakers lasts 4 ms. Through experiments, we have confirmed that FDM-PAM achieves accuracy of around 10 cm using only a short burst transmission, which indicates that the localization technique is sufficiently rapid and accurate.

关键词： Synchronization Smart phones Ultrasonic imaging Receivers OFDM Distance measurement Acoustics

来源：评论

学校读者我要写书评

暂无评论

On the impact of the GOP size in a temporal H.264/AVC-to-SVC transcoder in baseline and main profile

On the impact of the GOP size in a temporal H.264/AVC-to-SVC...

引用

作者： Garrido-Cantos, R. De Cock, J. Martínez, J.L. Van Leuven, S. Cuenca, P. Garrido, A. Van De Walle, R. Albacete Research Institute of Informatics University of Castilla-La Mancha Campus Universitario s/n 02071 Albacete Spain Department of Electronics and Information Systems Multimedia Lab Ghent University Gaston Crommenlaan 8 bus 201 Ledeberg 9050 Ghent Belgium Architecture and Technology of Computing Systems Group Complutense University Ciudad Universitaria s/n 28040 Madrid Spain

Scalable video coding is a recent extension of the advanced video coding H.264/AVC standard developed jointly by ISO/IEC and ITU-T, which allows adapting the bitstream easily by dropping parts of it named layers. This adaptation makes it possible for a single bitstream to meet the requirements for reliable delivery of video to diverse clients over heterogeneous networks using temporal, spatial or quality scalability, combined or separately. Since the scalable video coding design requires scalability to be provided at the encoder side, existing content cannot benefit from it. Efficient techniques for converting contents without scalability to a scalable format are desirable. In this paper, an approach for temporal scalability transcoding from H.264/AVC to scalable video coding in baseline and main profile is presented and the impact of the GOP size is analyzed. Independently of the GOP size chosen, time savings of around 63 % for baseline profile and 60 % for main profile are achieved while maintaining the coding efficiency. © 2012 Springer-Verlag.

关键词： Scalable video coding

来源：评论

学校读者我要写书评

暂无评论

On Optimizing a Sequence of Robotic Tasks

On Optimizing a Sequence of Robotic Tasks

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Sergey Alatartsev Vera Mersheeva Marcus Augustine Frank Ortmeier group Computer Systems in Engineering Otto-von-Guericke University of Magdeburg Germany Institute for Applied Informatics Alpen-Adria-Universitat of Klagenfurt Austria

ISBN: (纸本)9781467363563

Production speed and energy efficiency are crucial factors for any application scenario in industrial robotics. The most important factor for this is planning of an optimized sequence of atomic subtasks. In a welding scenario, an atomic subtask could be understood as a single welding seam/spot while the sequence could be the ordering of these atomic tasks. Optimization of a task sequence is normally modeled as the Traveling Salesman Problem (TSP). This works well for simple scenarios with atomic tasks without execution freedom like spot welding. However, many types of tasks allow a certain freedom of execution. A simple example is seam welding of a closed-contour, where typically the starting-ending point is not specified by the application. This extra degree of freedom allows for much more efficient task sequencing. In this paper, we describe an extension of TSP to model a problem of finding an optimal sequence of tasks with such extra degree of freedom. We propose a new, efficient heuristic to solve such problems and show its applicability. Obtained computational results are close to the optimum on small instances and outperforms the state of the art approaches on benchmarks available in literature.

关键词： Degree of freedom Religious Missions state of the art Freedom Atomicity Welding

来源：评论

学校读者我要写书评

暂无评论

Enabling IPTV Service Assurance Using OpenFlow

Enabling IPTV Service Assurance Using OpenFlow

引用

International Conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Patrick McDonagh Cristian Olariu Adriana Hava Christina Thorpe School of Computer Science and Informatics University College Dublin Dublin Ireland Telecommunications Software & Systems Group Waterford Institute of Technology Waterford Ireland

ISBN: (纸本)9781467362399

One difficulty facing Internet Protocol Television (IPTV) service providers is the issue of monitoring and managing their service delivery network. An in-depth monitoring regime is required, which performs measurements within different networking devices. When network conditions deteriorate to the point where they could disrupt IPTV services, Network Operators (NOs) can use the measurements as a basis to reconfigure the network with minimal delay. OpenFlow (OF) presents a potential solution to this problem as it provides vendor-neutral access to the packet forwarding interface of the different hardware device types. This work investigates how OF can leverage video packet inspection measurements taken from within the IPTV service delivery network and combine these with OF statistics to make decisions regarding routing in order to assure service quality.

关键词： IPTV Streaming media Transform coding Quality of service Routing Monitoring Hardware

来源：评论

学校读者我要写书评

暂无评论

Collecting signatures to model latency tolerance in high-level simulations of microthreaded cores 12

Collecting signatures to model latency tolerance in high-lev...

引用

4th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO'12, Collocated with the 7th Intl. Conference on High-Performance and Embedded architectures and Compilers, HiPEAC 2012

作者： Uddin, M. Irfan Jesshope, Chris R. Van Tol, Michiel W. Poss, Raphael Computer Systems Architecture Group Institute for Informatics University of Amsterdam Sciencepark 904 1098 XH Amsterdam Netherlands

ISBN: (纸本)9781450311144

The current many-core architectures are generally evaluated using cycle-accurate simulations. However these detailed simulations of the architecture make the evaluation of large programs very slow. Since the focus in many-core architecture is shifting from the performance of individual cores to the overall behavior of the chip, high-level simulations are becoming necessary, which evaluate the same architecture at less detailed level and allow the designer to make quick and reasonably accurate design decisions. We have developed a high-level simulator for the design space exploration of the Microgrid, which is a many-core architecture comprised of many fine-grained multi-threaded cores. This simulator allows us to investigate mapping and scheduling strategies of families (i.e. groups of threads) in developing an operating environment for the Microgrid. The previous method to count and evaluate the workload in basic blocks was not accurate enough. The key problem was that with many concurrent threads the latency of certain instructions is hidden because of the multi-threaded nature of the core. This paper presents a technique to determine the execution time of different types of instructions with thread concurrency. We believe to achieve high accuracy in evaluating programs in the high-level simulator. Copyright 2012 ACM.

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：