咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,900 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 418 篇 电气工程
    • 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
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 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,430 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1881-1890 订阅
排序:
Detection system of button cell brand based on VC + + mixed programming with MATAB
Detection system of button cell brand based on VC + + mixed ...
收藏 引用
2011 7th international conference on MEMS, NANO and Smart Systems, ICMENS 2011
作者: Li, Tengfei Sun, Huilai Lin, Shuzhong School of Mechanical Engineering Tianjin Polytechnic University Tianjin 300160 China
this paper described how to use VC++ mixed programming with MATLAB to realize the detection system of button cell brand. It introduced the principle of its composition, and specifically describes the means to achieve ... 详细信息
来源: 评论
Optimization of inhibitory decision rules relative to length and coverage
Optimization of inhibitory decision rules relative to length...
收藏 引用
7th international conference on Rough Sets and Knowledge Technology, RSKT 2012
作者: Alsolami, Fawaz Chikalov, Igor Moshkov, Mikhail Zielosko, Beata Mathematical and Computer Sciences and Engineering Division King Abdullah University of Science and Technology Thuwal 23955-6900 Saudi Arabia Institute of Computer Science University of Silesia 39 Bȩdzińska St. 41-200 Sosnowiec Poland
the paper is devoted to the study of algorithms for optimization of inhibitory rules relative to the length and coverage. In contrast with usual rules that have on the right-hand side a relation "attribute ≠ val... 详细信息
来源: 评论
A Hybrid Quantum-Inspired Particle Swarm Evolution Algorithm and SQP Method for Large-Scale Economic Dispatch Problems
收藏 引用
7th international conference on Intelligent Computing (ICIC)
作者: Niu, Qun Zhou, Zhuo Zeng, Tingting Shanghai Univ Sch Mechatron Engn & Automat Shanghai Key Lab Power Stn Automat Technol Shanghai 200072 Peoples R China
this paper proposes a hybrid method QPSO-SQP, which combines a quantum-inspired particle swarm evolution algorithm(QPSO) and the sequential quadratic programming (SQP) method to solve large-scale economic dispatch pro... 详细信息
来源: 评论
Token-based Code Clone Detection Technique in a Student's programming Exercise
Token-based Code Clone Detection Technique in a Student's Pr...
收藏 引用
7th international conference on Broadband, Wireless Computing, Communication and Applications (BWCCA)
作者: Iwamoto, Mai Oshima, Shunsuke Nakashima, Takuo Kumamoto Natl Coll Technol Dep Elect & Informat Engn 2627 Hirayama Shinmachi Yatsushiro Kumamoto Japan Kumamoto Natl Coll Technol ICT Ctr Learning Support Yatsushiro Kumamoto Japan Tokai Univ Dep Elect & Intelligent Syst Engn Tokai Kumamoto Japan
the acts to submit the copied programs of other person make problems in the subject of the programming exercise in university curriculum. Teachers could not make accurate scores and evaluate the reached learning level... 详细信息
来源: 评论
Runtime programming through model-preserving, scalable runtime patches
收藏 引用
7th international Workshop on Formal Aspects of Component Software, FACS 2010
作者: Kirsch, Christoph M. Lopes, Luís Marques, Eduardo R. B. Sokolova, Ana Department of Computer Sciences University of Salzburg Austria CRACS/INESC-Porto LA Faculdade de Ciências Universidade Do Porto Portugal
We propose a methodology for flexible software design, runtime programming, by means of incremental software modifications at runtime. Runtime programming acknowledges that software designs are often incomplete, and r... 详细信息
来源: 评论
Lipreading procedure for liveness verification in video authentication systems
Lipreading procedure for liveness verification in video auth...
收藏 引用
7th international conference on Hybrid Artificial Intelligent Systems, HAIS 2012
作者: Owczarek, Agnieszka Ślot, Krzysztof Institute of Electronics Technical University of Lodz Wolczanska Street 211/215 90-924 Lodz Poland
the following paper proposes a novel procedure for liveness verification in video authentication systems. Decision on granting or denying access to the system is based on visual information only. System prompts random... 详细信息
来源: 评论
Measuring Inappropriate Generosity with Access Modifiers in Java Systems
Measuring Inappropriate Generosity with Access Modifiers in ...
收藏 引用
Joint conference of the 22nd international Workshop on Software Measurement / 7th international conference on Software Process and Product Measurement (IWSM-MENSURA)
作者: Zoller, Christian Schmolitzky, Axel Univ Hamburg Dept Informat Hamburg Germany
Every element of a software architecture, e. g. a subsystem, package, or class, should have a well-defined interface that exposes or hides its subelements according to the principles of information hiding and encapsul... 详细信息
来源: 评论
Expressive array constructs in an embedded GPU kernel programming language
Expressive array constructs in an embedded GPU kernel progra...
收藏 引用
7th Workshop on Declarative Aspects and Applications of Multicore programming, DAMP'12, Co-located with POPL 2012
作者: Claessen, Koen Sheeran, Mary Svensson, Bo Joel Chalmers University of Technology Department of Computer Science and Engineering Gothenburg Sweden
Graphics Processing Units (GPUs) are powerful computing devices that with the advent of CUDA/OpenCL are becomming useful for general purpose computations. Obsidian is an embedded domain specific language that generate... 详细信息
来源: 评论
An output-based semantics of Λμ with explicit substitution in the π-calculus
An output-based semantics of Λμ with explicit substitution...
收藏 引用
7th IFIP TC 1/WG 2.2 international conference on theoretical Computer Science, TCS 2016
作者: van Bakel, Steffen Vigliotti, Maria Grazia Department of Computing Imperial College London 180 Queen’s Gate LondonSW7 2BZ United Kingdom
We study the Λμ-calculus, extended with explicit substitution, and define a compositional output-based translation into a variant of the π-calculus with pairing. We show that this translation preserves single-step ... 详细信息
来源: 评论
Is self-efficacy in programming decreasing with the level of programming skills?
Is self-efficacy in programming decreasing with the level of...
收藏 引用
7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012
作者: Giannakos, Michail N. Hubwieser, Peter Ruf, Alexander Trondheim NO-7491 Norway Fakultät Für Informatik Technische Universität München Boltzmannstr 3 D-85478 Garching Germany
In this study, variables from the Unified theory of Acceptance and Use of Technology and Social Cognitive theory were chosen as important factors in students' behavior and attitude towards Computer Science Educati... 详细信息
来源: 评论