检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

332 篇 会议
23 篇 期刊文献
10 册 图书

馆藏范围

365 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

286 篇 工学
- 273 篇 计算机科学与技术...
- 190 篇 软件工程
- 19 篇 控制科学与工程
- 13 篇 电气工程
- 12 篇 信息与通信工程
- 7 篇 生物医学工程（可授...
- 4 篇 电子科学与技术（可...
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 农业工程
- 2 篇 生物工程
- 2 篇 安全科学与工程
87 篇 理学
- 71 篇 数学
- 8 篇 系统科学
- 5 篇 物理学
- 4 篇 生物学
- 4 篇 统计学（可授理学、...
- 2 篇 化学
37 篇 管理学
- 28 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
1 篇 法学
1 篇 文学

主题

86 篇 logic programmin...
29 篇 knowledge repres...
18 篇 semantics
13 篇 programming
12 篇 computer circuit...
10 篇 computer program...
9 篇 object oriented ...
9 篇 artificial intel...
9 篇 ontology
8 篇 logic gates
8 篇 mathematical log...
8 篇 functional progr...
6 篇 inductive logic ...
6 篇 programming tech...
6 篇 logics and meani...
6 篇 temporal logic
6 篇 logic design
4 篇 computer archite...
4 篇 logic
4 篇 logic circuits

机构

2 篇 genusion inc. am...
2 篇 computer science...
2 篇 univ adelaide sc...
2 篇 faculty of infor...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ minho ctr a...
2 篇 dlvsyst srl arca...
2 篇 listic universit...
2 篇 school of comput...
2 篇 vienna univ tech...
2 篇 school of softwa...
2 篇 open university ...
2 篇 centro algoritmi...
2 篇 facultad de mate...
2 篇 univ calabria de...
2 篇 etsii universida...
2 篇 university of wi...
2 篇 sri internationa...
2 篇 univ london impe...

作者

5 篇 vicente henrique
3 篇 dastani mehdi
3 篇 pereira luís mon...
3 篇 brain martin
3 篇 neves josé
3 篇 heymans stijn
3 篇 tompits hans
3 篇 de vos marina
2 篇 meseguer josé
2 篇 hommersom arjen
2 篇 durán f.
2 篇 porto antónio
2 篇 n. ajika
2 篇 leone nicola
2 篇 dell’acqua piera...
2 篇 de mel geeth
2 篇 madalina croitor...
2 篇 kelly peter m.
2 篇 dovier agostino
2 篇 hindriks koen v.

语言

357 篇 英文
8 篇 其他
4 篇 中文

检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"

共 365 条记录，以下是321-330 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification 33rd

A Novel EGs-Based Framework for Systematic Propositional-For...

引用

33rd international Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)

作者： de Mas, Jordina Frances Bowles, Juliana Univ St Andrews Sch Comp Sci St Andrews KY16 9SX Fife Scotland Software Competence Ctr Hagenberg SCCH A-4232 Hagenberg In Muhlkreis Austria

ISBN: (纸本)9783031457838;9783031457845

This paper presents a novel simplification calculus for propositional logic derived from Peirce’s Existential Graphs’ rules of inference and implication graphs. Our rules can be applied to arbitrary propositional logic formulae (not only in CNF), are equivalence-preserving, guarantee a monotonically decreasing number of clauses and literals, and maximise the preservation of structural problem information. Our techniques can also be seen as higher-level SAT preprocessing, and we show how one of our rules (TWSR) generalises and streamlines most of the known equivalence-preserving SAT preprocessing methods. We further show how this rule can be extended with a novel n-ary implication graph to capture all known equivalence-preserving preprocessing procedures. Finally, we discuss the complexity and implementation of our framework as a solver-agnostic algorithm to simplify Boolean satisfiability problems and arbitrary propositional formula. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Simplification Existential graphs Equivalence-preserving preprocessing Propositional satisfiability Diagrammatic reasoning knowledge representation Implication graphs Hypergraphs

来源：评论

学校读者我要写书评

暂无评论

The Research of Flexible Scheduling of workshop Based on Artificial Fish Swarm Algorithm and knowledge Mining 11th

The Research of Flexible Scheduling of Workshop Based on Art...

引用

11th international Conference on Swarm Intelligence (ICSI)

作者： Peng, Jieyang Wang, Jiahai Wang, Dongkun Kimmig, Andreas Ovtcharova, Jivka Tongji Univ Coll Mech Engn Siping Rd Shanghai 200083 Peoples R China Univ Stuttgart Keplerstr 7 D-70174 Stuttgart Germany Karlsruhe Inst Technol D-76133 Karlsruhe Germany

ISBN: (纸本)9783030539559;9783030539566

