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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

565 篇 会议
7 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

语言

574 篇 英文

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

共 574 条记录，以下是71-80 订阅

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

详细简洁

排序：

Correct Metric Semantics for a Biologically-Inspired Formalism 16

Correct Metric Semantics for a Biologically-Inspired Formali...

引用

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

作者： Ciobanu, Gabriel Todoran, Eneia Nicolae Acad Romana Inst Comp Sci Iasi Romania Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania

ISBN: (纸本)9781479984480

We investigate the semantics of a biologically-inspired formalism. this formalism was initially introduced by Cardelli as a "strand algebra" for DNA computing. For such a language we study and relate new formal semantic models. the mathematical framework is given by complete metric spaces in which the Banach fixed point theorem is used;various semantic functions are defined as fixed points of appropriate higher-order mappings. We define a new denotational semantics and compare it with the operational semantics introduced by Cardelli. We establish the formal relation between the operational and the denotational semantics by using an abstraction operator and a fixed point argument. In this way we establish the correctness of the denotational semantics with respect to the operational semantics.

关键词： DNA computing operational semantics denotational semantics semantic correctness

来源：评论

学校读者我要写书评

暂无评论

Parallel heuristics for systems of equations preconditioning 18

Parallel heuristics for systems of equations preconditioning

引用

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

作者： Mafteiu-Scai, Liviu Octavian Cornigeanu, Calin Alexandru West Univ Timisoara Comp Sci Dept Timisoara Romania

ISBN: (纸本)9781509057078

this paper proposes two parallel hybrid heuristics aiming for the reduction of the average bandwidth of sparse matrices, process used in systems of equations preconditioning. Based on a direct processing of the matrix, the first method combines a heuristic inspired from the laws of physics, with a greedy selection of rows/columns to be interchanged. the second one improves the previous heuristic through the use of an exact formula for determining the most favorable interchanges. Experimental results obtained on an IBM Blue Gene /P supercomputer illustrate the fact that the proposed parallel heuristics lead to better results, with respect to time efficiency, speedup, efficiency and solution.

关键词： nature inspired heuristics preconditioning systems of equations parallel computing average bandwidth

来源：评论

学校读者我要写书评

暂无评论

Proof of Useful Work Based on Matrix Computation 24

Proof of Useful Work Based on Matrix Computation

引用

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

作者： Dragos, Cojocaru Univ Alexandru Ioan Cuza Iasi Romania

ISBN: (纸本)9781665465458

Due to the inherently wasteful nature of traditional proof of work mechanisms in blockchain networks, researchers are motivated to find alternatives that can make use of the computational power expended in the process. there are a number of such applications, however most of them target very specific problems, and few are proven to work in practice. this paper presents a proof of work mechanism based on matrix computation, serving a much wider range of applications while serving as the consensus mechanism of a blockchain network. I will cover the current research in the proof of useful work area, and focus on Proof of eXercise (PoX), another mechanism based on matrix computation. Proof of Computation (PoC), the consensus mechanism described in this paper, is a redesigned version of PoX. the mechanism is backed by a series of experiments that confirm the functionality of the protocol.

关键词： proof of work blockchain matrix computation distributed computing consensus proof of useful work

来源：评论

学校读者我要写书评

暂无评论

Hybrid Intervals and symbolic Block Matrices 25

Hybrid Intervals and Symbolic Block Matrices

引用

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

作者： Ghesquiere, Mike Watt, Stephen M. Univ Western Ontario Comp Sci Dept London ON Canada Univ Waterloo Cheriton Sch Comp Sci Waterloo ON Canada Joy Life Inc 407 Duarte Rd E Arcadia CA 91006 USA

ISBN: (纸本)9798350394139;9798350394122

