咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 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...
  • 86 篇 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. ...
  • 6 篇 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是3581-3590 订阅
排序:
Using markup language to differentiate between reliable and unreliable news
Using markup language to differentiate between reliable and ...
收藏 引用
international conference on Data Science and Advanced Analytics (DSAA)
作者: Caireann Kennedy Josephine Griffith National University of Ireland Galway Galway Ireland
the aim of this research is to develop a more accurate method to detect unreliable news articles without considering the article content. Fake news articles are defined here as those articles which consist entirely of... 详细信息
来源: 评论
Data-Driven Economic analysis of hydrogen-power coupled integrated energy system
Data-Driven Economic analysis of hydrogen-power coupled inte...
收藏 引用
Data Science and Information Technology (DSIT), international conference on
作者: Zhang Yan Yuan Zi Zhu Zhentao Jin Zhenqiang Wang Mulan Xu Hao Wang Hairong Tan Wenyi School of Economics and Management Nanjing Institute of Technology Nanjing China School of Electric Power Engineering Nanjing Institute of Technology Nanjing China Ministry of Industry and Technology Jiangsu Power Transmisson & Transformation Co.Ltd Nanjing China School of Management Engineering Nanjing Institute of Technology Nanjing China School of Environmental Engineering Nanjing Institute of Technology Nanjing China
Energy system choices for zero-carbon parks are challenged by the drive towards a low-carbon transition. Traditional wind-power-gas integrated energy systems centred on natural gas and combined heat and power (CHP) ar... 详细信息
来源: 评论
GENERATING STYLISTICALLY CONSISTENT PRODUCT FORM DESIGNS USING INTERACTIVE EVOLUTIONARY PARAMETRIC SHAPE GRAMMARS
GENERATING STYLISTICALLY CONSISTENT PRODUCT FORM DESIGNS USI...
收藏 引用
the 7th international conference on Computer-Aided Industrial Design and Conceptual Design (CAID&CD’2006)
作者: Ho Cheong Lee Design Technology Research Centre School of Design The Hong Kong Polytechnic University
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories an... 详细信息
来源: 评论
Various Modulation Types Classification on the Air by Convolutional Neural Network  23
Various Modulation Types Classification on the Air by Convol...
收藏 引用
Proceedings of the 7th international conference on Future Networks and Distributed Systems
作者: Yousif I Hammadi Mokhalad Abdulameer Kadhim Alsaeedi Omar Abdulkareem Mahmood Aws Zuhair Sameen Mohammed Saleh Ali Muthanna Ahmed Aziz Ammar Muthanna Dep. of Medical Instruments Engineering Techniques Bilad Alrafidain University College Iraq Department of Communications Engineering University of Diyala Iraq Department of Medical Instrumentation Engineering Techniques Al-Farahidi University Iraq Institute of Computer Technologies and Information Security Southern Federal University Russia Department of computer science Benha university Egypt and International Business Management Department Tashkent State University of Economics Uzbekistan Department of Telecommunication Networks and Data Transmission The Bonch Bruevich Saint Petersburg State University of Telecommunications Russia and Department of Applied Probability and Informatics Peoples Friendship University of Russia Russia
Deep learning (DL), a relatively recent AI technique, has been successfully applied to the problem of automated modulation categorization (AMC), with promising results. An essential part of developing the spectrum-sen...
来源: 评论
Address code and arithmetic optimizations for embedded systems
Address code and arithmetic optimizations for embedded syste...
收藏 引用
Asia and South Pacific Design Automation conference
作者: J. Ramanujam S. Krishnamurthy J. Hong M. Kandemir Department of Electrical and Computer Engineering Louisiana State University Baton Rouge LA USA Department of Computer Science and Engineering The Pennsylvania State University University Park PA USA
An important class of problems used widely in both the embedded systems and scientific domains perform memory intensive computations on large data sets. these data sets get to be typically stored in main memory, which... 详细信息
来源: 评论
Templated growth of fullerene C60 crystals by triptycene in polymer blend films
收藏 引用
SUPRAMOLECULAR CHEMISTRY 2012年 第7期24卷 526-531页
作者: Lomas, Cole R. Hodgkiss, Justin M. Victoria Univ Wellington Sch Chem & Phys Sci MacDiarmid Inst Adv Mat & Nanotechnol Wellington New Zealand
Supramolecular hosts offer the ability to template the macroscopic assembly of functional guests like fullerene C-60 for electronic device applications. Herein, we investigate the effect of triptycene (TPC) addition t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Denoising of Magnetic Resonance Images with Deep Neural Regularizer Driven by Image Prior
Denoising of Magnetic Resonance Images with Deep Neural Regu...
收藏 引用
international conference on Data Science and Advanced Analytics (DSAA)
作者: Yazhou Zhu Xiang Pan Jing Zhu Lihua Li Yuan Liu School of Artificial Intelligence and Computer Science Jiangnan University Wuxi China Wuxi China School of Artificial Intelligence and Computer Science Jiangnan University Wuxi China College of Life Information Science and Instrument Engineering Hangzhou Dianzi University Hangzhou China
Magnetic resonance imaging (MRI) is an important medical diagnosis technique in clinical diagnosis, while the quality of MR images is always damaged by the noise which is caused in the image acquisition process. In th... 详细信息
来源: 评论
Preface
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2000年 1955卷
作者: Parigot, Michel Voronkov, Andrei CNRS - Université de Paris 7 case 7012 2 place Jussieu Paris Cedex 05 France University of Manchester Computer Science Department Oxford Rd Manchester United Kingdom
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020年 12071 LNCS卷 vi页
作者: Méry, Dominique Raschke, Alexander Houdek, Frank Institute of Software Engineering and Programming Languages Ulm University Ulm Germany LORIA Campus Scientifique Université de Lorraine Vandoeuvre-les-Nancy France Research and Development Mercedes-Benz AG Sindelfingen Germany
来源: 评论