咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 16 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 48 篇 工学
    • 45 篇 计算机科学与技术...
    • 33 篇 软件工程
    • 5 篇 控制科学与工程
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 2 篇 水利工程
    • 1 篇 机械工程
    • 1 篇 冶金工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 船舶与海洋工程
    • 1 篇 林业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 18 篇 理学
    • 14 篇 数学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 生物学
    • 1 篇 科学技术史(分学科...
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 10 篇 artificial intel...
  • 9 篇 logic programmin...
  • 3 篇 information syst...
  • 3 篇 database managem...
  • 3 篇 information stor...
  • 2 篇 natural language...
  • 2 篇 natural language...
  • 2 篇 semantics
  • 2 篇 programming tech...
  • 2 篇 stochastic syste...
  • 2 篇 programming lang...
  • 2 篇 algebra
  • 2 篇 user interfaces ...
  • 1 篇 helium
  • 1 篇 many valued logi...
  • 1 篇 complex networks
  • 1 篇 surveys
  • 1 篇 information syst...
  • 1 篇 data warehouses
  • 1 篇 query languages

机构

  • 3 篇 logic programmin...
  • 3 篇 research group p...
  • 2 篇 research group p...
  • 2 篇 department of co...
  • 2 篇 department of ee...
  • 2 篇 research group p...
  • 2 篇 programming logi...
  • 1 篇 logic programmin...
  • 1 篇 programming rese...
  • 1 篇 faculty of compu...
  • 1 篇 logic and progra...
  • 1 篇 system architect...
  • 1 篇 logic programmin...
  • 1 篇 university of ed...
  • 1 篇 programming logi...
  • 1 篇 logic and functi...
  • 1 篇 programming prin...
  • 1 篇 département d’in...
  • 1 篇 logic programmin...
  • 1 篇 department of co...

作者

  • 8 篇 christiansen hen...
  • 4 篇 gaggl sarah alic...
  • 4 篇 dahl veronica
  • 4 篇 braüner torben
  • 4 篇 henning christia...
  • 3 篇 troels andreasen
  • 3 篇 petit matthieu
  • 3 篇 theil have chris...
  • 3 篇 have christian t...
  • 3 篇 rusovac dominik
  • 2 篇 buettner kevin a...
  • 2 篇 veronica dahl
  • 2 篇 bergstra jan a.
  • 2 篇 tarau paul
  • 2 篇 henrik legind la...
  • 2 篇 v. dahl
  • 2 篇 bowen kenneth a.
  • 2 篇 goebel randy
  • 2 篇 andreasen troels
  • 2 篇 diller martin

语言

  • 58 篇 英文
  • 1 篇 法文
检索条件"机构=Programming Logic Group"
59 条 记 录,以下是51-60 订阅
排序:
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Henning Christiansen Mohand-Saïd Hacid Troels Andreasen Henrik Legind Larsen
ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24–26, 2004. FQAS is the premier conference for researchers and practi... 详细信息
来源: 评论
Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal  8
Fuzzy vs neural network models for environmental decision su...
收藏 引用
8th International Congress on Environmental Modelling and Software - Environmental Modelling and Software for Supporting a Sustainable Future, iEMSs 2016
作者: Dalmau, Montse Monclús, Hèctor Espasa, Joan Atanasova, Natasa Poch, Manel Emiliano, Pere Capdevila, Oriol González, Santiago Valero, Fernando Institute of the Environment University of Girona Girona CataloniaE-17003 Spain Logic and Programming Research Group Department of Computer Science Applied Mathematics and Statistics University of Girona Girona CataloniaE-17003 Spain ATLL-Concessionària de la Generalitat de Catalunya Sant Martí de l'Erm 30 Sant Joan Despí Barcelona CataloniaE08970 Spain
The development of an environmental decision support system (EDSS) by means of two different aims to support the operators' decisions in the drinking water treatment plant (DWTP), equipped with the biggest electro... 详细信息
来源: 评论
A Profunctorial Semantics for Quantum Supermaps
arXiv
收藏 引用
arXiv 2024年
作者: Hefford, James Wilson, Matt Université Paris-Saclay CNRS ENS Paris-Saclay Inria Laboratoire Méthodes Formelles Gif-sur-Yvette91190 France Programming Principles Logic and Verification Group University College London London United Kingdom
We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphis... 详细信息
来源: 评论
On spatial modeling of discrete event systems using point-interval logic
On spatial modeling of discrete event systems using point-in...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: A.K. Zaidi K.H. Rizvi S.S. Hussain System Architectures Laboratory George Mason University Fairfax VA USA Department of EECS Mohammad Ali Jinnah University Karachi Pakistan Logic Programming Group Max Planck Institut für Informatik Saarbrucken Germany
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitat... 详细信息
来源: 评论
Foundations of Intelligent Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen
来源: 评论
Are crossing dependencies really scarce?
arXiv
收藏 引用
arXiv 2017年
作者: Ferreri-Cancho, R. Gomez-Rodriguez, C. Esteban, J.L. Complexity Quantitative Linguistics Lab Larca Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain Universidade da Coruna Fastparse Lab LyS Research Group Departamento de Computacion Facultade de Informatica Elvina Coruna15071 A Logic and Programming Logprog Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain
The syntactic structure of a sentence can be modelled as a tree, where vertices correspond to words and edges indicate syntactic dependencies. It has been claimed recurrently that the number of edge crossings in real ... 详细信息
来源: 评论
Preface
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2562卷
作者: Dahl, Veronica Wadler, Philip Simon Fraser University Computer Science Department Logic and Functional Programming Group 8888 University Drive BurnabyBC Canada Avaya Labs 233 Mount Airy Road Basking RidgeNJ United States
来源: 评论
THE AN/UYK‐502(V) MICROCOMPUTER
收藏 引用
Naval Engineers Journal 1979年 第2期91卷 173-178页
作者: WILLIAMS, PAUL F. ANDERSON, JOHN M. Mr. Paul F. Williams:received his BS degree in Electrical Engineering from the University of Minnesota in December 1965. He joined SPERRY UNIVAC Defense Systems Division in January 1966 where he is now the Manager of the Computer Product Planning Group in the Marketing Department. He has been active in the development of new computer system architectures and new computer development including the AN/UYK-20 and AN/UYK-23. In addition he has worked with a number of Navies in the development of shipboard and landbased systems and has participated in the development of NATO Shipboard Standard Interfaces. Mr. John M. Anderson:received his BS degree in Electrical Engineering from the University of Washington in June 1969. He joined SPERRY UNIVAC in July 1970 where he is now a Senior Design Engineer in the Product Development Group. He is currently active in the development of the AN/UYK-520 Microcomputer and additionally has been active in the fields of digital logic design programming and computer testing.
The AN/UYK‐502 Microcomputer is a full‐scale, general‐purpose 16‐bit militarized computer designed to emmulate the AN/UYK‐20 and AN/AYK‐14, and to be implemented in a shipboard system employing distributed syste...
来源: 评论