咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3251-3260 订阅
排序:
Harmonic elimination in cascade multilevel inverters using Firefly algorithm
Harmonic elimination in cascade multilevel inverters using F...
收藏 引用
international conference on Circuit, Power and Computing Technologies (ICCPCT)
作者: N. Karthik R. Arul Department of Electrical & Electronics Engg. Hindustan University Chennai Tamilnadu India Department of Electrical & Electronics Engg. ARM College of Engineering & Technology Maraimalainagar Tamilnadu India
In this paper a new method has been proposed to select optimal switching angles based on Firefly algorithm. the resultant equations for the computation of output voltage total harmonic distortion (thD) of a multilevel... 详细信息
来源: 评论
Face Determination Based on Multi-template and Convolution
Face Determination Based on Multi-template and Convolution
收藏 引用
international conference on Dependable Systems and their Applications (DSA)
作者: Danmei Wang Chengde Medical University Hebei China
A face determination algorithm based on multi-template is proposed, which is combined with convolution and dynamic programming. Firstly, three kinds of templates are synthesized using the experimental face dataset, in... 详细信息
来源: 评论
Effects of CHE and CHISEL programming Operation on the Characteristics of SONOS Memory
Effects of CHE and CHISEL Programming Operation on the Chara...
收藏 引用
2004 7th international conference on Solid-State and Integrated Circuits Technology(ICSICT 2004)
作者: Lei Sun~1,Liyang Pan~1,Ying Zeng~1,John Chen~2,Huiqing Pang~1,Xiyou Li~1 and Jun Zhu~1 1 Institute of Microelectronics,Tsinghua University,Beijing 100084,China 2 Semiconductor Manufacturing international(Shanghai) Corporation
this paper presents the characteristics of programmed SONOS *** CHE and CHISEL programming mechanisms are analyzed and the effects of programming bias to the program speed and saturated V under different program metho... 详细信息
来源: 评论
UAV Number Optimal Recombination as an Air Transport Technologies Resource-Element
UAV Number Optimal Recombination as an Air Transport Technol...
收藏 引用
IEEE international conference on Actual Problems of Unmanned Air Vehicles Developments Proceedings (APUAVD)
作者: A.V. Goncharenko V.V. Iliushyn Air Transportation Management Department National Aviation University Kyiv Ukraine
the presented study is dedicated to the case of the airline’s optimal resources recombination. the airline, owning UAVs, deploys the aircraft number optimally in accordance with the maximal value of the individuals, ... 详细信息
来源: 评论
Processing deductions in an active fashion
Processing deductions in an active fashion
收藏 引用
international Workshop on Database and Expert Systems Applications
作者: M.S. Desouki A. Simonet M. Simonet Faculteé de Mé'decine de Grenoble Laboratoire TIMC-IMAG La Tronche France
Active and deductive rules in databases and procedural attachment in knowledge bases are used as mechanisms of computation of derived attributes. these research domains have become very closely related. the support of... 详细信息
来源: 评论
Computationally Fast Particle Swarm Optimization Power System Stabilizer Design for Interconnected Multimachine Power System
Computationally Fast Particle Swarm Optimization Power Syste...
收藏 引用
international conference on Electrical Energy Systems (ICEES)
作者: Subash Ranjan Kabat Chinmoy Kumar Panigrahi Ajit Kumar School of Electrical Engineering KIITDeemed to be University Bhubaneswar India NIT Patna India
In this paper, for multi-machine power system, computationally fast binary particle swarm optimization (BPSO) based power system stabilizer design is presented. It is necessary to make the best setting of PSS (Power S... 详细信息
来源: 评论
A feasibility study on programmer specific instruction set processors
A feasibility study on programmer specific instruction set p...
收藏 引用
international conference on Information and Automation for Sustainability (ICIAfS)
作者: T.M.R.L.B. Abeysinghe N. Hassan R.G. Ragel Department of Statistics and Computer Science University of Peradeniya Peradeniya Sri Lanka
ASIPs are designed in order to execute instructions of a particular domain of applications. the designing of ASIPs addresses the major challenges faced by a system on chip such as size, cost, performance and energy co... 详细信息
来源: 评论
Strength pareto evolutionary algorithm 2 for Environmental/Economic Power Dispatch
Strength pareto evolutionary algorithm 2 for Environmental/E...
收藏 引用
international conference on Modelling, Identification and Control (ICMIC)
作者: Imen Ben Hamida Saoussen Brini Salah Faouzi Msahli Mouhamed Faouzi Mimouni Dep. Electrical engineering University of Sousse Sousse Tunisia Dep. Electrical engineering ENIS Sfax Tunisia Dep. Electrical engineering ENIM Monastir Tunisia Ecole Nationale d'Ingenieurs de Monastir Monastir TN
this study proposes the Strength Pareto Evolutionary Algorithm (SPEA2) for Environmental/Economic Power Dispatch (EEPD) problem. In the past fuel cost consumption minimization was the single objective function of econ... 详细信息
来源: 评论
threat modeling using formal methods: A new approach to develop secure web applications
Threat modeling using formal methods: A new approach to deve...
收藏 引用
international conference on Emerging Technologies, ICET
作者: Shafiq Hussain Harry Erwin Peter Dunne Department of Computing Engineering and Technology University of Sunderland Sunderland UK
Software security problems exist since the early days of computer systems. Operating system level approaches, network level approaches and machine level approaches are not sufficient for the security of software syste... 详细信息
来源: 评论
Using randomized rounding to satisfy timing constraints of real-time preemptive tasks
Using randomized rounding to satisfy timing constraints of r...
收藏 引用
Asia and South Pacific Design Automation conference
作者: A. Datta S. Choudhury A. Basu Computer Science Department University of Stanford USA Department of Computer Sciences University of Texas Austin USA Department of Computer Science & Engineering Indian Institute of Technology Kharagpur India
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time (WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the estimation procedure. this is because the... 详细信息
来源: 评论