咨询与建议

限定检索结果

文献类型

  • 979 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 700 篇 工学
    • 581 篇 计算机科学与技术...
    • 364 篇 软件工程
    • 146 篇 电气工程
    • 56 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 189 篇 理学
    • 156 篇 数学
    • 18 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 62 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 probabilistic lo...
  • 29 篇 linear programmi...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,017 篇 英文
  • 16 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1040 条 记 录,以下是131-140 订阅
NAS Parallel Benchmark Kernels with Python: A performance and programming effort analysis focusing on GPUs  30
NAS Parallel Benchmark Kernels with Python: A performance an...
收藏 引用
30th Euromicro international conference on Parallel, Distributed and Network-Based Processing (PDP)
作者: Di Domenico, Daniel Cavalheiro, Gerson G. H. Lima, Joao V. F. Univ Fed Pelotas Pelotas RS Brazil Univ Fed Santa Maria Santa Maria RS Brazil
GPU devices are currently seen as one of the trending topics for parallel computing. Commonly, GPU applications are developed with programming tools based on compiled languages, like C/C++ and Fortran. this paper pres... 详细信息
来源: 评论
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints  30
Improved Bounds of Integer Solution Counts via Volume and Ex...
收藏 引用
30th international conference on Principles and Practice of Constraint programming, CP 2024
作者: Ge, Cunjing Biere, Armin National Key Laboratory for Novel Software Technology Nanjing University China School of Artificial Intelligence Nanjing University China University of Freiburg Germany
Solution counting and solution space integration over linear constraints are important problems with many applications. Previous works addressed either only counting integer points in polytopes (integer counting) with... 详细信息
来源: 评论
CP for Bin Packing with Multi-Core and GPUs  30
CP for Bin Packing with Multi-Core and GPUs
收藏 引用
30th international conference on Principles and Practice of Constraint programming, CP 2024
作者: Tardivo, Fabio Michel, Laurent Pontelli, Enrico Department of Computer Science New Mexico State University Las CrucesNM United States Synchrony Chair in Cybersecurity School of Computing University of Connecticut StorrsCT United States
the BinPacking constraint models the requirements of many logistics, resource allocation, and production scheduling applications. this paper explores new avenues based on the impressive computational power of modern G... 详细信息
来源: 评论
the Complexity of Symmetry Breaking beyond Lex-Leader  30
The Complexity of Symmetry Breaking beyond Lex-Leader
收藏 引用
30th international conference on Principles and Practice of Constraint programming, CP 2024
作者: Anders, Markus Brenner, Sofia Rattan, Gaurav TU Darmstadt Germany University of Twente Enschede Netherlands
Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP. Symmetry breaking predicates (SBPs) typically impose an order on variables and single out the ... 详细信息
来源: 评论
A Parallel Implementation of the Triangular Shepard Interpolation Method  30
A Parallel Implementation of the Triangular Shepard Interpol...
收藏 引用
30th Euromicro international conference on Parallel, Distributed and Network-Based Processing (PDP)
作者: Dell'Accio, Francesco Di Tommaso, Filomena Giordano, Andrea Rongo, Rocco Spataro, William Univ Calabria Dept Math & Comp Sci Calabria Italy ICAR CNR Arcavacata Di Rende Italy
the triangular Shepard interpolation method is an extension of the well-known bivariate Shepard's method for interpolating large sets of scattered data. In particular, the classical point-based weight functions ar... 详细信息
来源: 评论
A Generic Methodology for the Modular Verification of Security Protocol Implementations  23
A Generic Methodology for the Modular Verification of Securi...
收藏 引用
30th ACM SIGSAC conference on Computer and Communications Security (ACM CCS)
作者: Arquint, Linard Schwerhoff, Malte Mehta, Vaibhav Mueller, Peter Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Cornell Univ Ithaca NY 14853 USA Swiss Fed Inst Technol Zurich Switzerland
Security protocols are essential building blocks of modern IT systems. Subtle flaws in their design or implementation may compromise the security of entire systems. It is, thus, important to prove the absence of such ... 详细信息
来源: 评论
pycefr: Python Competency Level through Code Analysis  30
pycefr: Python Competency Level through Code Analysis
收藏 引用
30th IEEE/ACM international conference on Program Comprehension (ICPC)
作者: Robles, Gregorio Kula, Raula Gaikovina Ragkhitwetsagul, Chaiyong Sakulniwat, Tattiya Matsumoto, Kenichi Gonzalez-Barahona, Jesus M. Univ Rey Juan Carlos Madrid Spain NAIST Nara Japan Mahidol Univ Fac ICT Nakhon Pathom Thailand
Python is known to be a versatile language, well suited both for beginners and advanced users. Some elements of the language are easier to understand than others: some are found in any kind of code, while some others ... 详细信息
来源: 评论
Analysis of an Inverter logic Cell based on 3D Vertical NanoWire Junction-Less Transistors  30
Analysis of an Inverter Logic Cell based on 3D Vertical Nano...
收藏 引用
30th IFIP/IEEE international conference on Very Large Scale Integration (VLSI-SoC)
作者: Reveil, Lucas Mukherjee, Chhandak Maneux, Cristell Deng, Marina Marc, Francois Kumar, Abhishek Lecestre, Aurelie Larrieu, Guilhem Poittevin, Arnaud O'Connor, Ian Baumgartner, Oskar Pirker, David Univ Bordeaux CNRS IIMS Lab UMR 5218 Talence France Univ Toulouse CNRS LAAS CNRS UPR 8001 Toulouse France Univ Lyon CNRS Ecole Cent Lyon INLUMR 5270 Lyon France Global TCAD Solut GmbH Vienna Austria
Vertical Nanowire Junction-less Transistors (VNWFET) are a promising technology for designing energy-efficient neural networks. this work presents the first results for 3D VNWFET logic cell design taking into account ... 详细信息
来源: 评论
Heuristic Planning for Hybrid Dynamical Systems with Constraint logic programming  11
Heuristic Planning for Hybrid Dynamical Systems with Constra...
收藏 引用
11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops
作者: Mathew, Shaun Soutchanski, Mikhail Toronto Metropolitan University 245 Church St ENG281 TorontoONM5B 2K3 Canada
We explore how planning for near optimal behaviors of mixed discrete-continuous systems can be done by deductive reasoning. For reasoning to be efficient, it must be properly controlled. It is surprising and mathemati... 详细信息
来源: 评论
Hierarchical Human-Motion Prediction and logic-Geometric programming for Minimal Interference Human-Robot Tasks  30
Hierarchical Human-Motion Prediction and Logic-Geometric Pro...
收藏 引用
30th IEEE international conference on Robot and Human Interactive Communication (RO-MAN)
作者: Le, An T. Kratzer, Philipp Hagenmayer, Simon Toussaint, Marc Mainprice, Jim Univ Stuttgart Machine Learning & Robot Lab Stuttgart Germany Max Planck Inst Intelligent Syst IS MPI Tubingen Germany Tech Univ Berlin TUB Berlin Germany
In this paper, we tackle the problem of human-robot coordination in sequences of manipulation tasks. Our approach integrates hierarchical human motion prediction with Task and Motion Planning (TAMP). We first devise a... 详细信息
来源: 评论