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

PatternLab: From mass spectra to label-free differential shotgun proteomics

Current Protocols in Bioinformatics 2012年第SUPPL.40期40卷

作者： Carvalho, Paulo C. Fischer, Juliana S.G. Xu, Tao Yates III, John R. Barbosa, Valmir C. Carlos Chagas Institute-Fiocruz Parańa Brazil Department of Cell Biology The Scripps Research Institute La Jolla CA United States Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil

PatternLab for proteomics is a self-contained computational environment for analyzing shotgun proteomic data. Recent improvements incorporate modules to facilitate the computational analysis, such as FastaDBXtractor for sequence database preparation and ProLuCID runner for simplifying and managing the protein identification search engine;modules for pushing the limits on proteomics standards, such as SEPro, which relies on a semi-labeled decoy approach for increasing confidence in filtering and organizing peptide spectrum matches;and modules with novel features, such as SEProQ for enabling labelfree quantitation by extracted ion chromatograms according to a distributed normalized ion abundance factor approach (dNIAF). Existing modules were also improved, such as the TFold module for pinpointing differentially expressed proteins. These new modules are integrated into the previously described arsenal of tools for further data analysis. Here we provide detailed instructions for operating and understanding them. © 2012 by John Wiley & Sons, Inc.

关键词： Dniaf filtering PSMs Protein identification Quantitative proteomics Semi-labeled decoy approach

来源：评论

学校读者我要写书评

暂无评论

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.].

关键词：

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Poster abstracts

引用

Sleep and Biological Rhythms 2016年第1期5卷 A1-A189页

作者： J. Ferrie M. Shipley F. Cappuccio E. Brunner M. Miller M. Kumari M. Marmot A. Coenen J. L. Castillo F. Araya G. Bustamante L. Montecino C. Torres S. Oporto J. Gronli E. Fiske R. Murison B. Bjorvatn E. Sorensen R. Ursin C. M. Portas S. Rajaraman A. Gribok N. Wesensten T. Balkin J. Reifman N. Dursunoglu S. Ozkurt S. Baser O. Delen S. Sarikaya P. Sadler P. Mitchell D. Françon M. Decobert B. Herve A. Richard G. Griebel P. Avenet B. Scatton G. L. Fur D. Eckert A. Jordan A. Wellman S. Smith A. Malhotra D. White D. Bruck I. Thomas A. Kritikos W. Oertel K. Stiasny-Kolster D. Garcia-Borreguero W. Poewe B. Hoegl R. Kohnen E. Schollmayer J. Keffel C. Trenkwalder A. Valle S. Roizenblatt F. Fregni P. Boggio S. Tufik K. Ward L. Robertson L. Palmer P. Eastwood D. Hillman J. Lee S. Mukherjee V. de Padova G. Barbato G. Ficca I. Zilli P. Salzarulo M. Veldi T. Hion V. Vasar M. Kull L. Nowak J. Davis Y. Latzer O. Tzischinsky S. Crowley M. Carskadon M. Anca-Herschkovitsch D. Frey J. Ortega C. Wiseman C. Farley K. Wright A. Campbell A. Neill K. Spiegel R. Leproult E. Tasali N. Scherberg E. van Cauter A. T. Noradina N. A. Karim I. Norlinah A. A. Raymond R. Sahathevan B. Hamidon E. Werth R. Poryazova R. Khatami C. Bassetti R. G. Beran L. Ainley G. Holand J. Duncan H. Kinney B. Davis B. Hood S. Frey C. Schmidt M. Hofstetter P. Peigneux C. Cajochen W.-P. Hu J.-D. Li C. Zhang L. Boehmer J. Siegel Q.-Y. Zhou Y. Sagawa H. Kondo T. Takemura H. Kanayama Y. Kaneko M. Sato T. Kanbayashi Y. Hishikawa T. Shimizu A. Viola L. James L. Schlangen D.-J. Dijk R. Andretic Y.-C. Kim K.-A. Han F. Jones R. Greenspan L. Sanford L. Yang X. Tang K. Dieter E. Uta H. Sven M. Richard N. Oyane S. Pallesen F. Holsten Y. Inoue M. Fujita N. Emura K. Kuroda N. Uchimura A. Johnston J. Astbury G. Kennedy K. Hoedlmoser M. Schabus T. Pecherstorfer S. Moser G. Gruber P. Anderer W. Klimesch N. Naidoo M. Ferber A. Pack D. Neu O. Mairesse G. Hoffmann A. Dris L. Lambrecht P. Linkowski P. Verbanck O. Le Bon N. Matsuura M. Yamao N. Adachi R. Aritomi Y. Komada H. Tanaka S. Shirak University College London London UK University College London London USA Warwick Medical School London UK Warwick Medical School Coventry USA Radboud University Nijmegen Nijmegen Netherlands Department of Neurology University of Chile Santiago Chile Neurology Service Hospital del Salvador Santiago Chile Family Health Center Juan Pablo II Santiago Chile Department of Biomedicine Section on Physiology Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care University of Bergen Bergen Norway Norwegian Competence Center for Sleep Disorders Haukeland University Hospital Bergen Norway Department of Child and Adolescent Psychiatry Haukeland University Hospital Univeristy of Bergen Bergen Norway Department of Biomedicine University of Bergen Bergen Norway US Army Medical Research and Materiel Command Fort Detrick Frederick USA Walter Reed Army Institute of Research Silver Spring USA Department of Behavioral Biology Walter Reed Army Institute of Research Silver Spring USA Faculty Department of Pulmonology Pamukkale University Medical Denizli Turkey University of Ballarat Ballarat Australia Sanofi-Aventis Recherche et Developpement Paris France Brigham and Women’s Hospital Harvard Medical School Boston USA The University of Queensland Adelaide Australia School of Psychology University of Queensland Brisbane Australia The University of Queensland Brisbane Australia Victoria University Melbourne Australia Department of Psychology Victoria University Melbourne Australia School of Psychology Victoria University Melbourne Australia Philips-Universität Marburg Germany Philips-Universitaet-Marburg Marburg Germany Instituto de Investigaciones del Sueno Madrid Spain Universitätsklinik für Neurologie Innsbruck Austria Universitaetsklinik fuer Neurologie Innsbruck Austria IMEREM GmbH Nuernberg Germany Schwarz Pharma AG Monheim Germany

