咨询与建议

限定检索结果

文献类型

  • 1,601 篇 会议
  • 62 篇 期刊文献
  • 40 册 图书

馆藏范围

  • 1,701 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,241 篇 工学
    • 869 篇 计算机科学与技术...
    • 533 篇 软件工程
    • 134 篇 电气工程
    • 128 篇 土木工程
    • 123 篇 机械工程
    • 108 篇 控制科学与工程
    • 87 篇 建筑学
    • 71 篇 材料科学与工程(可...
    • 67 篇 信息与通信工程
    • 54 篇 力学(可授工学、理...
    • 44 篇 交通运输工程
    • 43 篇 安全科学与工程
    • 42 篇 动力工程及工程热...
    • 39 篇 化学工程与技术
    • 37 篇 生物工程
    • 34 篇 仪器科学与技术
    • 33 篇 石油与天然气工程
    • 31 篇 环境科学与工程(可...
    • 26 篇 电子科学与技术(可...
  • 354 篇 理学
    • 210 篇 数学
    • 60 篇 统计学(可授理学、...
    • 57 篇 物理学
    • 55 篇 系统科学
    • 52 篇 生物学
    • 27 篇 化学
  • 212 篇 管理学
    • 154 篇 管理科学与工程(可...
    • 84 篇 工商管理
    • 73 篇 图书情报与档案管...
  • 42 篇 医学
    • 33 篇 临床医学
  • 27 篇 法学
  • 26 篇 经济学
    • 25 篇 应用经济学
  • 16 篇 教育学
  • 10 篇 农学
  • 3 篇 军事学
  • 2 篇 文学
  • 1 篇 历史学
  • 1 篇 艺术学

主题

  • 64 篇 model checking
  • 48 篇 tools
  • 29 篇 static analysis
  • 28 篇 algorithm design...
  • 26 篇 data mining
  • 25 篇 real-time system...
  • 24 篇 real time system...
  • 23 篇 analytical model...
  • 22 篇 software enginee...
  • 21 篇 semantics
  • 21 篇 software
  • 20 篇 machine learning
  • 19 篇 task analysis
  • 19 篇 computational mo...
  • 17 篇 monitoring
  • 17 篇 stochastic syste...
  • 16 篇 database systems
  • 16 篇 construction ind...
  • 16 篇 artificial intel...
  • 16 篇 data analysis

机构

  • 12 篇 ludwig maximilia...
  • 7 篇 univ twente form...
  • 7 篇 univ penn philad...
  • 6 篇 univ illinois ur...
  • 5 篇 tech univ munich...
  • 4 篇 verimag ctr equa...
  • 4 篇 rhein westfal th...
  • 4 篇 carnegie mellon ...
  • 4 篇 suny stony brook...
  • 3 篇 saarland univ sa...
  • 3 篇 university of wa...
  • 3 篇 univ colorado bo...
  • 3 篇 aalborg univ dep...
  • 3 篇 school of constr...
  • 3 篇 natl inst inform...
  • 3 篇 carnegie mellon ...
  • 3 篇 lviv polytechnic...
  • 3 篇 chinese acad sci...
  • 3 篇 univ oxford dept...
  • 3 篇 iowa state univ ...

作者

  • 13 篇 beyer dirk
  • 8 篇 parker david
  • 8 篇 hermanns holger
  • 8 篇 katoen joost-pie...
  • 7 篇 van de pol jaco
  • 7 篇 kwiatkowska mart...
  • 6 篇 yi w
  • 5 篇 majumdar rupak
  • 5 篇 podelski andreas
  • 5 篇 alur rajeev
  • 5 篇 pettersson p
  • 5 篇 norman gethin
  • 4 篇 behrmann gerd
  • 4 篇 kroening daniel
  • 4 篇 neele thomas
  • 4 篇 bozga marius
  • 4 篇 abdulla parosh a...
  • 4 篇 mateescu radu
  • 4 篇 sharygina natash...
  • 4 篇 groote jan friso

语言

  • 1,630 篇 英文
  • 41 篇 其他
  • 16 篇 德文
  • 14 篇 中文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
  • 1 篇 乌克兰文
检索条件"任意字段=10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
1703 条 记 录,以下是251-260 订阅
排序:
Pioneering Sustainable Transportation: SRM Motor Optimization for Enhanced Electric Vehicle Dynamics
Pioneering Sustainable Transportation: SRM Motor Optimizatio...
收藏 引用
international conference on Electrical Energy systems (ICEES)
作者: Jayabalu Cheri Prabhu Sundaramoorthy Department of Electrical and Electronics Engineering Mohan Babu University Tirupati India
the SRM motor exhibits several advantageous features, including simple construction, high torque density, low production costs, and high operating efficiency. However, it is not without its drawbacks, such as the torq... 详细信息
来源: 评论
IMSC 2021 - Russian Advances in Fuzzy systems and Soft Computing: Selected Contributions to the 10th international conference on "Integrated Models and Soft Computing in Artificial Intelligence"
IMSC 2021 - Russian Advances in Fuzzy Systems and Soft Compu...
收藏 引用
Russian Advances in Fuzzy systems and Soft Computing: Selected Contributions to the 10th international conference on "Integrated Models and Soft Computing in Artificial Intelligence", IMSC 2021
the proceedings contain 46 papers. the topics discussed include: metagraphs with time-logical restrictions;inference method and tuning of a neuro-fuzzy system with fuzzy inputs on a graphic processor;the problem of po...
来源: 评论
Determination of the Real Percentages of Fuel Expansion in the Automotive Sector Influenced by Ambient Temperatures in a City 50 m. Above Sea Level, Using thermographic tools  10th
Determination of the Real Percentages of Fuel Expansion i...
收藏 引用
10th international conference on Science, Technology and Innovation for Society, CITIS 2024
作者: Fierro, Pablo Renato Martínez, Leonel Guevara, Cristian Guayaquil Ecuador Madrid Spain
In this article, a study is carried out in a city of 50 m. Above sea level, on the volumetric expansion of 87 and 92-octane gasoline and diesel fuel (named: Ecopais, Super, and Diesel) inside the tanks. the aim i... 详细信息
来源: 评论
10th international Congress on Telematics and Computing, WITCOM 2021
10th International Congress on Telematics and Computing, WIT...
收藏 引用
10th international Congress on Telematics and Computing, WITCOM 2021
the proceedings contain 19 papers. the special focus in this conference is on Telematics and Computing. the topics include: Methodological Proposal for Privilege Escalation in Windows systems;Satisfaction of Members o...
来源: 评论
Multi-Model based Additive Manufacturing: A framework for automated large-scale 3D concrete printing with industrial robots*
Multi-Model based Additive Manufacturing: A framework for au...
收藏 引用
IEEE international conference on Automation Science and Engineering (CASE)
作者: Lukas Lachmayer Tobias Recker Virama Ekanayaka André Hürkamp Annika Raatz Insititute of Assembly Technology and Robotics Leibniz University Hannover Garbsen Germany Institute of Machine Tools and Production Technology Technische Universität Braunschweig Braunschweig Germany
With the advent of concrete additive manufacturing in construction (AMC), three new challenges have arisen in planning, automatizing, and controlling 3D printing processes and systems. Firstly, most manufactured const... 详细信息
来源: 评论
Hybrid HVAC-HVDC Grid Fault Detection & Classification Using ANN
Hybrid HVAC-HVDC Grid Fault Detection & Classification Using...
收藏 引用
international conference on Smart Computing & Communications (ICSCC)
作者: Zhe Ming Wong Ing Ming Chew W.K. Wong Saaveethya Sivakumar Filbert H. Juwono Bachelor of Elec. & Electr. Eng. Curtin University Malaysia Miri Malaysia Dept. of Elec. & Comp. Eng. Curtin University Malaysia Miri Malaysia Dept. of Elec. & Electr. Eng. Xi'an Jiaotong - Liverpool University Suzhou China
this paper presents a novel approach to fault detection and diagnosis in hybrid grid systems by integrating Travelling Wave (TW) analysis with Artificial Neural Networks (ANNs). the TW techniques is advocated in repla... 详细信息
来源: 评论
Towards Handling Bias in Intelligence analysis with Twitter
Towards Handling Bias in Intelligence Analysis with Twitter
收藏 引用
international conference on Data Science and Advanced Analytics (DSAA)
作者: Alexandros Karakikes Panagiotis Alexiadis theocharis theocharopoulos Nikolaos Skoulidas Dimitrios Spiliotopoulos Konstantinos Kotis Dept. of Cultural Technology and Communication Intelligent Systems Lab University of the Aegean Mytilene Greece Faculty of Humanities University of the Aegean Rhodes Greece Department of Management Science and Technology University of the Peloponnese Tripoli Greece
Bias identification and mitigation in the Twitter ecosystem has been lately researched towards achieving a more efficient utilization of the application by different stakeholders and for a wide area of purposes. Among...
来源: 评论
Smart Broiler Chicken Weighing System Utilizing the STM32 Microcontroller
Smart Broiler Chicken Weighing System Utilizing the STM32 Mi...
收藏 引用
Electrical Engineering and Mechatronics Technology (ICEEMT), IEEE international conference on
作者: Bin Gao Yongmin Guo Yali Ma Changxi Chen Key Laboratory of Smart Breeding (Co-construction by Ministry and Province) Ministry of Agriculture and Rural Affairs Tianjin China College of Computer and Information Engineering Tianjin Agricultural University Tianjin China
the smart broiler chicken weighing system, based on the STM32 microcontroller, aims to eliminate inefficiencies, errors, and high labor costs linked to traditional weighing processes. Centered around the STM32F103ZET6... 详细信息
来源: 评论
Modeling and Simulation: Manufacturing of a wheel
Modeling and Simulation: Manufacturing of a wheel
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: Murat Türkan Lale Canan Dülger Cagri Unal Begüm Acar Mech. Eng. İzmir Unv. of Economics İzmir Turkey Jantsa Wheel Ind. Efeler Aydin Turkey
this study presents the numerical analysis of the joining of the rim and disc parts of a heavy vehicle wheel using the submerged arc welding method. A wheel model was created in real dimensions and in 3D. the welding ... 详细信息
来源: 评论
Risk analysis of Developing Lifestyle-Related Diseases Based on the Content of Social Networking Service Posts  10th
Risk Analysis of Developing Lifestyle-Related Diseases Base...
收藏 引用
10th KES international conference on Innovation in Medicine and Healthcare, KES-InMed 2022
作者: Tabuchi, Naomichi Matsumoto, Kazuyuki Yoshida, Minoru Nishimura, Ryota Kita, Kenji Graduate School of Sciences and Technology for Innovation Tokushima University Tokushima Japan Faculty of Science and Technology Tokushima University Tokushima Japan
Japan’s leading causes of death are cancer, cardiovascular disease, and diabetes, which account for approximately 60% of all deaths. All these diseases are closely related to lifestyle habits such as diet, exercise, ... 详细信息
来源: 评论