咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
Faster R-CNN Deep Learning Model for Pedestrian Detection from Drone Images
收藏 引用
SN computer science 2020年 第2期1卷 1-9页
作者: Hung, Goon Li Sahimi, Mohamad Safwan Bin Samma, Hussein Almohamad, Tarik Adnan Lahasan, Badr Intelligent Biometric Group School of Electrical and Electronic Engineering Engineering Campus Universiti Sains Malaysia Penang Nibong Tebal 14300 Malaysia Department of Computer Programming Faculty of Education–Shabwa University of Aden Shabwa Yemen School of Information Science and Technology Xiamen University Malaysia Jalan Sunsuria Bandar Sunsuria Selangor Darul Ehsan Sepang 43900 Malaysia
Pedestrian detection from a drone-based images has many potential applications such as searching for missing persons, surveillance of illegal immigrants, and monitoring of critical infrastructure. However, it is consi... 详细信息
来源: 评论
Making Slicing Mainstream How can we be Weiser?
Making Slicing Mainstream How can we be Weiser?
收藏 引用
Beyond Program Slicing 2005
作者: Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom
By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the...
来源: 评论
Functional entropy and decision trees
Functional entropy and decision trees
收藏 引用
International Symposium on Multiple-Valued Logic
作者: V. Cheushev D.A. Simovici V. Shmerko S. Yanushkevich Department of Programming Technology State University Minsk Belarus Institute of Computer Science Technical University Szczecin Poland Department of Mathematics and ComputerScience University of Massachusetts Boston Boston MA USA
We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including sym... 详细信息
来源: 评论
EkSarva: an intelligent collaboration framework
EkSarva: an intelligent collaboration framework
收藏 引用
International IEEE Conference on Intelligent Systems, IS
作者: R. Reddy S. Selliah V. Bharadwaj Jinqiao Yu S. Kankanahalli S. Reddy Smart Internet Programming Laboratory Concurrent Engineering Research Center Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown WV USA
Ubiquitous computing and universal network connectivity have given rise to expectations of building a Digital Society, where many aspects of business and social activities may be accomplished by remote participants. I... 详细信息
来源: 评论
Seven more myths of formal methods: Dispelling industrial prejudices  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori... 详细信息
来源: 评论
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Goriushkina, A.E. Svyd, I.V. Zavolodko, G.E. Maistrenko, G.V. National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Department of Electronic Computers Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
arXiv
收藏 引用
arXiv 2024年
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
Robust initialization of differential algebraic equations
Robust initialization of differential algebraic equations
收藏 引用
1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference
作者: Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden
This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of ... 详细信息
来源: 评论
Design and testing tool for a safe monitoring system for neurodegenerative disorder patients
Design and testing tool for a safe monitoring system for neu...
收藏 引用
International Conference on Advances in Computational Tools for Engineering Applications, ACTEA
作者: Nashaat El Halabi Roger Achkar Roy Abi Zeid Daou Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon Department of Biomedical Technologies Faculty of Public Health Lebanese German University Sahel Alma Lebanon Department of Computer Architecture and System Programming University of Kassel Germany
This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and... 详细信息
来源: 评论
Synchronizing the timestamps of concurrent events in traces of hybrid MPI/OpenMP applications
Synchronizing the timestamps of concurrent events in traces ...
收藏 引用
作者: Becker, Daniel Geimer, Markus Rabenseifner, Rolf Wolf, Felix German Research School for Simulation Sciences Laboratory for Parallel Programming 52062 Aachen Germany RWTH Aachen University Department of Computer Science 52056 Aachen Germany Forschungszentrum Jülich Jülich Supercomputing Centre 52428 Jülich Germany University of Stuttgart High Performance Computing-Center 70550 Stuttgart Germany
Event traces are helpful in understanding the performance behavior of parallel applications since they allow the indepth analysis of communication and synchronization patterns. However, the absence of synchronized clo... 详细信息
来源: 评论