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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

559 篇 会议
7 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

172 篇 工学
- 170 篇 计算机科学与技术...
- 107 篇 电气工程
- 27 篇 软件工程
- 5 篇 控制科学与工程
- 4 篇 信息与通信工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
58 篇 理学
- 58 篇 数学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
19 篇 经济学
- 18 篇 理论经济学
- 1 篇 应用经济学
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
- 4 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学

主题

292 篇 scientific compu...
91 篇 computer science
63 篇 cloud computing
50 篇 computational mo...
36 篇 polynomials
34 篇 algorithm design...
29 篇 algebra
28 篇 computer archite...
25 篇 testing
24 篇 mathematics
22 篇 software algorit...
22 篇 complexity theor...
21 篇 electronic mail
20 篇 monitoring
20 篇 standards
19 篇 grid computing
19 篇 semantics
18 篇 concurrent compu...
18 篇 application soft...
18 篇 distributed comp...

机构

10 篇 research institu...
8 篇 tech univ cluj n...
7 篇 department of co...
7 篇 faculty of infor...
6 篇 faculty of mathe...
6 篇 department of co...
6 篇 faculty of compu...
5 篇 department of co...
5 篇 department of co...
5 篇 computer science...
4 篇 department of co...
4 篇 nicolaus coperni...
4 篇 research institu...
4 篇 institute e-aust...
4 篇 department of co...
4 篇 romanian acad in...
4 篇 computer science...
4 篇 faculty of autom...
3 篇 department of co...
3 篇 department of co...

作者

9 篇 gabriel ciobanu
8 篇 adina magda flor...
7 篇 petcu dana
7 篇 james h. davenpo...
7 篇 jebelean tudor
7 篇 eneia nicolae to...
7 篇 nebojsa bacanin
7 篇 tudor jebelean
6 篇 catalin stoean
6 篇 ciobanu gabriel
6 篇 nicolae tapus
6 篇 valentin cristea
5 篇 mugurel ionut an...
5 篇 dorel lucanu
5 篇 ardagna danilo
5 篇 ciprian dobre
5 篇 ruxandra stoean
5 篇 stephen m. watt
5 篇 florin pop
5 篇 simson daniel

语言

571 篇 英文

检索条件"任意字段=8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"

共 571 条记录，以下是401-410 订阅

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

详细简洁

排序：

A Keyword Search Algorithm for Structured Peer-to-Peer Networks

A Keyword Search Algorithm for Structured Peer-to-Peer Netwo...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Adriana Szekeres Silviu Horia Baranga Ciprian Dobre Valentin Cristea Faculty of Automatic Control and Computer Science University Politehnica of Bucharest Bucharest Romania

Peer-to-Peer (P2P) networks are largely used for file-sharing and hence must provide efficient mechanisms for searching the files stored at various nodes. the existing structuredP2P overlays support only ”exact-match” look-up which is hardly sufficient in a file sharing network. this paper addresses the problem of keyword-based search in structured P2P networks. We propose a new keyword-based searching algorithm which can be implemented on top of any structured P2P overlay. We demonstrate that the proposed algorithm achieves very good searching results as it requires the minimum number of messages to be sent in order to find all the references to files containing at least the given set of keywords.

关键词： Peer to peer computing Indexing Search problems Keyword search Heuristic algorithms Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era

Proof of Concept for a Roundtrip Engineering IS for the New ...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Andrei Chiș Ana-Maria Ghiran Robert Andrei Buchmann Business Informatics Research Center Babeș-Bolyai University Cluj-Napoca Romania

Traditionally, enterprises had relied on information systems (IS) as a medium to represent reality, but recently, there is a growing trend among IS scholars admitting that contemporary environment is calling for a change in the view about the IS' implications in our lives. they acknowledge that our world is increasingly shaped by what is created and performed in various digital environments. In this view, we ask how conceptual modelling (as a particular manifestation of IS) could be used to shape this new environment while continue being used as a means to represent the domain of discourse. this work at hand presents a proof-of-concept for the new enterprise systems where conceptual modelling plays a key role and the modelling tool acts as a transition layer between physical and digital realities.

关键词： Shape scientific computing Computational modeling Market research numerical models Fourth Industrial Revolution Information systems

来源：评论

学校读者我要写书评

暂无评论

Parameterized and Exact Computation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Gregory Gutin Stefan Szeider

ISBN: (数字)9783319038988

ISBN: (纸本)9783319038971

this book constitutes the thoroughly refereed post-conference proceedings of the 8th international symposium on Parameterized and Exact Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013.;the 29 revised full papers presented were carefully reviewed and selected from 58 submissions. the topics addressed cover research in all aspects of parameterized/exact algorithms and complexity including but are not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms.

关键词： Algorithm Analysis and Problem Complexity algorithms numeric computing Discrete Mathematics in Computer Science Data Structures Math Applications in Computer Science

来源：评论

学校读者我要写书评

暂无评论

Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment

Grid Services and Satellite Image Processing for Urban and R...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Cristina Gherghina Eliza Isbasoiu Faculty of Civil Engineering Ovidius University of Constanta Constanta Romania Faculty of Accountancy and Finance Spiru Haret University of Bucharest Campulung Muscel Romania

Satellite images can provide huge amounts of data that in principle could be processed and provide very useful information in many areas. Grid based architectures might be suitable platforms for their digital processing and analysis because they offer the required computational power to process satellite data in real time. Here, we describe several Grid Services which implement some of the satellite images processing and analysis techniques used to detect urban growth and river bed changes. thus, we have implemented a supervised image classification algorithm which marks out the urban or river bed areas, and a comparison image algorithm, which compares two classified images, taken in 1970 and 2000, and highlights the urban or river bed changes.

