咨询与建议

限定检索结果

文献类型

  • 517 篇 会议
  • 246 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 779 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 484 篇 工学
    • 380 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 280 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 43 篇 生物学
    • 37 篇 统计学(可授理学、...
    • 34 篇 系统科学
    • 18 篇 化学
  • 100 篇 管理学
    • 59 篇 管理科学与工程(可...
    • 48 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 31 篇 医学
    • 27 篇 临床医学
    • 23 篇 基础医学(可授医学...
  • 16 篇 法学
    • 13 篇 社会学
  • 9 篇 教育学
  • 8 篇 经济学
  • 6 篇 农学
  • 4 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 27 篇 computer languag...
  • 24 篇 software enginee...
  • 20 篇 application soft...
  • 20 篇 hardware
  • 20 篇 artificial intel...
  • 19 篇 object oriented ...
  • 15 篇 software systems
  • 15 篇 programming
  • 14 篇 semantics
  • 14 篇 software
  • 13 篇 programming prof...
  • 13 篇 software design
  • 12 篇 java
  • 12 篇 computational mo...
  • 11 篇 computer science
  • 10 篇 functional progr...
  • 8 篇 computer archite...
  • 8 篇 neural networks
  • 8 篇 history
  • 8 篇 laboratories

机构

  • 24 篇 department of sy...
  • 24 篇 moscow institute...
  • 12 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 10 篇 department of ap...
  • 10 篇 moscow institute...
  • 10 篇 programming tech...
  • 10 篇 programming tech...
  • 9 篇 lomonosov moscow...
  • 9 篇 distributed prog...
  • 8 篇 institute of sof...
  • 7 篇 department of ma...
  • 7 篇 programming tech...
  • 6 篇 institute of sof...
  • 6 篇 ivannikov instit...
  • 6 篇 programming meth...
  • 6 篇 department of th...
  • 6 篇 programming tech...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 23 篇 d'hondt theo
  • 17 篇 de meuter wolfga...
  • 12 篇 costanza pascal
  • 12 篇 dosch walter
  • 12 篇 mens tom
  • 12 篇 abotaleb mostafa
  • 11 篇 van cutsem tom
  • 10 篇 gasnikov alexand...
  • 9 篇 maiti manoranjan
  • 9 篇 mostafa abotaleb
  • 9 篇 dedecker jessie
  • 9 篇 mostinckx stijn
  • 8 篇 bergstra j.a.
  • 8 篇 pal madhumangal
  • 8 篇 baeten j.c.m.
  • 8 篇 abdelhameed ibra...
  • 8 篇 beznosikov aleks...
  • 7 篇 scholz sven-bodo
  • 7 篇 logunova vlada
  • 7 篇 steffen bernhard

语言

  • 756 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
779 条 记 录,以下是181-190 订阅
排序:
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and Systems Conference, ISSC 2010
作者: Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex... 详细信息
来源: 评论
AmbientTalk: Language support for mobile computing
AmbientTalk: Language support for mobile computing
收藏 引用
International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming... 详细信息
来源: 评论
Combining fuzzy logic and behavioral similarity for non-strict program validation  06
Combining fuzzy logic and behavioral similarity for non-stri...
收藏 引用
PPDP'06 - 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative programming
作者: De Roover, Coen Brichau, Johan D'Hondt, Theo Programming Technology Lab. Vrije Universiteit Brussel Belgium Laboratoire d'Informatique Fondamentale Université de Lille France
The quality of an application's implementation can be assured by validating the presence or absence of a set of user-prescribed software patterns such as software engineering best practices, programming convention... 详细信息
来源: 评论
Coloring gray-scale image using artificial neural networks
Coloring gray-scale image using artificial neural networks
收藏 引用
2nd International Conference on Adaptive Science and technology, ICAST 2009
作者: Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele... 详细信息
来源: 评论
Z. Robtert: A new CAD/CAM environment to program robot control by animated graphics
Z. Robtert: A new CAD/CAM environment to program robot contr...
收藏 引用
1986 ACM SIGSMALL/PC Symposium on Small Systems, SIGSMALL 1986
作者: Mendelbaum, H.G. Fridman, B.Z. Univ. Paris V IUT France Jerusalem College of Technology Industrial Programming Laboratory POB 16031 Jerusalem Israel
The control of a robot consists in: • computing the space environment of the mechanical arm • ordering the robot movements • collecting informations on the status of the physical arm (feedback) in order to make comput... 详细信息
来源: 评论
A bibliography on numerical inversion of the laplace transform and applications: A supplement
收藏 引用
Journal of Computational and Applied Mathematics 1976年 第3期2卷 225-228页
作者: Piessens, R. Dang, N.D.P. Applied Mathematics and Programming Division University of Leuven Belgium Technisch Chemisches Laboratorium Swiss Federal Institute of Technology Zurich CH 8006 Switzerland
来源: 评论
Case study: Simulation of a LAN
Case study: Simulation of a LAN
收藏 引用
Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle
作者: Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud... 详细信息
来源: 评论
Symbolic Security Predicates: Hunt Program Weaknesses
Symbolic Security Predicates: Hunt Program Weaknesses
收藏 引用
2021 Ivannikov Ispras Open Conference, ISPRAS 2021
作者: Vishnyakov, Alexey Logunova, Vlada Kobrin, Eli Kuts, Daniil Parygina, Darya Fedotov, Andrey Ivannikov Institute For System Programming Of The Ras Russia Lomonosov Moscow State University Russia Moscow Institute Of Physics And Technology Moscow Russia
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access v... 详细信息
来源: 评论
The power of regular constraints in CSPs  47
The power of regular constraints in CSPs
收藏 引用
47. Jahrestagung der Gesellschaft fur Informatik, Informatik 2017 - 47th Annual Meeting of the German Informatics Society (GI), Informatics 2017
作者: Löffler, Sven Liu, Ke Hofstedt, Petra Brandenburg University of Technology Cottbus - Senftenberg Programming Languages and Compiler Construction Konrad-Wachsmann-Allee 5 CottbusD-03044 Germany
This paper discusses the use of the regular membership constraint as a replacement for other (global) constraints. The goal is to replace some or all constraints of a constraint satisfaction problem (CSP) with regular... 详细信息
来源: 评论
Arranging Language Features for More Robust Pattern-based Crosscuts  03
Arranging Language Features for More Robust Pattern-based Cr...
收藏 引用
2nd International Conference on Aspect-Oriented Software Development
作者: Gybels, Kris Brichau, Johan Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 B-1050 Brussel Belgium Fund for Scientific Research Flanders Belgium
A crosscut language is used to describe at which points an aspect crosscuts a program. An important issue is how these points can be captured using the crosscut language without introducing tight coupling between the ... 详细信息
来源: 评论