咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3321-3330 订阅
排序:
Software architectural considerations for the development of secure software systems
Software architectural considerations for the development of...
收藏 引用
international conference on Networked Computing (INC)
作者: Ramin Shirvani Nasser Modiri Computer Engineering group Islamic Azad University of Tehran-North Tehran Iran Computer Engineering group PayamNoor University Tehran Iran
Today, many computers are using to manage many applications, like management of bank accounts, to keep medical records, etc. With the progress of computer science and become more complicated, the amount of threats and... 详细信息
来源: 评论
Autonomous Search in Constraint Satisfaction via Black Hole: A Performance Evaluation Using Different Choice Functions
Autonomous Search in Constraint Satisfaction via Black Hole:...
收藏 引用
7th international conference on Swarm Intelligence (ICSI)
作者: Soto, Ricardo Crawford, Broderick Olivares, Rodrigo Niklander, Stefanie Olguin, Eduardo Pontificia Univ Catolica Valparaiso Valparaiso Chile Univ Valparaiso Valparaiso Chile Univ Adolfo Ibanez Vina Del Mar Chile Univ Autonoma Chile Santiago Chile Univ Cient Sur Lima Peru Univ San Sebastian Santiago Chile
Autonomous Search is a modern technique aimed at introducing self-adjusting features to problem-solvers. In the context of constraint satisfaction, the idea is to let the solver engine to autonomously replace its solv... 详细信息
来源: 评论
Structure dynamics control-based integration of aggregate distribution and dynamic transportation planning
Structure dynamics control-based integration of aggregate di...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Ivanov, Dmitry Sokolov, Boris Hartl, Richard Pavlov, Alexander Berlin School of Economics and Law Department of Business Administration International Supply Chain Management 10825 Berlin Germany V.O. 14 line 39 199178 St.-Petersburg Russia University of Vienna Production and Operations Management Bruenner Strasse 72 A-1210 Vienna Austria
We study dynamic planning decisions of a logistics service provider that in charge of the integrated supply chain (SC) planning. We examine an SC with multiple products, suppliers, transit nodes, and customers. the lo... 详细信息
来源: 评论
Using differences among replications of software engineering experiments to gain knowledge
Using differences among replications of software engineering...
收藏 引用
international Mining Software Repositories, MSR
作者: Natalia Juristo Sira Vegas Universidad Politécnica de Madrid Spain
In no science or engineering discipline does it make sense to speak of isolated experiments. the results of a single experiment cannot be viewed as representative of the underlying reality. the concept of experiment i... 详细信息
来源: 评论
OSS developers context-specific Preferred Representational systems: A initial Neurolinguistic text analysis of the Apache mailing list
OSS developers context-specific Preferred Representational s...
收藏 引用
international Mining Software Repositories, MSR
作者: Methanias Colaço Júnior Manoel Mendonça Mario Farias Paulo Henrique Software Engineering Laboratory (LES) Federal University of Bahia Salvador BA Brazil
Open Source Software (OSS) mailing lists are used by developers to discuss software engineering tasks performed in the project. In the last years, researchers have been conducting mailing lists linguistic analyses for... 详细信息
来源: 评论
Predicting the severity of a reported bug
Predicting the severity of a reported bug
收藏 引用
international Mining Software Repositories, MSR
作者: Ahmed Lamkanfi Serge Demeyer Emanuel Giger Bart Goethals LORE - Lab On Reengineering University of Antwerp Belgium SEAL - Software Evolution and Architecture Lab University of Zürich Switzerland ADReM - Advanced Database Research and Modelling University of Antwerp Belgium
the severity of a reported bug is a critical factor in deciding how soon it needs to be fixed. Unfortunately, while clear guidelines exist on how to assign the severity of a bug, it remains an inherent manual process ... 详细信息
来源: 评论
Route planning for capacity restricted agents over railway network, without disrupting train schedules  7th
Route planning for capacity restricted agents over railway n...
收藏 引用
7th international conference on Advances in Control and Optimization of Dynamical Systems (ACODS)
作者: Buriuly, Somnath Vachhani, Leena Sinha, Arpita Ravitharan, Sivapragasam Chauhan, Sunita Indian Inst Technol Syst & Control Engn Mumbai Maharashtra India Monash Univ Dept Mech & Aerosp Clayton Vic Australia Monash Univ Monash Inst Railway Technol Clayton Vic Australia
Deploying mobile instrumentation for railway track inspection is a routing and scheduling problem, that can be benefited from plans which don't disrupt regular train schedules. In this work, we avoid disrupting tr... 详细信息
来源: 评论
Optical properties of N and transition metal R (R=V, Cr, Mn, Fe, Co, Ni, Cu, and Zn) codoped anatase TiO2
收藏 引用
PHYSICA B-CONDENSED MATTER 2012年 第14期407卷 2709-2715页
作者: Zhang, Renhui Wang, Qing Liang, Jun Li, Qiang Dai, Jianfeng Li, Weixue Lanzhou Univ Technol Sch Sci Lanzhou 730050 Peoples R China Chinese Acad Sci Lanzhou Inst Chem Phys State Key Lab Solid Lubricat Lanzhou 730000 Peoples R China Sichuan Prov YiBin Univ Computat Phys Key Lab Yibin 644000 Peoples R China
the electronic structures, deformation charge density, dipole moment and optical properties of N and transition metal R (R=V, Cr, Mn, Fe, Co, Ni, Cu and Zn) codoped anatase TiO2 are studied using the plane-wave ultras... 详细信息
来源: 评论
thEX: Mining metapatterns from java
THEX: Mining metapatterns from java
收藏 引用
international Mining Software Repositories, MSR
作者: Daryl Posnett Christian Bird Premkumar Devanbu Department of Computer Science University of California Davis USA
Design patterns are codified solutions to common object-oriented design (OOD) problems in software development. One of the proclaimed benefits of the use of design patterns is that they decouple functionality and enab... 详细信息
来源: 评论
Priority switching approach for multi-objective MPC for brandy distillation systems
Priority switching approach for multi-objective MPC for bran...
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: Marwa Ben Ticha Vincent Sircoulomb Nicolas Langlois ASPI-SIT Group Saint-Lo France UNIROUEN ESIGELEC IRSEEM Normandie University Rouen France
this paper proposes a new Model Predictive Control approach that is based on multi-objective optimization with prioritization and switching between multiple models obtained at different operating phases. At each sampl... 详细信息
来源: 评论