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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

103 篇 会议
19 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

93 篇 工学
- 92 篇 计算机科学与技术...
- 76 篇 软件工程
- 4 篇 控制科学与工程
- 3 篇 电气工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 信息与通信工程
- 1 篇 化学工程与技术
- 1 篇 食品科学与工程（可...
- 1 篇 安全科学与工程
61 篇 理学
- 57 篇 数学
- 3 篇 系统科学
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
3 篇 医学
- 1 篇 基础医学(可授医学...
2 篇 管理学
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

22 篇 logic programmin...
17 篇 answer set progr...
9 篇 semantics
6 篇 logic
6 篇 computer languag...
5 篇 programming
5 篇 inductive logic ...
4 篇 program transfor...
4 篇 java
4 篇 distributed comp...
3 篇 software systems
3 篇 programming prof...
3 篇 electronic mail
3 篇 parallel program...
3 篇 stable models
3 篇 visualization
3 篇 machine learning
3 篇 verification
2 篇 termination and ...
2 篇 tools

机构

4 篇 imdea software i...
2 篇 alan turing inst...
2 篇 roskilde univ ro...
2 篇 univ melbourne d...
2 篇 univ piemonte or...
2 篇 univ nova lisboa...
2 篇 dept informat p-...
2 篇 spanish council ...
2 篇 katholieke univ ...
2 篇 kobe univ nada k...
2 篇 university of ox...
2 篇 abb research lad...
2 篇 sabanci univ fac...
2 篇 univ alberta edm...
2 篇 abb research ban...
2 篇 univ potsdam d-1...
2 篇 res org informat...
2 篇 macquarie univ d...
2 篇 univ so calif de...
2 篇 suny stony brook...

作者

4 篇 stuckey peter j.
3 篇 bartholomew mich...
3 篇 schaub torsten
3 篇 hermenegildo man...
3 篇 zhang yan
3 篇 balduccini marce...
3 篇 erdem esra
3 篇 chu geoffrey
3 篇 aziz rehan abdul
3 篇 morales jose f.
3 篇 lee joohyung
3 篇 inoue katsumi
2 篇 uras tansel
2 篇 giordano laura
2 篇 dumancic sebasti...
2 篇 soh takehide
2 篇 maher michael j.
2 篇 spiotta matteo
2 篇 jorissen albert
2 篇 janssens gerda

语言

122 篇 英文
1 篇 中文

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

共 123 条记录，以下是101-110 订阅

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

详细简洁

排序：

Aspartame: Solving constraint satisfaction problems with answer set programming 6

Aspartame: Solving constraint satisfaction problems with ans...

引用

6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th international conference on logic programming, ICLP 2013

作者： Banbara, M. Gebser, M. Inoue, K. Schaub, T. Soh, T. Tamura, N. Weise, M. University of Kobe Japan University of Potsdam Germany National Institute of Informatics Tokyo Japan

Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective, as exemplified by the award-winning sugar system. We here develop an alternative approach based on ASP. this allows us to use first-order encodings providing us with a high degree of flexibility for easy experimentation with different implementations. the resulting system aspartame re-uses parts of sugar for parsing and normalizing CSPs. the obtained set of facts is then combined with an ASP encoding that can be grounded and solved by off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting aspartame and sugar. © 2013 ***. All rights reserved.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

SeaLion: An eclipse-based IDE for answer-set programming wit...

引用

29th international conference on logic programming ICLP

作者： Busoniu, Paula-Andra Oetsch, Johannes Puehrer, Joerg Skocovsky, Peter Tompits, Hans Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Dept Informat P-2829516 Caparica Portugal

In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP). SeaLion provides source-code editors for the languages of Gringo and DLV and offers popular amenities like syntax highlighting, syntax checking, code completion, visual program outline, and refactoring functionality. the tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs. In this respect, SeaLion is the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. Indeed, SeaLion implements a stepping-based debugging approach that allows the developer to quickly track down programming errors by simply following his or her intuitions on the intended semantics. Besides that, SeaLion supports ASP development using model-driven engineering techniques including domain modelling with extended UML class diagrams and visualisation of answer sets in corresponding instance diagrams. Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin of SeaLion. Further implemented features are a documentation generator based on the LANA annotation language, support for external solvers, and interoperability with external tools. SeaLion comes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Answer set programming as a modeling language for course timetabling

Answer set programming as a modeling language for course tim...

引用

29th international conference on logic programming ICLP

作者： Banbara, Mutsunori Soh, Takehide Tamura, Naoyuki Inoue, Katsumi Schaub, Torsten Kobe Univ Nada Ku Kobe Hyogo 6578501 Japan Res Org Informat & Syst Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan Univ Potsdam D-14482 Potsdam Germany

