咨询与建议

限定检索结果

文献类型

  • 88,541 篇 会议
  • 1,035 册 图书
  • 872 篇 期刊文献
  • 2 篇 学位论文
  • 1 篇 专利
  • 1 篇 科技报告

馆藏范围

  • 90,448 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 29,845 篇 工学
    • 19,807 篇 计算机科学与技术...
    • 13,576 篇 软件工程
    • 5,807 篇 控制科学与工程
    • 5,432 篇 电气工程
    • 4,711 篇 信息与通信工程
    • 3,121 篇 机械工程
    • 2,589 篇 电子科学与技术(可...
    • 2,428 篇 仪器科学与技术
    • 1,366 篇 生物工程
    • 1,318 篇 生物医学工程(可授...
    • 1,093 篇 动力工程及工程热...
    • 1,059 篇 光学工程
    • 870 篇 化学工程与技术
    • 831 篇 交通运输工程
    • 793 篇 材料科学与工程(可...
    • 767 篇 安全科学与工程
    • 744 篇 建筑学
    • 718 篇 土木工程
  • 10,915 篇 理学
    • 6,032 篇 数学
    • 2,860 篇 物理学
    • 2,113 篇 系统科学
    • 2,106 篇 统计学(可授理学、...
    • 1,553 篇 生物学
    • 934 篇 化学
  • 6,400 篇 管理学
    • 4,729 篇 管理科学与工程(可...
    • 2,109 篇 图书情报与档案管...
    • 1,852 篇 工商管理
  • 1,318 篇 医学
    • 1,065 篇 临床医学
    • 795 篇 基础医学(可授医学...
  • 747 篇 法学
    • 673 篇 社会学
  • 553 篇 经济学
  • 479 篇 教育学
  • 328 篇 农学
  • 242 篇 文学
  • 131 篇 军事学
  • 90 篇 艺术学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 18,884 篇 computational mo...
  • 6,897 篇 measurement
  • 6,030 篇 computer archite...
  • 4,806 篇 computer science
  • 4,478 篇 accuracy
  • 3,910 篇 predictive model...
  • 3,725 篇 analytical model...
  • 3,607 篇 mathematical mod...
  • 3,532 篇 data models
  • 3,478 篇 real-time system...
  • 3,376 篇 training
  • 3,252 篇 biological syste...
  • 2,826 篇 solid modeling
  • 2,765 篇 feature extracti...
  • 2,637 篇 computer simulat...
  • 2,546 篇 application soft...
  • 2,442 篇 control systems
  • 2,259 篇 object oriented ...
  • 2,099 篇 monitoring
  • 2,012 篇 hardware

机构

  • 70 篇 school of comput...
  • 62 篇 school of comput...
  • 62 篇 chitkara univers...
  • 58 篇 department of el...
  • 52 篇 computer science...
  • 50 篇 department of co...
  • 48 篇 college of compu...
  • 46 篇 school of comput...
  • 45 篇 department of el...
  • 44 篇 school of comput...
  • 42 篇 college of compu...
  • 38 篇 department of co...
  • 38 篇 school of electr...
  • 37 篇 school of electr...
  • 37 篇 department of el...
  • 36 篇 department of el...
  • 35 篇 tsinghua univers...
  • 34 篇 school of comput...
  • 34 篇 department of el...
  • 33 篇 faculty of compu...

作者

  • 37 篇 lei wang
  • 33 篇 anon
  • 27 篇 jian wang
  • 26 篇 jun wang
  • 26 篇 bernady o. apduh...
  • 23 篇 rui wang
  • 23 篇 hui wang
  • 23 篇 andrzej napieral...
  • 22 篇 shiva mehta
  • 21 篇 kang li
  • 19 篇 rakesh kumar
  • 19 篇 tao yang
  • 18 篇 li li
  • 17 篇 bin wang
  • 17 篇 marina l. gavril...
  • 17 篇 jun zhang
  • 16 篇 chunyan miao
  • 16 篇 yong meng teo
  • 16 篇 xi chen
  • 16 篇 wang lei

语言

  • 89,478 篇 英文
  • 548 篇 其他
  • 438 篇 中文
  • 27 篇 俄文
  • 4 篇 西班牙文
  • 3 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 2 篇 土耳其文
  • 1 篇 乌克兰文
检索条件"任意字段=International Conference on Measurement and Modeling of Computer Systems"
90452 条 记 录,以下是111-120 订阅
排序:
Robust WCET Estimation via Ensemble Learning with Fractional-Order Legendre Function Kernels  5
Robust WCET Estimation via Ensemble Learning with Fractional...
收藏 引用
5th National and the 1st international conference on Applied Research in Electrical Engineering, AREE 2025
作者: Monfared, Amir Hussein Ataei Moghaddam, Mahdi Movahedian Sharif-Bakhtiar, Sheedeh Parand, Kourosh Borna, Keivan Kharazmi University Faculty of Mathematics and Computer Science Department of Computer Science Tehran Iran Shahid Beheshti University Faculty of Mathematical Sciences Department of Computer and Data Sciences Tehran Iran Institute for Cognitive and Brain Sciences Shahid Beheshti University Department of Cognitive Modeling Tehran Iran
Estimating Worst-Case Execution Time (WCET) as a regression problem has become increasingly challenging due to the complexity of modern hardware and software systems. Traditional statistical methods often fall short o... 详细信息
来源: 评论
Unlocking Eye Gestures with Earable Inertial Sensing for Accessible HCI  17
Unlocking Eye Gestures with Earable Inertial Sensing for Acc...
收藏 引用
17th international conference on COMmunication systems and NETworkS, COMSNETS 2025
作者: Chugh, Garvit Chakraborty, Suchetana Chakraborty, Sandip Indian Institute of Technology Department of Computer Science and Engineering Jodhpur India Indian Institute of Technology Department of Computer Science and Engineering Kharagpur India
Eye gestures are widely used in many applications, including device control, biometrics, visual analytics, and health-care, like Alzheimer's, accessibility, etc. The conventional method for eye gesture detection n... 详细信息
来源: 评论
A Formal Approach for Verifying and Validating Security Objectives in Software Architecture  17th
A Formal Approach for Verifying and Validating Security Ob...
收藏 引用
17th international conference on Verification and Evaluation of computer and Communication systems, VECoS 2024
作者: Thierry, Loïc Hamid, Brahim Jaskolka, Jason IRIT Université de Toulouse CNRS UT2 118 Route de Narbonne Toulouse Cedex 931062 France Systems and Computer Engineering Carleton University 1125 Colonel By Drive OttawaONK1S 5B6 Canada
The design and analysis of security in distributed computing systems raises numerous questions on the tools available for modeling and verification. Particularly, it is difficult to ensure the correctness when using d... 详细信息
来源: 评论
Formal Verification of Coupled Transmission Lines using Theorem Proving  17th
Formal Verification of Coupled Transmission Lines using The...
收藏 引用
17th international conference on Verification and Evaluation of computer and Communication systems, VECoS 2024
作者: Deniz, Elif Rashid, Adnan Tahar, Sofiène Department of Electrical and Computer Engineering Concordia University MontrealQC Canada
Coupled transmission lines are essential components of modern electronic systems, which facilitate a reliable and an efficient transmission of high-frequency signals from source to destination and are w... 详细信息
来源: 评论
Studying on design and manufacture of the customized cam using artificial intelligence  4
Studying on design and manufacture of the customized cam usi...
收藏 引用
4th international conference on Advanced Manufacturing Technology and Electronic Information, AMTEI 2024
作者: Zhao, Yan Dong, Guangcheng Hao, Wenyue School of Information Engineering Baise University Guangxi Autonomous Region Baise533000 China School of Material Science and Engineering Baise University Guangxi Autonomous Region Baise533000 China
A virtual product creation technology was explored, focusing on the customized cam with a rise-dwell-fall-dwell (RDFD) motion program taking high and low speeds into account using artificial intelligence which is nece... 详细信息
来源: 评论
Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants  17
Toward Automated UML Diagram Assessment: Comparing LLM-Gener...
收藏 引用
17th international conference on computer Supported Education, CSEDU 2025
作者: Bouali, Nacir Gerhold, Marcus Ul Rehman, Tosif Ahmed, Faizan Department of Computer Science University of Twente Netherlands
This paper investigates the feasibility of using Large Language Models (LLMs) to automate the grading of Unified modeling Language (UML) class diagrams in a software design course. Our method involves carefully design... 详细信息
来源: 评论
From Concept to Reality: A Contemporary Framework for Virtual Designing and Commissioning Processing Plant systems  6
From Concept to Reality: A Contemporary Framework for Virtua...
收藏 引用
6th international conference on Industry 4.0 and Smart Manufacturing, ISM 2024
作者: Nielsen, Mads Kjærgaard Beliatis, Michail J. Tambo, Torben Department of Business Development and Technology Aarhus BSS Aarhus University Denmark
The design and commissioning of process systems involve complex procedures often guided by digital Mock-Ups, replacing physical prototypes. This study presents a comprehensive framework integrating Virtual Commissioni... 详细信息
来源: 评论
modeling HIF-ILK Interaction Using Continuous Petri Nets
Modeling HIF-ILK Interaction Using Continuous Petri Nets
收藏 引用
18th international Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2025
作者: Gilin, Viktor Laauwen, Sanne Xia, Yuying Yousufi, Noria Cao, Lu Leiden Institute of Advanced Computer Science Leiden University Einsteinweg 55 Leiden Netherlands
Oxygen concentration in tumor micro-environment is a well-established signal that can induce aggressive can cer behaviour. In particular, low oxygen levels (hypoxia) activate the Hypoxia-Inducible Factor(HIF) pathway ... 详细信息
来源: 评论
computer System for modeling Fluid Flow Around Bodies and Its Potential in Industry  1
收藏 引用
7th international Russian Automation conference, RusAutoCon 2024
作者: Tsareva, P.E. St. Petersburg State Marine Technical University 3 Lotsmanskaya Str Saint-Petersburg190121 Russia
Mathematical modeling plays an important role in industry when a physical model is unprofitable, cannot be implemented due to the complexity of the problem, or more accurate values need to be obtained. In particular, ... 详细信息
来源: 评论
Unimaginable Numbers and Infinity Computing at School: An Experimentation in Northern Italy  4th
Unimaginable Numbers and Infinity Computing at School: An ...
收藏 引用
4th international conference on Numerical Computations: Theory and Algorithms, NUMTA 2023
作者: Antoniotti, Luigi Astorino, Annabella Caldarola, Fabio IIS Palladio via Tronconi 22 Treviso Italy Department of Computer Engineering Modeling Electronics and Systems Engineering University of Calabria CS Arcavacata di Rende87036 Italy Department of Environmental Engineering University of Calabria CS Arcavacata di Rende87036 Italy
In this paper we describe an experimentation carried out in a high school in northern Italy. The focus is to present to students new concepts of very big numbers and the infinite, studying their response, approaches, ... 详细信息
来源: 评论