咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是2601-2610 订阅
排序:
HAMF: Highly Adaptable Multi-graph Fusion for Cross-domain Graphs
HAMF: Highly Adaptable Multi-graph Fusion for Cross-domain G...
收藏 引用
international conference on Mobile Ad-hoc and Sensor Networks, MSN
作者: Jie Li Jiaqi Liu Bin Guo Northwestern Polytechnical University
Nowadays, many realistic networks are modeled as multiple graphs that interact with each other. therefore, multi-graph fusion comes into being. Most existing algorithms are oriented to a particular scenario, which lac... 详细信息
来源: 评论
Impact of AlScN Gate Dielectric on Electrical Properties of AlScN/AlGaN/GaN Ferroelectric HEMTs
Impact of AlScN Gate Dielectric on Electrical Properties of ...
收藏 引用
IEEE international conference on Nano/Micro Engineered and Molecular Systems (NEMS)
作者: Yuxi Liu Zexing Ding Guoming Zhang Qingnan Qian Qunhui Zhou Yiming Ma Nan Wang Qinghua Ren School of Microelectronics Shanghai University China
AlGaN/GaN high electron mobility transistors (HEMTs) with Al 1-x Sc x N ferroelectric gate dielectric layer are designed and the impact of gate length, gate thickness, and Sc doping concentration in Al 1-x Sc x N on t... 详细信息
来源: 评论
Active Learning of Probabilistic Movement Primitives
Active Learning of Probabilistic Movement Primitives
收藏 引用
IEEE-RAS international conference on Humanoid Robots
作者: Adam Conkey Tucker Hermans School of Computing Robotics Center: University of Utah USA NVIDIA USA
A Probabilistic Movement Primitive (ProMP) defines a distribution over trajectories with an associated feedback policy. ProMPs are typically initialized from human demonstrations and achieve task generalization throug... 详细信息
来源: 评论
Optimal Configuration of Distributed Generation for Improving Voltage Quality Based on Adaptive Weighted PSO
Optimal Configuration of Distributed Generation for Improvin...
收藏 引用
international conference on Harmonics and Quality of Power
作者: Jijun Cheng Yurui He Huwei Cao Hao Shi Jing Hu Tong Ding Xiaogan kexian electrical engineering consulting and design co. LTD Xiaogan China School of Electrical Engineering and Automination Wuhan University Wuhan China
Aiming at the problem of over-limit of distribution network node voltages caused by high-permeability distributed generation (DG) grid connection, the influence that single and multiple DG grid connection has on volta... 详细信息
来源: 评论
Creating a Dynamic Online Learning Environment with AI Integration
Creating a Dynamic Online Learning Environment with AI Integ...
收藏 引用
international Computer Sciences and Information Technologies (CSIT)
作者: Oleksandra Bulgakova Zarina Viniarska Viacheslav Zosimov P.M Platonov Educational and Scientific Institute of Computer Engineering Automation Robotics and Computer Programming Odesa National University of Technology Odesa Ukraine Department of Applied information systems Taras Shevchenko National University of Kyiv Kyiv Ukraine
Educational, online learning has become a common practice due to rapid digitalization and recent global events. this study focuses on developing a comprehensive online learning platform that addresses users' needs... 详细信息
来源: 评论
Reducing the Price of Protection: Identifying and Migrating Non-sensitive Code in TEE
Reducing the Price of Protection: Identifying and Migrating ...
收藏 引用
IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Yin Liu Eli Tilevich Software Innovations Lab Virginia Tech
As the trusted computing base (TCB) unnecessarily increases its size, the performance and security of Trusted Execution Environments (TEE) can deteriorate rapidly. Existing solutions focus on placing only the necessar... 详细信息
来源: 评论
Resource Planning and Works Schedule Optimization of an IT Project with Use of the General Linearization Algorithm
Resource Planning and Works Schedule Optimization of an IT P...
收藏 引用
international Computer Sciences and Information Technologies (CSIT)
作者: Serhii Chernov Liudmyla Chernova Liubava Chernova Nataliia Kunanets Sergej Titov Evgeniy Trushliakov Department of Project Management Admiral Makarov National University of Shipbuilding Mykolaiv Ukraine Information Management Systems & Technologies Department Admiral Makarov National University of Shipbuilding Mykolaiv Ukraine Department of Information Systems and Networks Lviv Polytechnic National University Lviv Ukraine Rector Admiral Makarov National University of Shipbuilding Mykolaiv Ukraine
the article considers a modern approach to project management in conditions of complex non-linear dependencies and limited resources. One of the key tasks in the project management consists in efficient planning of re... 详细信息
来源: 评论
Towards a theory of Special-Purpose Program Obfuscation
Towards a Theory of Special-Purpose Program Obfuscation
收藏 引用
IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Muhammad Rizwan Asghar Steven Galbraith Andrea Lanzi Giovanni Russello Lukas Zobernig School of Computer Science The University of Auckland New Zealand The University of Auckland New Zealand Computer Science Department Universita degli studi di Milano Italy Department of Mathematics The University of Auckland New Zealand
Most recent theoretical literature on program obfuscation is based on notions like virtual black box (VBB) obfuscation and indistinguishability obfuscation (iO). these notions are very strong and are hard to satisfy. ... 详细信息
来源: 评论
ECADA: An Edge Computing Assisted Delay-Aware Anomaly Detection Scheme for ICS
ECADA: An Edge Computing Assisted Delay-Aware Anomaly Detect...
收藏 引用
international conference on Mobile Ad-hoc and Sensor Networks, MSN
作者: Chao Sang Jianhua Li Jun Wu Wu Yang School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University China Graduate School of Information Production and Systems Waseda University Japan College of Computer Science and Technology Harbin Engineering University China
Today, with more and more devices in the industrial control system (ICS), the risk becomes higher and brings more attack surfaces. the need for reliable anomaly detection systems is increasing. Traditional SCADA-based... 详细信息
来源: 评论
FOSSSC: A Free, Open-Source Software Stack Cluster for Digital System Design
FOSSSC: A Free, Open-Source Software Stack Cluster for Digit...
收藏 引用
international conference on Emerging Technologies, ICET
作者: Tassadaq Hussain Amna Haider Syed Uzair Ghous Ali Dawood Mazhar Eduard Ayguade Electrical Engineering Department Namal University Mianwali Pakistan Supercomputing Center PakASIC and UCERD Islamabad Centre for AI and Big Data Namal University Mianwali Barcelona Supercomputing Center Spain
Chip design tools play an important role in the semiconductor industry, affecting production costs, accessibility, and innovation. Traditional commercial chip design tools have high licensing fees which cause innovati... 详细信息
来源: 评论