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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

'Descente Infinie' Induction-based Saturation Procedures

'Descente Infinie' Induction-based Saturation Procedures

引用

9th international symposium on symbolic and numeric algorithms for scientific computing

作者： Stratulat, Sorin Univ Paul Verlaine Metz LITA F-57000 Metz France

ISBN: (纸本)9780769530789

In [11], we have shown that implicit induction and saturation proof techniques share the same logic, witnessed by an inference system implementing the Fermat's 'Descente Infinie' induction principle. As a case study, a simple paramodulation-based inference system has been proved as an instance of it. In this paper, we detail the instantiation method to treat general saturation-based systems and apply it to analyse a non-trivial resolution-based system. We also propose a methodology to build variants of existing systems, which preserve crucial properties like soundness and refutational completeness.

关键词： Logic Carbon capture and storage Inference algorithms scientific computing Computer science Calculus Testing Concrete

来源：评论

学校读者我要写书评

暂无评论

A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment 18

A Combined Analytical Modeling Machine Learning Approach for...

引用

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

作者： Ataie, Ehsan Gianniti, Eugenio Ardagna, Danilo Movaghar, Ali Sharif Univ Technol Dept Comp Engn Tehran Iran Politecn Milan Dipartimento Elettron Informaz & Bioingn Milan Italy

ISBN: (纸本)9781509057078

Nowadays MapReduce and its open source implementation, Apache Hadoop, are the most widespread solutions for handling massive dataset on clusters of commodity hardware. At the expense of a somewhat reduced performance in comparison to HPC technologies, the MapReduce framework provides fault tolerance and automatic parallelization without any efforts by developers. Since in many cases Hadoop is adopted to support business critical activities, it is often important to predict with fair confidence the execution time of submitted jobs, for instance when SLAs are established with end-users. In this work, we propose and validate a hybrid approach exploiting both queuing networks and support vector regression, in order to achieve a good accuracy without too many costly experiments on a real setup. the experimental results show how the proposed approach attains a 21% improvement in accuracy over applying machine learning techniques without any support from analytical models.

关键词： Analytical performance modeling machine learning cloud computing MapReduce

来源：评论

学校读者我要写书评

暂无评论

Optimization and parallelization of Emedge3D on shared memory architecture

Optimization and parallelization of Emedge3D on shared memor...

引用

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

作者： Kuhn, Matthieu Latu, Guillaume Genaud, Stephane Crouseilles, Nicolas Univ Strasbourg Icube CNRS Strasbourg France CEA IRFM F-13108 St Paul Les Durance France Univ Rennes 1 Inria Rennes Bretagne Atlantique IPSO Project IRMARUMR 6625 F-35014 Rennes France

ISBN: (纸本)9781479930357

this paper presents a study of techniques used to speedup a scientific simulation code. the techniques include sequential optimizations as well as the parallelization with OpenMP. this work is carried out on two different multicore shared memory architectures, namely a cutting edge 8x8 core CPU and a more common 2x6 core board. Our target application is representative of many memory bound codes, and the techniques we present show how to overcome the burden of the memory bandwidth limit, which is quickly reached on multi-core or many-core with shared memory architectures. To achieve efficient speedups, strategies are applied to lower the computation costs, and to maximize the use of processors caches. Optimizations are: minimizing memory accesses, simplifying and reordering computations, and tiling loops. On 12 cores processor Intel X5675, aggregation of these optimizations results in an execution time 21.6 faster, compared to the original version on one core.

关键词： shared memory optimization parallelization scientific computing memory bandwidth bound

来源：评论

学校读者我要写书评

暂无评论

computing homological information based on directed graphs within discrete objects 16

Computing homological information based on directed graphs w...

引用

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

作者： Gonzalez-Lorenzo, Aldo Bac, Alexandra Mari, Jean-Luc Real, Pedro Aix Marseille Univ CNRS LSIS UMR 7296 Marseille France Univ Seville Inst Math IMUS Seville Spain

ISBN: (纸本)9781479984480

