咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是721-730 订阅
排序:
Modelling the Decision Making Process on Legal Conducting the Surrogate Motherhood
Modelling the Decision Making Process on Legal Conducting th...
收藏 引用
IEEE International Conference on Dependable Systems, Services and Technologies (DESSERT)
作者: Tetiana Hovorushchenko Alla Herts Yelyzaveta Hnatchuk Computer Engineering & System Programming Department Khmelnytskyi National University Khmelnytskyi Ukraine Civil Law and Legal Proceedings Department Ivan Franko National University of Lviv Lviv Ukraine
Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular,...
来源: 评论
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... 详细信息
来源: 评论
Formal specification of software systems using Two-Level Grammar  15
Formal specification of software systems using Two-Level Gra...
收藏 引用
15th Annual International computer Software and Applications Conference, CMPSAC 1991
作者: Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States
Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. ... 详细信息
来源: 评论
Analysis of Hardware and Software Tools for Implementation of Cognitive Radio Networks
Analysis of Hardware and Software Tools for Implementation o...
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Reypnazarov, Ernazar Khujamatov, Halimjon Khasanov, Doston Allamuratova, Zamira Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi The Computer Enjineering Faculty Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Data Communication Networks and Systems Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Information-Computer Technologies and Programming Tashkent Uzbekistan
This paper analyzes of the hardware and software tools for implementing a cognitive radio network. In particular, software-configurable radio modules, which are considered the main element of the cognitive network, we... 详细信息
来源: 评论
Determining the Qualities of Tests Designed for Students' Knowledge Assessment
Determining the Qualities of Tests Designed for Students' Kn...
收藏 引用
International Conference on High Technology for Sustainable Development (HiTech)
作者: Daniela Minkovska Elena Antonova Kiril Koparanov Krasin Georgiev Pamela Minkovska Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Department of Computer Science Technical University of Sofia Sofia Bulgaria Department of Air Transport Technical University of Sofia Sofia Bulgaria Professional High School of Telecommunications Sofia Bulgaria
As educators aim to evaluate students' knowledge, the design and quality of their assessment instruments play a vital role. Focusing on test difficulty, as well as comparing real and set results to determine knowl... 详细信息
来源: 评论
Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall
Couette-Poiseuille flow based non-linear flow over a square ...
收藏 引用
作者: Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia
A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The... 详细信息
来源: 评论
Advantages of Fog Computing: A Comparative Analysis with Cloud Computing for Enhanced Edge Computing Capabilities
Advantages of Fog Computing: A Comparative Analysis with Clo...
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Mykhailo Hunko Vitalii Tkachov Andriy Kovalenko Heorhii Kuchuk Department of Electronic Computers Kharkiv National University Of Radio Electonics Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
Fog computing extends the capabilities of cloud computing by enabling computing at the edge of the network, involving devices such as mobile collaborative devices or fixed nodes with integrated storage, computing, and...
来源: 评论
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... 详细信息
来源: 评论
An Imprecise Eco-Epidemic Model with Pesticide in Relevance to Agricultural Pest Control
收藏 引用
Biophysical Reviews and Letters 2018年 第3期13卷 109-131页
作者: Anjana Das M. Pal http://***/0000-0003-4462-0490 Department of Mathematics Sura Mahamaya Balika Vidyalaya Panskura 721152 West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721101 West Bengal India
In this paper, we have proposed and analyzed an agricultural pest control system. For this purpose, an eco-epidemiological type predator–prey model has been proposed with the consideration of a sound predator populat... 详细信息
来源: 评论
Creating a Forecasting Model of Passenger Flows in Non-Scheduled Air Transportation
Creating a Forecasting Model of Passenger Flows in Non-Sched...
收藏 引用
Problems of Logistics, Management and Operation in the East-West Transport Corridor (PLMO), International Conference on
作者: Nadir Aghayev Dashqin Nazarli Department of Computer Systems and Programming National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan Department of Air Transport Production National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan
In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of corre... 详细信息
来源: 评论