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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

235 篇 会议
17 册 图书
8 篇 期刊文献

馆藏范围

259 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

171 篇 工学
- 160 篇 计算机科学与技术...
- 64 篇 软件工程
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 6 篇 控制科学与工程
- 5 篇 机械工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 建筑学
- 3 篇 土木工程
- 3 篇 交通运输工程
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 测绘科学与技术
- 2 篇 轻工技术与工程
71 篇 理学
- 56 篇 数学
- 12 篇 物理学
- 7 篇 统计学（可授理学、...
- 4 篇 化学
- 4 篇 生物学
- 4 篇 系统科学
19 篇 管理学
- 11 篇 图书情报与档案管...
- 10 篇 管理科学与工程(可...
- 6 篇 工商管理
6 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 3 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
5 篇 法学
- 5 篇 社会学
4 篇 教育学
- 4 篇 教育学
1 篇 经济学
1 篇 文学

主题

16 篇 graph theory
11 篇 artificial intel...
8 篇 discrete mathema...
8 篇 automata theory
6 篇 theory of comput...
6 篇 computer communi...
6 篇 algorithm analys...
5 篇 software enginee...
5 篇 information stor...
4 篇 software enginee...
4 篇 database managem...
4 篇 computers
4 篇 data structures
4 篇 information retr...
3 篇 computer science
3 篇 approximation al...
3 篇 computational co...
3 篇 turing machines
3 篇 set theory
3 篇 logic programmin...

机构

3 篇 university of be...
2 篇 katholieke univ ...
2 篇 department of co...
2 篇 charles universi...
2 篇 rhein westfal th...
2 篇 warsaw universit...
2 篇 vrije univ bruss...
2 篇 university of ch...
2 篇 university of li...
2 篇 institute of com...
2 篇 the institute of...
2 篇 department of in...
2 篇 department of co...
1 篇 university of ca...
1 篇 faculty of elect...
1 篇 cern 1 esplanade...
1 篇 univ nacl pedro ...
1 篇 weizmann inst sc...
1 篇 univ kassel fach...
1 篇 univ wroclaw ins...

作者

3 篇 wagner dorothea
3 篇 van leeuwen jan
3 篇 šíma jiří
3 篇 saurabh saket
3 篇 černá ivana
2 篇 peleg david
2 篇 bieliková mária
2 篇 bogaerts b. a. r...
2 篇 žák stanislav
2 篇 ono hirotaka
2 篇 mária bieliková
2 篇 leszek pacholski
2 篇 freivalds rūsiņš
2 篇 paulusma daniel
2 篇 inenaga shunsuke
2 篇 denecker m. a. r...
2 篇 kiya hironori
2 篇 fuchs janosch
2 篇 bongartz d
2 篇 donahoo michael ...

语言

255 篇 英文
4 篇 中文
1 篇 其他

检索条件"任意字段=36th Conference on Current Trends in Theory and Practice of Computer Science"

共 260 条记录，以下是41-50 订阅

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

详细简洁

排序：

Destructive Rule-Based Properties and First-Order Logic

Destructive Rule-Based Properties and First-Order Logic

引用

36th conference on current trends in theory and practice of computer science

作者： Duris, David Univ Paris 07 Equipe Log Math F-75221 Paris 05 France

ISBN: (纸本)9783642112652

We study properties characterized by applying successively a "destructive" rule expressed in first-order logic. the rule says that Points, a(1),...,a(k) of a structure can be removed if they satisfy a certain first-order formula. phi(a(1),...,a(k)). the property defined this way by the formula is the set of finite structures such that we are able to obtain the empty structure when applying the rule repeatedly. Many classical properties can be formulated by means of a. "destructive" rule. We do a systematic study of the computational complexity of these properties according to the fragment of first-order logic in which the rule is expressed. We give the list of minimal fragments able to define NP-complete properties and maximal fragments that define only PTIME properties (unless PTIME = NP), depending on the number k of free variables and the quantifier symbols used in the formula. We also study more specifically the case where the formula has one free variable and is universal.

关键词： Finite model theory definability complexity model checking destructive rule

来源：评论

学校读者我要写书评

暂无评论

Network Analysis of the science of science: A Case Study in SOFSEM conference 44th

Network Analysis of the Science of Science: A Case Study in ...

引用

44th International conference on current trends in theory and practice of computer science (SOFSEM)

作者： Gogoglou, Antonia Tsikrika, theodora Manolopoulos, Yannis Aristotle Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece Ctr Res & Technol Hellas Thessaloniki 57001 Greece

ISBN: (纸本)9783319731179;9783319731162

A rising issue in the scientific community entails the identification of temporal patterns in the evolution of the scientific enterprise and the emergence of trends that influence scholarly impact. In this direction, this paper investigates the mechanism with which citation accumulation occurs over time and how this affects the overall impact of scientific output. Utilizing data regarding the SOFSEM conference (International conference on current trends in theory and practice of computer science), we study a corpus of 1006 publications with their associated authors and affiliations to uncover the effects of collaboration network on the conference output. We proceed to group publications into clusters based on the trajectories they follow in their citation acquisition. Representative patterns are identified to characterize dominant trends of the conference, while exploring phenomena of early and late recognition by the scientific community and their correlation with impact.

关键词： Scientometrics Bibliographic data Time series clustering trends

来源：评论

学校读者我要写书评

暂无评论

Source Code Rejuvenation Is Not Refactoring

Source Code Rejuvenation Is Not Refactoring

引用

36th conference on current trends in theory and practice of computer science

作者： Pirkelbauer, Peter Dechev, Damian Stroustrup, Bjarne Texas A&M Univ Dept Comp Sci & Engn College Stn TX 77843 USA

ISBN: (纸本)9783642112652

Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently encountered problems by adding language and library support to subsequent releases. By using new features, programmers can express their intent more directly. As new concerns, such as parallelism or security, arise, early idioms and language facilities can become serious liabilities. Modern code sometimes benefits from optimization techniques not feasible for code that uses less expressive constructs. Manual source code migration is expensive, time-consuming, and prone to errors. In this paper, we present the notion of source code rejuvenation, the automated migration of legacy code and very briefly mention the tools we use to achieve that. While refactoring improves structurally inadequate source code, source code rejuvenation leverages enhanced program language and library facilities by finding and replacing coding patterns that can be expressed through higher-level software abstractions. Raising the level of abstraction benefits software maintainability, security, and performance.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

ETC Proportional Adjustment Model Based on Queuing theory in the Case of Unmanned Vehicles 36

ETC Proportional Adjustment Model Based on Queuing Theory in...

引用

第36届中国控制会议

作者： Junjie Zhu Haoyu Lin Yuting Xiao Han Luo Dongdong Liu Pengfei Li College of Electrical and Information Engineering Hunan University College of Mathematics and Econometrics Hunan University School of computer and information Fuyang Normal University College of Computer Science and Electronic Engineering Hunan University

ISBN: (纸本)9781538629185

With the continuous breakthroughs of unmanned vehicle technology,a increasing number of unmanned vehicles will be added to the current traffic *** will the above situation influence the traffic,and how will we change the existing traffic system design program to help unmanned technology to improve people's travel efficiency in a better way,have become urgent problems to be *** this paper,the model of Queuing theory is applied to simulate and calculate the number of lanes of different toll stations,on which basis,the optimal proportional adjustment model of ETC(Electronic Toll Collection) is ***,the results of sensitivity analysis of the model show that it has an excellent robustness and reliability.

关键词： queuing theory unmanned vehicle ETC

来源：评论

学校读者我要写书评

暂无评论

Taming the complexity of inductive logic programming

Taming the complexity of inductive logic programming

引用

36th conference on current trends in theory and practice of computer science, SOFSEM 2010

作者： Železný, Filip Kuželka, Ondřej Faculty of Electrical Engineering Department of Cybernetics Czech Technical University in Prague Technická 2 16627 Prague 6 Czech Republic

ISBN: (纸本)3642050050

Inductive logic programming (ILP) [12] is concerned with the induction of theories from specific examples and background knowledge, using first-order logic representations for all the three ingredients. In its early days some twenty years ago, ILP was perceived as a means for automatic synthesis of logic programs, i.e. Horn clausal theories. current research views ILP algorithms mainly in the context of machine learning [14] and data mining [1]. ILP has enriched both of the two fieds significantly by providing them with formalisms and algorithms for learning (or 'mining') complex pieces of knowledge from non-trivially structured data such as relational databases. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

On Contracting Graphs to Fixed Pattern Graphs

On Contracting Graphs to Fixed Pattern Graphs

引用

36th conference on current trends in theory and practice of computer science

作者： van't Hof, Pim Kaminski, Marcin Paulusma, Daniel Szeider, Stefan thilikos, Dimitrios M. Univ Durham Sch Engn & Comp Sci Sci Labs South Rd Durham DH1 3LE England Univ Libre Bruxelles Dept Comp Sci B-1050 Brussels Belgium Natl & Kapodistrian Univ Athens Dept Math GR-15784 Athens Greece

ISBN: (纸本)9783642112652

For a fixed graph H, the H-CONTRACTIBILITY problem asks if a graph is H-contractible, i.e., can be transformed into H via a series of edge contractions. the computational complexity classification of tins problem is still open. So far, H has a dominating vertex in all cases known to be polynomially solvable, whereas H does not have such a vertex in all cases known to be NP-complete. Here, we present a class of graphs H with a dominating vertex for which H-CONTRACTIBILITY is NP-complete. We also present a new class of graphs H for which H-CONTRACTIBILITY is polynomially solvable. Furthermore, we study the (H,v)-CONTRACTIBILITY problem, where v is a vertex of H. the input of this problem is a graph G and an integer k. the question is whether G is H-contractible such that the "bag" of G corresponding to v contains at least k vertices. We show that this problem is NP-complete whenever H is connected and v is not a dominating vertex of H.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Model-driven software product line testing: An integrated approach

Model-driven software product line testing: An integrated ap...

引用

36th conference on current trends in theory and practice of computer science, SOFSEM 2010

作者： Schürr, Andy Oster, Sebastian Markert, Florian Real-Time Systems Group United States Computer Systems Group Technische Universität Darmstadt Merckstr. 25 Darmstadt 64283 Germany

ISBN: (纸本)3642050050

Software Product Line engineering is a popular approach which improves reusability of software in a large number of products that share a common set of features. Feature Models (FMs) are often used to model commonalities and variabilities within a Software Product Line (SPL). Due to their variability, testing SPLs is very challenging and many different approaches exist. Classification Trees (CTs) are a well-known and in practice popular black-box approach for the systematic derivation of a set of test cases of a single software system instance. In this paper, we explore the relations and similarities between FMs and CTs. Our contribution is the introduction of an integrated approach Feature Model for Testing (FMT) marrying properties and abilities of CTs and FMs. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Towards a Higher-Dimensional String theory for the Modeling of computerized Systems

Towards a Higher-Dimensional String Theory for the Modeling ...

引用

40th International conference on current trends in theory and practice of computer science

作者： Janin, David Univ Bordeaux LaBRI 351 Cours Liberat F-33405 Talence France

ISBN: (纸本)9783319042978;9783319042985

Recent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensitive interactive systems. Further theoretical developments show that some related notions of higher-dimensional strings can be used as a unifying theme across word or tree automata theory. In this invited paper, we will provide a guided tour of this emerging theory both as an abstract theory and with a view to concrete applications.

关键词： String theory

来源：评论

学校读者我要写书评

暂无评论

Simulation of the atmospheric electric field and current structure for sensors with different geometry in relation to the electric current measured in the external circuit 36

Simulation of the atmospheric electric field and current str...

引用

36th International conference on Lightning Protection (ICLP)

作者： Sobolewski, Konrad Kubicki, Marek Warsaw Univ Technol Fac Elect Engn Warsaw Poland Polish Acad Sci Inst Geophys Warsaw Poland

ISBN: (数字)9781665490245

ISBN: (纸本)9781665490245

Electric field measurements have many scientific applications. their results can be used in atmospheric electricity, optimisation of electric safety, e.g. lightning protection and meteorology. However, a measurement should be performed equally reliably to draw reliable conclusions. In theory and practice, you can find various measurement methods, some used for many years and which can be verified in terms of their accuracy using the possibility of computer simulations. this work contains a field analysis of examples of electric field sensors, based on which a discussion was held and practical conclusions were drawn. Described measurement methodology is often used for measurements of lightning electric field distribution. the article concerns the theory of sensors for measuring electric field and current based on numerical simulations. It can be used both in the problems of the physics of atmospheric lightning discharges and fair-weather electricity. Electric field E and.E measurements are widely described in the literature and have large technical applications. Measurements of the Maxwell current density and its components for thunderstorm electricity and fair weather conditions are associated with many interpretations and technical difficulties. It may touch cases like currents under a thundercloud approaching or currents from distant discharges. For example, Krider and Musser [1] determined the Maxwell current in a situation where Ez(t)=0 (conduction current is that it always vanishes when E is zero). current measurement methods based directly on Gauss or Ampere-Maxwell equations and selecting appropriate sensor surfaces to carry out the integration operation on these surfaces or the path that bounds that surface may prove difficult or impossible. It needs to choose a unique Gaussian surface to calculate the electric field and a particular Amperian loop to determine the magnetic field and current density.

关键词： electric field electric field sensor simulations Ansys lightning atmospheric measurements

来源：评论

学校读者我要写书评

暂无评论

A Calculus for Language Transformations 46th

A Calculus for Language Transformations

引用

46th International conference on current trends in theory and practice of Informatics (SOFSEM)

作者： Mourad, Benjamin Cimini, Matteo Univ Massachusetts Lowell Lowell MA 01854 USA

ISBN: (纸本)9783030389192;9783030389185

In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We have implemented our calculus, and we demonstrate its applicability with common examples in programming languages. As our calculus manipulates inference systems, our work can, in principle, be applied to logical systems.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：