n-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the original discrete object. the classic approach consists in computing the Normal Smith Form of some matrices associated to the cubical complex. Further approaches deal mainly with a pre-processing of the matrices in order to reduce their size. In this paper we propose a new approach, initially based on Discrete Morse theory, which computes some homological information (Betti numbers and representative cycles) without calculating the Normal Smith Form. It works on any dimension, and it can also be applied to any kind of regular cell complex.

关键词： directed graphs matrix algebra object recognition pattern classification Betti numbers Normal Smith Form cubical complexes discrete Morse theory discrete object discrete objects homological information computation n-dimensional discrete objects representative cycles Context Equations Face Large scale integration scientific computing three-dimensional displays Vectors Discrete Morse theory arbitrary dimension computational topology graphs homology simplicial complexes directed graphs three-dimensional displays Large scale integrate circuit scientific computing matrix algebra Pattern recognition object recognition homology Homology Face Face Smith form

来源：评论

学校读者我要写书评

暂无评论

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior 18

Coverability Analysis of Time Basic Petri Nets with Non-Urge...

引用

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

作者： Camilli, Matteo Bellettini, Carlo Capra, Lorenzo Monga, Mattia Univ Milan Dept Comp Sci Milan Italy

ISBN: (纸本)9781509057078

Time Basic Petri nets are an expressive extension of Petri nets, suitable to model real-time systems. this paper introduces a coverability analysis technique to cope with structurally unbounded Time Basic Petri net models exhibiting non-urgent behavior: i.e., models in which transitions may choose to do not fire and let time pass, even if this could lead to transition disabling. the approach we present exploits the identification of anonymous temporal information, that is the possibility of erasing timestamps associated with specific tokens without compromising the correctness of model's temporal evolution. In particular, we extend the classical Karp-Miller coverability algorithm in two ways: first, we adapt the acceleration function to deal with symbolic states and to identify unboundedness due to time anonymous tokens;second, we employ an aggressive pruning strategy to remove included/ covered portions of the reachability tree during exploration.

关键词： real-time systems Time Basic Petri nets time constraints infinite-states systems reachability problems coverability analysis symbolic state space exploration

来源：评论

学校读者我要写书评

暂无评论

Toward an optimal power-aware scheduling technique

Toward an optimal power-aware scheduling technique

引用

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

作者： Andrei, Stefan Cheng, Albert M. K. Radulescu, Vlad McNicholl, Timothy Lamar Univ Dept Comp Sci Beaumont TX 77710 USA Univ Houston Dept Comp Sci Houston TX USA Cuza Univ Iasi Dept Comp Sci Iasi Romania Iowa State Univ Dept Math Ames IA USA

ISBN: (纸本)9780769549347;9781467350266

With the rapid demand of portable and mobile embedded systems, reducing energy consumption has become a vital research area in the real-time embedded systems community. there exist many research works which describe scheduling algorithms minimizing the total energy of a system. However, very few works describe scheduling techniques for which the energy consumption is optimal. this paper describes a scheduling technique which provides an optimal schedule in terms of power consumption on a uniprocessor platform running non-preeemptive jobs. To the best of our knowledge, there is no analytical formula of the minimum energy for an arbitrary job set with.. jobs, where n >= 2 is the number of jobs. A multi-case analytical formula for the minimum energy of job sets with two jobs is provided here as an original contribution.

关键词： embedded systems power aware computing processor scheduling total energy systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds

Evaluating the Auto Scaling Performance of Flexiscale and Am...

引用

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

作者： Ferraris, Filippo Lorenzo Franceschelli, Davide Gioiosa, Mario Pio Lucia, Donato Ardagna, Danilo Di Nitto, Elisabetta Sharif, Tabassum Politecn Milan Dipartimento Elettron & Informaz Milan Italy Flexiant Ltd Edinburgh Midlothian Scotland

ISBN: (纸本)9780769549347;9781467350266

