咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,931 篇 工学
    • 1,454 篇 计算机科学与技术...
    • 822 篇 软件工程
    • 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,077 篇 英文
  • 33 篇 其他
  • 11 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3127 条 记 录,以下是3041-3050 订阅
排序:
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... 详细信息
来源: 评论
Active View Planner for Infrastructure 3D Reconstruction
Active View Planner for Infrastructure 3D Reconstruction
收藏 引用
international conference on Control and Automation (ICCA)
作者: Chuanxiang Gao Guidong Yang Xi Chen Ben M. Chen Department of Mechanical and Automation Engineering The Chinese University of Hong Kong Shatin N.T. Hong Kong
Precise 3D modeling is crucial for infrastructure inspections, monitoring, and life-cycle management. However, the efficient construction of accurate 3D models poses significant challenges. this paper addresses these ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
On Heuer's Procedure for Verifying Strong Equivalence  18th
On Heuer's Procedure for Verifying Strong Equivalence
收藏 引用
18th European conference on logics in Artificial Intelligence (JELIA)
作者: Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX USA
In answer set programming, two groups of rules are considered strongly equivalent if replacing one group by the other within any program does not affect the set of stable models. Jan Heuer has designed and implemented... 详细信息
来源: 评论
A Lightweight and Reliable Sideband Interface for Die-to-Die
A Lightweight and Reliable Sideband Interface for Die-to-Die
收藏 引用
IEEE international Workshop on Anti-counterfeiting, Security, Identification, ASID
作者: Ruotong Zhao Bofu Li Zhiyi Guo Xiangyu Li School of Integrated Circuits Tsinghua University Beijing China Beijing Smart-chip Microelectronics Technology Co. Ltd Beijing China
To satisfy the low-power, low-cost and reliability requirements of the industrial control and intellisense applications, a lightweight sideband interface as well as protocol applied in die-to-die interface is proposed... 详细信息
来源: 评论
NFV-Based Distributed Service Function Chaining with Imperfect Information
NFV-Based Distributed Service Function Chaining with Imperfe...
收藏 引用
conference on Information and Knowledge Technology
作者: Mahsa Alikhani Marzieh Sheikhi Vesal Hakami School of Computer Engineering Iran University of Science and Technology Tehran Iran
Software-defined networking (SDN) and network function virtualization (NFV) technologies have emerged as promising paradigms in recent innovations for deploying users' demanded services. In this context, service f... 详细信息
来源: 评论
Evaluation of Probabilistic Electricity Demand Forecasts
Evaluation of Probabilistic Electricity Demand Forecasts
收藏 引用
international conference on Probabilistic Methods Applied to Power Systems (PMAPS)
作者: Hongjia H. Chen Asaad Mohammad Tetsuya Totsuka Ani Laliashvili Maria Navarro TESLA Asia Pacific Ltd Auckland New Zealand TESLA Inc. Richmond United States of America Brandeis International Business School Boston United States of America
As the electricity landscape undergoes transformative shifts with the rising prevalence of photovoltaic (PV) systems and the growing stochastic nature of electricity consumption from electric vehicles (EVs), the signi... 详细信息
来源: 评论
Real-Time GNSS Spoofing Detection for Autonomous Vehicles: An Attention-Based Autoencoder Approach
Real-Time GNSS Spoofing Detection for Autonomous Vehicles: A...
收藏 引用
international conference on Control, Automation, Robotics and Vision (ICARCV)
作者: Huan Yang Guoqiang Liu Chunyang Zhao Mingxing Wen Yuanzhe Wang School of Electrical and Electronic Engineering Nanyang Technological University Singapore China-Singapore International Joint Research Institute Guangzhou China School of Control Science and Engineering Shandong University Jinan China
With the rapid evolution of autonomous vehicles (AVs), ensuring reliable navigation has become paramount, especially against threats like Global Navigation Satellite Systems (GNSS) spoofing. this paper presents an att... 详细信息
来源: 评论
Markov logic networks: theory, algorithms and applications  12
Markov logic networks: theory, algorithms and applications
收藏 引用
Proceedings of the 18th international conference on Management of Data
作者: Parag Singla Indian Institute of Technology Delhi Hauz Khas New Delhi
Most real world problems are characterized by relational structure i.e. entities and relationships between them. Further, they are inherently uncertain in nature. theory of logic gives the framework to represent relat...
来源: 评论