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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

580 篇 会议
6 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

191 篇 工学
- 188 篇 计算机科学与技术...
- 116 篇 电气工程
- 33 篇 软件工程
- 7 篇 控制科学与工程
- 4 篇 信息与通信工程
- 2 篇 电子科学与技术（可...
- 1 篇 力学（可授工学、理...
- 1 篇 材料科学与工程（可...
- 1 篇 安全科学与工程
69 篇 理学
- 68 篇 数学
- 3 篇 物理学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
20 篇 经济学
- 18 篇 理论经济学
- 2 篇 应用经济学
15 篇 管理学
- 11 篇 管理科学与工程(可...
- 10 篇 工商管理
- 4 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学

主题

289 篇 scientific compu...
91 篇 computer science
62 篇 cloud computing
52 篇 computational mo...
37 篇 polynomials
34 篇 algorithm design...
29 篇 algebra
27 篇 computer archite...
25 篇 testing
24 篇 mathematics
22 篇 software algorit...
22 篇 complexity theor...
22 篇 standards
21 篇 electronic mail
20 篇 grid computing
20 篇 monitoring
19 篇 semantics
18 篇 application soft...
18 篇 distributed comp...
17 篇 concurrent compu...

机构

11 篇 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 篇 davenport james ...
5 篇 dorel lucanu
5 篇 ardagna danilo
5 篇 ciprian dobre
5 篇 ruxandra stoean
5 篇 stephen m. watt
5 篇 florin pop

语言

589 篇 英文
1 篇 中文

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

共 590 条记录，以下是251-260 订阅

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

详细简洁

排序：

A Parallel, Distributed, High-Performance Architecture for Simulating Particle-based Models 16

A Parallel, Distributed, High-Performance Architecture for S...

引用

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

作者： Sabou, Adrian Gorgan, Dorian Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca 400027 Romania

ISBN: (纸本)9781479984480

Particle-based models are widespread in the field of computer graphics and are mostly used in soft-body dynamics, for simulating surfaces such as cloth, fluids and biologic tissue. As model resolution and scenario complexity increases, the computation required for these particular applications becomes overwhelming for a single processing unit, especially when interactivity is required, thus parallelization must be employed in order to provide a fast, flexible and scalable simulation environment. High-performance computing architectures such as graphics clusters may provide the parallel computing and rendering power required, but the distributed and remote nature of the computation and rendering process introduce specific challenges that must be tackled. We propose a parallel, distributed, modular system architecture for a particle-based simulator on GPU clusters, encapsulating powerful parallel and distributed processing, distributed rendering and remote interaction techniques, for flexible, fast simulation of large models and complex scenarios. For validating and evaluating the proposed architecture, we perform a visual comparison of two largely used numeric integration methods, namely the explicit Velocity Verlet and implicit Euler integration techniques.

关键词： particle-based models distributed computing parallel computing high-performance computing simulation graphics cluster GPGPU

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

OpenStack and CloudStack: Open Source Solutions for Building Public and Private Clouds 16

OpenStack and CloudStack: Open Source Solutions for Building...

引用

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

作者： Barkat, Amine dos Santos, Alysson Diniz thi thao Nguyen Ho Politecn Milan Dipartimento Elettron Informaz & Bioingn I-20133 Milan Italy

ISBN: (纸本)9781479984480

Cloud computing is continuously growing as a prominent technology for enterprises. While several giant public cloud providers, such as Amazon, Microsoft, IBM, Google are competing to extend their market, there is still a large number of organizations asking higher level of privacy and control over cloud solutions. therefore, the need to have private cloud solutions is obvious. To overcome this need there are several on-going open source software frameworks for building public and private clouds. Among them, OpenStack and CloudStack are growing at fast pace and gaining more attention. An analysis on these software stacks is necessary in order to choose the most suitable solution that matches an enterprise's requirements. this paper main contribution is an in depth study and comparison of the cloud properties of these two open source frameworks, providing useful information on open source cloud solutions that are not available elsewhere.

关键词： OpenStack CloudStack cloud computing open source public cloud private cloud IaaS

来源：评论

学校读者我要写书评

暂无评论

Early Prediction of the Cost of HPC Application Execution in the Cloud 16

Early Prediction of the Cost of HPC Application Execution in...

引用

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

作者： Rak, Massimiliano Turtur, Mauro Villano, Umberto Univ Naples 2 Dept Ind & Informat Engn Aversa Italy Univ Sannio Dept Engn Benevento Italy

ISBN: (纸本)9781479984480

Even if clouds are not fit for high-end HPC applications, they could be profitably used to bring the power of economic and scalable parallel computing to the masses. But this requires both simple development environments, able to exploit cloud scalability, and the capability to easily predict the cost of HPC application runs. this paper presents a framework built on the top of a cloud-aware programming platform (mOSAIC) for the development of bag-of-tasks scientific applications. the framework integrates a cloud-based simulation environment able to predict the behavior of the developed applications. Simulations enable the developer to predict at an early development stage performance and cloud resource usage, and so the infrastructure lease cost on a public cloud. the paper sketches the framework organization and discusses the approach followed for application development. Moreover, some validation tests of prediction results are presented.

关键词： cloud computing parallel processing HPC application execution cost prediction bag-of-tasks scientific applications cloud aware programming platform cloud resource usage cloud-based simulation environment mOSAIC public cloud scalable parallel computing Benchmark testing Cloud computing Computational modeling Corporate acquisitions Load modeling Prediction algorithms Predictive models Cloud computing bag of tasks mosaic performance prediction scientific applications simulation Cloud computing PARALLEL PROCESSING (COMPUTERS) corporate acquisitions Benchmark testing mosaic pattern Prediction algorithms Load modeling performance prediction Computational modeling Prediction models Clouds Patchy burn Mosaic CLOUDS High Performance computing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 14th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2012

Proceedings - 14th International Symposium on Symbolic and N...

引用

14th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2012

ISBN: (纸本)9780769549347

the proceedings contain 71 papers. the topics discussed include: enabling distributed intelligent systems in open environments through agreement technologies;interactive vs. automated proofs in computational origami;synthesis from examples: interaction models and algorithms;computing with free algebras;what is an equation?;experiences in symbolic computations for matrix problems;proposal of singularization of approximately singular polynomial systems;solving robust glucose-insulin control by Dixon resultant computations;computational properties of two P systems solving the 3-coloring problem;algebraic theory exploration: a comparison of technologies;a model reference type algorithm using importance resampling;on computing mesh root systems and the isotropy group for simply-laced dynkin diagrams;and optimal homotopy asymptotic method for solving a nonlinear problem in elasticity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On computing non-negative loop-free edge-bipartite graphs

On computing non-negative loop-free edge-bipartite graphs

引用

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

作者： Marczak, Grzegorz Simson, Daniel Zajac, Katarzyna Nicolaus Copernicus Univ Fac Math & Comp Sci Torun Poland

ISBN: (纸本)9781479930357

We continue the Coxeter spectral study of finite connected loop-free edge-bipartite graphs Delta, with n >= 2 vertices (a class of signed graphs), started in [ SIAM J. Discrete Math., 27(2013), 827-854] by means of the complex Coxeter spectrum specc(Delta) subset of C. Here, we discuss Coxeter spectral analysis problems of non-negative edge-bipartite graphs of corank s <= n - 1, which means that the symmetric Gram matrix G(Delta) is an element of M-n(Z) is positive semi-definite of rank n - s <= n. In particular, we study in details the loop-free edge-bipartite graphs of corank s = n - 1. We present algorithms that generate all such edge-bipartite graphs of a given size and, using symbolic and numerical computer calculations in Python, and we obtain their complete classification in relation with Diophantine geometry problems. We also construct algorithms that allow us to classify all connected loop-free non-negative edge-bipartite graphs Delta, with a fixed number n >= 2 of vertices, by means of their Coxeter spectra specc(Delta).

关键词： Coxeter spectrum Z-congruence edge-bipartite graph mesh root system unit quadratic form Bipartite graph loop-free Nonnegative Positive semi-definite Pythonidae

来源：评论

学校读者我要写书评

暂无评论

MPI-based Asynchronous Simulation of Spiking Neural Networks on the Grid

MPI-based Asynchronous Simulation of Spiking Neural Networks...

引用

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

作者： Joldos, Marius Vinteler, Octavian Peter, Ioan Radu Muntean, Ioan Lucian Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania Tech Univ Cluj Napoca Dept Math Cluj Napoca Romania

ISBN: (纸本)9781479930357

Brain microcircuits exhibit an almost chaotic behavior. this is of high interest in developing new computational models or designing high capacity storage systems. therefore, the simulation of such microcircuits must preserve the brain dynamic behavior. But investigating the dynamics analysis of such systems is a complex computational task due to the large number of neurons and synapses in the network, the large number of simulation scenarios that need to be computed, and to their model representation. To address the first challenge, we propose in this paper an MPI-based parallelization scheme of the asynchronous spiking neural network simulation algorithm. Due to the partitioning method, we can compute scenarios with more than 50.000 neurons and 300 millions synapses. the proposed solution has been evaluated on production HPC systems, employing up to 512 parallel processes. We contribute to the second challenge by extending the fACIBiNET framework with client-side capabilities for the Globus Online service. As such, scenarios with both high-throughput and high-performance computing requirements are managed in an efficient manner from within the framework, using grid technologies.

关键词： Grid computing Spiking Neural Networks Asynchronous Simulation

来源：评论

学校读者我要写书评

暂无评论

Reducing energy consumption by using Clouds

Reducing energy consumption by using Clouds

引用

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

作者： Brandic, Ivona Vienna Univ Technol Vienna Austria

ISBN: (纸本)9781479930357

Cloud computing is a promising technology for the realization of large, scalable, and on-demand provisioned computing infrastructures. Currently, many enterprises are adopting Clouds to achieve high performance and scalability for their applications while maintaining low costs. Service provisioning in the Cloud is based on a set of predefined nonfunctional properties specified and negotiated by means of Service Level Agreements (SLAs). Cloud workloads are dynamic and change constantly. thus, in order to reduce steady human interactions, self-manageable Cloud techniques are required to comply with the agreed customers' SLAs. Flexible and reliable management of SLAs is of paramount importance for both, Cloud providers and consumers. On one hand, the prevention of SLA violations avoids penalties that are costly to providers. On the other hand, based on flexible and timely reactions to possible SLA violation threats, user interaction with the system can be minimized enabling Cloud computing to take roots as a flexible and reliable form of on-demand computing. Furthermore, a trade-off has to be found between proactive actions that prevent SLA violations and those that reduce energy consumption, i.e., increase energy efficiency. In this talk we discuss how the application of Cloud computing technologies can support the work of scientists working in the field of high-throughput sequencing, while at the same time optimizing utilization of resource and increasing energy efficiency.

关键词： Clouds Cloud computing Energy efficiency energy consumption SLA gene reduced power FLEXIBLE CLOUDS Scalability user-computer interaction Speaking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：