咨询与建议

限定检索结果

文献类型

  • 2,062 篇 会议
  • 51 册 图书
  • 43 篇 期刊文献

馆藏范围

  • 2,156 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,279 篇 工学
    • 1,032 篇 计算机科学与技术...
    • 582 篇 软件工程
    • 253 篇 电气工程
    • 165 篇 控制科学与工程
    • 77 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 25 篇 安全科学与工程
    • 23 篇 交通运输工程
    • 19 篇 仪器科学与技术
    • 17 篇 石油与天然气工程
    • 13 篇 网络空间安全
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 冶金工程
    • 11 篇 动力工程及工程热...
  • 303 篇 理学
    • 227 篇 数学
    • 39 篇 统计学(可授理学、...
    • 38 篇 物理学
    • 34 篇 系统科学
    • 24 篇 化学
    • 22 篇 生物学
  • 126 篇 管理学
    • 91 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 47 篇 教育学
    • 46 篇 教育学
  • 25 篇 医学
    • 24 篇 临床医学
  • 10 篇 法学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 172 篇 logic gates
  • 141 篇 fuzzy logic
  • 129 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 65 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 52 篇 semantics
  • 50 篇 training
  • 49 篇 computer science
  • 48 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 41 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 35 篇 computer program...
  • 35 篇 software

机构

  • 6 篇 laboratory of co...
  • 5 篇 stevens inst tec...
  • 5 篇 institute of log...
  • 5 篇 university of to...
  • 5 篇 institute for lo...
  • 5 篇 chinese univ hon...
  • 4 篇 univ oxford oxfo...
  • 4 篇 school of electr...
  • 4 篇 ibm corp thomas ...
  • 3 篇 north carolina s...
  • 3 篇 creighton univ o...
  • 3 篇 univ politecn ca...
  • 3 篇 ecole polytech f...
  • 3 篇 tu wien austria
  • 3 篇 department of co...
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...

作者

  • 7 篇 inoue katsumi
  • 5 篇 sakama chiaki
  • 5 篇 gupta gopal
  • 4 篇 wang liang
  • 4 篇 iosif radu
  • 4 篇 pontelli enrico
  • 4 篇 liang wang
  • 4 篇 tompits hans
  • 4 篇 beck j. christop...
  • 3 篇 kumar amruth n.
  • 3 篇 chopra amit k.
  • 3 篇 proietti maurizi...
  • 3 篇 il han park
  • 3 篇 m.-r. akbarzadeh...
  • 3 篇 wei li
  • 3 篇 riguzzi fabrizio
  • 3 篇 schaub torsten
  • 3 篇 melin p
  • 3 篇 leonidas deligia...
  • 3 篇 mcdirmid sean

语言

  • 2,063 篇 英文
  • 81 篇 其他
  • 20 篇 中文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2156 条 记 录,以下是1291-1300 订阅
排序:
Binary Linear programming for the designation of military shifts  22
Binary Linear Programming for the designation of military sh...
收藏 引用
22nd international conference on Production Research, ICPR 2013
作者: Tocha, C.A. Silva, R.G. Andrade, P.R.L. Silva, A.C.L. Scarpin, C.T. Departamento de Engenharia de Produção UFPR Curitiba - Paraná Brazil Programa de Pós Graduação em Engenharia de Produção e Sistemas PUCPR Curitiba - Paraná Brazil
The workers that constitute each military institution, during the accomplishment of their attributions, have the need to compose their headquarters' guard. Defining the guarding period for each worker is a complex... 详细信息
来源: 评论
Coordination of directional overcurrent relays using artificial bee colony
Coordination of directional overcurrent relays using artific...
收藏 引用
22nd international conference and Exhibition on Electricity Distribution, CIRED 2013
作者: El-Mesallamy, Mostafa El-Khattam, Walid Hassan, Amr Talaat, Hossam ABB Egypt Faculty of Engineering Ain Shams University Egypt
This paper proposes to solve the coordination of directional overcurrent relays problem (DOCR) using Artificial Bee Colony optimization (ABC) which is robust and easily implemented. Three case studies were evaluated a... 详细信息
来源: 评论
A First View of Exedra: A Domain-Specific Language for Large Graph Analytics Workflows
A First View of Exedra: A Domain-Specific Language for Large...
收藏 引用
22nd international conference on World Wide Web (WWW)
作者: Dayarathna, Miyuru Suzumura, Toyotaro Tokyo Inst Technol Dept Comp Sci Meguro Ku 2-12-1 Ookayama Tokyo 1528552 Japan IBM Res Tokyo Meguro Ku Tokyo 1528552 Japan
In recent years, many programming models, software libraries, and middleware have appeared for processing large graphs of various forms. However, there exists a significant usability gap between the graph analysis sci... 详细信息
来源: 评论
Automated Reasoning with Analytic Tableaux and Related Methods - 22nd international conference, TABLEAUX 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Metho...
收藏 引用
22nd international conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013
The proceedings contain 23 papers. The topics discussed include: on the duality of proofs and countermodels in labelled sequent calculi;a brief survey of verified decision procedures for equivalence of regular express...
来源: 评论
Production scheduling in the process industry  22
Production scheduling in the process industry
收藏 引用
22nd international conference on Production Research, ICPR 2013
作者: Lindholm, A. Giselsson, P. Quttineh, N.-H. Lidestam, H. Johnsson, C. Forsman, K. Department of Automatic Control Lund University Box 118 LundSE-221 00 Sweden Department of Mathematics Linköping University LinköpingSE-581 83 Sweden Department of Management and Engineering Linköping University LinköpingSE-581 83 Sweden Perstorp AB PerstorpSE-284 80 Sweden
The purpose of this paper is to formulate an optimization model for the production scheduling problem at continuous production sites. The production scheduling activity should produce a monthly schedule that accounts ... 详细信息
来源: 评论
Static and dynamic facility layout methods using evolution strategies in case of different shapes and areas of facilities  22
Static and dynamic facility layout methods using evolution s...
收藏 引用
22nd international conference on Production Research, ICPR 2013
作者: Hirabayashi, N. Morizawa, K. Department of Electrical and Information Systems Graduate School of Engineering Osaka Prefecture University 1-1 Gakuen-cho Naka-ku Sakai-shi Osaka599-8531 Japan
Since Evolution Strategies (ES) have more excellent property than the other existing metaheuristics such as GA in a sense of easiness of coding and its manageability of self-adaptive strategy, Hirabayashi et al. (2011... 详细信息
来源: 评论
Rough inclusion functions and similarity indices  22
Rough inclusion functions and similarity indices
收藏 引用
22nd international Workshop on Concurrency, Specification and programming, CS and P 2013
作者: Gomolińska, Anna Wolski, Marcin Bialystok University Computer Science Institute Sosnowa 64 Bialystok15-887 Poland Maria Curie-Sklodowska University Dept. of Logic and Philosophy of Science Pl. Marii Curie-Sklodowskiej 4 Lublin20-031 Poland
Rough inclusion functions are mappings considered in the rough set theory with which one can measure the degree of inclusion of a set in a set (and in particular, the degree of inclusion of an information granule in a... 详细信息
来源: 评论
Use of system integrity protection schemes to improve supply continuity
Use of system integrity protection schemes to improve supply...
收藏 引用
22nd international conference and Exhibition on Electricity Distribution, CIRED 2013
作者: Wright, John William ALSTOM Grid United Kingdom
For many Transmission and Distribution Network Operators the demand for electricity is fast approaching and in some cases exceeding their supply capability. This situation can be improved by enhancing or upgrading the... 详细信息
来源: 评论
Symbolic evaluation graphs and term rewriting - A general methodology for analyzing logic programs
Symbolic evaluation graphs and term rewriting - A general me...
收藏 引用
22nd international Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2012
作者: Giesl, Jürgen Ströder, Thomas Schneider-Kamp, Peter Emmes, Fabian Fuhs, Carsten LuFG Informatik 2 RWTH Aachen University Germany Dept. of Mathematics and Computer Science University of Southern Denmark Denmark Dept. of Computer Science University College London United Kingdom
There exist many powerful techniques to analyze termination and complexity of term rewrite systems (TRSs). Our goal is to use these techniques for the analysis of other programming languages as well. For instance, app... 详细信息
来源: 评论
Polynomial time pattern matching algorithm for ordered graph patterns
收藏 引用
22nd international conference on Inductive logic programming, ILP 2012
作者: Hino, Takahiro Suzuki, Yusuke Uchida, Tomoyuki Itokawa, Yuko Department of Intelligent Systems Hiroshima City University Japan Faculty of Psychological Science Hiroshima International University Japan
Ordered graphs, each of whose vertices has a unique order on edges incident to the vertex, can represent graph structured data such as Web pages, T EX sources, CAD and MAP. In this paper, in order to design computatio... 详细信息
来源: 评论