The Job Shop Scheduling problem is critical in the manufacturing industry. At present, the decision tree reasoning technique and data mining are often used in multi-objective optimization research to solve flexible job shop scheduling issues. Unfortunately, when job shop scheduling problems involve complex logic, it becomes difficult to implement data-driven automatic scheduling-without human intervention. Based on the analysis of mass data and specialized knowledge in the scheduling domain, an ontology-based scheduling knowledge model and a method of knowledge representation can be established. Considering the relationship between data mining and knowledge, this paper illustrates the acquisition process of scheduling rules. These scheduling rules were applied to improve the initialization process of the artificial fish algorithm. Then, a scheduling experiment was designed, the results of which show that the efficiency and accuracy of the algorithm has been improved. The desired uncertain information analysis, decision-making support for production planning and scheduling on the shop floor are provided and an adaptive scheduling algorithm for complex manufacturing systems is established by building a knowledge-based system.

关键词： Data-driven Ontology knowledge mining Production scheduling Artificial fish swarm algorithm

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 41st international Conference on Very Large Data Bases, VLDB 2015

Proceedings of the 41st International Conference on Very Lar...

引用

3rd workshop on Spatio-Temporal Database Management, STDBM 2006, Co-located with the 32nd international Conference on Very Large Data Bases, VLDB 2006

This proceedings contains 12 papers. The conference covers current issues in data management, database, and information systems research. Data management and databases remain among the main technological cornerstones of the applications of the twenty-first century. With the emergence of Big Data, data-related technologies are becoming more important. VLDB 2015 is a platform where several notable areas like Data Management, Data, Research, Big Data, Big Data Technologies and Information Systems are reviewed. The key terms of this proceedings include database system, inductive logic programming, concurrency control, parametric query optimization, multicores, elastic partitioning, distributed graph computing systems, phrase mining, SIMD instructions, temporal behavior prediction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Support logic for feature representation, pattern recognition and machine learning

Support logic for feature representation, pattern recognitio...

引用

IEEE international Conference on Fuzzy Systems (FUZZ-IEEE)

作者： J.F. Baldwin R.M. Gooch T.P. Martin Department of Engineering Mathematics and Advanced Computing Research Centre University of Bristol Bristol UK

The formalism of support logic provides a framework for deductive inference, with mathematically sound and consistent treatment of uncertainty and evidence which is aggregated through the reasoning process. The authors apply support logic programming to pattern recognition. Initially, a pattern classifier is constructed by encoding expert knowledge of the problem domain into rules of support logic. Fuzzy sets allow the general properties of features to be described precisely. Semantic unification provides an alternative to the usual metric-based similarity criteria. The validity of the approach is established by cross-validating the support logic classifier against models from alternative paradigms. The authors then attempt to circumvent the requirement for a domain expert, and assess the extent to which data-driven learning processes can be used to automatically derive components of the support logic classifier.< >

关键词： Pattern recognition Machine learning logic programming Tin Uncertainty Fuzzy sets Extraterrestrial measurements Prototypes Acoustical engineering Mathematics

来源：评论

学校读者我要写书评

暂无评论

Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems

Real-time Maude: A tool for simulating and analyzing real-ti...

引用

The 3rd international workshop on Rewriting logic and its Applications

作者： Ölveczky, Peter Csaba Meseguer, José Computer Science Laboratory SRI International Menlo Park CA 94025 United States

Rewriting logic can be used to specify a wide range of real-time and hybrid systems under a variety of time models, including discrete and dense time models. The Real-Time Maude tool, built on top of the Maude rewriting logic language, supports specification of real-time and hybrid systems in timed modules and timed object-oriented modules, which are transformed into equivalent Maude modules. The tool then supports execution of such specifications in several rewrite modes, corresponding to different criteria for advancing time. Besides system simulation by default execution in a given rewrite mode, the tool has a library of execution strategies and commands that can search all the possible computations from an initial state, within given rewrite mode and search bounds, to partially model check desired properties, including properties expressible in a class of linear time timed temporal logic formulas. The paper discusses the tool's theoretical basis, its specification language, and its library of evaluation and search strategies. The user can add new formal analysis strategies to the library, as illustrated by a scheduling case study. We also summarize our experience with applications and our future plans. We cordially thank Steven Eker, Mark Keaton, Narciso Martí-Oliet, Joseph Sifakis, and Carolyn Talcott for their comments and suggestions. ©2000 Published by Elsevier Science B. V.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Detecting Software Vulnerabilities Based on Hierarchical Graph Attention Network 1

引用

3rd CAAI international Conference on Artificial Intelligence (CICAI)

作者： Xu, Wenlin Li, Tong Wang, Jinsong Fu, Tao Tang, Yahui Yunnan Univ Sch Informat Sci & Engn Kunming Yunnan Peoples R China Yunnan Agr Univ Sch Big Data Kunming Yunnan Peoples R China Yunnan Univ Finance & Econ Informat Management Ctr Kunming Yunnan Peoples R China Chongqing Univ Posts & Telecommun Sch Software Chongqing Peoples R China

ISBN: (数字)9789819991198

ISBN: (纸本)9789819991181;9789819991198