关键词： Satellites Image processing Rivers Grid computing Java Image classification Distributed computing Computer architecture Digital images Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Using Deep Networks for Semantic Segmentation of Satellite Images

Using Deep Networks for Semantic Segmentation of Satellite I...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Teodora Selea Marian Neagul Faculty of Mathematics and Informatics West University of Timisoara Timisoara România

ISBN: (纸本)9781538626276

In this paper we aim to investigate different deep learning techniques for automatic extraction of valuable information from large sized satellite image data. We focus on the problem of semantic segmentation which attaches a class label to each pixel from the image. We investigate two semantic segmentation architectures based an convolutional neural networks: segnet and u-net. We analyse different tiling strides with reverse aggregation methods. We compare two classical methods (averaging and maximum) and propose a new method based on entropy. We test the models with distinct types of images, emphasizing the need to predict the results using information from all of them. We discuss various fusion strategies and introduce a fusion strategy based on the observations obtained from separately analysing the distinct image types.

关键词： Machine-to-machine communications scientific computing

来源：评论

学校读者我要写书评

暂无评论

First Steps Towards Computational Polynomials in Lean

First Steps Towards Computational Polynomials in Lean

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： James H. Davenport Department of Computer Science and Mathematical Sciences University of Bath Bath United Kingdom

the proof assistant Lean has support for abstract polynomials, but this is not necessarily the same as support for computations with polynomials. Lean is also a functional programming language, so it should be possibl... 详细信息

ISBN: (数字)9798331532833

ISBN: (纸本)9798331532840

关键词： scientific computing Polynomials Functional programming

来源：评论

学校读者我要写书评

暂无评论

Some Structural and Security Properties of the Modular Secret Sharing

Some Structural and Security Properties of the Modular Secre...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Tatsiana Galibus Gennadii Matveev Nikolay Shenets Department of Mathematical Modelling and Data Analysis Belarusian State University Minsk Belarus Department of Higher Mathematics Belarusian State University Minsk Belarus

We mainly study the modular secret sharing over the ring of univariate polynomials over the Galois field. the proposed modular schemes over these rings achieve improvements both in security and applicability compared to classical schemes over the ring of integers. Our threshold schemes are perfect i.e. secure in the sense of information theory and ideal i.e. efficient in the terms of memory storage (the size of the secret is equal to the size of the shares). then we consider the modular secret sharing schemes with pairwise co-prime moduli over the ring of polynomials and the ring of integers. We give a complete description of the access structures that can be realized by such modular schemes.

关键词： Cryptography Polynomials Mathematical model Data analysis scientific computing Data security Mathematics Galois fields Information security Information theory

来源：评论

学校读者我要写书评

暂无评论

SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of things to the Internet of Services

SENSAPP as a Reference Platform to Support Cloud Experiments...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Sébastien Mosser Franck Fleurey Brice Morin Franck Chauvel Arnor Solberg Iokanaan Goutier Department of Networked Systems and Services SINTEF ICT Oslo Norway Polytech Lille Villeneuve-d'Ascq Hauts-de-France FR

the Cloud-computing paradigm was considered as a revolution. thanks to the abstraction of computing resources "in the clouds" this paradigm provides "anything" as a service, on a pay-as-you-go basis. Unfortunately, there is no reference software that one can use to properly compare a cloud approach against others. We propose the SENSAPP platform to tackle this challenge. SENSAPP is designed as a prototypical cloud application and is provided as an open-source service-based application used to store and exploit data collected by the Internet of things. We propose SENSAPP as a reference implementation to compare different cloud approaches. In this paper we present initial experiments about scalability based on this platform.

关键词： Sensors Cloud computing Databases Scalability Standards

来源：评论

学校读者我要写书评

暂无评论

Grammar-Based Automatic Extraction of Definitions

Grammar-Based Automatic Extraction of Definitions

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Adrian Iftene Ionut Pistol Diana Trandabat Faculty of Computer Science Alexandru Ioan Cuza슠University Iasi Romania

the paper describes the development and usage of a grammar developed to extract definitions from documents. One of the most important practical usages of the developed grammar is the automatic extraction of definitions from web documents. three evaluation scenarios were run, the results of these experiments being the main focus of the paper. One scenario uses an e-learning context and previously annotated e-learning documents; the second one involves a large collection of unannotated documents (from Wikipedia) and tries to find answers for definition type questions. the third scenario performs a similar question-answering task, but this time on the entire web using Google web search and the Google Translation Service. the results are convincing, further development as well as further integration of the definition extraction system in various related applications are already under way.

关键词： Electronic learning Web search Dictionaries Data mining scientific computing Computer science Wikipedia Buildings Semantic Web Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

Venn Diagrams for Multisets

Venn Diagrams for Multisets

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Aurelian Radoaca Department of Computer Science West University of Timi§oara Romania

ISBN: (纸本)9781509057085

We introduce Venn diagrams for multisets and showhow they simplify the analysis of multisets. Venn diagrams arevery useful in proofs involving multisets and multiset orders, especially considering the complications introduced by the multiplicity of elements in multisets. We compare the Venn diagramsfor multisets with the corresponding ones for sets. thus, wepresent two types of Venn diagrams for multisets, a simple onethat looks like a diagram for sets, but with areas that are notnecessarily disjoint, and a complex one (compared to sets), butwith certain delimited disjoint areas. We determine the numberof non-composite areas (disjoint or not) in a Venn diagram formultisets, for which we give two sequences of integers. We compare several properties of Venn diagrams for sets and multisets, like symmetry and Hamiltonicity. Venn diagrams for multisetscan also be used for databases, knowledge representation systems, in artificial intelligence, Semantic Web.

关键词： Manganese Computer science Knowledge representation Algorithm design and analysis scientific computing Electronic mail Databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：