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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

80 篇 会议
9 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

52 篇 工学
- 47 篇 计算机科学与技术...
- 22 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 3 篇 安全科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
25 篇 理学
- 16 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
11 篇 管理学
- 7 篇 图书情报与档案管...
- 4 篇 工商管理
- 3 篇 管理科学与工程(可...
- 1 篇 公共管理
7 篇 法学
- 7 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 护理学（可授医学、...

主题

4 篇 computer communi...
4 篇 discrete mathema...
4 篇 graph theory
4 篇 artificial intel...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 reliability theo...
3 篇 database managem...
3 篇 computers
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 approximation al...
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 position automat...
1 篇 public policy
1 篇 group theory
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department for l...
1 篇 national institu...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 boise state univ...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 cril-cnrs univer...
1 篇 school of naval ...
1 篇 us ctr dis contr...
1 篇 auburn universit...
1 篇 faculty of medic...
1 篇 cornell universi...
1 篇 uppsala universi...
1 篇 dept. of digital...
1 篇 school of inform...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 ronquillo charle...
1 篇 ferreira p.
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 maynard sean b.
1 篇 wielemaker jan
1 篇 cunha luis filip...
1 篇 lynce inês
1 篇 geusebroek jan-m...
1 篇 demange marc
1 篇 frans c. a. groe...
1 篇 coconea l.
1 篇 peter ružička (e...
1 篇 anna vasilaki
1 篇 albertas caplins...
1 篇 th. paschos vang...

语言

89 篇 英文
1 篇 中文

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

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

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

详细简洁

排序：

Improving relevance of keyword extraction from the web utilizing visual style information

引用

39th International conference on current trends in theory and practice of Computer Science, SOFSEM 2013

作者： Lučanský, Milan Šimko, Marián Institute of Informatics and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 3 842 16 Bratislava Slovakia

ISBN: (纸本)9783642358425

Information growth is faster than ever before. We need to provide advanced services facilitating information "consumption" (e.g., recommendation, personalized navigation). At least a lightweight semantics is necessary for such services. Nowadays keyword paradigm is widely used and seems to achieve satisfactory results in fields such as social bookmarking or ontology learning. In this paper we explore impact of web site visual style on relevant keywords extraction. We propose a method for relevant keywords extraction from web pages combining traditional automatic term recognition algorithms with web site's visual style processing. We particularly focus on cascade style sheets. the evaluation conducted on 200 "wild" Web documents from 12 different web sites showed that our method increases the relevance of extracted keywords. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Utilizing microblogs for web page relevant term acquisition

引用

39th International conference on current trends in theory and practice of Computer Science, SOFSEM 2013

作者： Uherčík, Tomáš Šimko, Marián Bieliková, Mária Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 3 842 16 Bratislava Slovakia

ISBN: (纸本)9783642358425

To allow advanced processing of information available on the Web, the web content necessitates semantic descriptions (metadata) processable by machines. Manual creation of metadata even in a lightweight form such as (web page) relevant terms is for us humans demanding and almost an impossible task, especially when considering open information space such as the Web. New approaches are devised continuously to automate the process. In the age of the Social Web an important new source of data to mine emerges - social annotations of web content. In this paper we utilize microblogs in particular. We present a method for relevant domain terms extraction for web resources based on processing of the biggest microblogging service to date - Twitter. the method leverages social characteristics of the Twitter network to consider different relevancies of Twitter posts assigned to the web resources. We evaluated the method in a user experiment while observing its performance for different types of web content. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Satisfiability: Where theory meets practice

Satisfiability: Where theory meets Practice

引用

26th International Workshop on Computer Science Logic, CSL 2012/21st Annual conference of the European Association for Computer Science Logic, EACSL

作者： Lynce, Inês INESC-ID/IST Technical University of Lisbon Portugal

ISBN: (纸本)9783939897422

Propositional Satisfiability (SAT) is a keystone in the history of computer science. SAT was the first problem shown to be NP-complete in 1971 by Stephen Cook [4]. Having passed more than 40 years from then, SAT is now a lively research field where theory and practice have a natural intermixing. In this talk, we overview the use of SAT in practical domains, where SAT is thought in a broad sense, i.e. including SAT extensions such as Maximum Satisfiability (MaxSAT), Pseudo-Boolean Optimization (PBO) and Quantified Boolean Formulas (QBF). © Ines Lynce.

关键词： Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Computer Science Logic 2012 - 26th International Workshop/21th Annual conference of the EACSL, CSL 2012

Computer Science Logic 2012 - 26th International Workshop/21...

引用

26th International Workshop on Computer Science Logic, CSL 2012/21st Annual conference of the European Association for Computer Science Logic, EACSL

ISBN: (纸本)9783939897422

the proceedings contain 38 papers. the topics discussed include: sharing distributed knowledge on the web;connecting complexity classes, weak formal theories, and propositional proof systems;satisfiability: where theory meets practice;definability and complexity of graph parameters;a syntactical approach to weak omega-groupoids;interactive realizability for classical peano arithmetic with skolem axioms;relational parametricity for higher kinds;higher-order interpretations and program complexity;knowledge spaces and the completeness of learning strategies;a concurrent logical relation;equivalence constraint satisfaction problems;a negative conjunctive query is easy if and only if it is beta-acyclic;on the equational consistency of order-theoretic models of lambda calculus;faster algorithms for alternating refinement relations;and a systematic approach to canonicity in the classical sequent calculus.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Factorization for component-interaction automata

Factorization for component-interaction automata

引用

38th conference on current trends in theory and practice of Computer Science, SOFSEM 2012

作者： Beneš, Nikola Černá, Ivana Štefaňák, Filip Faculty of Informatics Masaryk University Brno Czech Republic

ISBN: (纸本)9783642276590

Component-interaction automata is a verification oriented formalism devised to be general enough to capture important aspects of component interaction in various kinds of component systems. A factorization problem naturally arises in formalisms that are based on composition. In general, the factorization problem may be presented as finding a solution X to the equation M |X S, where | is a composition and a behavioural equivalence. In our framework, the equivalence is the weak bisimulation and composition is parametrized. We provide a solution for the factorization problem which is built on top of the approach of Qin and Lewis [13]. © 2012 Springer-Verlag.

关键词： Factorization

来源：评论

学校读者我要写书评

暂无评论

Leveraging microblogs for resource ranking

Leveraging microblogs for resource ranking

引用

38th conference on current trends in theory and practice of Computer Science, SOFSEM 2012

作者： Majer, Tomáš Šimko, Marián Faculty of Informatics and Information Technologies Slovak University of Technology Ilkovičova 3 842 16 Bratislava 4 Slovakia

ISBN: (纸本)9783642276590

In order to compute page rankings, search algorithms primarily utilize information related to page content and link structure. Microblog as a phenomenon of today provides additional, potentially relevant, information - short messages often containing hypertext links to web resources. Such source is particularly valuable when considering a temporal aspect of information, which is being published every second. In this paper we present a method for resource ranking based on Twitter data structure processing. We apply various graph algorithms leveraging the notion of a node centrality in order to deduce microblog-based resource ranking. Our method ranks a microblog user based on his followers count with respect to a number of (re)posts and reflects it into resource ranking. the evaluation of the method showed that micro-based resource ranking a) can not be substituted by a common form of an explicit user rating, and b) has the great potential for search improvement. © 2012 Springer-Verlag.

