咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 342 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 567 篇 工学
    • 423 篇 计算机科学与技术...
    • 300 篇 软件工程
    • 90 篇 控制科学与工程
    • 82 篇 信息与通信工程
    • 46 篇 电气工程
    • 33 篇 电子科学与技术(可...
    • 32 篇 机械工程
    • 29 篇 生物医学工程(可授...
    • 25 篇 安全科学与工程
    • 23 篇 生物工程
    • 21 篇 化学工程与技术
    • 20 篇 仪器科学与技术
    • 19 篇 材料科学与工程(可...
    • 19 篇 建筑学
    • 18 篇 土木工程
    • 14 篇 交通运输工程
  • 379 篇 理学
    • 266 篇 数学
    • 61 篇 统计学(可授理学、...
    • 50 篇 物理学
    • 49 篇 系统科学
    • 34 篇 生物学
    • 21 篇 化学
  • 153 篇 管理学
    • 116 篇 管理科学与工程(可...
    • 70 篇 工商管理
    • 40 篇 图书情报与档案管...
  • 31 篇 经济学
    • 31 篇 应用经济学
  • 26 篇 医学
    • 23 篇 临床医学
    • 22 篇 基础医学(可授医学...
  • 18 篇 教育学
    • 15 篇 教育学
  • 16 篇 法学
    • 15 篇 社会学
  • 12 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 28 篇 artificial intel...
  • 22 篇 computer science
  • 17 篇 monitoring
  • 16 篇 computational mo...
  • 14 篇 application soft...
  • 14 篇 semantics
  • 13 篇 software enginee...
  • 13 篇 data models
  • 12 篇 software
  • 11 篇 decision making
  • 11 篇 hardware
  • 11 篇 training
  • 10 篇 reliability
  • 10 篇 computer archite...
  • 10 篇 neural networks
  • 10 篇 optimization
  • 9 篇 support vector m...
  • 9 篇 logic programmin...
  • 9 篇 robot sensing sy...
  • 9 篇 students

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 department of ap...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 6 篇 department for m...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 34 篇 pal madhumangal
  • 20 篇 madhumangal pal
  • 18 篇 gancheva veska
  • 14 篇 veska gancheva
  • 14 篇 josef börcsök
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 mostafa abotaleb
  • 12 篇 ali hayek
  • 11 篇 gurkan tuna
  • 11 篇 mariana arghir
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 10 篇 fritzson peter
  • 9 篇 roy sankar kumar
  • 9 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 shyamal kumar mo...
  • 8 篇 kayhan gulez

语言

  • 964 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 德文
  • 1 篇 土耳其文
检索条件"机构=Department of Computer Programming"
986 条 记 录,以下是431-440 订阅
排序:
A complete semantic back chaining proof system  10th
收藏 引用
10th International Conference on Automated Deduction, CADE 1990
作者: Nie, Xumin Plaisted, David A. Department of Computer Science University of North Carolina at Chapel Hill Chapel HillNC27599 United States Institute for Programming and Logics Deparment of Computer Science University of Albany State University of New York AlbanyNY12222 United States
We discuss a sequent style clause-based proof system that supports several important strategies in automatic theorem proving. The system has a goal-subgoal structure and supports back chaining with caching;it permits ... 详细信息
来源: 评论
Design of a low cost equipment that may limit Sudden Infant Death Syndrome  4
Design of a low cost equipment that may limit Sudden Infant ...
收藏 引用
4th International Conference on Advances in Biomedical Engineering, ICABME 2017
作者: Daou, Roy Abi Zeid Maalouf, Frederic Geagea, Christian Hayek, Ali Boercsoek, Josef Lebanese German University Faculty of Public Health Biomedical Technologies Department Sahel-Alma Lebanon MART Learning Education and Research Center Chananiir Lebanon Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper deals with the Sudden Infant Death Syndrome (SIDS) problem. The main objective is to limit it by controlling the main reasons that may lead to it. Sudden infant death syndrome is the death without specific ... 详细信息
来源: 评论
Application of Machine Learning Techniques for Software Anomaly Detection
Application of Machine Learning Techniques for Software Anom...
收藏 引用
International Conference on Applied Mathematics & computer Science (ICAMCS)
作者: Veska Gancheva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria
A rising variety of platforms and software programs have leveraged repository-stored datasets and remote access in recent years. As a result, datasets are more vulnerable to malicious attacks. As a result, network sec...
来源: 评论
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
The use of a Reasoning process to solve the almost SLAM Chal...
收藏 引用
8th Catalan Conference on Artificial Intelligence, CCIA 2005
作者: Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain
The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLA... 详细信息
来源: 评论
Organic and Pervasive Computing – ARCS 2004  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Christian Müller-Schloer Theo Ungerer Bernhard Bauer
Where is system architecture heading? The special interest group on computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI an... 详细信息
来源: 评论
Simulating Structural Plasticity of the Brain more Scalable than Expected
arXiv
收藏 引用
arXiv 2022年
作者: Czappa, Fabian Geiß, Alexander Wolf, Felix Laboratory for Parallel Programming Department of Computer Science Technical University of Darmstadt Germany
Structural plasticity of the brain describes the creation of new and the deletion of old synapses over time. Rinke et al. (JPDC 2018) introduced a scalable algorithm that simulates structural plasticity for up to one ...
来源: 评论
The Unknown Component Problem: Theory and Applications
收藏 引用
2007年
作者: Tiziano Villa Robert King Brayton Alan Mishchenko Alexandre F Petrenko Alberto Luigi Sangiovanni-Vincentelli Nina V Yevtushenko
来源: 评论
Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011
Forming the logical conclusion about sufficiency of informat...
收藏 引用
IEEE Ukraine Conference on Electrical and computer Engineering (UKRCON)
作者: Tetiana Hovorushchenko Computer Engineering & System Programming Department Khmelnitsky National University Khmelnitsky Ukraine
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of ... 详细信息
来源: 评论
Bi-matrix game in bifuzzy environment
收藏 引用
Journal of Uncertainty Analysis and Applications 2013年 第1期1卷 1-17页
作者: Sankar Kumar Roy Prasanta Mula Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India ISRO Satellite Centre Bangalore India
In this paper, a new concept of bifuzzy bi-matrix game is introduced where all elements of the payoff matrices are characterized by bifuzzy variables. The uncertainties of entries of payoff matrices (bifuzzy variables...
来源: 评论
Analyzing the impact of machine learning and artificial intelligence and its effect on management of lung cancer detection in covid-19 pandemic
收藏 引用
Materials Today: Proceedings 2022年 56卷 2213-2216页
作者: Boddu, Raja Sarath Kumar Karmakar, Partha Bhaumik, Ankan Nassa, Vinay Kumar Vandana Bhattacharya, Sumanta Department of CSE Lenora College of Engineering Andhra Pradesh Rampachodavaram India Government of West Bengal Bikash Bhawan Salt Lake W.B. Kolkata India Dept. of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Computer Science Engineering South Point Group of Institutions Sonepat Haryana India Department of Mathematics Dasmesh Khalsa College Zirakpur India Department of Science and Technology and Biotechnology MAKAUT India
Cancer victims, particularly those with lung cancer, are more susceptible and at higher danger of COVID-19 and associated consequences as a result of their compromised immune systems, which makes them particularly sen... 详细信息
来源: 评论