咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是21-30 订阅
排序:
Effect of Learning Computational thinking Using Board Games in Different Learning Styles on programming Learning  5th
Effect of Learning Computational Thinking Using Board Games ...
收藏 引用
5th International conference on Innovative Technologies and Learning, ICITL 2022
作者: Liu, Han-Chi Chen, Hong-Ren Yu, Sen-Chi Shih, Yu-Ting Department of Digital Content and Technology National Taichung University of Education Taichung403 Taiwan Department of Counseling and Applied Psychology National Taichung University of Education Taichung403 Taiwan
the popularization of the internet and the rapid development of intelligent technologies have inspired new directions in education policies. In the curriculum guidelines, the technological education field had included... 详细信息
来源: 评论
Design and Implementation of Integrated Microgrid Based Predictive Control Scheme
Design and Implementation of Integrated Microgrid Based Pred...
收藏 引用
Global conference for Advancement in Technology (GCAT)
作者: D. Lenine P. Sai Sampath Kumar J. Surya Kumari D. Raja Department of Electrical and Electronics Engineering RGM College of Engineering and Technology (Autonomous) Nandyal India Department of Electrical and Electronics Engineering Sri Manakula Vinayagar Engineering College (Autonomous) Puducherry India
this paper introduces a novel approach called Fuzzy-MPPDC designed specifically for Renewable Energy Systems (RES). It mainly aims to address voltage fluctuations arising from variable power demands and the unpredicta... 详细信息
来源: 评论
5th International Joint conference on Rules and Reasoning, RuleML+RR 2021
5th International Joint Conference on Rules and Reasoning, R...
收藏 引用
5th International Joint conference on Rules and Reasoning, RuleML+RR 2021
the proceedings contain 19 papers. the special focus in this conference is on Rules and Reasoning. the topics include: Learning Decision Rules or Learning Decision Models?;correctness of Automatically Generated Choreo...
来源: 评论
Value Iteration-based Decentralized Fuzzy Optimal Control of Modular Reconfigurable Robots via Adaptive Dynamic programming
Value Iteration-based Decentralized Fuzzy Optimal Control of...
收藏 引用
Robotics, Control and Automation Engineering (RCAE), International conference on
作者: Hucheng Jiang Tianjiao An Bing Ma Yuanchun Li Bo Dong Department of Control Science and Engineering Changchun University of Technology Changchun China
In this article, a decentralized fuzzy optimal control method dependent on value iteration (VI) is proposed to settle the optimal trajectory tracking control problem of modular reconfigurable robots (MRRs) under the a... 详细信息
来源: 评论
Multi-periodic Refinery Scheduling Based on Generalized Disjunctive programming  5
Multi-periodic Refinery Scheduling Based on Generalized Disj...
收藏 引用
5th Annual International conference on Information System and Artificial Intelligence (ISAI)
作者: Li, Ming Shandong Youth Univ Polit Sci Sch Informat Engn Jinan 250103 Shandong Peoples R China
Refinery complex production process usually involves some distinct or implied production rules and expert experiences. Representation and utilizing these heuristic rules is conducive to efficient scheduling optimizati... 详细信息
来源: 评论
A Light Weight Approach for Real-time Background Subtraction in Camera Surveillance Systems
A Light Weight Approach for Real-time Background Subtraction...
收藏 引用
International Image Processing, Applications and Systems conference (IPAS)
作者: Ege Ince Sevdenur Kutuk Rayan Abri Sara Abri Salih Cetin Mavinci Informatics Inc. Ankara Turkey
Real time processing in the context of image processing for topics like motion detection and suspicious object detection requires processing the background more times. In this field, background subtraction solutions c... 详细信息
来源: 评论
theoretical Basis of Language System with State Constraints  5
Theoretical Basis of Language System with State Constraints
收藏 引用
5th International conference on Complexity, Future Information Systems and Risk (COMPLEXIS)
作者: Yamasaki, Susumu Okayama Univ HCI Grp Dept Comp Sci Tsushima Okayama Japan
this paper presents theoretical basis of a language system whose program is described as algebraic expressions and implemented as abstract state machine. the behaviors of the described expressions may be captured (wit... 详细信息
来源: 评论
Learning Chinese as a Second Language by Educational Robots Integrating the Operation of Conditional logic in Computational thinking and the Usage of the Causal Sentences  20
Learning Chinese as a Second Language by Educational Robots ...
收藏 引用
20th IEEE International conference on Advanced Learning Technologies (ICALT)
作者: Hsu, Ting-Chia Wong, Lung-Hsiang Aw, Guat Poh Natl Taiwan Normal Univ Dept Technol Applicat & Human Resource Dev Taipei Taiwan Nanyang Technol Univ Natl Inst Educ Singapore Singapore
this study attempted to carry out interdisciplinary learning activities which integrate computational thinking into language learning. the participants were 56 5th-grade Chinese as a Second Language (CSL) students in ... 详细信息
来源: 评论
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images  5th
Combining Deep Learning and ASP-Based Models for the Semanti...
收藏 引用
5th International Joint conference on Rules and Reasoning (RuleML+RR)
作者: Bruno, Pierangela Calimeri, Francesco Marte, Cinzia Manna, Marco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and medicine, as it allows to provide clinicians important with information for interventional and diagnostic tasks. Recent advancement... 详细信息
来源: 评论
More than Structured programming in Primary School Syllabus  2nd
More Than Structured Programming in Primary School Syllabus
收藏 引用
22nd International conference on Interactive Collaborative Learning (ICL) / 48th IGIP International conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education
作者: Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Athanasios Stamoulis, Georgios, I Vavougios, Denis Dept Comp Sci & Telecommun 2-4 Papasiopoulou St Lamia 35100 Greece Dept Comp Sci & Bioinformat 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Elect & Comp Engn Dept 37 Glavani St Volos 38221 Greece Univ Thessaly Dept Special Educ Volos 38221 Greece
Computer programming was introduced to primary schools by many countries with the aim of advancing logic and algorithmic thinking of students. the bulk of a typical syllabus (e.g., in the case of Greece) for computer ... 详细信息
来源: 评论