咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
Map-Blocks: Playing with online data and infuse to think in a computational way  9
Map-Blocks: Playing with online data and infuse to think in ...
收藏 引用
9th international conference on Computing, Communication and Networking Technologies (ICCCNT)
作者: Vinayakumar, R. Soman, K. P. Menon, Pradeep Amrita Vishwa Vidyapeetham Amrita Sch Engn Ctr Computat Engn & Networking CEN Coimbatore Tamil Nadu India Lakhshya Cyber Secur Labs Pvt Ltd Coimbatore Tamil Nadu India
this paper introduces a new teaching tool for K-12 schools with the aid to transfigure the way young peoples use of online data. the tool involves participators who don9;t have prior programming knowledge and wish ... 详细信息
来源: 评论
RISK AVERSION APPROACH FOR ENERGY TRADING BASED ON MULTI-STAGE STOCHASTIC programming
RISK AVERSION APPROACH FOR ENERGY TRADING BASED ON MULTI-STA...
收藏 引用
9th international conference on the European Energy Market (EEM)
作者: Arfux, G. A. B. Teive, R. C. G. Elect Energy Trading Council Sao Paulo Brazil Univ Vale Itajai Master Program Appl Comp Itajai SC Brazil
this paper presents a methodology to define the trading policy of an energy generation agent. the proposed approach uses stochastic programming to represent the uncertainty related to the short-term price fluctuation.... 详细信息
来源: 评论
Factoring mobile agents  9
Factoring mobile agents
收藏 引用
9th Annual IEEE international conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2002)
作者: Lauvset, KJ Johansen, D Marzullo, K Univ Tromso Dept Comp Sci N-9037 Tromso Norway
In this paper we argue that the traditional model of a mobile agent provides a poor programming structure. We base our argument on our experience since 1993 in building distributed applications and mobile agent platfo... 详细信息
来源: 评论
Bilevel Linear programming with Lower-Level Fuzzy Objective Function  17
Bilevel Linear Programming with Lower-Level Fuzzy Objective ...
收藏 引用
Joint 17th World Congress of international-Fuzzy-Systems-Association / 9th international conference on Soft Computing and Intelligent Systems (IFSA-SCIS)
作者: Sariddichainunta, Puchit Inuiguchi, Masahiro Osaka Univ Grad Sch Engn Sci Suita Osaka Japan
Bilevel linear programming (BLP) is a solution method for linear optimization problem with two sequential decision steps of the leader and the follower. In this paper, we assume that the follower9;s objective funct... 详细信息
来源: 评论
An interactive fuzzy decision making method for decentralized multiobjective programming problems
An interactive fuzzy decision making method for decentralize...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Yano, H Nagoya City Univ Sch Humanities & Social Sci Nagoya Aichi 4678501 Japan
In thus paper, we focus on decentralized multiobjective programming problems where multiple decision makers called the leader and the followers make decisions in their hierarchical positions and each of them have mult... 详细信息
来源: 评论
Computing Persistent Homology in Futhark  9
Computing Persistent Homology in Futhark
收藏 引用
9th ACM SIGPLAN international Workshop on functional High-Performance and Numerical Computing (FHPNC)
作者: von Bromssen, Erik Chalmers Univ Technol Gothenburg Sweden
We present a massively parallel algorithm for computing persistent homology, a concept within the field of topological data analysis, and we implement it in the purely functional array-based language Futhark, which ha... 详细信息
来源: 评论
Different models of fuzzy logic programming with fuzzy unification (towards revision of fuzzy databases)
Different models of fuzzy logic programming with fuzzy unifi...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Vojtás, P Alsinet, T Godo, L Safarik Univ Dept Comp Sci Kosice 04154 Slovakia
the aim if this paper is to show relationships between different formalism for handling uncertainty in logic programming, knowledge based systems and deductive databases. Namely we show that our model of fuzzy logic p... 详细信息
来源: 评论
Interactive fuzzy programming for a decentralized two-level transportation planning and work force assignment problem
Interactive fuzzy programming for a decentralized two-level ...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Sakawa, M Nishizaki, I Uemura, Y Hiroshima Univ Grad Sch Engn Higashihiroshima 7398527 Japan
In this paper we deal with a transportation problem in a housing material manufacturer. the housing material manufacturer entrusts transportation of its products to two forwarding agents which handle regular transport... 详细信息
来源: 评论
Interactive fuzzy programming for decentralized two-level multidimensional 0-1 knapsack problems through genetic algorithms with decomposition procedures
Interactive fuzzy programming for decentralized two-level mu...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Kato, K Sakawa, M Nishizaki, I Hiroshima Univ Grad Sch Engn Higashihiroshima 7398527 Japan
In this paper, we focus on a decentralized two-level multidimensional 0-1 knapsack problem with block angular structure involving a single decision maker (DM) at the upper level and multiple DMs at the lower level and... 详细信息
来源: 评论
A constraint programming approach to the traveling tournament problem with predefined venues  9
A constraint programming approach to the traveling tournamen...
收藏 引用
9th international conference on the Practice and theory of Automated Timetabling, PATAT 2012
作者: Pesant, Gilles École Polytechnique de Montréal Canada
the Traveling Tournament Problem with Predefined Venues (TTPPV) has been introduced as an abstraction of sports scheduling. Exact integer programming and heuristic approaches have been proposed so far. We investigate ... 详细信息
来源: 评论