咨询与建议

限定检索结果

文献类型

  • 258 篇 会议
  • 11 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 192 篇 工学
    • 167 篇 计算机科学与技术...
    • 103 篇 软件工程
    • 42 篇 信息与通信工程
    • 30 篇 电气工程
    • 21 篇 控制科学与工程
    • 10 篇 电子科学与技术(可...
    • 9 篇 生物工程
    • 7 篇 动力工程及工程热...
    • 6 篇 仪器科学与技术
    • 6 篇 交通运输工程
    • 5 篇 光学工程
    • 5 篇 安全科学与工程
    • 5 篇 网络空间安全
    • 4 篇 建筑学
    • 4 篇 生物医学工程(可授...
    • 3 篇 力学(可授工学、理...
    • 3 篇 机械工程
    • 3 篇 化学工程与技术
  • 72 篇 理学
    • 47 篇 数学
    • 22 篇 系统科学
    • 13 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
    • 3 篇 化学
    • 3 篇 地球物理学
  • 35 篇 管理学
    • 18 篇 管理科学与工程(可...
    • 17 篇 图书情报与档案管...
    • 12 篇 工商管理
  • 6 篇 医学
  • 5 篇 法学
    • 4 篇 社会学
  • 5 篇 教育学
    • 5 篇 教育学
  • 2 篇 经济学
  • 2 篇 农学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 10 篇 genetic algorith...
  • 8 篇 artificial intel...
  • 8 篇 constraint theor...
  • 6 篇 machine learning
  • 6 篇 game theory
  • 6 篇 clustering algor...
  • 5 篇 computer science
  • 5 篇 algorithm design...
  • 4 篇 quality of servi...
  • 4 篇 computational mo...
  • 4 篇 graph theory
  • 4 篇 computers
  • 4 篇 decision making
  • 4 篇 computer vision
  • 4 篇 computer network...
  • 3 篇 computer simulat...
  • 3 篇 object detection
  • 3 篇 systems engineer...
  • 3 篇 algorithms
  • 3 篇 computer communi...

机构

  • 3 篇 univ penn dept c...
  • 3 篇 electronics and ...
  • 3 篇 division of comp...
  • 2 篇 universitat jaum...
  • 2 篇 imdea software i...
  • 2 篇 ben-gurion unive...
  • 2 篇 univ cambridge 6...
  • 2 篇 university of na...
  • 2 篇 duke univ dept e...
  • 2 篇 tu wien austria
  • 2 篇 institute of sys...
  • 2 篇 bank of italy fr...
  • 2 篇 school of mathem...
  • 2 篇 university of al...
  • 2 篇 university of ca...
  • 2 篇 department of co...
  • 2 篇 johannes gutenbe...
  • 2 篇 los alamos natio...
  • 2 篇 university of cy...
  • 2 篇 scuola superiore...

作者

  • 3 篇 parlato gennaro
  • 3 篇 sokolsky oleg
  • 3 篇 park junkil
  • 3 篇 pajic miroslav
  • 3 篇 lee insup
  • 3 篇 la torre salvato...
  • 3 篇 fischer bernd
  • 2 篇 marta garcia-gas...
  • 2 篇 sarah neuwirth
  • 2 篇 holeman isaac
  • 2 篇 gracia ester mar...
  • 2 篇 mohd azlishah ot...
  • 2 篇 tomasco ermenegi...
  • 2 篇 inverso omar
  • 2 篇 segal michael
  • 2 篇 david e. singh
  • 2 篇 lengál ondřej
  • 2 篇 admela jukan
  • 2 篇 matteo nardelli
  • 2 篇 silvina caino-lo...

语言

  • 274 篇 英文
  • 3 篇 其他
  • 2 篇 中文
检索条件"任意字段=1st International ICST Conference on Theory and Practice of Algorithms in Computer Systems"
278 条 记 录,以下是21-30 订阅
Rough inference system for automated failure prediction in cooling devices
Rough inference system for automated failure prediction in c...
收藏 引用
Optimization Techniques for Learning (ICOTL), international conference on
作者: Zbigniew Kokosiński Piotr Szydłowski Department of Automatic Control and Computer Engineering Cracow University of Technology Kraków Poland Efento Sp. z o.o. Kraków Poland
This article presents a versatile model of failure prediction in control systems of objects with large time constants. The basic model of a control unit consists of deterministic finite automaton (DFA) which states co...
来源: 评论
Surveillance using Unmanned Aerial Vehicle for Triggered Activity Capturing  1
Surveillance using Unmanned Aerial Vehicle for Triggered Act...
收藏 引用
1st IEEE international conference on Industrial Electronics: Developments and Applications, ICIDeA 2022
作者: Banerjee, Shobhan Swain, Tanmaya Mishra, Jyotiprakash Rath, Manas Kumar Samant, Tapaswini BITS Department of Engineering Technology Rajasthan Pilani India School of Computer Engineering Kalinga Institute of Industrial Technology Bhubaneswar India
Unmanned aerial vehicles (UAVs) are being used extensively these days, for various applications such as package delivery, surveillance systems, shooting purposes, and whatnot. Artificial Intelligence in theory talks a... 详细信息
来源: 评论
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution)  31th
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned lo...
收藏 引用
31st international conference on Tools and algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the international Joint conferences on theory and practice of Software, ETAPS 2025
作者: Mukhopadhyay, Diganta Metta, Ravindra Karmarkar, Hrishikesh Madhukar, Kumar TCS Research Tata Consultancy Services Pune India School of CIT Technical University of Munich Munich Germany Department of Computer Science IIT Delhi New Delhi India
PROTON 2.1 presents (1) a new termination checking technique that uses a fine-tuned local LLM to synthesize ranking functions, and (2) support for multiple SAT solvers for non-termination checking. © The Author(s...
来源: 评论
Distributed Deep Reinforcement Learning for Autonomous Iot Healthcare Devices in the Cloud  1
Distributed Deep Reinforcement Learning for Autonomous Iot H...
收藏 引用
1st international conference on Artificial Intelligence for Innovations in Healthcare Industries, ICAIIHI 2023
作者: Shukla, Aasheesh Pokhariya, Hemant Singh Michaelson, Jacob Laxminarayanamma, K. Kumar, Mukesh Krishna, Om Gla University Department of Electronics and Communication Mathura India Graphic Era Deemed to Be University Department of Computer Science & Engineering Uttarakhand Dehradun India Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai India Institute of Aeronautical Engineering Department of Information Technology Telangana Hyderabad India Lloyd Institute of Engineering and Technology Greater Noida India Lloyd Law College Greater Noida India
The ethical and philosophical problems concerning the cooperation of AI systems and human artists are also examined in this study. In addressing authorship, agency, and the very essence of creation, the changing posit... 详细信息
来源: 评论
Deep Learning Aided Emotion Recognition from Music  1
Deep Learning Aided Emotion Recognition from Music
收藏 引用
1st IEEE international conference on Automation, Computing and Renewable systems, ICACRS 2022
作者: Raja Subramanian, R. Ram, Kokkirala Aditya Sai, Dola Lokesh Venkatesh Reddy, K. Chowdary, Kondeti Akarsh Reddy, Kundu Dheeraj Datta Department of Computer Science and Engineering Kalasalingam Academy of Reasearch and Education Tamil Nadu Virudhunagar India
Emotion identification by audio signal is a contemporary study area in Human computer Interaction domain. The desire for improving the communication interface between people and digital media has increased. The emotio... 详细信息
来源: 评论
Supervised learning: Classification using decision trees for better practice in epidemiology Case study: The prevalence of tuberculosis
Supervised learning: Classification using decision trees for...
收藏 引用
13th international conference on Ambient systems, Networks and Technologies, ANT 2022 / 5th international conference on Emerging Data and Industry 4.0, EDI40 2022
作者: Salamate, Fatima Ezzahra Zahi, Jamal FEG Settat University Hassan the 1st Settat30 000 Morocco
In the current digital era, Artificial Intelligence is a technology that is accessible and used in many fields. In order to take advantage of the benefits of AI, different techniques can be used. Among them, supervise... 详细信息
来源: 评论
Evaluation and Comparison of Machine Learning algorithms for Solar Flare Class Prediction  1
Evaluation and Comparison of Machine Learning Algorithms for...
收藏 引用
1st IEEE international conference on Artificial Intelligence and Machine Vision, AIMV 2021
作者: Gandhi, Savita R. Athawale, Aishawariya Julasana, Hetvi Purohit, Suchit Gujarat University Department of Computer Science Ahmedabad India
Due to powerful and sudden release of magnetic energy, solar flares pose a great threat to technological systems in space as well as on ground. This study explores the potential of machine learning in predicting the c... 详细信息
来源: 评论
Comprehensive Analysis of Cybersecurity: Examining Existing Literature and Identifying Potential Areas for Future Research
Comprehensive Analysis of Cybersecurity: Examining Existing ...
收藏 引用
Advances in Computing, Communication and Networking (ICAC2N), international conference on
作者: Poonam Rani Harkesh Sehrawat Computer Science & Engineering University Institute of Engineering and Technology Maharshi Dayanand University Rohtak India
In recent years, many scholars and experts have discovered that mobile communication systems and techniques are susceptible to a wide range of cyberattacks. These assaults not only inflict pain and damage to private f... 详细信息
来源: 评论
1st international conference on Intelligent Computing and Big Data Analytics, ICICBDA 2024
1st International Conference on Intelligent Computing and Bi...
收藏 引用
1st international conference on Intelligent Computing and Big Data Analytics, ICICBDA 2024
The proceedings contain 48 papers. The special focus in this conference is on Intelligent Computing and Big Data Analytics. The topics include: Road Mishap Prevention Using Driver state Detection;optic Disc Segmentati...
来源: 评论
Performance Heuristics for GR(1) Realizability Checking and Related Analyses  31th
Performance Heuristics for GR(1) Realizability Checking and...
收藏 引用
31st international conference on Tools and algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the international Joint conferences on theory and practice of Software, ETAPS 2025
作者: Yatskan, Roy Shevrin, Ilia Maoz, Shahar Tel Aviv University Tel Aviv Israel
Reactive synthesis is an automated process for deriving correct-by-construction reactive systems from temporal specifications. GR(1), in particular, is a popular LTL fragment that balances efficient synthesis complexi...
来源: 评论