咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 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...
  • 87 篇 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. ...
  • 7 篇 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,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1341-1350 订阅
排序:
Composite ring made of 3D woven preform injected by RTM: From design to full scale testing
Composite ring made of 3D woven preform injected by RTM: Fro...
收藏 引用
SAMPE Long Beach 2016 conference and Exhibition
作者: Fischer, Hermann Poulaert, Bernard Magerman, Jean-Louis Bargeton, Etienne De Lumley, thibault Valcke, André-Marie Atkins, thierry Gokce, Hakan Bryn, Leon ESA-ESTEC Postbus 299 Noordwijk2200 AG Netherlands SONACA Route Nationale Cinq Gosselies6041 Belgium BRM 23 North 7th Street BallyPA19503 United States
As part of the European Space Agency (ESA) Future Launchers Preparatory Programme (FLPP), SONACA (BELGIUM) and BRM (USA) companies joined their competences to develop a new concept of structural European launcher cryo... 详细信息
来源: 评论
Differential evolution technique in solving HEPWM switching angles of three-phase voltage source inverter
Differential evolution technique in solving HEPWM switching ...
收藏 引用
National Proceedings Power and Energy conference (PECon)
作者: Azziddin Mohamad Razali Norazelina Kamisman Jurifa Mat Lazi Norhazilina Bahari Wahidah Abd Halim Department of Power Electronics and Drives Universiti Teknikal Malaysia Melaka (UTeM) Melaka Malaysia
this paper presents the solution for odd and even number of switching angles of harmonic elimination pulse width modulation (HEPWM). HEPWM capable to eliminate low order harmonics of inverter output voltage by solving... 详细信息
来源: 评论
Unsupervised feature selection technique based on genetic algorithm for improving the Text Clustering
Unsupervised feature selection technique based on genetic al...
收藏 引用
international conference on Computer Science and Information Technology (CSIT)
作者: Laith Mohammad Abualigah Ahamad Tajudin Khader Mohammed Azmi Al-Betar School of Computer Sciences Universiti Sains Malaysia (USM) Pulau Pinang Malaysia Department of information technology Al-Huson University College Al-Huson Irbid Jordan
the increasing amount of text documents in digital forms affect the text analysis techniques. Text clustering (TC) is one of the important techniques used for showing a massive amount of text documents by clusters. He... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Learning weak constraints in answer set programming
收藏 引用
thEORY AND PRACTICE OF LOGIC programming 2015年 第4-5期15卷 511-525页
作者: Law, Mark Russo, Alessandra Broda, Krysia Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning fro... 详细信息
来源: 评论
Data Science and Online Education  7
Data Science and Online Education
收藏 引用
IEEE 7th international conference on Cloud
作者: Fox, Geoffrey Maini, Sidd Rosenbaum, Howard Wild, David Indiana Univ Sch Informat & Comp Bloomington IN 47408 USA
we discuss the Data Science program at Indiana University, which is offered in both traditional residential and online formats. We describe Data Science, our chosen curriculum and its motivation. We describe experienc... 详细信息
来源: 评论
the Application of Hybrid Flipped Classroom in the Course of Java programming  7
The Application of Hybrid Flipped Classroom in the Course of...
收藏 引用
7th international conference on Information Technology in Medicine and Education (ITME)
作者: Li Zhuo Geng Qi-xian Beihua Univ Coll Comp Sci & Technol Jilin Peoples R China Beihua Univ Coll Mech Engn Jilin Peoples R China
the development of multimedia and network technology which provide a new carrier and platform for the traditional teaching, is also the foundation of hybrid teaching mode, which is a hot topic in the research of teach... 详细信息
来源: 评论
Program with Ixquic How to Learn Object-Oriented programming with a game.  7
<i>Program with Ixquic</i> How to Learn Object-Oriented Prog...
收藏 引用
IEEE 7th international conference on Games and Virtual Worlds for Serious Applications (VS-Games)
作者: Ramos, Carmen Patino, Tania Univ Nacl Autonoma Mexico UNAM Ixtli Dept Visualizat & Virtual Real Circuito Exterior 3000Ciudad Univ Coyoacan Mexico City DF Mexico
In this paper we want to describe advances reached in the game design and implementation related to Serious Game: Program with Ixquic. We present a work in progress about this videogame. Program with Ixquic, has two m... 详细信息
来源: 评论
Development of functional Reactive programming using an Incrementally Modular Abstraction Hierarchy  5
Development of Functional Reactive Programming using an Incr...
收藏 引用
5th international conference on IT Convergence and Security (ICITCS)
作者: Ohmori, Kenji Hosei Univ Comp & Informat Sci 3-7-2 Kajino Cho Koganei Tokyo 1848584 Japan
the incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functi... 详细信息
来源: 评论
Sequential Power per Area Optimization of Multichannel Neural Recording Interface Based on Dual Quadratic programming  7
Sequential Power per Area Optimization of Multichannel Neura...
收藏 引用
7th Annual international IEEE EMBS conference on Neural Engineering (NER)
作者: Zjajo, Amir Galuzzi, Carlo van Leuken, Rene Delft Univ Technol Circuits & Syst Grp NL-2628 CD Delft Netherlands
In this paper, we propose a novel method for power per area optimization under yield constrains in multichannel neural recording interface. Using a sequence of minimizations with iteratively-generated low-dimensional ... 详细信息
来源: 评论