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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是411-420 订阅

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

详细简洁

排序：

Undecidability Results for Finite Interactive Systems

Undecidability Results for Finite Interactive Systems

引用

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

作者： Alexandru Sofronia Alexandru Popa Gheorghe Stefanescu Department of Computer Science University of Bucharest Bucharest Romania Department of Computer Science University of Bristol Bristol UK Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

this paper is on the foundations of a recent approach to the design of massively parallel and interactive programming languages using rv-systems (interactive systems with registers and voices) and Agapia programming. It includes a few theoretical results on FISs (finite interactive systems), the underlying mechanism used for specifying control and interaction in these systems. First, we give a proof for the undecidability of the emptiness problem for FISs by reduction to the post correspondence problem. Next, we use the proof to get other undecidability results, e.g., for the accessibility of a transition in a FIS, or for the finiteness of the language recognized by a FIS. Finally, we present a simple proof of the equivalence between FISs and tile systems, making explicit that they precisely capture recognizable two-dimensional languages.

关键词： Interactive systems Computer languages Computer science Tiles Control systems scientific computing Algorithm design and analysis Parallel programming Arithmetic Functional programming

来源：评论

学校读者我要写书评

暂无评论

Exploring New Directions in Iris Recognition

Exploring New Directions in Iris Recognition

引用

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

作者： Nicolaie Popescu-Bodorin Department of Mathematics and Computer Science Spiru Haret University Bucharest Romania

A new approach in iris recognition based on Circular Fuzzy Iris Segmentation (CFIS) and Gabor Analytic Iris Texture Binary Encoder (GAITBE) is proposed and tested here. CFIS procedure is designed to guarantee that similar iris segments will be obtained for similar eye images, despite the fact that the degree of occlusion may vary from one image to another. Its result is a circular iris ring (concentric with the pupil) which approximates the actual iris. GAITBE proves better encoding of statistical independence between the iris codes extracted from different irides using Hilbert Transform. Irides from University of Bath Iris Database are binary encoded on two different lengths (768 / 192 bytes) and tested in both single-enrollment and multi-enrollment identification scenarios. All cases illustrate the capacity of the newly proposed methodology to narrow down the distribution of inter-class matching scores, and consequently, to guarantee a steeper descent of the False Accept Rate.

关键词： Iris recognition Image segmentation Waveguide discontinuities scientific computing

来源：评论

学校读者我要写书评

暂无评论

Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis

Identifying Socio-Cognitive Structures in Online Knowledge B...

引用

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

作者： Nicolae Nistor Marilena Panaite Mihai Dascalu Stefan Trausan-Matu Faculty of Psychology and Educational Sciences Ludwig-Maximilians-Universität München Germany Computer Science Department University Politehnica of Bucharest Bucharest Romania

ISBN: (纸本)9781538626276

Online knowledge building communities (OKBCs) prove beneficial in informal learning settings. Extending their use to the instructional design of formal learning environments requires identification methods of the central, intermediate and peripheral community layers. this study proposes such a social learning analytics method, i.e., an automated discourse analysis based on Natural Language Processing. the method was applied to the dialog produced by N = 1,990 participants in 20 blogger communities. Centrality criteria based on Cohesion Network Analysis were highly consistent and could successfully identify the socio-cognitive layers of the analyzed OKBCs. Ongoing research proposes instructional design based on formal learnersâ€™ interactions with OKBCs.

关键词： Blogs Collaboration Knowledge engineering Education Natural languages Semantics scientific computing

来源：评论

学校读者我要写书评

暂无评论

Towards multi-tenant and interoperable monitoring of virtual machines in cloud

Towards multi-tenant and interoperable monitoring of virtual...

引用

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

作者： Daniel Tovarňák Tomáš Pitner Fac. of Inf. Masaryk Univ Brno CZ Faculty of Informatics Masaryk University Brno Czech Republic

the advent of Cloud computing introduced new challenges in various computer science fields and disciplines, monitoring being one of them. Due to the multi-tenant nature of Cloud environment, its size and use of massive virtualization, the current monitoring solutions are approaching their limits. Unlike some other approaches, focusing on data integration, aggregation, and abstraction, our work focuses on a virtual machine representing the primary source of monitoring information. In this paper, we propose requirements for the producer of monitoring information addressing existing issues related to monitoring data representation, storage, processing and distribution. As a proof-of-concept, conforming to these requirements, prototype of event-based monitoring daemon is presented in detail. the resulting solution allows multiple users to consume monitoring information in an extensible data format without impairing interoperability.

关键词： Monitoring Virtual machining Cloud computing Data models Protocols Security Hardware

来源：评论

学校读者我要写书评

暂无评论

A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology

A Practical Analysis of Techniques for Minting Genetic Infor...

引用

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

作者： Marco Radovancovici Darius Galiş Ciprian Pungilă Faculty of Mathematics and Informatics West University of Timisoara Timisoara Romania

In this paper we perform a practical analysis of techniques for minting genetic information, in particular genomic data, as non-fungible tokens (NFTs) in supporting blockchains, and perform a wide-range analysis of the best and most efficient tools to ensure such data’s privacy, non-repudiation and storage efficiency. We analyze the demands of the NFT-driven blockchain ecosystem today, and discuss how we can apply common approaches in storing and accessing genomic data, such as compression methods and encryption techniques for it, to the NFT world. We perform a practical experiment of our assessment, and compare the publicly available tools and libraries for achieving the aforementioned goal, in order to determine which one provides the best results in terms of speed and storage efficiency, and draw relevant conclusions as to which approach is more beneficial to NFT-driven ecosystems where genomic data could be safely preserved and actively traded.

关键词： Data privacy scientific computing Ecosystems Genomics Non-repudiation Libraries Encryption

