咨询与建议

限定检索结果

文献类型

  • 283 篇 会议
  • 128 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 24 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 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 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 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 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
427 条 记 录,以下是81-90 订阅
A Systematic Review on Security and Safety of Self-Adaptive Systems
SSRN
收藏 引用
SSRN 2022年
作者: Pekaric, Irdin Groner, Raffaela Witte, Thomas Adigun, Jubril Gbolahan Raschke, Alexander Felderer, Michael Tichy, Matthias University of Innsbruck Department of Computer Science Technikerstraße 21a InnsbruckA-6020 Austria Ulm University Institute of Software Engineering and Programming Languages James-Franck-Ring 9 Ulm89081 Germany
Context: Cyber-physical systems (CPS) are increasingly self-adaptive, i.e. they have the ability to introspect and change their behavior. This self-adaptation process must be considered when modeling the safety and se... 详细信息
来源: 评论
Fixed-Charge Solid Transportation Problem with Budget Constraints Based on Carbon Emission in Neutrosophic Environment
Research Square
收藏 引用
Research Square 2021年
作者: Ghosh, Shyamali Roy, Sankar Kumar Verdegay, Jose Luis Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India Department of Computer Science and Artificial Intelligence University of Granada Granada Spain
This paper is to integrate among solid transportation problem, budget constraints and carbon emission with probable maximum profit. The limits of air pollution and climate variation are solely dependent by exerting CO... 详细信息
来源: 评论
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs
Evaluating Length of a Shortest Adaptive Homing Sequence for...
收藏 引用
2020 IEEE East-West Design and Test Symposium, EWDTS 2020
作者: Vinarskii, Evgenii Yevtushenko, Nina Lomonosov Moscow State University Department of Computer Science Moscow Russia Ivannikov Institute for System Programming of Ras Software Engineering Deparment Moscow Russia
There are many research papers devoted to the state identification problem of finite state machines (FSMs) which are widely used for analysis of discrete event systems. A deterministic complete reduced FSM always has ... 详细信息
来源: 评论
Stability Analysis of Imprecise Prey-Predator Model  4th
Stability Analysis of Imprecise Prey-Predator Model
收藏 引用
4th IFIP TC 12 International Conference on Intelligence science, ICIS 2020
作者: De, Anupam Khatua, Debnarayan Maity, Kalipada Panigrahi, Goutam Maiti, Manoranjan Department of Applied Sciences Haldia Institute of Technology Haldia West Bengal India Department of Basic Science and Humanities Global Institute of Science and Technology Haldia West Bengal India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Contai West Bengal India Department of Mathematics National Institute of Technology Durgapur Durgapur West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore West Bengal India
Since the last few decades, the prey-predator system delivers attractive mathematical models to analyse the dynamics of prey-predator interaction. Due to the lack of precise information about the natural parameters, a... 详细信息
来源: 评论
Location–allocation problem for green efficient two-stage vehicle-based logistics system: A type-2 neutrosophic multi-objective modeling approach
收藏 引用
Expert Systems with Applications 2024年 238卷
作者: Das, Soumen Kumar Yu, Vincent F. Roy, Sankar Kumar Weber, Gerhard Wilhelm Department of Pure and Applied Sciences Midnapore City College Kuturia West Bengal Bhadutala721129 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India Department of Industrial Management National Taiwan University of Science and Technology Taipei Taiwan Center for Cyber-Physical System Innovation National Taiwan University of Science and Technology Taipei Taiwan Faculty of Engineering Management Poznan University of Technology Poznan Poland IAM METU Ankara Turkey
In recent decades, global climate change has become one of the most critical environmental issues, leading to increased environmental and social concerns about the sustainability of logistics networks. This study prop... 详细信息
来源: 评论
Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest
Design and Implementation of a Smart Human Posture Monitorin...
收藏 引用
International Conference on Advances in Biomedical Engineering (ICABME)
作者: Roy Abi Zeid Daou Elio Geha Youssef Aoun Ali Hayek Josef Boercsoek Jose Javier Serrano Olmedo Biomedical Engineering department Furn El Chebbak Université La Sagesse Beirut Lebanon Education and Research Center MART Learning Chananir Lebanon Biomedical Technologies Department Faculty of Public Health Lebanese German University Jounieh Lebanon Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 University of Applied Science Hamm-Lippstadt Hamm Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University of Kassel Germany Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Universidad Politecnica de Madrid 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...
来源: 评论
The Regularization of Small Sub-Constraint Satisfaction Problems  22nd
The Regularization of Small Sub-Constraint Satisfaction Prob...
收藏 引用
22nd International Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic programming, WFLP 2019
作者: Löffler, Sven Liu, Ke Hofstedt, Petra Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Brandenburg University of Technology Cottbus-Senftenberg Konrad-Wachsmann-Allee 5 Cottbus03044 Germany
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is ... 详细信息
来源: 评论
Design of Intelligent Decision Support System With Ensembled Machine Learning to Predict Students' Performance
Design of Intelligent Decision Support System With Ensembled...
收藏 引用
Communication, computer sciences and Engineering (IC3SE), International Conference on
作者: S Deepan Dineshkumar Rajendran Navdeep Dhaliwal K Praveena Melanie Lourens Anandhi R J School of CS & AI SR University Warangal Telangana India Computer Games Design and Programming School of Computing and Innovative Technologies British University Vietnam Vietnam Lovely Professional University Phagwara India Institute of Aeronautical Engineering Dundigal Hyderabad Deputy Dean Faculty of Management Sciences Durban University of Technology South Africa Department of Information Science Engineering New Horizon College of Engineering Bangalore
Evaluating student performance is important for universities and institutions in the current student education landscape because it helps them create models that work better for students. The automation of various fea... 详细信息
来源: 评论
Novel symmetric numerical methods for solving symmetric mathematical problems
收藏 引用
International Journal of Circuits, Systems and Signal Processing 2021年 15卷 1545-1557页
作者: Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin Prospect 76 Chelyabinsk454080 Russia Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan
—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equati... 详细信息
来源: 评论
Modeling of rainfall time series using NAR and ARIMA model over western Himalaya, India
收藏 引用
Arabian Journal of Geosciences 2022年 第23期15卷 1-26页
作者: Rawat, Deepa Mishra, Pradeep Ray, Soumik Warnakulasooriya, Himasha Harshani Fernando Sati, Sarswati Prakash Mishra, Gaurav Alkattan, Hussein Abotaleb, Mostafa College of Forestry VCSG Uttarakhand University of Horticulture and Forestry Tehri Garhwal India College of Agriculture Rewa India Centurion University of Technology and Management Paralakhemundi India Department of Statistics & Computer Science Faculty of Science University of Kelaniya Kelaniya Sri Lanka Centre of Excellence on Sustainable Land Management Indian Council of Forestry Research and Education (MoEF & CC Govt. of India) Dehradun India Department of System Programming South Ural State University Chelyabinsk Russia
The high Himalayas in northern India are an essential source of climate generation and maintenance over the entire northern belt of the Indian subcontinent. It also affects extreme weather phenomena such as western di...
来源: 评论