咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1211-1220 订阅
排序:
Support for parallel computing in julia language  7
Support for parallel computing in julia language
收藏 引用
7th international conference "Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems", ITTMM 2017
作者: Kulyabov, Dmitry S. Gevorkyan, Migran N. Korolkova, Anna V. Sevastianov, Leonid A. Department of Applied Probability and Informatics Peoples' Friendship University of Russia 6 Miklukho-Maklaya St. Moscow117198 Russia Joint Institute for Nuclear Research Laboratory of Information Technologies 6 Joliot-Curie Dubna Moscow region141980 Russia Joint Institute for Nuclear Research Bogoliubov Laboratory of Theoretical Physics 6 Joliot-Curie Dubna Moscow region141980 Russia
the purpose of this paper is a brief review of tools for parallel computing implemented in the current version of the Julia Language. Julia is a young promising language designed for scientific programming. Before des... 详细信息
来源: 评论
Empirical Studies in Decision Rule-Based Flexibility Analysis for Complex Systems Design and Management  7
Empirical Studies in Decision Rule-Based Flexibility Analysi...
收藏 引用
7th international conference on Complex Systems Design and Management (CSD and M)
作者: Cardin, Michel-Alexandre Jiang, Yixin Lim, Terence Natl Univ Singapore Dept Ind & Syst Engn Block E1A 06-251 Engn Dr 2 Singapore 117576 Singapore
this paper presents the results of human subject experiments focusing on the role of decision rules in the study of flexibility and real options analysis (ROA) in design and management of complex engineering systems. ... 详细信息
来源: 评论
7th international conference on Nanomaterials by Severe Plastic Deformation
收藏 引用
IOP conference Series: Materials Science and Engineering 2017年 第1期194卷
作者: Liao, X.Z. Estrin, Y. School of Aerospace Mechanical and Mechatronic Engineering University of Sydney SydneyNSW2006 Australia Department of Materials Science and Engineering Monash University ClaytonVIC3800 Australia Laboratory of Hybrid Nanostructured Materials NUST MISIS Moscow119049 Russia
Severe plastic deformation (SPD) has arguably been the most effective top-down approach to producing bulk nanostructured materials from more conventional, coarse-grained ones. During SPD processing, a giant shear defo...
来源: 评论
A hybrid GA — Interval linear programming implementation for microgrid relay coordination considering different fault locations
A hybrid GA — Interval linear programming implementation fo...
收藏 引用
international conference on Power Systems (ICPS)
作者: S T P Srinivas K. Shanti Swarup Indian Institute of Technology Madras Chennai Tamil Nadu IN Departmenl of Electrical Engineering IIT Madras
this paper proposes hybrid Genetic Algorithm (GA) - Interval Linear programming (ILP) approach to optimal relay coordination problem for microgrids. Relay coordination in microgrids is complex because of varied and bi... 详细信息
来源: 评论
Patern candidate discovery and parallelization techniques  29
Patern candidate discovery and parallelization techniques
收藏 引用
29th Symposium on the Implementation and Application of functional programming Languages, IFL 2017
作者: th, Melinda Bozó, István Kozsik, Tamás ELTE Eötvös Loránd University Budapest Hungary
Parallel computations in a program can be expressed conveniently, at a high level of abstraction, using parallel patterns such as task farm, pipeline or divide-and-conquer. In order to transform a sequential program i... 详细信息
来源: 评论
A parallel swarm library based on functional programming
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) 2017年 10305 LNCS卷 3-15页
作者: Rubio, Fernando De La Encina, Alberto Rabanal, Pablo Rodríguez, Ismael Facultad Informática Universidad Complutense de Madrid Madrid28040 Spain
In this paper we present a library of parallel skeletons to deal with swarm intelligence metaheuristics. the library is implemented using the parallel functional language Eden, an extension of the sequential functiona... 详细信息
来源: 评论
Improvement of high school students' programming skills? Case study using a computer contest?  7
Improvement of high school students' programming skills? Cas...
收藏 引用
7th international Multi-conference on Complexity, Informatics and Cybernetics, IMCIC 2016 and 7th international conference on Society and Information Technologies, ICSIT 2016
作者: Kofune, Yasuyo Koita, Takahiro Osaka Prefectural Yodogawa Technology High School Osaka Japan Doshisha University Kyoto Japan
this paper presents a case study of participation in a programming contest to stimulate student interest in learning programming. the hypothesis of this study is that students will be more willing to learn programming... 详细信息
来源: 评论
ACM international conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
7th Annual conference on Creativity and Making in Education, FabLearn 2017
the proceedings contain 20 papers. the topics discussed include: sustaining making in the era of accountability: STEM integration using e-textiles materials in a high school physics class;from classroom-making to func...
来源: 评论
Automatic programming for Robotic Grinding Using Real Time 3D Measurement
Automatic Programming for Robotic Grinding Using Real Time 3...
收藏 引用
IEEE international conference on Cyber Technology in Automation, Control, and Intelligent Systems
作者: Yaonan Li Heping Chen Ning Xi Shenzhen Academy of Robotics Department of Industrial and Manufacturing Systems The University of Hong Kong
In order to apply an industrial manipulator to grind or polish an unknown work piece, many robot tool points must be taught manually. this programming procedure could be complex if the work piece has arbitrary surface... 详细信息
来源: 评论
programming Everyday Task by Demonstration using Primitive Skills for a Manipulator
Programming Everyday Task by Demonstration using Primitive S...
收藏 引用
IEEE international conference on Cyber Technology in Automation, Control, and Intelligent Systems
作者: Pham Ngoc Hung Takashi Yoshimi Graduate School of Engineering and Science Shibaura Institute of Technology Tokyo Japan Department of Electrical Engineering Shibaura Institute of Technology Tokyo Japan
this manuscript presents a method to program everyday manipulation tasks for a robot by human demonstration using primitive skills. the hand movement in the demonstrated task is recorded then segmented into sub-action... 详细信息
来源: 评论