咨询与建议

限定检索结果

文献类型

  • 257 篇 期刊文献
  • 223 篇 会议
  • 14 册 图书

馆藏范围

  • 494 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 298 篇 工学
    • 181 篇 计算机科学与技术...
    • 138 篇 软件工程
    • 62 篇 信息与通信工程
    • 39 篇 控制科学与工程
    • 33 篇 电子科学与技术(可...
    • 33 篇 生物医学工程(可授...
    • 32 篇 核科学与技术
    • 32 篇 生物工程
    • 30 篇 电气工程
    • 20 篇 土木工程
    • 18 篇 机械工程
    • 17 篇 光学工程
    • 17 篇 船舶与海洋工程
    • 14 篇 仪器科学与技术
    • 9 篇 建筑学
    • 9 篇 航空宇航科学与技...
  • 195 篇 理学
    • 76 篇 物理学
    • 54 篇 数学
    • 42 篇 生物学
    • 26 篇 系统科学
    • 17 篇 统计学(可授理学、...
    • 16 篇 海洋科学
  • 73 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 28 篇 工商管理
    • 28 篇 图书情报与档案管...
  • 41 篇 医学
    • 33 篇 临床医学
    • 28 篇 基础医学(可授医学...
    • 17 篇 药学(可授医学、理...
    • 12 篇 公共卫生与预防医...
  • 13 篇 法学
    • 9 篇 社会学
  • 10 篇 农学
  • 8 篇 教育学
  • 5 篇 经济学
  • 2 篇 艺术学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 23 篇 hadron colliders
  • 19 篇 computer archite...
  • 16 篇 computational mo...
  • 10 篇 hadron-hadron sc...
  • 10 篇 artificial intel...
  • 9 篇 computer communi...
  • 9 篇 quality of servi...
  • 9 篇 wireless sensor ...
  • 8 篇 analytical model...
  • 7 篇 software enginee...
  • 7 篇 informatics
  • 7 篇 monitoring
  • 7 篇 synchronization
  • 6 篇 deep learning
  • 6 篇 application soft...
  • 6 篇 space exploratio...
  • 6 篇 resource managem...
  • 6 篇 feature extracti...
  • 6 篇 hardware
  • 6 篇 cms

机构

  • 55 篇 yerevan physics ...
  • 53 篇 centro brasileir...
  • 53 篇 istanbul technic...
  • 52 篇 national and kap...
  • 51 篇 university of sc...
  • 51 篇 university of sp...
  • 50 篇 universidad iber...
  • 50 篇 academy of scien...
  • 50 篇 indian institute...
  • 49 篇 brunel universit...
  • 49 篇 charles universi...
  • 49 篇 zhejiang univers...
  • 48 篇 università di to...
  • 48 篇 department of ph...
  • 46 篇 infn sezione di ...
  • 46 篇 imperial college...
  • 45 篇 department of ph...
  • 45 篇 indian institute...
  • 44 篇 university of de...
  • 43 篇 institute for nu...

作者

  • 26 篇 m. lu
  • 25 篇 g. tonelli
  • 25 篇 d. barney
  • 25 篇 l. valencia palo...
  • 25 篇 t. liu
  • 25 篇 c. hensel
  • 25 篇 lethuillier m.
  • 25 篇 a. garcia-bellid...
  • 25 篇 pauls a.
  • 25 篇 a. steen
  • 25 篇 n. cartiglia
  • 25 篇 d. eliseev
  • 25 篇 lehti s.
  • 25 篇 n. colino
  • 25 篇 f. moortgat
  • 25 篇 waltenberger w.
  • 25 篇 b. clerbaux
  • 25 篇 v. mastrapasqua
  • 25 篇 g. sultanov
  • 25 篇 a. mallampalli

语言

  • 471 篇 英文
  • 19 篇 其他
  • 4 篇 中文
检索条件"机构=Computer Systems Architecture Group Informatics Institute"
494 条 记 录,以下是331-340 订阅
排序:
Property checking of quantum circuits using quantum multiple-valued decision diagrams
Property checking of quantum circuits using quantum multiple...
收藏 引用
4th International Workshop on Reversible Computation, RC 2012
作者: Seiter, Julia Soeken, Mathias Wille, Robert Drechsler, Rolf Group of Computer Architecture Institute of Computer Science University of Bremen D-28359 Bremen Germany DFKI GmbH Cyber-Physical Systems D-28359 Bremen Germany
For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still ... 详细信息
来源: 评论
Reducing the depth of quantum circuits using additional circuit lines
收藏 引用
5th International Conference on Reversible Computation, RC 2013
作者: Abdessaied, Nabila Wille, Robert Soeken, Mathias Drechsler, Rolf Institute of Computer Science University of Bremen Group of Computer Architecture D-28359 Bremen Germany Cyber-Physical Systems DFKI GmbH D-28359 Bremen Germany
The synthesis of Boolean functions, as they are found in many quantum algorithms, is usually conducted in two steps. First, the function is realized in terms of a reversible circuit followed by a mapping into a corres... 详细信息
来源: 评论
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 Jigish... 详细信息
来源: 评论
Applying "functional scenario-based" test case generation method in unit testing and integration testing
Applying "functional scenario-based" test case generation me...
收藏 引用
2nd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL 2012
作者: Li, Cencen Li, Mo Liu, Shaoying Nakajima, Shin Graduate School of Computer and Information Sciences Hosei University Tokyo Japan Department of Computer and Information Sciences Hosei University Tokyo Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan
Specification-based testing enables us to detect errors in the implementation of functions defined in given specifications. Its effectiveness in achieving high path coverage and efficiency in generating test cases are... 详细信息
来源: 评论
Towards a socially-aware management of new overlay application traffic combined with energy efficiency in the Internet (SmartenIT)
收藏 引用
2013 Annual Future Internet Assembly, FIA 2013
作者: Stiller, Burkhard Hausheer, David Hofßeld, Tobias University of Zürich Department of Informatics Communication Systems Group Switzerland P2P Systems Engineering TU Darmstadt Germany University of Würzburg Institute of Computer Science Würzburg Germany
The Internet has seen a strong move to support overlay applications, which demand a coherent and integrated control in underlying heterogeneous networks in a scalable, resilient, and energy-efficient manner. A tighter... 详细信息
来源: 评论
Using πdDs in the design of reversible circuits (work-in-progress)
Using πdDs in the design of reversible circuits (work-in-pr...
收藏 引用
4th International Workshop on Reversible Computation, RC 2012
作者: Soeken, Mathias Wille, Robert Minato, Shin-Ichi Drechsler, Rolf Institute of Computer Science University of Bremen Group of Computer Architecture D-28359 Bremen Germany Hokkaido University Sapporo 060-0814 Japan DFKI GmbH Cyber-Physical Systems D-28359 Bremen Germany
With πDDs a data structure has recently been introduced that offers a compact representation for sets of permutations. Since reversible functions constitute permutations on the input assignments, they can naturally b... 详细信息
来源: 评论
Sequence data and association statistics from 12,940 type 2 diabetes cases and controls
收藏 引用
Scientific data 2017年 第1期4卷 170179页
作者: Jason Flannick Christian Fuchsberger Anubha Mahajan Tanya M Teslovich Vineeta Agarwala Kyle J Gaulton Lizz Caulkins Ryan Koesterer Clement Ma Loukas Moutsianas Davis J McCarthy Manuel A Rivas John R B Perry Xueling Sim Thomas W Blackwell Neil R Robertson N William Rayner Pablo Cingolani Adam E Locke Juan Fernandez Tajes Heather M Highland Josee Dupuis Peter S Chines Cecilia M Lindgren Christopher Hartl Anne U Jackson Han Chen Jeroen R Huyghe Martijn van de Bunt Richard D Pearson Ashish Kumar Martina Müller-Nurasyid Niels Grarup Heather M Stringham Eric R Gamazon Jaehoon Lee Yuhui Chen Robert A Scott Jennifer E Below Peng Chen Jinyan Huang Min Jin Go Michael L Stitzel Dorota Pasko Stephen C J Parker Tibor V Varga Todd Green Nicola L Beer Aaron G Day-Williams Teresa Ferreira Tasha Fingerlin Momoko Horikoshi Cheng Hu Iksoo Huh Mohammad Kamran Ikram Bong-Jo Kim Yongkang Kim Young Jin Kim Min-Seok Kwon Juyoung Lee Selyeong Lee Keng-Han Lin Taylor J Maxwell Yoshihiko Nagai Xu Wang Ryan P Welch Joon Yoon Weihua Zhang Nir Barzilai Benjamin F Voight Bok-Ghee Han Christopher P Jenkinson Teemu Kuulasmaa Johanna Kuusisto Alisa Manning Maggie C Y Ng Nicholette D Palmer Beverley Balkau Alena Stančáková Hanna E Abboud Heiner Boeing Vilmantas Giedraitis Dorairaj Prabhakaran Omri Gottesman James Scott Jason Carey Phoenix Kwan George Grant Joshua D Smith Benjamin M Neale Shaun Purcell Adam S Butterworth Joanna M M Howson Heung Man Lee Yingchang Lu Soo-Heon Kwak Wei Zhao John Danesh Vincent K L Lam Kyong Soo Park Danish Saleheen Wing Yee So Claudia H T Tam Uzma Afzal David Aguilar Rector Arya Tin Aung Edmund Chan Carmen Navarro Ching-Yu Cheng Domenico Palli Adolfo Correa Joanne E Curran Dennis Rybin Vidya S Farook Sharon P Fowler Barry I Freedman Michael Griswold Daniel Esten Hale Pamela J Hicks Chiea-Chuen Khor Satish Kumar Benjamin Lehne Dorothée Thuillier Wei Yen Lim Jianjun Liu Marie Loh Solomon K Musani Sobha Puppala William R Scott Loïc Yengo Sian-Tsung Tan Herman A Taylor Farook Thameem Gregory Wilson Tien Yin Wong Pål Rasmu Department of Molecular Biology Massachusetts General Hospital Boston Massachusetts USA. Program in Medical and Population Genetics Broad Institute Cambridge Massachusetts USA. Department of Biostatistics and Center for Statistical Genetics University of Michigan Ann Arbor Michigan USA. Wellcome Trust Centre for Human Genetics Nuffield Department of Medicine University of Oxford Oxford UK. Harvard-MIT Division of Health Sciences and Technology Massachusetts Institute of Technology Cambridge Massachusetts USA. Department of Statistics University of Oxford Oxford UK. Genetics of Complex Traits University of Exeter Medical School University of Exeter Exeter UK. MRC Epidemiology Unit Institute of Metabolic Science University of Cambridge Cambridge UK. Department of Twin Research and Genetic Epidemiology King's College London London UK. Oxford Centre for Diabetes Endocrinology and Metabolism Radcliffe Department of Medicine University of Oxford Oxford UK. Department of Human Genetics Wellcome Trust Sanger Institute Hinxton Cambridgeshire UK. School of Computer Science McGill University Montreal Quebec Canada. McGill University and Génome Québec Innovation Centre Montreal Quebec Canada. Human Genetics Center The University of Texas Graduate School of Biomedical Sciences at Houston The University of Texas Health Science Center at Houston Houston Texas USA. Department of Biostatistics Boston University School of Public Health Boston Massachusetts USA. National Heart Lung and Blood Institute's Framingham Heart Study Framingham Massachusetts USA. Medical Genomics and Metabolic Genetics Branch National Human Genome Research Institute National Institutes of Health Bethesda Maryland USA. Department of Biostatistics Harvard School of Public Health Boston Massachusetts USA. Chronic Disease Epidemiology Swiss Tropical and Public Health Institute University of Basel Basel Switzerland. Institute of Genetic Epidemiology Helmholtz Zentrum München German R
To investigate the genetic basis of type 2 diabetes (T2D) to high resolution, the GoT2D and T2D-GENES consortia catalogued variation from whole-genome sequencing of 2,657 European individuals and exome sequencing of 1...
来源: 评论
Guided merging of sequence diagrams
Guided merging of sequence diagrams
收藏 引用
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
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 e... 详细信息
来源: 评论
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 reformu... 详细信息
来源: 评论