the course timetabling problem can be generally defined as the task of assigning a number of lectures to a limited set of timeslots and rooms, subject to a given set of hard and soft constraints. the modeling language for course timetabling is required to be expressive enough to specify a wide variety of soft constraints and objective functions. Furthermore, the resulting encoding is required to be extensible for capturing new constraints and for switching them between hard and soft, and to be flexible enough to deal with different formulations. In this paper, we propose to make effective use of ASP as a modeling language for course timetabling. We show that our ASP-based approach can naturally satisfy the above requirements, through an ASP encoding of the curriculum-based course timetabling problem proposed in the third track of the second international timetabling competition (ITC-2007). Our encoding is compact and human-readable, since each constraint is individually expressed by either one or two rules. Each hard constraint is expressed by using integrity constraints and aggregates of ASP. Each soft constraint S is expressed by rules in which the head is the form of penalty (S, V, C), and a violation V and its penalty cost C are detected and calculated respectively in the body. We carried out experiments on four different benchmark sets with five different formulations. We succeeded either in improving the bounds or producing the same bounds for many combinations of problem instances and formulations, compared with the previous best known bounds.

关键词： answer set programming educational timetabling course timetabling

来源：评论

学校读者我要写书评

暂无评论

Formal Techniques for Distributed Systems - Joint 11th IFIP WG 6.1 international conference, FMOODS 2009 and 29th IFIP WG 6.1 international conference, FORTE 2009, Proceedings

Formal Techniques for Distributed Systems - Joint 11th IFIP ...

引用

11th international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th international conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009

ISBN: (纸本)3642021379

the proceedings contain 19 papers. the topics discussed include: the Orc programming language;keep it small, keep it real: efficient run-time verification of web service compositions;approximated context-sensitive analysis for parameterized verification;verification of parameterized systems with combinations of abstract domains;on model-checking optimistic replication algorithms;a software platform for timed mobility and timed interaction;modeling, validation, and verification of PCEP using the IF language;distinguing non-deterministic timed finite state machines;system model-based definition of modeling language semantics;typing component-based communication systems;epistemic logic for the applied Pi calculus;on process-algebraic proof methods for fault tolerant distributed systems;using first-order logic to reason about submodule construction;a model-checking approach for service component architectures;and dynamic symbolic execution of distributed concurrent objects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Drugs and Drug-Like Compounds: Discriminating Approved Pharmaceuticals from Screening-Library Compounds

Drugs and Drug-Like Compounds: Discriminating Approved Pharm...

引用

4th international conference Pattern Recognition in Bioinformatics

作者： Schierz, Amanda C. King, Ross D. Bournemouth Univ Software Syst Res Grp Poole HouseTalbot Campus Poole BH12 5BB Dorset England Aberystwyth Univ Computat Biol Res Grp Aberystwyth SY23 3DB Dyfed Wales

ISBN: (纸本)9783642040306

Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discriminate approved pharmaceuticals from "drug-like" compounds. this method uses both structural features and molecular properties for discrimination. the method has an estimated accuracy of 91% in discriminating between the Maybridge Hit-Finder library and approved pharmaceuticals, and 99% between the NATDiverse collection (from Analyticon Discovery) and approved pharmaceuticals. these results show that Lipinski's Rule of 5 for oral absorption is not Sufficient to describe "drug-likeness" and be the main basis of screening-library design.

关键词： inductive logic programming drug-likeness machine learning Rule of 5 compound screening library

来源：评论

学校读者我要写书评

暂无评论

Relational sequence alignments and logos

Relational sequence alignments and logos

引用

16th international conference on inductive logic programming

作者： Karwath, Andreas Kersting, Kristian Univ Freiburg Inst Comp Sci Machine Learning Lab Georges Koehler AlleeBldg 079 D-79110 Freiburg Germany

ISBN: (纸本)9783540738466

the need to measure sequence similarity arises in many applicitation domains and often coincides with sequence alignment: the more similar two sequences are, the better they can be aligned. Aligning sequences not only shows how similar sequences are, it also shows where there are differences and correspondences between the sequences. Traditionally, the alignment has been considered for sequences of flat symbols only. Many real world sequences such as natural language sentences and protein secondary structures, however, exhibit rich internal structures. this is akin to the problem of dealing with structured examples studied in the field of inductive logic programming (ILP). In this paper, we introduce REAL, which is a powerful, yet simple approach to align sequence of structured symbols using well-established ILP distance measures within traditional alignment methods. Although straight-forward, experiments on protein data and Medline abstracts show that this approach works well in practice, that the resulting alignments can indeed provide more information than flat ones, and that they are meaningful to experts when represented graphically.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