Structured matrices with symbolic sizes appear frequently in the literature, especially in the description of algorithms for linear algebra. Recent work has treated these symbolic structured matrices themselves as computational objects, showing how to add matrices with blocks of different symbolic sizes in a general way while avoiding a combinatorial explosion of cases. the present article introduces the concept of hybrid intervals, in which points may have negative multiplicity. Various operations on hybrid intervals have compact and elegant formulations that do not require cases to handle different orders of the end points. this makes them useful to represent symbolic block matrix structures and to express arithmetic on symbolic block matrices compactly. We use these ideas to formulate symbolic block matrix addition and multiplication in a compact and uniform way.

关键词： Block matrix arithmetic Generalized multisets Hybrid intervals Hybrid sets Structured matrices

来源：评论

学校读者我要写书评

暂无评论

A Multi-agent Architecture for Ontology-based Diagnosis of Mental Disorders 17

A Multi-agent Architecture for Ontology-based Diagnosis of M...

引用

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

作者： Ivascu, Todor Manate, Bogdan Negru, Viorel West Univ Timisoara Dept Comp Sci Fac Math & Informat Bvd V Parvan 4 Timisoara Romania Inst E Austria Timisoara Bvd V Parvan 4 Timisoara Romania

ISBN: (纸本)9781509004614

this paper presents a Multi-agent system that facilitates the remote monitoring of the elderly patients which are susceptible to mental disorder diseases. In order to find early signs of health condition depreciation we have assessed four of the most common mental disorder diseases to find which kind of sensors can detect specific symptoms with the main purpose of creating an early warning system. the diagnosis component is based on an ontology that defines the relations between sensors, symptoms and diseases. Based on these relationships a specialized agent can inform the medical personnel about the detected symptoms.

关键词： Cloud computing Multi-agent architecture e-Health Ontology-based diagnosis Internet of things

来源：评论

学校读者我要写书评

暂无评论

Computation Results of the Riemann Zeta Search Project 20

Computation Results of the Riemann Zeta Search Project

引用

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

作者： Tihanyi, Norbert Kovacs, Attila Eotvos Lorand Univ Fac Informat Dept Comp Algebra Budapest Hungary

ISBN: (纸本)9781728106250

the paper summarizes the computation results of the Riemann Zeta Search Project. the aim of the project was to find extremely large values of the Riemann zeta function on the critical line. the computing method is based on the RS-PEAK algorithm which was presented in the 16th SYNASC conference in 2014. the computation environment was served by the SZTAKI Desktop Grid operated by the Laboratory of Parallel and Distributed Systems at the Hungarian Academy of Sciences. Applying the RS-Peak algorithm 5597001 candidates were found where large values of the Riemann-Siegel Zfunction are expected. the largest known values are presented and published on the project website https://***.

关键词： Riemann zeta function Distributed computing Large Z(t) values

来源：评论

学校读者我要写书评

暂无评论

On computing mesh root systems and the isotropy group for simply-laced Dynkin diagrams

On computing mesh root systems and the isotropy group for si...

引用

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

作者： Felisiak, Mariusz Simson, Daniel Nicolaus Copernicus Univ Fac Math & Comp Sci Torun Poland

ISBN: (纸本)9780769549347;9781467350266

We continue and complete a Coxeter spectral study (presented in our talk given in SYNASC11, Timisoara, September 2011 [6]) of the root systems in the sense of Bourbaki [4], the mesh geometries Gamma(R-Delta, phi(A)) of roots of Delta in the sense of [20], and matrix morsifications A is an element of Mor (Delta), for simply-laced Dynkin diagrams Delta is an element of {A(n), D-n, E-6, E-7, E-8}. One of the main aims of the talk is to present a progress obtained during the last year in solving the problems stated in our talk [6]. We show that the reduced mesh root systems and mesh geometries of roots for each of the Dynkin diagrams Delta can be classified for n <= 9 by applying symbolic computer algebra computations and numeric algorithmic computations. We also compute the isotropy group Gl(n, Z)(Delta) of Delta defined in [22]-[23], determine its structure and compute the Gl(n, Z)(Delta)-orbits of the morsifications A is an element of Mor (Delta), for Delta is an element of {A(n), D-m}, with n <= 9 and 4 <= m <= 8. Results of our computing experiences are presented in three tables of Section 4.

