咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是131-140 订阅
排序:
Multiobjective fuzzy random linear programming using E-model and possibility measure
Multiobjective fuzzy random linear programming using E-model...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Katagiri, H Sakawa, M Ishii, H Hiroshima Univ Grad Sch Engn Higashihiroshima Hiroshima 7398527 Japan
In this paper, we deal with multiobjective linear programming problems with fuzzy random variable coefficients. Since the problem is ill-defined due to both fuzziness and randomness, we propose a decision making model... 详细信息
来源: 评论
Program Learning for Beginners: Survey and Taxonomy of programming Learning Tools  9
Program Learning for Beginners: Survey and Taxonomy of Progr...
收藏 引用
9th IEEE international conference on Engineering Education (ICEED)
作者: Saito, Daisuke Sasaki, Ayana Washizaki, Hironori Fukazawa, Yoshiaki Muto, Yusuke Waseda Univ Tokyo Japan Fuji Televis Kids Entertainment Inc Tokyo Japan
Occasionally a game or visual programming language tool designed for programming education is used to teach programming. In general, these tools have various attributes, which inhibit a great learning effect if the to... 详细信息
来源: 评论
Dynamic Scheduling for Heterogeneous Desktop Grids  08
Dynamic Scheduling for Heterogeneous Desktop Grids
收藏 引用
9th IEEE/ACM international conference on Grid Computing
作者: Al-Azzoni, Issam Down, Douglas G. McMaster Univ Dept Comp & Software Hamilton ON Canada
Desktop Grids have emerged as an important methodology to harness the idle cycles of millions of participant desktop PCs over the Internet. However, to effectively utilize the resources of a Desktop Grid, it is necess... 详细信息
来源: 评论
FUZZY GEOMETRIC programming BY T-NORM AND T-CONORM FUZZY RELATIONS  9
FUZZY GEOMETRIC PROGRAMMING BY T-NORM AND T-CONORM FUZZY REL...
收藏 引用
9th international FLINS conference on Computational Intelligence: Foundations and Applications
作者: Bas, Esra Istanbul Tech Univ Dept Ind Engn TR-34367 Istanbul Turkey
In this paper, the defuzzification of a primal Fuzzy Geometric programming (FGP) model and its dual model by using t-norm and t-conorm fuzzy relations is proposed. Since a lot of problems in different fields can be re... 详细信息
来源: 评论
Dependent type providers
Dependent type providers
收藏 引用
2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN international conference on functional programming, ICFP 2013
作者: Christiansen, David Raymond IT University of Copenhagen Denmark
Type providers [16], pioneered in the F# programming language, are a practical and powerful means of gaining the benefits of a modern static type system when working with data schemas that are defined outside of the p... 详细信息
来源: 评论
An IDE Framework for Grid Application Development  08
An IDE Framework for Grid Application Development
收藏 引用
9th IEEE/ACM international conference on Grid Computing
作者: Kurniawan, Donny Abramson, David Monash Univ Fac Informat Technol Monash E Sci & Grid Engn Lab Clayton Vic 3800 Australia
Grid computing enables the aggregation of a large number of computational resources for solving complex scientific and engineering problems. However, writing, deploying, and testing grid applications over highly heter... 详细信息
来源: 评论
Adding Genericity to a Plug-in Framework  10
Adding Genericity to a Plug-in Framework
收藏 引用
9th international conference on Generative programming and Component Engineering
作者: Wolfinger, Reinhard Loeberbauer, Markus Jahn, Markus Moessenboeck, Hanspeter Johannes Kepler Univ Linz Inst Syst Software Linz Austria Johannes Kepler Univ Linz Christian Doppler Lab Automated Software Engn Linz Austria
Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized applications without programming. If plug-and-play compositi... 详细信息
来源: 评论
Transmission-expansion planning based on a non-linear programming algorithm
收藏 引用
APPLIED ENERGY 2003年 第1-3期76卷 169-177页
作者: Al-Hamouz, ZM Al-Faraj, AS King Fahd Univ Petr & Minerals Dept Elect Engn Dhahran 31261 Saudi Arabia
In this formulation, the objective function and operating constraints include the corona power-loss term. the objective function consists of three terms: cost of investment of new transmission lines, ohmic power loss ... 详细信息
来源: 评论
Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented programming  10
Applications of Enhanced Dynamic Code Evolution for Java in ...
收藏 引用
9th international conference on Generative programming and Component Engineering
作者: Wuerthinger, thomas Binder, Walter Ansaloni, Danilo Moret, Philippe Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria Univ Lugano Lugano Switzerland
While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support for dynamic code evolution in high-performance, state-of-the-art ... 详细信息
来源: 评论
One Step Ahead Optimal Control of a Single Echelon Supply Chain using Mathematical programming  9th
One Step Ahead Optimal Control of a Single Echelon Supply Ch...
收藏 引用
9th international conference on Operations Research and Enterprise Systems (ICORES)
作者: Bhaya, Amit Kaszkurewicz, Eugenius de Barros Roth, Luiz Carlos Univ Fed Rio de Janeiro COPPE POB 68504 Rio De Janeiro Brazil
A single echelon supply chain model problem, consisting of a store with known inventory and shipping capacities, a known delivery delay or lead time and a random demand for a product at the store is formulated as an o... 详细信息
来源: 评论