咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
Augmentation of BPEL with New Functions using Aspect-Oriented programming
Augmentation of BPEL with New Functions using Aspect-Oriente...
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Kwak, Donggyu Choi, Jaeyoung Lee, Myungho Soongsil Univ Sch Comp Sci & Engn Seoul South Korea Myoungji Univ Dept Comp Engn Seoul South Korea
BPEL is a standard executable language for specifying actions within business processes with web services. BPEL workflow requires a rule engine to describe application processes in BPEL. In this paper, we introduce a ... 详细信息
来源: 评论
Interval linear programming based decision making on market allocations  9
Interval linear programming based decision making on market ...
收藏 引用
9th international conference on theory and Application of Soft Computing, Computing with Words and Perception (ICSCCW)
作者: Aliyev, Rafig R. Univ Durham Durham England
A market allocation decision is related to the choice of media effectiveness, media budget etc. especially when advertising is required in a market. Usually in real decision making problems related to advertising, the... 详细信息
来源: 评论
Parametric study of fuzzy number linear programming
Parametric study of fuzzy number linear programming
收藏 引用
9th international conference on Computational Intelligence and Security (CIS)
作者: Jia, Yan-lin Yang, Yan Zhong, Yi-hua Southwest Petr Univ Sch Sci Chengdu Sichuan Peoples R China
this paper is devoted to show the effect of the continuous variational parameter in the objective function coefficients on the optimum solution, which is an extension of the sensitivity analysis of fuzzy number linear... 详细信息
来源: 评论
Error Handling using Linear programming in CPS Applications: Aircraft Fuel Management System Case Study
Error Handling using Linear Programming in CPS Applications:...
收藏 引用
IEEE 9th international conference on Computational Cybernetics (ICCC)
作者: Gavrilescu, Madalin Magureanu, Gabriela Pescaru, Dan Politehn Univ Timisoara Dept Comp Timisoara 300223 Romania
Cyber-Physical System (CPS) networks represent distributed systems characterized by command, communication, and control elements, acting over the environment in order to fulfill complex interactions with it. the CPS a... 详细信息
来源: 评论
Integer linear programming approach to median and center strings for a probability distribution on a set of strings  7
Integer linear programming approach to median and center str...
收藏 引用
7th international conference on Bioinformatics Models, Methods and Algorithms, BIOINFORMATICS 2016 - Part of 9th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016
作者: Hayashida, Morihiro Koyano, Hitoshi Bioinformatics Center Institute for Chemical Research Kyoto University Gokasho Uji Kyoto611-0011 Japan Graduate School of Medicine Kyoto University 54 Kawahara-cho Shogoin Sakyo-ku Kyoto606-8397 Japan
We address problems of finding median and center strings for a probability distribution on a set of strings under Levenshtein distance, which are known to be NP-hard in a special case. there are many applications in v... 详细信息
来源: 评论
An improved programming model for optimization problem of product assembly process in Pinggao Group Co., Ltd.
An improved programming model for optimization problem of pr...
收藏 引用
2012 9th IEEE international conference on Networking, Sensing and Control, ICNSC 2012
作者: Wu, Yingfeng Zhong, Jianying Li, Honglou Wang, Dawei School of Management Xi'an Jiaotong University Xi'an China Henan Pinggao Electric Co. Ltd. Pinggao Group Co. Ltd. Pingdingshan China Pinggao Group Co. Ltd. Pingdingshan China
this paper proposes a practical problem of optimization of product assembly process in Pinggao Group Co., Ltd. According to custom9;s demand, it needs to complete the productive task of high voltage switch products... 详细信息
来源: 评论
Design and Verification of the programming Circuit in an Application-Specific FPGA
Design and Verification of the Programming Circuit in an App...
收藏 引用
9th international conference on Solid-State and Integrated-Circuit Technology
作者: Yang, Zhichao Chen, Stanley L. Liu, Zhongli Chinese Acad Sci Inst Semicond Beijing 100083 Peoples R China
In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the ... 详细信息
来源: 评论
Min-max Discriminative Training of Decoding Parameters Using Iterative Linear programming
Min-max Discriminative Training of Decoding Parameters Using...
收藏 引用
9th Annual conference of the international-Speech-Communication-Association (INTERSPEECH 2008)
作者: Mak, Brian Ko, Tom Hong Kong Univ Sci & Technol Dept Comp Sci & Engn Hong Kong Hong Kong Peoples R China
In automatic speech recognition, the decoding parameters - grammar factor and word insertion penalty - are usually hand-tuned to give the best recognition performance. this paper investigates an automatic procedure to... 详细信息
来源: 评论
Usage of generic programming on hackage - Experience report
Usage of generic programming on hackage - Experience report
收藏 引用
2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN international conference on functional programming, ICFP 2013
作者: Bezirgiannis, Nikolaos Jeuring, Johan Leather, Sean Department of Information and Computing Sciences Utrecht University P.O. Box 80.089 3508 TB Utrecht Netherlands School of Computer Science Open University Netherlands
Generic programming language constructs, tools and libraries have been available in Haskell since the first report on the programming language Haskell. At the beginning of the 1990s generic programming techniques coul... 详细信息
来源: 评论
Texture generation for fashion design using genetic programming
Texture generation for fashion design using genetic programm...
收藏 引用
9th international conference on Control, Automation, Robotics and Vision
作者: Muni, Durga Prasad Pal, Nikhil R. Das, J. Indian Stat Inst Elect & Commun Sci Unit Kolkata 700108 West Bengal India
We present a methodology to generate textures for fashion design using Genetic programming(GP). the proposed GP based scheme evolves tree representation of procedures to generate textures. We use Contrast of the gener... 详细信息
来源: 评论