来源：评论

学校读者我要写书评

暂无评论

UML Model Refactoring as Refinement: A Coalgebraic Perspective

UML Model Refactoring as Refinement: A Coalgebraic Perspecti...

引用

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

作者： Luis Soares Barbosa Sun Meng DI-CCTC Minho University Braga Portugal CWI Amsterdam Netherlands

Although increasingly popular, Model Driven Architecture (MDA)still lacks suitable formal foundations on top of which rigorousmethodologies for the description, analysis and transformation ofmodels could be built. this paper aims to contribute in thisdirection: building on previous work by the authors on coalgebraicrefinement for software components and architectures, it discussesrefactoring of models within a coalgebraic semantic framework. Architectures are defined through aggregation based on a coalgebraic semantics for (subsets of)UML. On the other hand, such aggregations, no matter how large and complex they are, can always be dealt with ascoalgebras themselves. this paves the way to a discipline ofmodels' transformations which, being invariant under either behavioural equivalenceor refinement, are able to formally capture a large number of refactoring patterns. the main ideas underlying this research are presented through a detailed example in the context of refactoring of UML class diagrams.

关键词： Unified modeling language Computer architecture Software systems Programming scientific computing Sun Algorithm design and analysis Buildings Software engineering Concrete

来源：评论

学校读者我要写书评

暂无评论

Fact-checking with explanations

Fact-checking with explanations

引用

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

作者： Adrian Groza Áron Katona Computer Science Department Technical University of Cluj-Napoca Cluj-Napoca Romania

We present an approach for automated fact-checking, given a trusted knowledge base and a natural language text. the FACE (FAct Checker with Explanations) system is capable of extracting the knowledge behind the sentences, and decide what is entailed in the trusted sources and what is in conflict with them, providing also explanations and counter speeches in English. the system also specifies the provenance of each of its argument, thus it can be traced back to the source of the *** logic representation of the input is obtained using the FRED machine reader, which is further improved by detecting and handling translation patterns. the obtained ontology is aligned to the knowledge base using the WordNet database in a custom algorithm, then entailment and conflict detection is performed with the Hermit reasoner, through which we obtain the explanations and counter speeches which are verbalized to Attempto Controlled *** fact checker is demonstrated on Covid-19 related sentences, however it is domain independent, and can be used with other knowledge bases as well.

关键词： COVID-19 scientific computing Databases Knowledge based systems Natural languages Ontologies Fake news

来源：评论

学校读者我要写书评

暂无评论

Supply Chain Risk Management by Mining Business Dependencies

Supply Chain Risk Management by Mining Business Dependencies

引用

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

作者： Lucian Hancu Soft ProEuro s. r. l Cluj-Napoca Romania

Current supply chain risk management techniques rely on the integration of the business information systems of the entities forming the supply chain. the method is well-suited for small and medium entities, but large Entities are rather reticent in integrating Information Systems with the ones of SMEs. this article presents a risk-reduction mechanism based on mining Business Dependencies that were previously automatically discovered from the Web logs of our multi-server search application. the material gathered in the previous experiments (business dependencies inferred from Web usage logs and information on entities) serves as a support for building Virtualized Supply Chains. the generation of the Virtualized Supply Chains and the computation of the associated risks conduct to the derivation of a risk reduction technique, which can be later applied in the redesign of Supply Chains and replace suppliers having high risk measures with those exhibiting lower risk measures.

关键词： Supply chains Risk management Business Radiofrequency identification Management information systems Supply chain management Web search Companies Floods scientific computing

来源：评论

学校读者我要写书评

暂无评论

Experiences in symbolic Computations for Matrix Problems

Experiences in Symbolic Computations for Matrix Problems

引用

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

作者： Stanislaw Kasjan Andrzej Mróz Faculty of Mathematics and Computer Science Nicolaus Copernicus University Torun Poland

We review our recent results concerning several computer algebra aspects of determining canonical forms, performing a decomposition and deciding the isomorphism question for matrix problems. We consider them in the language of finite dimensional modules over algebra and the language of square block matrices with an action of elements from some sub algebra of the full matrix algebra. We present an efficient (polynomial-time) improvement of classical Bongartz's algorithm for determining a maximal common direct summand of modules, and its application to solving the isomorphism problem. the improved algorithm recently became a part of QPA package ver. 1.07 for GAP. We also study the behaviour of Belitskii's algorithm for determining certain canonical form on a class of square block matrices, especially for matrix problems associated with a poset. Both problems can be considered as a highly generalized classical Jordan problem for square matrices.

关键词： Complexity theory Matrix decomposition Context Polynomials

来源：评论

学校读者我要写书评

暂无评论

Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators

Accelerating heuristic convergence on the "Evolution of Mona...

引用

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

作者： theodor-Alexandru Vlad Eugen Nicolae Croitoru Faculty of Computer Science "Alexandru Ioan Cuza" University of Iasi Iasi Romania

the "Evolution of Mona Lisa" problem aims to approximate a target image by overlapping many semi-transparent polygons. the problem has been tackled in the past using multiple Nature-Inspired heuristics, and our main contribution is adding image-centric mutation operators (scaling, rotating and translating polygons).We compare Genetic algorithms, Hill-Climbing and Simulated Annealing. A candidate solution has variable length (of, at most, 300 decagons) and, due to the variable opacity of polygons, order matters – resulting, in practice, in a pseudo-Messy GA. We use the same representation and mutation operators for the trajectory methods which, due to the focus on wall-clock time, outperform our GA *** find that these methods retain good image approximation at good run times: 98.9-99.2% (mean on 30 images), with a time limit of 30 minutes, on images 500-pixels tall.

关键词： Visualization Evolution (biology) scientific computing Nose Mouth Simulated annealing Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：