咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 73 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 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...
  • 86 篇 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. ...
  • 6 篇 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是351-360 订阅
排序:
Objective Functions in Fuzzy Cognitive Maps: the Case of Time Series Modeling  7
Objective Functions in Fuzzy Cognitive Maps: the Case of Tim...
收藏 引用
Joint 7th international conference on Informatics, Electronics & Vision (ICIEV) / 2nd international conference on Imaging, Vision and Pattern Recognition (icIVPR)
作者: Homenda, Wladyslaw Jastrzebska, Agnieszka Univ Bialystok Fac Econ & Informat Vilnius LT-08221 Vilnius Lithuania Warsaw Univ Technol Fac Math & Informat Sci Warsaw Poland Polish Acad Sci Syst Res Inst Warsaw Poland
Modeling time series is a well investigated area for a long period. During last years fuzzy cognitive maps have been successfully employed for this purpose. Easy interpretation of relations and dependencies in an info... 详细信息
来源: 评论
A Novel Mixed Integer programming Formulation for Data Perturbation  7
A Novel Mixed Integer Programming Formulation for Data Pertu...
收藏 引用
7th international conference on Big Data Analytics, ICBDA 2022
作者: Zhang, Ting Liu, Xinglu Wang, Jiguang Victor Chan, Wai Kin Tsinghua University Tsinghua Berkeley ShenzhenInstitution Lab 1d Guangdong China
Data leakage will lead to privacy exposure and cause the loss of data assets and brand reputation. Data perturbation is an efficient approach to overcome the aforementioned challenge, which can protect the privacy by ... 详细信息
来源: 评论
Internet Scrapbook: automating Web browsing tasks by programming-by-demonstration
收藏 引用
COMPUTER NETWORKS AND ISDN SYSTEMS 1998年 第1-7期30卷 688-690页
作者: Sugiura, A Koseki, Y NEC Corp Ltd C&C Media Res Labs Miyamae Ku Kawasaki Kanagawa 216 Japan
this paper describes an intelligent Web browsing system, called Internet Scrapbook, which allows users with little programming skill to automate their repetitive browsing tasks using a programming-by-demonstration tec... 详细信息
来源: 评论
Lightweight GUIs for functional programming  7th
Lightweight GUIs for functional programming
收藏 引用
7th international Symposium on programming Languages - Implementations, Logics and Programs (PLILP 95)
作者: Vullinghs, T Tuijnman, D Schulte, W Universität Ulm Ulm D-89069 Germany
Graphical user interfaces (GUIs) are hard to combine with functional programming. Using a suitable combination of monads, we are able to tame the imperative aspects of graphical I/O in a straightforward and elegant wa... 详细信息
来源: 评论
DESIGN FOR AN AUTOMATIC programming SYSTEM.
DESIGN FOR AN AUTOMATIC PROGRAMMING SYSTEM.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Smith, Douglas R.
来源: 评论
Effectiveness of the CVaR method in risk management in an integrated energy system
收藏 引用
ENERGY REPORTS 2020年 6卷 1010-1015页
作者: Fu, Yu Sun, Qie Wennersten, Ronald Shandong Univ Inst Thermal Sci & Technol 17923 Jingshi Rd Jinan 250061 Peoples R China Shandong Univ Inst Adv Technol 17923 Jingshi Rd Jinan 250061 Peoples R China
Integrated energy systems can effectively improve the efficiency of energy utilization and promote sustainable development of energy, while meeting the diversified energy demands. In order to deal with the operation r... 详细信息
来源: 评论
Implementation of the parallel superposition in bulk-synchronous parallel ML
Implementation of the parallel superposition in bulk-synchro...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Gava, Frederic Univ Paris 10 Lab Algorithms Complex & Log Paris France
Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. this pape... 详细信息
来源: 评论
Credit Decision System for Micro, Small and Medium Enterprises (MSMEs) Based on Neural Network Algorithm and Nonlinear programming  7
Credit Decision System for Micro, Small and Medium Enterpris...
收藏 引用
7th international conference on Intelligent Computing and Signal Processing, ICSP 2022
作者: Zhang, Lijiang Wei, Mian Yi, Zhenxiang Southeast University School of Electronic Science & Engineering Nanjing China Nanjing Audit University School of Government Auditing Nanjing China
Micro, Small and Medium Enterprises (MSMEs) play an important role in economic development However, due to the prevalence of information asymmetry, MSMEs are hard to borrow money and banks have difficulties in accurat... 详细信息
来源: 评论
Effective and Efficient Layer Assignment for Minimizing the Temperature Rise of Large three-Dimensional Circuits
Effective and Efficient Layer Assignment for Minimizing The ...
收藏 引用
7th international Microsystems, Packaging, Assembly and Circuits Technology conference (IMPACT)
作者: Yeh, Hua-Hsin Huang, Shih-Hsu Chung Yuan Christian Univ Dept Elect Engn Chungli Taiwan
three-dimensional integrated circuit (3D IC) technology can improve the circuit performance and reduce the power dissipation. However, the heat generated by the stacked layers may cause a large amount of temperature r... 详细信息
来源: 评论
On-policy Approximate Dynamic programming for Optimal Control of non-linear systems  7
On-policy Approximate Dynamic Programming for Optimal Contro...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Shalini, K. Vrushabh, D. Sonam, K. Veermata Jijabai Technol Inst EED Mumbai Maharashtra India
Optimal control theory deals with finding the policy that minimizes the discounted infinite horizon quadratic cost function. For finding the optimal control policy, the solution of the Hamilton-Jacobi-Bellman (HJB) eq... 详细信息
来源: 评论