Detecting software vulnerabilities is a crucial part of software security. At present, the most commonly used methods are to train supervised classification or regression models from the source code to detect vulnerabilities, which require lots of high-quality labeled vulnerabilities. However, high-quality labeled vulnerabilities are not easy to be obtained in practical applications. To alleviate this problem, we present an effective and unsupervised method to detect software vulnerabilities. We first propose a new source code representation that maintains both the source code's natural language information and high-level programming logic information, and then we effectively embed the software function into a compact and low-dimensional representation based on hierarchical graph attention network. Finally, we obtain vulnerabilities by applying an outlier detection algorithm on the low-dimensional representation. We carry out extensive experiments on six datasets and the effectiveness of our proposed method is demonstrated by the experimental results.

关键词： Vulnerability detection Source code representation Hierarchical graph attention network Outlier detection

来源：评论

学校读者我要写书评

暂无评论

Worst-case timing prediction of relay ladder logic by constraint analysis

Worst-case timing prediction of relay ladder logic by constr...

引用

IEEE international Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

作者： Kyeonghoon Koo Wook Hyun Kwon School of Electrical Engineering Seoul National University Seoul South Korea

In this paper, we propose a technique of predicting the execution time of PLC application programs written in relay ladder logic. The proposed technique divides an RLL program into several RLL blocks and then transforms them into boolean logic equations. The internal states of an RLL program is analyzed and their dependencies are used as constraints when we solve the boolean logic equations. The plant information represented by exclusiveness of input contacts is also used as constraints. The constraint analysis reduces the complexity of logic programming as well as the worst-case timing prediction. The algorithm for partitioning variables in the logic equations is developed to reduce the complexity further.

关键词： Timing Relays Programmable control logic programming logic circuits Equations Boolean functions logic design Programmable logic arrays Programmable logic devices

来源：评论

学校读者我要写书评

暂无评论

Multi-level Method Understanding Using Microprints

Multi-level Method Understanding Using Microprints

引用

IEEE international workshop on Visualizing Software for Understanding and Analysis (VISSOFT)

作者： S. Ducasse M. Lanza R. Robbes LISTIC Université de Savoie France Faculty of Informatics University of Lugano Switzerland

Understanding classes and methods is a key activity in object-oriented programming, since classes represent the primary abstractions from which applications are built, while methods contain the actual program logic. The main problem of this task is to quickly grasp the purpose and inner structure of a class. To achieve this goal, one must be able to overview multiple methods at once. In this paper, we present microprints, pixel-based representations of methods enriched with semantic information. We present three specialized microprints each dealing with a specific aspect we want to understand of methods: (1) state access, (2) control flow, and (3) invocation relationship

关键词： Visualization Informatics Color Object oriented programming logic programming Information analysis Java Printers Switches Delay

来源：评论

学校读者我要写书评

暂无评论

Open logic machine. III. Non-deterministic object feature representation via complexity evaluation

Open logic machine. III. Non-deterministic object feature re...

引用

IEEE international workshop on Robot and Human Communication (ROMAN)

作者： K. Kamejima T. Aoki Y.C. Watanabe Osaka Institute of Technology Asahi Osaka Japan Mechanical Engineering Research Laboratory Hitachi and Limited Ibaraki Japan

A dynamic feature representation scheme is presented for non-deterministic objects with complicated images. Object symbols are dynamically generated through the interaction with computable scene in which the object feature is modeled in terms of stochastic contraction mappings from the image field. Through a series of simulation studies, the scheme is demonstrated to detect and regenerate fractal objects.< >

关键词： Layout logic design Humans Predictive models Laboratories Stochastic processes Computational modeling Fractals Physics computing Process control

来源：评论

学校读者我要写书评

暂无评论

CINNI - A generic calculus of explicit substitutions and its application to λ- ς- and π-Calculi

CINNI - A generic calculus of explicit substitutions and its...

引用

The 3rd international workshop on Rewriting logic and its Applications

作者： Stehr, Mark-Oliver SRI International Computer Science Laboratory Menlo Park CA 94025 United States

We approach the general problem of representing higher-order languages, that are usually equipped with special variable binding constructs, in a less specialized first-order framework such as membership equational logic and the corresponding version of rewriting logic. The solution we propose is based on CINNI, a new calculus of explicit substitutions that makes use of a term representation that contains both the standard named notation and de Bruijn's indexed notation as special subcases. The calculus is parametric in the syntax of the object language, which allows us to apply it to different object languages such as λ-calculus, Abadi and Cardelli's object calculus (ς-calculus) and Milner's calculus of communicating mobile processes (π-calculus). As a practical result we obtain executable formal representations of these object languages in Maude with a representational distance close to zero. This work has been supported by DARPA through Rome Laboratories Contract F30602-C-0312, by DARPA and NASA through Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grant CCR-9900334. We would like to thank Jose Meseguer for his advice, including his early suggestion to represent higher-order languages in rewriting logic using explicit substitutions, Cesar Muñoz for many discussions on calculi of explicit substitutions, especially in connection with type theory and proof synthesis, and Narciso Martí-Oliet for many useful suggestions and his constructive criticism. We also appreciate the comments of several referees which helped to improve the paper. In particular, we are indebted to an anonymous referee for pointing out that the representation used by CINNI for pure terms is equivalent to Berkling's representation, and for providing us with the corresponding references. ©2000 Published by Elsevier Science B. V.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共37页 << < 28 29 30 31 32 33 34 35 36 37 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：