关键词： Hypertext systems

来源：评论

学校读者我要写书评

暂无评论

Inner architecture of a social networking system

Inner architecture of a social networking system

引用

38th conference on current trends in theory and practice of Computer Science, SOFSEM 2012

作者： Škrabálek, Jaroslav Kunc, Petr Pitner, Tomáš Lab. Software Architectures and Information Systems Faculty of Informatics Masaryk University Brno Czech Republic

ISBN: (纸本)9783642276590

Social networks, their increasing popularity reaching hundreds of million users, demand advance software architecture. Countless requests per second necessitate flexible and utmost efficiency and high performance. this article is focused on development of such a web-based service offering social functionality to end users, but from the technology point of view represents state-of-the-art in current usage of the latest technologies. those technologies mentioned further are often used for the first time in such a complex project. High volume data distribution is handled by Apache Hadoop framework together with Hadoop Distributed File System (HDFS) and MapReduce. therewithal, non-relational distributed database HBase and Memcached tool ensures scalability and high throughput helping with often accessed information. Inner architecture of the social subsystem has been implemented within three-layer structure (services/data access/transmission). Social subsystem among others deals with one-way (unsymmetrical) relationship generation or cancellation between users but events either. Particular system entities are allowed to add comments, follow or "like" others. In the end, testing phase, deployment and practical utilization (although the resulted solution is completely independent) is demonstrated on practical example of case study Takeplace - complex tool for event management. © 2012 Springer-Verlag.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Dynamic matching via weighted myopia with application to kidney exchange 26

Dynamic matching via weighted myopia with application to kid...

引用

26th AAAI conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence conference, AAAI-12 / IAAI-12

作者： Dickerson, John P. Procaccia, Ariel D. Sandholm, Tuomas Computer Science Department Carnegie Mellon University Pittsburgh PA 15213 United States

ISBN: (纸本)9781577355687

