咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,372 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 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 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是11-20 订阅
排序:
STEPS TO AN ADVANCED ADA programming ENVIRONMENT
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1985年 第3期11卷 302-310页
作者: TAYLOR, RN STANDISH, TA Programming Environment Project Department of Information and Computer Science University of California
Concepts and ideas are presented that should characterize an advanced Ada programming support environment. These concepts include: 1. conceptual simplicity, 2. tight coupling of tools, and 3. effective support of host... 详细信息
来源: 评论
GAIWAP (Gait Analysis to Determine the Improvement of Walking Ability in People with Disabilities)
GAIWAP (Gait Analysis to Determine the Improvement of Walkin...
收藏 引用
2025 International Conference on Control, Automation, and Instrumentation, IC2AI 2025
作者: Borcsok, Josef Schwarz, Michael H. Drabesch, Malte Kinsch, Christian Strobl, Walter Michael Sengolge, Mathilde Breitenbach, Jurgen University of Kassel Dept. of computer architecture and system programming Kassel Germany Universität für Weiterbildung Krems Fakultät für Gesundheit und Medizin Medizin und Forschung Zentrum für Gesundheitswissenschaften und Medizin Dept. für Gesundheitswissenschaften KremsA-3500 Austria
The use of complex electronic systems in medical technology applications is constantly increasing. These systems are becoming increasingly important, particularly in the area of analyzing the progress of treatment, as... 详细信息
来源: 评论
A Comprehensive Study on m-Polar Picture Fuzzy Graphs and Its Application
Journal of Uncertain Systems
收藏 引用
Journal of Uncertain Systems 2025年 第1期18卷
作者: Khatun, Jasminara Amanathulla, S. Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics Raghunathpur College Raghunathpur 723133 India
In real-life problems, information collected from multiple agents often exhibits "multipolar information," which cannot be accurately modeled by existing graph models. This paper introduces the m-polar pictu... 详细信息
来源: 评论
Study of an OPTO-ASIC for a Functionally Safe Speed Sensor Using the Spatial Frequency Filter Method
Study of an OPTO-ASIC for a Functionally Safe Speed Sensor U...
收藏 引用
IEEE Design and Diagnostics of Electronic Circuits and Systems (DDECS)
作者: Frank Wasinski Werner Bonath Ubbo Ricklefs Michael Schwarz Josef Börcsök Dept. of Electrical Engineering and Information Technology THM University of Applied Sciences Giessen Germany ICAS Institute for Computer Architecture and System Programming University of Kassel Kassel Germany
For decades, speed sensors based on the spatial frequency filter method have successfully proven themselves in a wide range of applications. This makes the sensor concept particularly suitable for the area of function... 详细信息
来源: 评论
Stronger Validity Criteria for Encoding Synchrony
arXiv
收藏 引用
arXiv 2025年
作者: van Glabbeek, Rob Goltz, Ursula Lippert, Christopher Mennicke, Stephan Data61 CSIRO Sydney Australia Computer Sc. and Engineering University of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany
We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous π-calculus is just... 详细信息
来源: 评论
A blockchain-oriented covert communication technology with controlled security level based on addressing confusion ciphertext
收藏 引用
Frontiers of computer Science 2025年 第2期19卷 133-135页
作者: Lejun ZHANG Bo ZHANG Ran GUO Zhujun WANG Guopeng WANG Jing QIU Shen SU Yuan LIU Guangxia XU Zhihong TIAN Sergey GATAULLIN Cyberspace Institute Advanced Technology Guangzhou UniversityGuangzhou 510006China Research and Development Center for E-Learning Ministry of EducationBeijing 100039China College of Information Engineering Yangzhou UniversityYangzhou 225009China School Math and Computer Science Quanzhou Normal UniversityQuanzhou 362000China Pazhou Lab Guangzhou 510330China School of Physics and Materials Science Guangzhou UniversityGuangzhou 510006China Central Economic and Mathematics Institute Russian Academy of SciencesMoscow 117418Russia Industrial Programming Department MIREA-Russian Technological UniversityMoscow 119454Russia
1 Introduction Traditional covert communication[1]usually relies on centralized channels,which are efficient in transmission but susceptible to eavesdropping and attacks,leading to information ***,distributed methods ... 详细信息
来源: 评论
PRECEDENCES IN SPECIFICATIONS AND IMPLEMENTATIONS OF programming-LANGUAGES
收藏 引用
THEORETICAL computer SCIENCE 1995年 第1期142卷 3-26页
作者: AASA, A Department of Computer Sciences Programming Methodology Group Chalmers University of Technology S-412 96 G?teborg Sweden
Although precedences are often used to resolve ambiguities in programming language descriptions, there has been no parser-independent definition of languages which are generated by grammars with precedence rules. This...
来源: 评论
A MESSAGE-DRIVEN programming SYSTEM FOR FINE-GRAIN MULTIcomputerS
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1994年 第10期24卷 953-980页
作者: MASKIT, D TAYLOR, S Scalable Concurrent Programming Laboratory California Institute of Technology Computer Science Pasadena CA 91125 U.S.A.
This paper describes an experimental message-driven programming system for fine-grain multicomputers. The initial target architecture is the J-machine designed at MIT. This machine combines a unique collection of arch... 详细信息
来源: 评论
On the Complexities of Non-Horn Clause Logic programming
收藏 引用
Journal of computer Science & Technology 1992年 第2期7卷 114-122页
作者: 聂旭民 Institute for Programming and Logics Department of computer science State University of New York at AlbanyAlbanyNew York 12222U.S.A.
There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn *** this paper,we will analyze the complexities of several such *** purpose is to understand the computational complexit... 详细信息
来源: 评论
Deleting Outliers in Robust Regression with Mixed Integer programming
收藏 引用
Acta Mathematicae Applicatae Sinica 2005年 第2期21卷 323-334页
作者: Georgios Zioutas Antonios Avramidis Division of Computational Methods and Computer Programming General Department Faculty of Technology Aristotle University of Thessaloniki 541 24 Thessaloniki GreeceDivision of Computational Methods and Computer Programming General Department Faculty of Technology Aristotle University of Thessaloniki 541 24 Thessaloniki Greece
In robust regression we often have to decide how many are the unusualobservations, which should be removed from the sample in order to obtain better fitting for the restof the observations. Generally, we use the basic... 详细信息
来源: 评论