咨询与建议

限定检索结果

文献类型

  • 2,946 篇 会议
  • 97 篇 期刊文献
  • 82 册 图书
  • 2 篇 学位论文

馆藏范围

  • 3,125 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,931 篇 工学
    • 1,454 篇 计算机科学与技术...
    • 823 篇 软件工程
    • 383 篇 电气工程
    • 255 篇 控制科学与工程
    • 104 篇 信息与通信工程
    • 59 篇 机械工程
    • 57 篇 交通运输工程
    • 47 篇 电子科学与技术(可...
    • 38 篇 石油与天然气工程
    • 33 篇 核科学与技术
    • 31 篇 材料科学与工程(可...
    • 26 篇 生物工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 20 篇 土木工程
    • 15 篇 建筑学
  • 519 篇 理学
    • 369 篇 数学
    • 85 篇 物理学
    • 62 篇 系统科学
    • 57 篇 统计学(可授理学、...
    • 44 篇 生物学
  • 211 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 63 篇 工商管理
    • 43 篇 图书情报与档案管...
  • 77 篇 医学
    • 68 篇 临床医学
    • 46 篇 特种医学
    • 15 篇 基础医学(可授医学...
  • 41 篇 教育学
    • 39 篇 教育学
  • 31 篇 法学
    • 27 篇 社会学
  • 16 篇 经济学
  • 8 篇 农学
  • 5 篇 文学
  • 5 篇 艺术学
  • 3 篇 哲学
  • 1 篇 军事学

主题

  • 274 篇 logic gates
  • 236 篇 fuzzy logic
  • 172 篇 probabilistic lo...
  • 153 篇 programming
  • 139 篇 linear programmi...
  • 110 篇 logic programmin...
  • 88 篇 dynamic programm...
  • 86 篇 optimization
  • 71 篇 computer science
  • 69 篇 programming prof...
  • 69 篇 computational mo...
  • 67 篇 artificial intel...
  • 67 篇 mathematical mod...
  • 58 篇 integer programm...
  • 58 篇 uncertainty
  • 54 篇 semantics
  • 53 篇 software enginee...
  • 50 篇 computer archite...
  • 50 篇 logic
  • 44 篇 genetic programm...

机构

  • 8 篇 university of mi...
  • 6 篇 hitachi ltd hita...
  • 6 篇 st petersburg el...
  • 5 篇 inria
  • 5 篇 kyushu sangyo un...
  • 5 篇 myongji universi...
  • 5 篇 saint petersburg...
  • 5 篇 univ illinois ur...
  • 5 篇 politecnico di b...
  • 5 篇 monash universit...
  • 5 篇 university of pe...
  • 5 篇 carnegie mellon ...
  • 5 篇 polytechnic univ...
  • 5 篇 university of ba...
  • 5 篇 covenant univers...
  • 5 篇 univ illinois de...
  • 4 篇 ist austria klos...
  • 4 篇 graduate school ...
  • 4 篇 institute of mic...
  • 4 篇 school of electr...

作者

  • 6 篇 kitamura m
  • 6 篇 woltran stefan
  • 6 篇 eiter thomas
  • 6 篇 kakugawa s
  • 5 篇 bernady o. apduh...
  • 5 篇 ana maria a.c. r...
  • 5 篇 eufemia tarantin...
  • 5 篇 osvaldo gervasi
  • 5 篇 yeonseung ryu
  • 5 篇 beniamino murgan...
  • 5 篇 sanjay misra
  • 5 篇 inoue katsumi
  • 5 篇 david taniar
  • 5 篇 carmelo m. torre
  • 5 篇 elena stankova
  • 4 篇 schaub torsten
  • 4 篇 belta calin
  • 4 篇 leonard barolli
  • 4 篇 hino n
  • 4 篇 castillo oscar

语言

  • 3,076 篇 英文
  • 34 篇 其他
  • 11 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3127 条 记 录,以下是3021-3030 订阅
排序:
Modelling Wind Power Generation in Probabilistic Power Systems Analysis: A Case Study with Non-Gaussian Correlated Random Variables
Modelling Wind Power Generation in Probabilistic Power Syste...
收藏 引用
international conference on Probabilistic Methods Applied to Power Systems (PMAPS)
作者: José Francisco Moreira Pessanha Albert Cordeiro Geber Melo Maria Elvira Pineiro Maceira Mathematics and Statistics Institute UERJ - Rio de Janeiro State University Rio de Janeiro Brazil
the rapid expansion of wind power generation demands an update to the computational tools used for decision-making in the operation and planning of electrical power systems. this paper presents a methodology for model... 详细信息
来源: 评论
UAV Cooperative Air Combat Maneuvering Decision-Making Using GRU-MAPPO
UAV Cooperative Air Combat Maneuvering Decision-Making Using...
收藏 引用
international conference on Control and Automation (ICCA)
作者: Caiyi Chen Zhengyu Guo Delin Luo Yang Xu Haibin Duan School of Aerospace Engineering Xiamen University Xiamen China National Key Laboratory of Air-based Information Perception and Fusion Luoyang China School of Civil Aviation Northwestern Polytechnical University Xian China School of Automation Science and Electrical Engineering Beihang University Beijing China
In this article, a GRU-Multi-agent Proximal Policy Optimization (GRU-MAPPO) algorithm was proposed to address unmanned aerial vehicle (UAV) cooperative air combat decision-making problem. this algorithm adds a layer o... 详细信息
来源: 评论
A Risk Assessment Based Method for Prioritizing Power Substation Apparatus Maintenances
A Risk Assessment Based Method for Prioritizing Power Substa...
收藏 引用
international conference on Probabilistic Methods Applied to Power Systems (PMAPS)
作者: Nan Zhou Yan Xu Sungin Cho Cheng Tian Wee Lingfeng Luo School of Electrical and Electronic Engineering Nanyang Technological University Singapore Singapore Singapore Power Group Singapore Singapore
Proper planning for apparatus maintenance is of great importance to a power utility for maintaining power grid reliability while optimizing the resources. In this paper, a risk assessment-based method is proposed to p... 详细信息
来源: 评论
Keeping Information Alive: Hovering Information and Floating Content Paradigms for Vehicular Networks
Keeping Information Alive: Hovering Information and Floating...
收藏 引用
international conference on Distributed Computing in Sensor Systems (DCOSS)
作者: Lachlan Johnston Richard W. Pazzi Faculty of Business and Information Technology Ontario Tech University Canada
Hovering Information and Floating Content are two sub-domains of information dissemination which aim to keep information persistent in a region where vehicle to vehicle (V2V) communication is the only option. In this ... 详细信息
来源: 评论
Multi-Objective Derivative-Free Optimization Based on Hessian-Aware Gaussian Smoothing Method
Multi-Objective Derivative-Free Optimization Based on Hessia...
收藏 引用
international conference on Control and Automation (ICCA)
作者: Ran Chen Yuzhe Li Tianyou Chai State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang China
Most deterministic multi-objective optimization algorithms assume that the analytical objective functions and multi-objective gradients are available. However, there may be no available or explicit mathematical model ... 详细信息
来源: 评论
Multi-objective Optimisation of Dynamic Responses for a Rail Freight Wagon using Regression Models
Multi-objective Optimisation of Dynamic Responses for a Rail...
收藏 引用
IEEE international conference on Cognitive Informatics
作者: Manish Pandey Rituparna Datta Rajarshi Dey Bishakh Bhattacharya Research Designs and Standards Organisation Lucknow India University of South Alabama Indian Institute of Technology Kanpur India
the optimization problem of the carbody dynamic response for a freight wagon fitted with three-piece bogie can be formulated as a multi-objective optimisation problem wherein four of the dynamic response parameters i.... 详细信息
来源: 评论
PTC-FOZNN: A Strictly Predefined-Time Convergent Fractional-Order Recurrent Neural Network for Solving Time-Variant Quadratic programming
PTC-FOZNN: A Strictly Predefined-Time Convergent Fractional-...
收藏 引用
international conference on Control and Automation (ICCA)
作者: Yi Yang Weibing Li Jianshu Zhou Junda Huang Jinfei Hu Richard M. Voyles Xin Ma Department of Mechanical and Automation Engineering Multi-Scale Medical Robotics Center The Chinese University of Hong Kong Hong Kong China School of Computer Science and Engineering Sun Yat-sen University Guangzhou China Department of Mechanical and Automation Engineering The Chinese University of Hong Kong Hong Kong China School of Engineering Technology Purdue University West Lafayette IN USA
this study presents a Predefined-Time Convergent Fractional-Order Zeroing Neural Network (PTC-FOZNN) as an innovative solution for Time-Invariant Quadratic programming (TIQP) and Time-Variant Quadratic programming (TV... 详细信息
来源: 评论
Distributed Online Optimization Based on One-Step Gradient Descent and Multi-Step Consensus
Distributed Online Optimization Based on One-Step Gradient D...
收藏 引用
international conference on Control, Automation, Robotics and Vision (ICARCV)
作者: Yingjie Zhou Xinyu Wang Tao Li School of Mathematical Sciences East China Normal University Shanghai China Shenzhen Baimai Technology Co. Ltd. Shenzhen China Ministry of Education Key Laboratory of Mathematics and Engineering Applications China
We propose a distributed online optimization al-gorithm with continuously learning ability. In this algorithm, we first perform one-step gradient descent with fixed step size to ensure the ability of tracking the opti... 详细信息
来源: 评论
A multi-bit error tolerant register file for a high reliable embedded processor
A multi-bit error tolerant register file for a high reliable...
收藏 引用
IEEE international conference on Electronics, Circuits and Systems (ICECS)
作者: Siamak Esmaeeli Morteza Hosseini Bijan Vosoughi Vahdat Bizhan Rashidian Department of Electrical Engineering Sharif University of Technology Tehran Iran
the vulnerability of microprocessors to soft errors is increasing due to continuous shrinking in fabrication process. Recent studies show that 1-5% of the SEUs (single event upset) can cause MBUs (multiple bit upsets)... 详细信息
来源: 评论
An analytic framework for specifying and analyzing imprecise requirements  96
An analytic framework for specifying and analyzing imprecise...
收藏 引用
Proceedings of the 18th international conference on Software engineering
作者: Xiaoqing Frank Liu John Yen Department of Computer Science University of Missouri Rolla Missouri Department of Computer Science Texas A&M University College Station Texas
there are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflic... 详细信息
来源: 评论