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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

298 篇 会议
27 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

245 篇 工学
- 229 篇 计算机科学与技术...
- 117 篇 软件工程
- 19 篇 电气工程
- 17 篇 控制科学与工程
- 14 篇 信息与通信工程
- 6 篇 机械工程
- 5 篇 电子科学与技术（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 建筑学
- 2 篇 农业工程
- 1 篇 光学工程
53 篇 理学
- 39 篇 数学
- 8 篇 生物学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 物理学
23 篇 管理学
- 14 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
6 篇 经济学
- 3 篇 理论经济学
- 3 篇 应用经济学
3 篇 教育学
- 2 篇 教育学
- 1 篇 心理学(可授教育学...
3 篇 农学
- 2 篇 作物学
2 篇 法学
- 2 篇 社会学
1 篇 医学

主题

70 篇 logic programmin...
18 篇 inductive logic ...
12 篇 programming
10 篇 logic gates
7 篇 computer science
7 篇 semantics
6 篇 computer circuit...
6 篇 inductive logic ...
6 篇 probabilistic lo...
6 篇 artificial intel...
5 篇 optimization
5 篇 logic
5 篇 machine learning
4 篇 formal logic
4 篇 computer archite...
4 篇 model checking
4 篇 java
4 篇 computer languag...
4 篇 integer programm...
4 篇 hardware

机构

5 篇 inria rennes ren...
5 篇 university of po...
3 篇 microsoft res re...
3 篇 univ paris 13 li...
3 篇 carnegie mellon ...
3 篇 aalto university...
3 篇 univ penn philad...
2 篇 univ wales dept ...
2 篇 stanford univ ct...
2 篇 politecn torino ...
2 篇 indian inst tech...
2 篇 univ freiburg in...
2 篇 univ wisconsin d...
2 篇 czech tech univ ...
2 篇 univ london impe...
2 篇 department of in...
2 篇 univ paris 13 li...
2 篇 harvard univ cam...
2 篇 columbia univ ct...
2 篇 ibm unternehmens...

作者

8 篇 gebser martin
6 篇 srinivasan ashwi...
6 篇 alphonse erick
5 篇 schaub torsten
5 篇 ricca francesco
4 篇 osmani aomar
4 篇 page david
4 篇 camacho rui
3 篇 yamamoto akihiro
3 篇 king ross
3 篇 rouveirol celine
3 篇 moreno gines
3 篇 leger hippolyte
3 篇 janhunen tomi
3 篇 maratea marco
3 篇 bouthinon domini...
3 篇 lebbah mustapha
2 篇 muggleton stephe...
2 篇 fronhöfer b
2 篇 khatibsyarbini

语言

317 篇 英文
7 篇 其他
5 篇 中文

检索条件"任意字段=13th International Conference on Inductive Logic Programming"

共 329 条记录，以下是31-40 订阅

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

详细简洁

排序：

Verified Transformations and Hoare logic: Beautiful Proofs for Ugly Assembly Language 12th

Verified Transformations and Hoare Logic: Beautiful Proofs f...

引用

12th international conference on Verified Software (VSTTE) and the 13th international Workshop on Numerical Software Verification (NSV)

作者： Bosamiya, Jay Gibson, Sydney Li, Yao Parno, Bryan Hawblitzel, Chris Carnegie Mellon Univ Pittsburgh PA 15213 USA MIT Cambridge MA USA Univ Penn Philadelphia PA USA Microsoft Res Redmond WA USA

ISBN: (纸本)9783030636173;9783030636180

Hand-optimized assembly language code is often difficult to formally verify. this paper combines Hoare logic with verified code transformations to make it easier to verify such code. this approach greatly simplifies existing proofs of highly optimized OpenSSL-based AES-GCM cryptographic code. Furthermore, applying various verified transformations to the AES-GCM code enables additional platform-specific performance improvements.

关键词： Cosine transforms

来源：评论

学校读者我要写书评

暂无评论

Combining Zonotope Abstraction and Constraint programming for Synthesizing inductive Invariants 12th

Combining Zonotope Abstraction and Constraint Programming fo...

引用

12th international conference on Verified Software (VSTTE) and the 13th international Workshop on Numerical Software Verification (NSV)

作者： Kabi, Bibek Goubault, Eric Mine, Antoine Putot, Sylvie Inst Polytech Paris CNRS Ecole Polytech LIX Palaiseau France Sorbonne Univ CNRS Lab Informat Paris 6 Paris France

ISBN: (纸本)9783030636173;9783030636180

We propose to extend an existing framework combining abstract interpretation and continuous constraint programming for numerical invariant synthesis, by using more expressive underlying abstract domains, such as zonotopes. the original method, which relies on iterative refinement, splitting and tightening a collection of abstract elements until reaching an inductive set, was initially presented in combination with simple underlying abstract elements: boxes and octagons. the novelty of our work is to use zonotopes, a sub-polyhedric domain that shows a good compromise between cost and precision. As zonotopes are not closed under intersection, we had to extend the existing framework, in addition to designing new operations on zonotopes, such as a novel splitting algorithm based on paving zonotopes by sub-zonotopes and parallelotopes. We implemented this method on top of the APRON library, and tested it on programs with non-linear loops that present complex, possibly non-convex, invariants. We present some results demonstrating both the interest of this splitting-based algorithm to synthesize invariants on such programs, and the good compromise presented by its use in combination with zonotopes with respect to its use with both simpler domains such as boxes and octagons, and more expressive domains such as polyhedra.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

ISSEP 2020 - Proceedings of the international conference on Informatics in School: Situation, Evaluation and Perspectives

ISSEP 2020 - Proceedings of the International Conference on ...

引用

13th international conference on Informatics in School: Situation, Evaluation and Perspectives, ISSEP 2020

the proceedings contain 18 papers. the topics discussed include: to project or not to project: in search of the pathway to object orientation;an exploratory study of students' mastery of iteration in the high school;context-related programming tasks to reduce the digital gender gap;application of semantic web technologies in informatics education;planets: a system for autonomous learning of algorithmic programming;realisation of smart home applications with lego mindstorms and neural networks;interactive textbooks in school informatics: a case study in estonia;the new computer science curriculum in poland - challenges and solutions;fostering reflection in cs teacher education. a video-based approach to unveiling, analyzing and teaching novices' programming processes;and preliminary experiences towards an inclusion of dramatists - teach logic with language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Graph Transformation, ICGT 2020 held as part of Software Technologies: Applications and Foundations, STAF 2020

13th International Conference on Graph Transformation, ICGT ...

引用

13th international conference on Graph Transformation, ICGT 2020 held as part of Software Technologies: Applications and Foundations, STAF 2020

ISBN: (纸本)9783030513719

the proceedings contain 20 papers. the special focus in this conference is on Graph Transformation. the topics include: Rewriting theory for the Life Sciences: A Unifying theory of CTMC Semantics;algebras for Tree Decomposable Graphs;graph Parsing as Graph Transformation: Correctness of Predictive Top-Down Parsers;graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations;formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions;optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph logic;a Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java;multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids;the Glasgow Subgraph Solver: Using Constraint programming to Tackle Hard Subgraph Isomorphism Problem Variants;confluence up to Garbage;a Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies;computing Embeddings of Directed Bigraphs;a Categorical Semantics for Guarded Petri Nets;unfolding Symbolic Attributed Graph Grammars;single Pushout Rewriting in Comprehensive Systems;initial Conflicts for Transformation Rules with Nested Application Conditions;patch Graph Rewriting;hypergraph Basic Categorial Grammars.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Software for the computational experiment "synthesis of the topological structure of the cognitive model" 13

Software for the computational experiment "synthesis of the ...

引用

13th international Scientific and Technical conference on Applied Mechanics and Systems Dynamics, AMSD 2019

作者： Lozhnikov, V. Marenko, V. Omsk State University 11 Mira ave. Omsk644050 Russia Sobolev Institute of Mathematics Siberian Branch Russian Academy of Sciences Omsk Russia

there is a great number of applications used today to support decision-making in socio-economic sphere. Various approaches and tools are used to implement the applications. the article provides the overview of scientific publications developing software algorithms based on cognitive modeling and fuzzy logic. the authors develop the software tool to conduct simulation experiments to synthesize the topological structure of a cognitive model for socio-economic facilities and objects. the results from the simulation experiment aimed to study the structure of the cognitive model taken as an example, are presented as a digraph "Impact of the Media on Mass Audience". the software uses the programming language Java, JavaFX. © Published under licence by IOP Publishing Ltd.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Artificial General Intelligence, AGI 2020

13th International Conference on Artificial General Intellig...

引用

13th international conference on Artificial General Intelligence, AGI 2020

ISBN: (纸本)9783030521516

the proceedings contain 38 papers. the special focus in this conference is on Artificial General Intelligence. the topics include: the hierarchical memory based on compartmental spiking neuron model;the dynamics of growing symbols: a ludics approach to language design by autonomous agents;approach for development of engineering tools based on knowledge graphs and context separation;towards dynamic process composition in the dso cognitive architecture;sage: task-environment platform for evaluating a broad range of ai learners;post-turing methodology: breaking the wall on the way to artificial general intelligence;preface;AGI and the Knight-Darwin Law: Why Idealized AGI Reproduction requires collaboration;self-explaining ai as an alternative to interpretable ai;agi needs the humanities;report on "ai and human thought and emotion";cognitive machinery and behaviours;combinatorial decision dags: a natural computational model for general intelligence;what kind of programming language best suits integrative agi?;guiding symbolic natural language grammar induction via transformer-based sequence probabilities;embedding vector differences can be aligned with uncertain intensional logic differences;delta schema network in model-based reinforcement learning;information digital twin—enabling agents to anticipate changes in their tasks;error-correction for ai safety;‘opennars for applications’: architecture and control;towards agi agent safety by iteratively improving the utility function;learning to model another agent’s beliefs: a preliminary approach;an attentional control mechanism for reasoning and learning;hyperdimensional representations in semiotic approach to agi;the conditions of artificial general intelligence: logic, autonomy, resilience, integrity, morality, emotion, embodiment, and embeddedness;how do you test the strength of ai?;artificial creativity augmentation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automation of Heat Supply in Greenhouse with Usage of the Renewable Heat Sources on the Basis of Fuzzy logic Simulation Technics 13

Automation of Heat Supply in Greenhouse with Usage of the Re...

引用

13th IEEE international conference on Application of Information and Communication Technologies (AICT)

作者： Huseynov, S. T. Ganja State Univ GSU Fac Math & Informat Dept Informat Ganja City Azerbaijan

the article is devoted to the use of fuzzy logic for the automated control of heat supply of complex greenhouses with traditional and renewable energy sources. the paper also reviewed aspects for seminars in relevant ... 详细信息

ISBN: (纸本)9781728139029

关键词： Fuzzy logic control renewable heat energy computer simulation graphical programming environment Matlab software engineering education

来源：评论

学校读者我要写书评

暂无评论

Incremental reasoning for fleet management 19

Incremental reasoning for fleet management

引用

13th ACM international conference on Distributed and Event-Based Systems, DEBS 2019

作者： Tsilionis, Efthimis Artikis, Alexander Paliouras, Georgios NCSR Demokritos Greece University of Piraeus Greece

ISBN: (纸本)9781450367943

We propose RTECinc, an incremental version of RTEC, a composite event recognition engine with formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arrival of events by computing at each query time everything from scratch. this is often not efficient since it results to redundant computations. Instead, RTECinc deals with delays in a more efficient way, by updating only the affected events. We compare RTECinc and RTEC experimentally using a real-world dataset with position signals of vehicles. © 2019 Authors.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Incremental Event Calculus for Run-Time Reasoning 19

Incremental Event Calculus for Run-Time Reasoning

引用

13th ACM international conference on Distributed and Event-Based Systems (DEBS)

作者： Tsilionis, Efthimis Artikis, Alexander Paliouras, Georgios NCSR Demokritos Aghia Paraskevi Greece Univ Piraeus Piraeus Greece

ISBN: (纸本)9781450367943

We present a system for online, incremental composite event recognition. In streaming environments, the usual case is for data to arrive with a (variable) delay from, and to be retracted/revised by the underlying sources. We propose RTECinc, an incremental version of RTEC, a composite event recognition engine with a formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arrival and retraction of events by computing at each query time composite event intervals from scratch. this often results to redundant computations. Instead, RTECinc deals with delays and retractions in a more efficient way, by updating only the affected events. We evaluate RTECinc theoretically, presenting a complexity analysis, and show the conditions in which it outperforms RTEC. Moreover, we compare RTECinc and RTEC experimentally using two real-world datasets. the results are compatible with our theoretical analysis and show that RTECinc may outperform RTEC.

关键词： incremental reasoning stream reasoning logic programming

来源：评论

学校读者我要写书评

暂无评论

Testing of Local Control Cabinet In Gas Insulated Switchgear Using Design of Simulation Kit - Revista 13

Testing of Local Control Cabinet In Gas Insulated Switchgear...

引用

IEEE 13th international conference on Compatibility, Power Electronics and Power Engineering (IEEE IES CPE-POWERENG)

作者： Taur, Aishwarya Badave, Sunita M. Padmanaban, Sanjeevikumar Bhaskar, Mahajan Sagar Ramachandaramurthy, Vigna K. Holm-Nielsen, Jens Bo Marathwada Inst Technol Dept Elect & Elect Engn Aurangabad Maharashtra India Aalborg Univ Dept Energy Technol Esbjerg Denmark Prince Sultan Univ Coll Engn Dept Commun & Networks Renewable Energy Lab Riyadh Saudi Arabia Univ Tenaga Nas Power Qual Res Grp Dept Elect Power Engn Kajang Malaysia Aalborg Univ Dept Energy Technol Ctr Bioenergy & Green Engn Esbjerg Denmark

ISBN: (纸本)9781728132020

In order to keep generation and distribution of power at high priority, two switchgear playing a key role i) Air insulated Substation/Switchgear (AIS) ii) Gas Insulated Substation/Switchgear (GIS). Nowadays, the GIS innovation began with the view of broad essential research and from that point forward the administration encounter together with creative advancement work has presented this system to a sheltered and natural good, a most dependable and accessible component of the power supply. Controllers always play a significant role in the power sector. GIS has low-Local Control Cabinet (LCC) cost and can be utilized for indoor and open-air applications. the local control cabinet is controlling part in Gas Insulated Switchgear. Its task is to follow the logic and interlocks that are set accordingly. the Problem came across while testing LCC panel is studied in this paper and solution to this is found out. In this paper, a test kit for LCC is proposed which will work as a dummy GIS bay. the contact status is found out whether NO or NC by studying connection drawings. this status fed to the relays in the kit through PLC-HMI programming and testing will be done. the proposed test simulation kit allows conducting a full functional assessment of LCC panel, panel wiring, interlock wiring, component functioning etc.

关键词： Switchgear Gas Insulated Substation Local Control Cabinet Harting Connector Circuit Breaker PLC-HMI programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共33页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：