来源：评论

学校读者我要写书评

暂无评论

Visualization of signalized intersections in driving simulator and validity of driving behaviors in virtual environments

Advances in Transportation Studies

引用

Advances in Transportation Studies 2012年第26期 17-28页

作者： Yan, X. Abdel-Aty, M. Guo, D. Radwan, E. MOE Key Laboratory for Transportation Complex Systems Theory and Technology Beijing Jiaotong University Beijing 100044 China Department of Civil and Environmental Engineering University of Central Florida Orlando FL 32816-2450 United States Computer Science Program College of Business Florida Gulf Coast University 10501 FGCU Boulevard South Fort Myers FL 33965-6565 United States Center for Advanced Transportation Systems Simulation University of Central Florida Orlando FL 32816-2450 United States

Visualization of highway traffic environments in virtual reality plays a key role on fidelity of simulation and validity of driving behaviors in driving simulator studies. This paper describes a procedure to replicate a signalized intersection with many complex features into a driving simulator's 3-D databases through building a graphical visual database, constructing a road motion database, and creating simulated traffic. The validity of the visualization was assessed via the comparison of the drivers' speeds in the simulator and the speed data at the real intersection. It was found that both speed data follow normal distributions and have equal means for each intersection approach;however, that the speeds measured in the driving simulator have a larger variability than those measured in the field. The users' subjective evaluation results indicated that 92% subjects could recognize the simulated intersection in the driving simulator experiment. Therefore, the strategy of geo-specific environment modeling would be useful for studying driving behaviors in virtual environments.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Accelerating the Artificial Bee Colony Algorithm by Hardware Parallel Implementations

Accelerating the Artificial Bee Colony Algorithm by Hardware...

引用

IEEE Latin American Symposium on Circuits and systems

作者： Daniel M. Mufioz Carlos H. Llanos Leandro dos S. Coelho Mauricio Ayala-Rincon Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Department of Computer Science and Mathematics University of Brasilia

ISBN: (纸本)9781467312073

Artificial bee colony (ABC) is an optimization algorithm inspired on the intelligent behavior of honey bee swarms. It is suitable to be applied when mathematical techniques are impractical or provide suboptimal solutions. As a population-based algorithm, the ABC suffers on large execution times specifically for embedded optimization problems with computational limitations. For that we propose a hardware parallel architecture of the opposition-based ABC algorithm (HPOABC) that facilitates the implementation in Field programmable Gate Arrays (FPGAs). Numerical simulations using four well-known benchmark problems demonstrate that the opposition-based approach allows the algorithm to improve its functionality, preserving the swarm diversity. Additionally, synthesis results point outs that the HPOABC architecture is effectively mapped in hardware and is suitable for embedded applications.