Nowadays cloud computing is becoming one of the most used technological solution to achieve scalability and reduce costs. Scalability is a key point for the success of any business involving the Web and providing services to end-user requests that may vary drastically from one time to another. Sizing a system to provide performance guarantees under peak traffic can be cost prohibitive;the main advantage of cloud computing lays in the opportunity to allocate resources on-demand on a pay per use basis. In this paper we extend Flexiscale public cloud with auto scaling mechanisms and compare these mechanisms with those offered by Amazon. the analysis aims at identifying useful patterns for the execution of Web applications in the cloud and at underlining the critical factors that affect the performance of the two providers. We performed a large set of experiments that demonstrated the importance of tuning correctly the auto scaling parameters.

关键词： Cloud computing scalability auto scaling virtualization

来源：评论

学校读者我要写书评

暂无评论

Membrane computing as a framework for modeling economic processes

Membrane computing as a framework for modeling economic proc...

引用

7th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2005

作者： GheorghePaun PǍun, Radu A. Institute of Mathematics Romanian Academy PO Box 1-764 014700 Bucureşti Romania University of Maryland Dept. of Economics 3105 Tydings Hall College Park MD 20742-7211 United States

ISBN: (纸本)0769524532

this paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. We start by a simple interpretation of several basic ingredients of membrane computing in economic terms, thus proving that the (conceptual, formal, graphical) language of membrane computing can be useful for economics, and then we introduce a class of P systems (with bi-rules), which capture features of economic processes which cannot be covered by the "standard" P systems. A simple illustration of the versatility of this formalism is also given. © 2005 IEEE.

关键词： Natural sciences computing

来源：评论

学校读者我要写书评

暂无评论

Application of symbolic Regression in Polymer Processing 24

Application of Symbolic Regression in Polymer Processing

引用

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

作者： Roland, Wolfgang Kommenda, Michael Berger-Weber, Gerald R. Johannes Kepler Univ Linz Inst Polymer Proc & Digital Transformat Linz Austria Univ Appl Sci Upper Austria Josef Ressel Ctr Symbol Regress Hagenberg Austria

ISBN: (纸本)9781665465458

Modeling and simulation is essential in polymer processing for predicting process characteristics and designing processing machines. Traditional models are based on analytical approaches. Over the last decades numerical simulation techniques have grown significantly with the rising computational power. With the ongoing digitalization the available data increased significantly and data-based modeling techniques have become popular also for production systems. Utilizing the available data powerful models, for instance, decision trees and artificial neural networks, can be trained. the prediction accuracy is strongly governed by the quality of the underlying training data. In this work, a hybrid approach is presented combining analytical, numerical and data-based approaches efficiently to overcome the limitations of the individual techniques. As a result, explicit symbolic regression models are obtained, which are optimized on the basis of a numerically derived dataset. the power of this approach is demonstrated by a selected use-case. these highly accurate models may be implemented into any further application.

关键词： mathematical modeling simulation polymer processing non-linear regression

来源：评论

学校读者我要写书评

暂无评论

Continuation Semantics for Dynamic Hierarchical Systems 17

Continuation Semantics for Dynamic Hierarchical Systems

引用

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

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

ISBN: (纸本)9781509004614

We present a denotational semantics designed with metric spaces and continuations for a simple concurrent language L-MB embodying a representative set of features encountered in membrane computing. L-MB is a multiset rewriting language. In L-MB multisets of objects are encapsulated in hierarchical structures of compartments, or regions, delimited by membranes. the behaviour of each membrane is specified by means of multiset rewriting rules. the semantics of parallel composition in L-MB is based on the concept of maximal parallelism. Computations proceed according to the multiset rewriting rules, nondeterministically choosing the rules and the objects. Membranes can be grouped into classes based on the rewriting rules that they encapsulate;L-MB also provides a primitive for membrane creation, or instantiation. In this sense, L-MB is similar to an object oriented language. We use continuations and a powerdomain construction to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing dynamic membrane structures. Our continuation semantics describes in a compositional manner the behavior of an L-MB program as a dynamic hierarchical system. As far as we know, this is the first paper that presents a metric denotational semantics for the combination of features embodied in L-MB.

关键词： metric semantics continuations parallel multiset rewriting dynamic hierarchical system membrane computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：