咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,406 篇 工学
    • 1,903 篇 计算机科学与技术...
    • 1,157 篇 软件工程
    • 418 篇 电气工程
    • 272 篇 控制科学与工程
    • 200 篇 信息与通信工程
    • 129 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 57 篇 交通运输工程
    • 56 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 46 篇 化学工程与技术
    • 42 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 406 篇 管理学
    • 340 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 108 篇 教育学
    • 105 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 314 篇 linear programmi...
  • 252 篇 programming
  • 188 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 optimization
  • 119 篇 integer programm...
  • 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 篇 computer program...
  • 49 篇 mathematical mod...
  • 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,401 篇 英文
  • 190 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3619 条 记 录,以下是2021-2030 订阅
排序:
A linear programming approach for probabilistic robot path planning with missing information of outcomes
A linear programming approach for probabilistic robot path p...
收藏 引用
2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011
作者: Movafaghpour, Mohamad Ali Masehian, Ellips Faculty of Engineering Tarbiat Modares University Tehran Iran
In practical robot motion planning, robots usually do not have full models of their surrounding, and hence no complete and correct plan exists for the robots to be executed fully. In most real-world problems a robot o... 详细信息
来源: 评论
Stability of quintic and sextic functional equations in non-archimedean fuzzy normed spaces
Stability of quintic and sextic functional equations in non-...
收藏 引用
2011 8th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th international conference on Natural Computation, ICNC'11
作者: Xu, Tian Zhou Xu, Wan Xin Rassias, John Michael Rassias, Matina John Department of Mathematics School of Science Beijing Institute of Technology Beijing 100081 China School of Communication and Information Engineering University of Electronic Science and Technology of China Chengdu 611731 China Pedagogical Department E.E. Section of Mathematics and Informatics National and Capodistrian University of Athens 4 Agamemnonos Str. Aghia Paraskevi Athens 15342 Greece University College London Department of Statistical Science 1-19 Torrington Place London WC1E 7HB United Kingdom
We use the fixed point method to study the Hyers-Ulam stability of the quintic and sextic functional equations in non-Archimedean fuzzy normed spaces. In addition, we establish some results of approximately quintic an... 详细信息
来源: 评论
Phoneme strings based machine transliteration
Phoneme strings based machine transliteration
收藏 引用
7th international conference on Natural Language Processing and Knowledge Engineering, NLP-KE 2011
作者: Qin, Ying Department of Computer Science Beijing Foreign Studies University Beijing China
Transliteration is always used to translate source names with approximate equivalence of pronunciation into target language. Current direct orthographical mapping (DOM) approach does segmentation and alignment on the ... 详细信息
来源: 评论
Early social skills as a function of gender: An observational study of children between 3-8 years in Andhra Pradesh, India
Early social skills as a function of gender: An observationa...
收藏 引用
7th international conference on Methods and Techniques in Behavioral Research, MB'10
作者: Kandalla, Mayuri Bhat, Pavitra Angr Agricultural University College of Home Science Hyderabad 500 004 India
Children's Social skills were observed through video filming of their interactions in school and apartment play grounds and summer camps. In all 72 video clippings of 10 minutes duration each were analyzed using O... 详细信息
来源: 评论
Drafting Force Forecasting Using Genetic programming
Drafting Force Forecasting Using Genetic Programming
收藏 引用
7th China international Silk conference on Inheritance and Innovation - Modern Silk Road
作者: Nibikora, Ildephonse Wang, Jun Donghua Univ Shanghai 201620 Peoples R China
Genetic programming was used to find out a mathematical model for drafting force from drafting process parameters on the drawing frame, which fits the experimental data as much as possible. the study used rayon fibers... 详细信息
来源: 评论
Stackless Preemptive Multi-threading for TinyOS
Stackless Preemptive Multi-Threading for TinyOS
收藏 引用
7th IEEE international conference on Distributed Computing in Sensor Systems (DCOSS)
作者: McCartney, William P. Sridhar, Nigamanth Cleveland State Univ Cleveland OH 44115 USA
programming support for multi-threaded applications on embedded microcontroller platforms has attracted a considerable amount of research attention in the recent years. this paper is focused on this problem, and prese... 详细信息
来源: 评论
Analysis of frameworks for developing genetic algorithms
Analysis of frameworks for developing genetic algorithms
收藏 引用
作者: Kryvyy, Rostyslav Tkachenko, Serhii Karkuljovskyy, Volodymyr CAD Department Lviv Polytechnic National University S. Bandery street 12 Lviv Ukraine
this paper deals with popular frameworks that simplify the implementation of software products based on genetic algorithms. © 2011 LVIV POLYTECHNIC NATL UNIV.
来源: 评论
A constraint shifting homotopy method for convex multi-objective programming
A constraint shifting homotopy method for convex multi-objec...
收藏 引用
7th international conference on Scientific Computing and Applications
作者: Shang, Yufeng Yu, Bo Dalian Univ Technol Sch Math Sci Dalian 116024 Peoples R China Aviat Univ Air Force Sect Math Changchun 130022 Peoples R China
In this paper, a constraint shifting combined homotopy method for solving multi-objective programming problems with both equality and inequality constraints is presented. It does not need the starting point to be an i... 详细信息
来源: 评论
ICER'11 - Proceedings of the ACM SIGCSE 2011 international Computing Education Research Workshop
ICER'11 - Proceedings of the ACM SIGCSE 2011 International C...
收藏 引用
7th international Computing Education Research Workshop, ICER 2011
the proceedings contain 23 papers. the topics discussed include: the scientific approach to teaching: research as a basis for course design;deciding to major in computer science: a grounded theory of students' sel...
来源: 评论
A functional framework to evade network IDS
A functional framework to evade network IDS
收藏 引用
Hawaii international conference on System Sciences
作者: Pastrana, Sergio Orfila, Agustin Ribagorda, Arturo Carlos III University of Madrid Spain
Signature based Network Intrusion Detection Systems (NIDS) apply a set of rules to identify hostile traffic in network segments. Currently they are so effective detecting known attacks that hackers seek new techniques... 详细信息
来源: 评论