ACL2s: "the ACL2 sedan" 07

ACL2s: "The ACL2 sedan"

引用

29th international conference on Software Engineering (ICSE 2007)

作者： Dillinger, Peter C. Manolios, Panagiotis Vroon, Daron Moore, J. Strother Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Texas Dept Comp Sci Austin TX 78712 USA

ISBN: (纸本)9780769528922

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race car, and it has been used to prove some of the most complex theorems ever proved about commercially designed systems. Unfortunately, ACL2 has a steep learning curve, and novices tend have a very different experience: they crash and bum. As part of a project to make ACL2 and formal reasoning accessible to the masses, we have developed ACL2s, the ACL2 sedan. ACL2s streamlines the learning process with features not previously available for ACL2. Our goal is to develop a tool that is "self-teaching," i.e., it should be possible for an undergraduate to sit down and play with it and learn how to program in ACL2 and how to reason about the programs she writes. the latest version of ACL2s is a significant step in that direction.

关键词： logic programming Utility programs Computer languages Educational institutions Software systems Vehicle crash testing User interfaces Computer applications Computer interfaces Documentation

来源：评论

学校读者我要写书评

暂无评论

A Clinical Set-up Tool (CST) For Rapid Stimulator programming

A Clinical Set-up Tool (CST) For Rapid Stimulator Programmin...

引用

29th Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2007), vol.9

作者： P. Tresadern S. B. thies L. P. J. Kenney D. Howard J. Y. Goulermas Centre for Rehabilitation and Human Performance Research University of Sanford UK Department of Electrical Engineering and Electronics University of Liverpool UK

this paper presents an intuitive approach to the programming of Functional Electrical Stimulation (FES) hardware. A stimulation sequence is defined as a Finite State Machine (FSM) that is created and modified via an easy-to-use interface. Using a USB-equipped stimulator, data from an internal accelerometer are streamed to a PC whilst the subject undergoes the motion of interest. Simultaneously, the clinician labels the collected data via a number of key presses in order to train a sequence of simple classifiers. the 'optimal' (in a quantitative sense) parameters are then uploaded directly back to the stimulator for immediate stand-alone operation.

关键词： Accelerometers Functional programming Neuromuscular stimulation Hardware Automata logic programming profession Universal Serial Bus Presses Signal restoration

来源：评论

学校读者我要写书评

暂无评论

Analysing Gene Regulatory Networks by both Constraint programming and Model-Checking

Analysing Gene Regulatory Networks by both Constraint Progra...

引用

29th Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2007), vol.11

作者： Jonathan Fromentin Jean-Paul Comet Pascale Le Gall Olivier Roux IRCCyN UMR 6597 CNRS École Centrale de Nantes Nantes France IBISC UMR 8042 & CNRS Université d'Evry Evry France

In this article, we propose a formal method to analyse gene regulatory networks (GRN). the dynamics of such systems is often described by an ordinary differential equation system, but has also been abstracted into a discrete transition system. this modeling depends on parameters for which different values are possible. Each instantiation of these parameters defines a possible dynamics and verification tools can be used to select the tuples of values which lead to dynamics consistent with known behaviours. GRN are so complex that their discrete modeling gives a number of possible dynamics exponential in function of the GRN's size (number of genes and interactions). In this paper, we propose to use constraint programming and CTL formal language to determine the set of all dynamics consistent with the known behavioral properties without enumerating all of them. this approach allows us therefore to minimize the computation time necessary for the research of these parameters.

关键词： Biological system modeling Dynamic programming Differential equations Formal languages Biology computing Cost accounting logic programming Proteins Piecewise linear techniques Genetics

来源：评论

学校读者我要写书评

暂无评论

Tracking Code Clones in Evolving Software

Tracking Code Clones in Evolving Software

引用

international conference on Software Engineering (ICSE)

作者： Ekwa Duala-Ekoko Martin P. Robillard School of Computer Science McGill University Montreal QUE Canada

Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has provided evidence that it may not always be practical, feasible, or cost-effective to eliminate certain clone groups. We propose a technique for tracking clones in evolving software. Our technique relies on the concept of abstract clone region descriptors (CRD), which describe clone regions within methods in a robust way that is independent from the exact text of the clone region or its location in a file. We present our definition of CRDs, and describe a complete clone tracking system capable of producing CRDs from the output of a clone detection tool, notify developers of modifications to clone regions, and support the simultaneous editing of clone regions. We report on two experiments and a case study conducted to assess the performance and usefulness of our approach.

关键词： Cloning Software systems Monitoring Computer science Robustness Computer languages Writing logic programming Q factor programming profession

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共13页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：