关键词： geometry group theory matrix algebra process algebra symbol manipulation

来源：评论

学校读者我要写书评

暂无评论

Grid Based Services and Tools for Hydrological Model Processing and Visualization

Grid Based Services and Tools for Hydrological Model Process...

引用

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

作者： Bacu, Victor Mihon, Danut Stefanut, Teodor Rodila, Denisa Gorgan, Dorian Cau, Pierluigi Manca, Simone Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania Ctr Adv Studies Res & Dev Sardinia Italy

ISBN: (纸本)9780769546308

Different scenarios based on environmental changes and water quality models could be used to assess the sustainability and vulnerability of a particular geographical region. the gSWAT and BASHYT platforms provide services and tools supporting the calibration, execution and visualization of the SWAT models. the paper presents the experiments on the execution of different scenarios based on calibrated SWAT model over the Grid infrastructure. Based on the requirements for the SWAT models, lots of input and output data, the high number of simulations that must be performed in the calibration process, the Grid could offer both the storing and execution solutions. this paper presents the interoperability between gSWAT and BASHYT platforms highlighting the architectural components and presenting some test cases to assess the system performances. the research work is supported by the 4-years FP7 Project called EnviroGRIDS Black Sea Catchment Observation and Assessment System supporting Sustainable Development (http://***/) cofounded by the European Commission.

关键词： Grid computing SWAT scenarios

来源：评论

学校读者我要写书评

暂无评论

Using the distribution of cells by dimension in a cylindrical algebraic decomposition 16

Using the distribution of cells by dimension in a cylindrica...

引用

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

作者： Wilson, David England, Matthew Bradford, Russell Davenport, James H. Univ Bath Dept Comp Sci Bath BA2 7AY Avon England

ISBN: (纸本)9781479984480

We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure and determined mostly by the number of variables. this insight is then combined with an algorithm that produces only full-dimensional cells to give an accurate method of predicting the number of cells in a complete CAD. Since constructing only full-dimensional cells is relatively inexpensive (involving no costly algebraic number calculations) this leads to heuristics for helping with various questions of problem formulation for CAD, such as choosing an optimal variable ordering. Our experiments demonstrate that this approach can be highly effective.

关键词： algebra CAD cells distribution cylindrical algebraic decomposition full-dimensional cells optimal variable ordering Buildings Complexity theory Design automation Polynomials Prediction algorithms scientific computing Standards cell distribution heuristic problem formulation Computer-Aided Design cellular distribution Problem Formulation Prediction algorithms scientific computing Algebra Complexity theory Heuristics Polynomial Buildings DFFB gene dimensions Cells Cylindrical

来源：评论

学校读者我要写书评

暂无评论

OFBench: an Enterprise Application Benchmark for Cloud Resource Management Studies

OFBench: an Enterprise Application Benchmark for Cloud Resou...

引用

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

作者： Moschetta, Jean Casale, Giuliano Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9780769549347;9781467350266

We introduce OFBench, a new research benchmark for enterprise applications. OFBench is a load generator for the demo e-commerce component of the Apache OFBiz enterprise resource planning (ERP) framework. ERP applications are increasingly important in the cloud market due to the growing popularity of Software-as-a-Service (SaaS) solutions, hence OFBench is useful to explore the resource consumption patterns arising in these applications. On client-side, OFBench features randomized customer surfing patterns, workload generation based on automation of real web browsers, reproducible burstiness in inter-request and inter-session think times, non-stationary workload generation. On server-side, it features JMX performance monitoring, business logic instrumentation, and synchronization with client-side monitoring via TCP sockets. We illustrate the execution of the benchmark in example runs and use them to investigate the overheads of JMX-based monitoring.

关键词： Web services cloud computing electronic commerce enterprise resource planning formal logic randomised algorithms resource allocation synchronisation transport protocols

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：