咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1361-1370 订阅
排序:
Quadratic programming Approach for Security Constrained Optimal Power Flow  7
Quadratic Programming Approach for Security Constrained Opti...
收藏 引用
7th international conference on Information Technology and Electrical Engineering (ICITEE)
作者: Wibowo, Rony Seto Maulana, Rendhi Taradini, Annisaa Pamuji, Feby A. Soeprijanto, Adi Penangsang, Ontoseno Inst Teknol Sepuluh Nopember Surabaya Indonesia
this paper proposes an approach for optimal power flow considering several contingency states. Initially, contingency selection is conducted to measure how much a specific contingency may affect the operation cost. th... 详细信息
来源: 评论
Creating ROS Launch Files Using A Visual programming Interface  7
Creating ROS Launch Files Using A Visual Programming Interfa...
收藏 引用
Proceedings of the 2015 7th IEEE international conference on Cybernetics and Intelligent Systems (CIS) And Robotics, Automation and Mechatronics (RAM)
作者: Narayanamoorthy, Aditya Li, Renjun Huang, Zhiyong Inst Infocomm Res Robot Dept Singapore Singapore
Visual programming is widely used to allow users to create programs by manipulating program elements graphically rather than by specifying them textually. It is intuitive and effective. However, it has only just begun... 详细信息
来源: 评论
A Cloud-based Architecture for Network Attack Signature Learning  7
A Cloud-based Architecture for Network Attack Signature Lear...
收藏 引用
7th international conference on New Technologies, Mobility and Security (NTMS)
作者: Hamdi, Omessaad Mbaye, Maissa Krief, Francine Univ Carthage SUPCOM Carthage Tunisia Gaston Berger Univ LANI St Louis Senegal Univ Bordeaux LaBRI Bordeaux France
Intrusion Detection System (IDS) is an essential component of the network security infrastructure. It detects malicious activities by monitoring network traffic. there are two main classes of IDS: the anomaly-based ID... 详细信息
来源: 评论
Cartesian genetic programming in a changing environment  7
Cartesian genetic programming in a changing environment
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Slany, Karel Department of Computer Systems Faculty of Information Technology Brno University of Technology Božetěchova 2 Brno612 66 Czech Republic
Evolutionary algorithm are prevalently being used in static environments. In a dynamically changing environment an evolutionary algorithm must be also able to cope with the changes of the environment. this paper descr... 详细信息
来源: 评论
the Effects of Providing a Space for Students to Progress with Self-Directed Free Study  7
The Effects of Providing a Space for Students to Progress wi...
收藏 引用
7th IEEE international conference on Engineering Education (ICEED)
作者: Fujisawa, Takeshi Bailey, Matthew Kanazawa Tech Coll Global Informat Technol Dept Kanazawa Ishikawa Japan
In a class focused on practical programming, it is not uncommon to find a large difference in student ability levels. When such a gap in proficiency exists, students with a high level of understanding tend to find the... 详细信息
来源: 评论
For sale or wanted: Directed crossover in adjudicated space  7
For sale or wanted: Directed crossover in adjudicated space
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Fitzgerald, Jeannie M. Ryan, Conor Biocomputing and Developmental Systems Group University of Limerick Limerick Ireland
Significant recent effort in genetic programming has focused on selecting and combining candidate solutions according to a notion of behaviour defined in semantic space and has also highlighted disadvantages of relyin... 详细信息
来源: 评论
Duck testing enhancements for automated validation of student programmes: How to automatically test the quality of implementation of students' programmes  7
Duck testing enhancements for automated validation of studen...
收藏 引用
7th international conference on Computer Supported Education, CSEDU 2015
作者: Herout, Pavel Brada, Premysl Department of Computer Science and Engineering University of West Bohemia Plzen Czech Republic
this article deals with the issue how to test the quality of novice programmers' software assignments. this problem is becoming serious due to the hundreds of students in the introductory courses of programming. T... 详细信息
来源: 评论
Modeling programming learning in online discußion forums  7
Modeling programming learning in online discußion forums
收藏 引用
7th international conference on Computer Supported Education, CSEDU 2015
作者: Hsiao, I-Han School of Computing Informatics and Decision Systems Engineering Arizona State University 699 S. Mill Ave. TempeAZ United States
In this paper, we modelled constructive engagement activities in an online programming discußion. We built a logistic regreßion model based on the underlined cognitive proceßes in constructive learning ... 详细信息
来源: 评论
Towards a 3D virtual game for learning object-oriented programming fundamentals and C++ language: theoretical considerations and empirical results  7
Towards a 3D virtual game for learning object-oriented progr...
收藏 引用
7th international conference on Computer Supported Education, CSEDU 2015
作者: Djelil, Fahima Albouy-Kißi, Benjamin Albouy-Kißi, Adélaïde Sanchez, Eric Lavest, Jean-Marc Laboratoire Institut Pascal CNRS-UMR 6602 Université Blaise Pascal Clermont-Ferrand France EducTice Institut Français de L'Education Ecole Normale Supérieure Lyon France
Object-Oriented programming (OOP) paradigm is one of the most common paradigm in introductory programming courses. However, novices often have difficulties to understand the basic concepts which are of a high level of... 详细信息
来源: 评论
Interpretation and programming of the reversible functional language RFUN  15
Interpretation and programming of the reversible functional ...
收藏 引用
27th Symposium on the Implementation and Application of functional programming Languages, IFL 2015
作者: thomsen, Michael Kirkedal Axelsen, Holger Bock Faculty of Mathematics and Computer Science University of Bremen Germany Department of Computer Science University of Copenhagen Denmark
RFUN is a small first-order reversible functional language introduced by Yokoyama et al. in 2012. the present paper aims to further the understanding of reversible functional programming (and RFUN in particular) by de... 详细信息
来源: 评论