咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

  • 3,601 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1301-1310 订阅
排序:
Analysing depth contours for robust real-time stereo vision  7
Analysing depth contours for robust real-time stereo vision
收藏 引用
7th international conference on Imaging for Crime Detection and Prevention, ICDP 2016
作者: Khan, Tariq Biglari-Abhari, Morteza Gimel'farb, Georgy Dept. of Computer Science University of Auckland New Zealand Dept. of Electrical and Computer Engineering University of Auckland New Zealand
Fast and accurate reconstruction of a 3D scene, e.g. for tracking and recognition of subject or predicting crowd behaviour, with robust real-time intelligent vision systems is essential for crime detection and prevent... 详细信息
来源: 评论
Jupyter extension for Creating CAD designs and their subsequent analysis by the finite element method  7
Jupyter extension for Creating CAD designs and their subsequ...
收藏 引用
7th international conference Distributed Computing and Gridtechnologies in Science and Education, GRID 2016
作者: Iakushkin, O. Kondratiuk, A. Sedova, O. Grishkin, V. Saint Petersburg State University 7/9 Universitetskaya emb. Saint-Petersburg199034 Russia
Creating designs in CAD and performing their stress-strain analysis are complex computational tasks. their successful solution depends on a number of prerequisites: availability of large computational power;comprehens... 详细信息
来源: 评论
7th international conference on Computational Logistics, ICCL 2016
7th International Conference on Computational Logistics, ICC...
收藏 引用
7th international conference on Computational Logistics, ICCL 2016
the proceedings contain 29 papers. the special focus in this conference is on Container Terminals, Maritime Transportation, Intermodal Transport, Location, Routing, Supply Chain Management and Supply Chain Management....
来源: 评论
A Plasma Reactor for the Synthesis of High-Temperature Materials: Electro thermal, Processing and Service Life Characteristics  7
A Plasma Reactor for the Synthesis of High-Temperature Mater...
收藏 引用
7th international Scientific Practical conference on Innovative Technologies in Engineering
作者: Galevskiy, G. V. Rudneva, V. V. Galevskiy, S. G. Tomas, K. I. Zubkov, M. S. Siberian State Ind Univ Novokuznetskul Kirova42 Novokuznetsk 654007 Russia Natl Mineral Resources Univ Univ Mines 21-th Line Vasilievsky Isl2 St Petersburg 199106 Russia Natl Res Tomsk Polytechn Univ Yurga Inst Technol Affiliate Yurgaul Leningradskaya26 Kemerovo 652055 Russia
the three-jet direct-flow plasma reactor with a channel diameter of 0.054 m was studied in terms of service life, thermal, technical, and functional capabilities. It was established that the near-optimal combination o... 详细信息
来源: 评论
2D-packing with an application to stowage in Roll-on Roll-off liner shipping  7th
2D-packing with an application to stowage in Roll-on Roll-of...
收藏 引用
7th international conference on Computational Logistics, ICCL 2016
作者: Hansen, Jone R. Hukkelberg, Ivar Fagerholt, Kjetil Stålhane, Magnus Rakke, Jørgen G. Department of Industrial Economics and Technology Management Norwegian University of Science and Technology Trondheim Norway Trondheim Norway Wallenius Wilhelmsen Logistics Lysaker Norway
Roll-on/Roll-off (RoRo) ships represent the primary source for transporting vehicles and other types of rolling material over long distances. In this paper we focus on operational decisions related to stowage of cargo... 详细信息
来源: 评论
Grieving in the 21st Century: Social media's role in facilitating supportive exchanges following community-level traumatic events  16
Grieving in the 21st Century: Social media's role in facilit...
收藏 引用
7th international conference on Social Media and Society, SMSociety 2016
作者: Glasgow, Kimberly Vitak, Jessica Fink, Clay Tausczik, Yla Johns Hopkins University Applied Physics Laboratory LaurelMD United States College of Information Studies University of Maryland College ParkMD United States
In the aftermath of a traumatic mass casualty event, a community's resources are strained, while its needs for tangible, emotional, and informational support are elevated. Social media may serve to bridge the dist... 详细信息
来源: 评论
JParEnt: Parallel entropy decoding for JPEG decompression on heterogeneous multicore architectures
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷
作者: Sodsong, Wasuwee Jung, Minyoung Park, Jinwoo Burgstaller, Bernd Yonsei Univ Dept Comp Sci Seoul South Korea
the JPEG format employs Huffman codes to compress the entropy data of an image. Huffman codewords are of variable length, which makes parallel entropy decoding a difficult problem. To determine the start position of a... 详细信息
来源: 评论
Towards a software-enabled environment promoting accessible learning in higher education  2016
Towards a software-enabled environment promoting accessible ...
收藏 引用
7th international conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016
作者: Lima, Celson Pinheiro, Cassio Sarraipa, João Federal University of Western Pará Campus Tapajós Santarém PA Brazil UNINOVA-GRIS Centre of Technology and Systems Portugal
this paper introduces the vision guiding the development of a software-enabled environment aiming to help the communities that cannot easily have access to and be part of the higher education system. these communities... 详细信息
来源: 评论
Architecture of Absurd  10th
Architecture of Absurd
收藏 引用
10th international conference on Universal Access in Human-Computer Interaction held as part of 18th international conference on Human-Computer Interaction (HCI international)
作者: Fross, Klaudiusz Ujma-Wasowicz, Katarzyna Wala, Ewa Winnicka-Jaslowska, Dorota Guminska, Anna Sitek, Michal Sempruch, Agata Silesian Tech Univ Fac Architecture Ul Akad 7 PL-44100 Gliwice Poland
Ergonomy is not automatically attributed for an architectonic projects. Construction regulations and norms partially guarantee ergonomic solutions. But still, there is a free, great field for creative work (visions, i... 详细信息
来源: 评论
Optimizing the Performance-Related Configurations of Object-Relational Mapping Frameworks Using a Multi-Objective Genetic Algorithm  16
Optimizing the Performance-Related Configurations of Object-...
收藏 引用
7th ACM/SPEC international conference on Performance Engineering (ICPE)
作者: Singh, Ravjot Bezemer, Cor-Paul Shang, Weiyi Hassan, Ahmed E. Queens Univ SAIL Kingston ON K7L 3N6 Canada Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada
Object-relational mapping (ORM) frameworks map low-level database operations onto a high-level programming API that can be accessed from within object-oriented source code. ORM frameworks often provide configuration o... 详细信息
来源: 评论