关键词： Global optimization Swarm intelligence Artificial bee colony FPGAs Floating-point arithmetic

来源：评论

学校读者我要写书评

暂无评论

Propositional dynamic logic with storing, recovering and parallel composition

Propositional dynamic logic with storing, recovering and par...

引用

作者： Benevides, Mario R.F. De Freitas, Renata Petrucio, Viana Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil Institute of Mathematics Fluminense Federal University Brazil

This work extends Propositional Dynamic Logic (PDL) with parallel composition operator and four atomic programs which formalize the storing and recovering of elements in data structures. A generalization of Kripke semantics is proposed that instead of using set of possible states it uses structured sets of possible states. This new semantics allows for representing data structures and using the five new operator one is capable of reasoning about the manipulation of these data structures. The use of the new language (PRSPDL) is illustrated with some examples. We present sound and complete set of axiom schemata and inference rules to prove all the valid formulas for a restricted fragment called RSPDLo. © 2011 Elsevier B.V. All rights reserved.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Porantim-opt: Optimizing the combined selection of model-based testing techniques

Porantim-opt: Optimizing the combined selection of model-bas...

引用

Workshop on Requirements and Validation, Verification, and Testing

作者： Neto, Arilo Claudio Dias De Freitas Rodrigues, Rosiane Travassos, Guilherme Horta Post-graduation Program In Informatics Computer Science Department Federal University of Amazonas Manaus AM Brazil Systems Engineering and Computer Science Program COPPE Federal University of Rio De Janeiro Rio De Janeiro RJ Brazil

ISBN: (纸本)9780769543451

The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software engineering field. This paper presents a proposal extending an approach developed to support the combined selection of model-based testing (MBT) techniques, named Porantim, applying Multiobjective Combinatorial Optimization strategy by determining the smallest dominating set in a bipartite and weighted graph. Thus, a local search strategy algorithm is proposed generating solutions aiming at maximizing the coverage of software project characteristics and skills required by the testing team to use the techniques and minimizing the eventual effort to construct models used for test cases generation. A preliminary evaluation analyzes this new approach when compared to the Porantim's original version, and the results indicate improvements in the MBT techniques selection. © 2011 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Minimum maximum-degree publish-subscribe overlay network design

Minimum maximum-degree publish-subscribe overlay network des...

引用

作者： Onus, Melih Richa, Andréa W. Department of Computer Engineering Bilkent University Ankara 06560 Turkey Computer Science and Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States

Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scalability and efficiency, it is important to keep the degree of the nodes in the publish/subscribe system low. It is only natural then to formalize the following problem: Given a collection of nodes and their topic subscriptions, connect the nodes into a graph that has least possible maximum degree in such a way that for each topic t, the graph induced by the nodes interested in t is connected. We present the first polynomial-time logarithmic approximation algorithm for this problem and prove an almost tight lower bound on the approximation ratio. Our experimental results show that our algorithm drastically improves the maximum degree of publish/subscribe overlay systems. We also propose a variation of the problem by enforcing that each topic-connected overlay network be of constant diameter while keeping the average degree low. We present three heuristics for this problem that guarantee that each topic-connected overlay network will be of diameter 2 and that aim at keeping the overall average node degree low. Our experimental results validate our algorithms, showing that our algorithms are able to achieve very low diameter without increasing the average degree by much. © 2011 IEEE.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

Changing power generation portfolios of U.S. utilities towards renewables

Changing power generation portfolios of U.S. utilities towar...

引用

Annual International Conference of the American Society for engineering Management 2011, ASEM 2011

作者： Sireli, A. Yesim Ozan, Erol Systems Engineering and Engineering Management Program University of North Carolina Charlotte United States Department of Technology Systems College of Technology and Computer Science East Carolina University Greenville NC United States

ISBN: (纸本)9781618393616

This research examines U.S. electric utilities' transition from closed to open systems, while taking steps towards market orientation and subsequent changes in their product portfolios. It lists the reasons driving this change and includes a detailed analysis of the current product portfolios of the U.S. utilities focusing on adding more renewable energy sources. Copyright, American Society for engineering Management, 2011.

关键词： Electric utilities

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：