In many dynamic matching applications - especially high-stakes ones - the competitive ratios of prior-free online algorithms are unacceptably poor. the algorithm should take distributional information about possible futures into account in deciding what action to take now. this is typically done by drawing sample trajectories of possible futures at each time period, but may require a prohibitively large number of trajectories or prohibitive memory and/or computation to decide what action to take. Instead, we propose to learn potentials of elements (e.g., vertices) of the current problem. then, at run time, we simply run an offline matching algorithm at each time period, but subtracting out in the objective the potentials of the elements used up in the matching. We apply the approach to kidney exchange. Kidney exchanges enable willing but incompatible patient-donor pairs (vertices) to swap donors. these swaps typically include cycles longer than two pairs and chains triggered by altruistic donors. Fielded exchanges currently match myopically, maximizing the number of patients who get kidneys in an offline fashion at each time period. Myopic matching is sub-optimal;the clearing problem is dynamic since patients, donors, and altruists appear and expire over time. We theoretically compare the power of using potentials on increasingly large elements: vertices, edges, cycles, and the entire graph (optimum). then, experiments show that by learning vertex potentials, our algorithm matches more patients than the current practice of clearing myopically. It scales to exchanges orders of magnitude beyond those handled by the prior dynamic algorithm. Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Towards CERes in intuitionistic logic

Towards CERes in intuitionistic logic

引用

26th International Workshop on Computer Science Logic, CSL 2012/21st Annual conference of the European Association for Computer Science Logic, EACSL

作者： Leitsch, Alexander Reis, Giselle Paleo, Bruno Woltzenlogel Theory and Logic Group Institut für Computersprachen Technische Universität Wien Vienna Austria

ISBN: (纸本)9783939897422

Cut-elimination, introduced by Gentzen, plays an important role in automating the analysis of mathematical proofs. the removal of cuts corresponds to the elimination of intermediate statements (lemmas), resulting in an analytic proof. CERes is a method of cut-elimination by resolution that relies on global proof transformations, in contrast to reductive methods, which use local proof-rewriting transformations. By avoiding redundant operations, it obtains a speed-up over Gentzen's traditional method (and its variations). CERes has been successfully implemented and applied to mathematical proofs, and it is fully developed for classical logic (first and higher order), multi-valued logics and Gödel logic. But when it comes to mathematical proofs, intuitionistic logic also plays an important role due to its constructive characteristics and computational interpretation. this paper presents current developments on adapting the CERes method to intuitionistic sequent calculus LJ. First of all, we briefly describe the CERes method for classical logic and the problems that arise when extending the method to intuitionistic logic. then, we present the solutions found for the mentioned problems for the subclass LJ- (the class of intuitionistic proofs of an end-sequent containing no strong quantifiers and no formula on the right). In addition, we explain, with an example, some ideas for improving the method and covering a bigger fragment of LJ proofs. Finally, we summarize the results and point the direction for future research. © Alexander Leitsch, Giselle Reis, and Bruno Woltzenlogel Paleo.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

the early stage benefit planning of housing rengeneration projects: the gap between theory and practice

The early stage benefit planning of housing rengeneration pr...

引用

26th Annual conference of the Association of Researchers in Construction Management, ARCOM 2010

作者： Higham, Anthony Fortune, Chris School of the Built Environment and Engineering University of Bolton Deane Road Bolton United Kingdom School of the Built Environment University of Salford The Crescent Salford United Kingdom

ISBN: (纸本)0955239044

the UK government renewed its commitment to invest in the regeneration of the pre-1919 terraced housing stock through its sustainable communities' agenda. the majority of such dwellings have signs of serious disrepair and are predominantly located in deprived communities. the refurbishment or demolition, of such housing is central to the government's sustainable community's agenda and as such, the long-term sustainable re-use of pre-1919 dwellings is core to the policy's success. It is suspected, that the lack of research dedicated to the achievement of sustainable housing refurbishment, may impede this outcome. Critical to the achievement of sustainable communities through housing regeneration projects is, their reliable early stage sustainable benefit planning. the general area of investigation of an on-going PhD study relates to the development of such an evaluation model;for use at project and programme level of housing regeneration schemes. Work in this area will contribute to the development of theory and practice in the field of early stage construction project evaluation and its integration with sustainable housing redevelopment practices. Relevant literature on early stage construction project evaluation as well as sustainability in regeneration projects is reviewed. the results of an initial exploratory study, which collected qualitative data from built environment regeneration professionals actively, engaged at both project and programme level is reported. Analysis of the collected data established the current understanding of sustainability and its early stage evaluation in practice revealing a gap in both understanding and application of sustainability between actors involved. the paper concludes that due to the number of barriers present within the sector, further research would not be viable until the major restrictions associated with the availability of funding and the existing legislative framework are corrected.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：