咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是301-310 订阅
排序:
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in computer and Information science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论
COMPOzE-intention-based music composition through constraint programming
COMPOzE-intention-based music composition through constraint...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany
We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for in... 详细信息
来源: 评论
Heterogeneous computing
Heterogeneous computing
收藏 引用
作者: Kalinov, Alexey Lastovetsky, Alexey Robert, Yves Institue for System Programming Russain Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia Department of Computer Science University College Dublin Belfield Dublin 4 Ireland LIP Ecole Normale Supérieure de Lyon Laboratoire LIP F-69364 Lyon Cedex 07 France
No abstract available
来源: 评论
Calculation of Signal Information Delay in Intelligent Communication Networks  3
Calculation of Signal Information Delay in Intelligent Commu...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Kuchuk, Nina Mozhaiev, Mykhailo Kalinin, Yevhen Davydov, Viacheslav Mozhaev, Oleksandr Kuchuk, Heorhii National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine Kharkiv National University of Internal Affairs Department of Cyber Security and Data Technologies Kharkiv Ukraine
An analysis of the signaling systems used in the Intelligent Communication Network has been carried out. The main probabilistic characteristics of signal information delay are determined. A method for calculating thes... 详细信息
来源: 评论
InfoShield: a security architecture for protecting information usage in memory
InfoShield: a security architecture for protecting informati...
收藏 引用
IEEE Symposium on High-Performance computer Architecture
作者: W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-vol... 详细信息
来源: 评论
An efficient data interface for heterogeneous distributed environments
An efficient data interface for heterogeneous distributed en...
收藏 引用
International Conference on Distributed Computing Systems
作者: D.D.H. Lin B. Shirazi K. Kavi Personal Systems Programming Center IBM Corporation Austin TX USA Department of Computer Science Engineering University of Texas Arlington Arlington TX USA
A multi-language-based data interface system for heterogeneous distributed processing is introduced. A prototyped environment based on this system is discussed, and an evaluation of the prototyped system is presented.... 详细信息
来源: 评论
Emerging technologies for improving embryo selection: a systematic review
收藏 引用
Advanced Health Care Technologies 2015年 1卷 55-64页
作者: Sengul, Yasemin Bener, Ayse Uyar, Asli 1 Computer Programming Program Advanced Vocational Studies Dogus University Acibadem Kadikoy Istanbul Turkey 2 Data Science Laboratory Department of Mechanical and Industrial Engineering Ryerson University Toronto ON Canada 3 Department of Computer Engineering Okan University Tuzla Istanbul Turkey
Background: Embryo selection procedure is one of the critical success factors in in vitro fertilization treatment. Various embryo selection technologies have emerged within the past decade. These technologies are eit... 详细信息
来源: 评论
Lemma Functions for Frama-C: C Programs as Proofs
Lemma Functions for Frama-C: C Programs as Proofs
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest  7
Design and Implementation of a Smart Human Posture Monitorin...
收藏 引用
7th International Conference on Advances in Biomedical Engineering, ICABME 2023
作者: Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain
Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pai... 详细信息
来源: 评论
On objects and events  01
On objects and events
收藏 引用
ACM SIGPLAN Conference on Object-oriented programming, Systems, Languages, and Applications
作者: Patrick Th. Eugster Rachid Guerraoui Christian Heide Damm Distributed Programming Laboratory Swiss Federal Institute of Technology in Lausanne CH-1015 Switzerland Department of Computer Science University of Aarhus 8200 Aarhus N Denmark
This paper presents linguistic primitives for publish/subscribe programming using events and objects. We integrate our primitives into a strongly typed object-oriented language through four mechnisms: (1) serializatio... 详细信息
来源: 评论