咨询与建议

限定检索结果

文献类型

  • 492 篇 会议
  • 29 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 381 篇 工学
    • 346 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是541-550 订阅
排序:
Quantum-Inspired Data Processing for Big Data Analytics
Quantum-Inspired Data Processing for Big Data Analytics
收藏 引用
Advancement in Electronics & Communication Engineering (AECE), international conference on
作者: Sunil Raj thota Saransh Arora Sandeep Gupta Technology Engineering Andhra University Visakhapatnam AP India Jaypee Institute of Information Technology Noida U.P. India Techieshubhdeep IT Solutions Pvt. Ltd Gwalior M.P. India
Technological advancements in the 21st century have led to the rise of "big data," characterized by datasets so vast and complex that traditional database systems struggle to manage them. this term denotes d... 详细信息
来源: 评论
Automatically checking commitment protocols in ProVerif without false attacks
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 9036卷 137-155页
作者: Chothia, Tom Smyth, Ben Staite, Chris School of Computer Science University of Birmingham United Kingdom Mathematical and Algorithmic Sciences Lab France Research Center Huawei Technologies Co. Ltd France
ProVerif over-approximates the attacker’s power to enable verification of processes under replication. Unfortunately, this results in ProVerif finding false attacks. this problem is particularly common in protocols w... 详细信息
来源: 评论
A Support System Development for Healthcare System using FL and FC Techniques
A Support System Development for Healthcare System using FL ...
收藏 引用
Advance Computing and Innovative Technologies in Engineering (ICACITE), international conference on
作者: M. Sreedevi A. Brahmareddy S. Devi S. Balamurugan Ruqayyah Haider Ghani Aqeel Al-Hilali Amjad Hashem Department of Computer Science & Technology Madanapalle Institute of Technology & Science Madanapalle Department of Computer Science and Engineering Marri Laxman Reddy Institute of Technology and Management (MLRITM) Hyderabad Telangana India Department of Mathematics PSNA College of Engineering and Technology (Autonomous) Dindigul Tamil Nadu India Department of Computer Science and Engineering School of Computing Vel Tech Rangarajan Dr.Sagunthala R & D Institute of Science and Technology Avadi Chennai Collage of Dentist National University of Science and Technology Dhi Qar Iraq Al-Farahidi university Baghdad Iraq Computer Engineer Department Alkunooze University College Basra Iraq
this has been increasing in difficulty for accomplishing time-consuming and complex tasks with the rise in the number of Internet of things (IoT) devices and the generated big data, along with problems of expanding co... 详细信息
来源: 评论
Locally Linear Embedding Based on Neiderreit Sequence Initialized Ali Baba and the Forty thieves Algorithm
Locally Linear Embedding Based on Neiderreit Sequence Initia...
收藏 引用
Information Technology,Big Data and Artificial Intelligence (ICIBA), international conference on IEEE international conference on
作者: Xinyu Li Zhengdong Zhu Lijin Hui Xiongfeng Ma Dan Li Zan Yang Wei Nai School of Economics and Management Huzhou College Huzhou China Public Teaching and Research Department Huzhou College Huzhou China School of Electronic Information Huzhou College Huzhou China Huzhou Key Laboratory for Urban Multidimensional Perception and Intelligent Computing Huzhou College Huzhou China
Manifold learning is a nonlinear dimensionality reduction technique that reveals the essential features and structure of data through dimensionality reduction. this technique has enormous theoretical research and indu... 详细信息
来源: 评论
Software Adaptive Mechanism Based on Software Architecture in Software Running Time
Software Adaptive Mechanism Based on Software Architecture i...
收藏 引用
2015 4th international conference on Mechatronics,Materials,Chemistry and Computer Engineering(ICMMCCE 2015)
作者: Haiyun XIANG Xiao FU Xu LI Modern Educational Technology Center Southwest Petroleum University College of Computer Science Southwest Petroleum University
In the Internet environment, software gradually moves from closed, static and controllable status towards open, dynamic and unpredictable state. How to propose suitable software theory for such adaptive software has b... 详细信息
来源: 评论