咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2761-2770 订阅
排序:
Learning to identify facial expression during detection using Markov decision process
Learning to identify facial expression during detection usin...
收藏 引用
international conference on Automatic Face and Gesture Recognition
作者: R. Isukapalli A. Elgammal R. Greiner Bell Labs Innovations Lucent Technologies Inc. Whippany NJ USA Rutgers University New Brunswick NJ USA University of Alberta Edmonton Canada
While there has been a great deal of research in face detection and recognition, there has been very limited work on identifying the expression on a face. Many current face detection methods use a Viola-Jones style &q... 详细信息
来源: 评论
Time, event and self-management aspects in model-driven development of information systems
Time, event and self-management aspects in model-driven deve...
收藏 引用
international Baltic conference on Databases and Information Systems, DB&IS
作者: M. Balandyte L. Nemuraite Kaunas University of Technology Kaunas Lithuania
Cross-cutting concerns, or aspects, are parts of the system that in standard design mechanisms are scattered across multiple program components, and tangled with other components. the ideas of separation of cross-cutt... 详细信息
来源: 评论
QoS Support For Workflows In A Volatile Grid
QoS Support For Workflows In A Volatile Grid
收藏 引用
international Workshop on Grid Computing
作者: Yash Patel Andrew Stephen McGough John Darlington Department of Computing Imperial College London e-Science Centre London UK
the grid can be seen as a collection of services each of which performs some functionality. Users of the grid seek to use combinations of these services to perform the overall task they need to achieve. In general thi... 详细信息
来源: 评论
Multimodal interaction in children's programming with tangible artefacts  06
Multimodal interaction in children's programming with tangib...
收藏 引用
Proceedings of the 7th international conference on Learning sciences
作者: Jakob tholander Ylva Fernaeus Stockholm University Kista Sweden
In this paper we will investigate and document some of the practices that a group of children use to form an activity of creating a screen-based interactive play world using a tangible programming system. A specific f...
来源: 评论
Creative codings: investigating cultural, personal, and epistemological connections in media arts programming  06
Creative codings: investigating cultural, personal, and epis...
收藏 引用
Proceedings of the 7th international conference on Learning sciences
作者: Kylie A. Peppler Yasmin B. Kafai University of California Los Angeles CA
the focus of this poster is to turn our attention to the arts as an understudied area in the learning sciences and examine how studying the learning of arts and programming can open new avenues of research. Results fr...
来源: 评论
Evidence for functional inter-relationships between FOXP3, leukaemia inhibitory factor, and axotrophin/MARCH-7 in transplantation tolerance
收藏 引用
international IMMUNOPHARMACOLOGY 2006年 第13-14期6卷 1993-2001页
作者: Muthukumarana, Poorni A. D. S. Lyons, Gary E. Miura, Yuji thompson, Lorraine H. Watson, Tracy Green, Colin J. Shurey, Sandra Hess, Allan D. Rosengard, Bruce R. Metcalfe, Su M. Univ Cambridge Dept Surg Addenbrookes Hosp Cambridge CB2 2QQ England Univ Wisconsin Sch Med Dept Anat Madison WI 53706 USA Johns Hopkins Univ Sidney Kimmel Comprehens Canc Ctr Baltimore MD 21231 USA Northwick Pk Inst Med Res Surg Res Unit London HA1 3UJ England
In an ex vivo mouse model, regulatory transplantation tolerance is not only linked to Foxp3, but also to release of leukaemia inhibitory factor (LIF) and to expression of axotrophin (also known as MARCH-7), a putative... 详细信息
来源: 评论
Object Oriented Analysis Learning Tool using Collaborative Learning
Object Oriented Analysis Learning Tool using Collaborative L...
收藏 引用
international conference on Information Technology Based Higher Education and Training, IthET
作者: S. R. Balasundaram B. Ramadoss Department of Computer Applications National Institute of Technology Tiruchirappalli Tamil Nadu India
Collaborative learning is a kind of pedagogical model where students learn any concept or topic through interactions and discussions. Many institutes offering computer science specialization include a course on object... 详细信息
来源: 评论
Dynamic programming environment for active rules
Dynamic programming environment for active rules
收藏 引用
international Baltic conference on Databases and Information Systems, DB&IS
作者: S. Chakravarthy S. Varkala Information Technology Laboratory and CSE Department University of Texas Arlington USA
Currently, many applications that require monitoring (e.g., surveillance, track monitoring) use the event-condition-action (or ECA) rule paradigm. the local event detector (LED) that has been developed based on the EC... 详细信息
来源: 评论
Application of abductive ILP to learning metabolic network inhibition from temporal data
收藏 引用
MACHINE LEARNING 2006年 第1-3期64卷 209-230页
作者: Tamaddoni-Nezhad, Alireza Chaleil, Raphael Kakas, Antonis Muggleton, Stephen Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England Univ London Imperial Coll Sci Technol & Med Dept Biol Sci London SW7 2AZ England Univ Cyprus Dept Comp Sci Nicosia Cyprus
In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the fol... 详细信息
来源: 评论
24/7 Software Development in Virtual Student Exchange Groups: Redefining the Work and Study Week
24/7 Software Development in Virtual Student Exchange Groups...
收藏 引用
international conference on Information Technology Based Higher Education and Training, IthET
作者: Zenon Chaczko Ryszard Klempous Jan Nikodem Jerzy Rozenblit ICT Group Faculty of Engineering University of Technology Sydney Australia Faculty of Electronics Wroclaw University of Technology Poland University of Arizona Tucson Tucson USA
A concept of time zone driven, 24/7-week software development in a Virtual Student Exchange (VSX) environment is being defined, developed and applied to explore reliable and efficient continuous modes of work/study pr... 详细信息
来源: 评论