咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是3181-3190 订阅
排序:
Preliminary results of 3D-DDTC pixel detectors for the ATLAS upgrade
Preliminary results of 3D-DDTC pixel detectors for the ATLAS...
收藏 引用
9th international conference on Large Scale Applications and Radiation Hardness of Semiconductor Detectors, RD 2009
作者: La Rosa, Alessandro Boscardin, M. Dalla Betta, G.-F. Darbo, G. Gemme, C. Pernegger, H. Piemonte, C. Povoli, M. Ronchin, S. Zoboli, A. Zorzi, N. Bolle, E. Borri, M. Da Via, C. Dong, S. Fazio, S. Grenier, P. Grinstein, S. Gjersdal, H. Hansson, P. Huegging, F. Jackson, P. Kocian, M. Rivero, F. Rohne, O. Sandaker, H. Sjobak, K. Slavicek, T. Tsung, W. Tsybychev, D. Wermes, N. Young, C. CERN CH-1211 Geneve Switzerland Via Sommarive 18 38123 Povo di Trento Italy University of Trento INFN Via Sommarive 14 38123 Povo di Trento Italy INFN - Genova Via Dodecaneso 33 16146 Genova Italy University of Oslo Fysisk Institutt Postbooks 1048 Blindern 0316 Oslo Norway INFN University of Torino Via P. Giuria 1 10125 Torino Italy University of Manchester Oxford Road Manchester M13 9PL United Kingdom SLAC 2575 Sand Hill Road Menlo Park CA 94025 United States University of Calabria Via P. Bucci Cubo 31 C 87036 Arcavacata di Rende Cosenza Italy Spain University of Bonn Nussallee 12 53115 Bonn Germany University of Bergen Allegaten 55 5007 Bergen Norway Czech Technical University - Prague Zlkova 4 16636 Prague Czech Republic Stony Brook Stony Brook 11794 NY United States
3D Silicon sensors fabricated at FBK-irst with the Double-side Double Type Column (DDTC) approach and columnar electrodes only partially etched through p-type substrates were tested in laboratory and in a 1.35 Tesla m... 详细信息
来源: 评论
LeVen - a Parallel System for Simulation of the Heart Left Ventricle
LeVen - a Parallel System for Simulation of the Heart Left V...
收藏 引用
international conference on Application of Information and Communication Technologies
作者: Andrey Sozykin Sergey Pravdin Anton Koshelev Vladimir Zverev Konstantin Ushenin Olga Solovyova Institute of Mathematics and Mechanics UrB RAS Yekaterinburg Russia
We present the LeVen computational system for simulation of the electro-mechanical function of the left ventricle (LV) of mammalian heart on parallel computers. A macroscopic LV model incorporates state-of-the-art cel... 详细信息
来源: 评论
An Improved Cache Strategy Based on WSP Cooperation
An Improved Cache Strategy Based on WSP Cooperation
收藏 引用
2015 IEEE 9th international conference on Anti-counterfeiting,Security, and Identification(ASID)
作者: Biao Liang Yuchun Guo Yishuai Chen Zhe Zhang Electronics and Information Engineering Beijing Jiaotong University
the rapid development of Video On Demand(VoD) service especially in wireless network incurs huge bandwidth costs. To reduce the bandwidth pressure and improve the user experience, Wireless Service Providers(WSP) began... 详细信息
来源: 评论
Educational Living Labs;A novel Internet-of-things based Approach to Teaching and Research
Educational Living Labs;A novel Internet-of-Things based App...
收藏 引用
international conference on Intelligent Environments
作者: Jeannette Chin Vic Callaghan Computing and Technology Anglia Ruskin University School of Computer Science and Electronic Engineering University of Essex
this paper explores some a novel approaches to harnessing the Internet-of-things (IoT) as a teaching and research vehicle in education. For teaching we argue that the Internet-of-things provides a highly motivating to... 详细信息
来源: 评论
IPplacer: An Efficient 0-1 Integer programming based Placement for VLSI Circuits
IPplacer: An Efficient 0-1 Integer Programming based Placeme...
收藏 引用
international conference on Computing, Communication and Networking Technologies
作者: Prasun Datta Shyamapada Mukherjee Department of Computer Science and Engineering National Institute of Technology Silchar Assam India
the placement phase is the most crucial in the physical design synthesis of Very Large Scale Integrated (VLSI) system for achieving design with optimized routability, wirelength, timing usage and power. though placeme... 详细信息
来源: 评论
Aquatic Animal Disease Diagnosis System Based on Android
Aquatic Animal Disease Diagnosis System Based on Android
收藏 引用
the 9th international conference on Computer and Computing Technologies in Agriculture (CCTA 2015)
作者: Min Sun Daoliang Li College of Information and Electrical Engineering China Agricultural University Key Laboratory of Agricultural Information Acquisition Technology Ministry of Agriculture
In recent years, as long as the rapid development of aquaculture, the occurrence of aquatic animal diseases increase year by year, which restrict the sustained, steady, and healthy development of aquaculture. So the r... 详细信息
来源: 评论
Preface for the special issue on “9th international conference on Road and Airfield Pavement Technology”
收藏 引用
Journal of Traffic and Transportation Engineering(English Edition) 2016年 第5期3卷 389-389页
作者: JTTE editorial office JTTE editorial office
In order to promote pavement technological advancement worldwide, the international Committee on Pavement Technology (ICPT) and Dalian University of Technology organized the 9th international conference on Road and ... 详细信息
来源: 评论
Lithne - A Platform for Interaction Designers to develop Interactive Networked Environments
Lithne - A Platform for Interaction Designers to develop Int...
收藏 引用
international conference on Intelligent Environments
作者: Remco Magielse Serge Offermans Department of Industrial Design Eindhoven University of Technology
Designing intelligent environments is a complex, interdisciplinary process, performed by experts from different domains. these intelligent environments often consist of wireless sensor/actuator nodes that together for... 详细信息
来源: 评论
Technical Problems Experienced in the Virtual Learning Environment and Coping Strategies
Technical Problems Experienced in the Virtual Learning Envir...
收藏 引用
international conference on Application of Information and Communication Technologies
作者: Yuksel Goktas Murat Coban Turkan Karakus Computer Education and Instructional Technology Ataturk University Erzurum TURKEY Computer Technologies and Programming Agri Ibrahim Cecen University Agri TURKEY
the popularity of virtual worlds has increased in recent years, as they have begun to feature a three-dimensional (3D) environment, avatars, and synchronous and asynchrounous communication. However, to successfully us... 详细信息
来源: 评论
Protein evolution driven by symmetric structural repeats
收藏 引用
BMC BIOINFORMATICS 2008年 第s10期9卷 P3-P3页
作者: Abraham, Anne-Laure Pothier, Joel Rocha, Eduardo P. C. Univ Paris 06 F-75005 Paris France Inst Pasteur CNRS URA2171 F-75015 Paris France
Background Duplications play a major role in the evolution of genomes by creating and modifying molecular functions. Repeats are created at the DNA level, but when they are intragenic they affect protein sequence and ... 详细信息
来源: 评论