咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 132 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,403 篇 工学
    • 1,901 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 419 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 交通运输工程
    • 55 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 674 篇 理学
    • 485 篇 数学
    • 104 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 50 篇 化学
  • 404 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 102 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 185 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 51 篇 mathematical mod...
  • 48 篇 computer program...
  • 47 篇 heuristic algori...
  • 42 篇 quadratic progra...
  • 42 篇 artificial intel...

机构

  • 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,431 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3604 条 记 录,以下是2371-2380 订阅
排序:
Youth as media art designers: Workshops for creative coding  08
Youth as media art designers: Workshops for creative coding
收藏 引用
7th international conference on Interaction Design and Children, IDC 2008
作者: Peppler, Kylie A. Kafai, Yasmin B. Indiana University W.W. Wright Education Building Bloomington IN 47405 United States UCLA Department of Education 2331 Moore Hall 951521 Los Angeles CA 90095 United States
We describe our efforts to bring media arts into design work with the goals to introduce new expressive forms in programming to urban youth. We're presenting the findings from a series of workshop organized togeth... 详细信息
来源: 评论
7th international Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008)
7<i><SUP>th</SUP></i> International Special Session on Curre...
收藏 引用
15th European Parallel-Virtual-Machine-and-Message-Passing-Interface-Users-Group Meeting (PVM/MPI)
作者: Trinitis, Carsten Schulz, Martin Tech Univ Munich Inst Informat LRR D-8000 Munich Germany Ctr Appl Sci Comp Lawrence Livermore Natl Lab Livemore CA USA
In today's world, the use of parallel programming and architectures is essential for simulating practical problems in engineering and related disciplines. Remarkable progress in CPU architecture (multi- and manyco... 详细信息
来源: 评论
Towards an aspect-oriented architecture for self-adaptive frameworks
Towards an aspect-oriented architecture for self-adaptive fr...
收藏 引用
7th Workshop on Aspects, Components, and Patterns for Infrastructure Software ACP4IS'08 held at the 7th international conference on Aspect-Oriented Software Development, AOSD
作者: Truyen, Eddy Joosen, Wouter DistriNet Department of Computer Science K.U.Leuven Celestijnenlaan 200A B-3001 Leuven Belgium
Self-adaptive systems are systems that are able to autonomously adapt to changing circumstances without human intervention. Typically, these systems are often designed as a framework that defines a generic architectur... 详细信息
来源: 评论
the DNA genetic algorithm applied for solving stochastic integer programming expected value models
The DNA genetic algorithm applied for solving stochastic int...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Wang, Ming-Chun Tang, Wan-Sheng Liu, Xin Tianjin Univ Syst Engn Inst Tianjin 300072 Peoples R China Tianjin Univ Technol & Educ Tianjin 300072 Peoples R China
In this paper, how to use DNA genetic algorithm to solve stochastic integer programming expected value models is discussed. Since DNA Genetic algorithm has the merits of plentiful coding, and decoding, conveying compl... 详细信息
来源: 评论
A Formal and Practical Framework for Constraint-Based Routing
A Formal and Practical Framework for Constraint-Based Routin...
收藏 引用
7th international conference on Networking (ICN 2008)
作者: Bistarelli, Stefano Santini, Francesco Univ G DAnnunzio Dipartimento Sci Pescara Italy IMT Inst Adv Studies Lucca Italy
We propose a formal model to represent and solve the Constraint-Based Routing problem in networks. To attain this, we model the network adapting it to a weighted or graph (unicast delivery) or and-or graph (multicast ... 详细信息
来源: 评论
Single error correcting finite field multipliers over GF(2m)
Single error correcting finite field multipliers over GF(2<i...
收藏 引用
Joint conference of the 21st international conference on VLSI Design/7th international conference on Embedded Systems
作者: Mathew, J. Costas, A. Jabir, A. M. Rahaman, H. Pradhan, D. K. Univ Bristol Dept Comp Sci Bristol BS8 1TH Avon England Oxford Brookes Univ Oxford OX3 0BP England
this paper presents a new method for designing single error correcting Galois field multipliers over polynomial basis. the proposed method uses multiple parity prediction circuits to detect and correct logic errors an... 详细信息
来源: 评论
Using ATL for transformations in software performance engineering: A step ahead of java-based transformations?
Using ATL for transformations in software performance engine...
收藏 引用
7th international Workshop on Software and Performance 2008, WOSP'08
作者: Cortellessa, Vittorio Di Gregorio, Sara Di Marco, Antinisca Dipartimento di Informatica Università Dell'Aquila Via Vetoio Coppito L'Aquila 67010 Italy
Transformations of software models (such as UML diagrams) into non-functional models (such as Queueing Networks) have brought a real breakthrough to the entire field of nonfunctional software validation, because they ... 详细信息
来源: 评论
Specific creation features of the house heating automated design system  7
Specific creation features of the house heating automated de...
收藏 引用
7th international conference on Environmental Engineering
作者: Sokas, Algirdas Vilnius Gediminas Tech Univ Dept Engn Graph LT-10223 Vilnius Lithuania
this article analyzes specific creation features of automated design system. the creation tasks of the house heating automated design system are solved with Unified Modeling Language. Graphical system can select types... 详细信息
来源: 评论
Bound estimation of multistage asset allocation based on mcmc
Bound estimation of multistage asset allocation based on mcm...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Zhang, Xiao-Tao Li, Cui-Yu Tianjin Univ Sch Management Tianjin 300072 Peoples R China Tianjin Polytech Univ Sch Textiles Tianjin 300160 Peoples R China
Stochastic programming models in multistage asset allocation almost always require the calculation of some sort of expectation in the form of integral and its optimization. this paper is to provide a numerical solutio... 详细信息
来源: 评论
M-Sched: A university course timetabler  7
M-Sched: A university course timetabler
收藏 引用
7th international conference on the Practice and theory of Automated Timetabling, PATAT 2008
作者: Hossain, Shahadat Zibran, Minhaz Fahim University of Lethbridge LethbridgeAB Canada University of Calgary CalgaryAB Canada
We consider the problem of scheduling instructors and courses in a typical academic department at a post-secondary institution. the software implementation M-Sched that we present in this note emphasizes the interacti... 详细信息
来源: 评论