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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

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...

引用

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

作者： Mariusz Felisiak Daniel Simson Faculty of Mathematics and Computer Science Nicolaus Copernicus University Torun Poland

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 Γ(R Δ , Φ A ) of roots of Δ in the sense of [20], and matrix morsifications A ∈ Mor Δ , for simply-laced Dynkin diagrams Δ ∈ {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 Δ 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) Δ of Δ defined in [22]-[23], determine its structure and compute the Gl(n, Z) Δ -orbits of the morsifications A ∈ Mor Δ , for Δ ∈ {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 Zinc Polynomials Algebra Computers Symmetric matrices

来源：评论

学校读者我要写书评

暂无评论

computing with Free Algebras

Computing with Free Algebras

引用

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

作者： Paul Tarau Department of Computer Science and Engineering University of North Texas Denton USA

We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all of them when seen as isomorphic with the set of natural numbers. Constructors and deconstructors seen through an initial algebra semantics are generalized to recursively defined functions obeying similar laws. Implementations using GHC's "view" construct are discussed, based on the free algebra of rooted ordered binary trees.

关键词： Algebra Binary trees Generators Complexity theory Computer science Semantics

来源：评论

学校读者我要写书评

暂无评论

A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge Arrays

A Fault-Tolerant Distributed Solution for the Parallel Gauss...

引用

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

作者： Adrian Mocanu Nicolae Tapus Department of Computer Science POLITEHNICA University of Bucharest Romania

Solving a linear system of equations is a common task performed for most of the scientific experiments. Everyday, these applications increase their demands, pushing the computational capacity to the limits. At a certain point, our systems, running common algorithms, become unable to process such massive amounts of information. the paper analyses and modifies the standard Gaussian reduction so that a huge array may be handled by almost any distributed system. Moreover, the paper focuses on providing a decent level of fault tolerance in order to comply with a real, heterogeneous distributed system and on becoming a solution for sensitive applications.

关键词： Peer-to-peer computing Fault tolerance Fault tolerant systems Equations Computer architecture Monitoring Graphics processing units

来源：评论

学校读者我要写书评

暂无评论

LEFT-Logical Expressions Feature Transformation: A framework for transformation of symbolic features 1

引用

9th international symposium on Neural Networks, ISNN 2012

作者： Saeed, Mehreen Department of Computer Science FAST National University of Computer and Emerging Sciences Pakistan

ISBN: (数字)9783642313622

ISBN: (纸本)9783642313615

the accuracy of a classifier relies heavily on the encoding and representation of input data. Many machine learning algorithms require that the input vectors be composed of numeric values on which arithmetic and comparison operators be applied. However, many real life applications involve the collection of data, which is symbolic or 'nominal type' data, on which these operators are not available. this paper presents a framework called logical expression feature transformation (LEFT), which can be used for mapping symbolic attributes to a continuous domain, for further processing by a learning machine. It is a generic method that can be used with any suitable clustering method and any appropriate distance metric. the proposed method was tested on synthetic and real life datasets. the results show that this framework not only achieves dimensionality reduction but also improves the accuracy of a classifier. © 2012 Springer-Verlag.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Trust Model Engines in Cloud computing

Trust Model Engines in Cloud Computing

引用

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

作者： Marcela Roxana Farcasescu Department of Informatics West University of Timisoara Timisoara Romania

the first concern when we think about adopting cloud computing is security. Even if, cloud computing seems to be remarkably cheap, the security part might transform the "buzz world" in a terribly expensive technology. the goal of this paper is to present a different perspective of delivering security as a service thru a new defined concept, trust engines. this concept, introduced in this paper, relies on trust management. A trust management system can be achieved in cloud computing by implementing multiple trust models that define what a user can do and what type of protection he has. By identifying the static and dynamic trust models, the cloud provider and the cloud user can have a proper control of the cloud security. A trust model engine could create both static and dynamic rules that will establish a classified profile for all the cloud users.

关键词： Engines Business Cloud computing Computational modeling Authorization Syntactics

来源：评论

学校读者我要写书评

暂无评论

Automated Synthesis of Some algorithms on Finite Sets

Automated Synthesis of Some Algorithms on Finite Sets

引用

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

作者： Isabela Dramnesc Tudor Jebelean Department of Computer Science West University Timisoara Romania Research Institute for Symbolic Computation Johannes Kepler University Linz Linz Austria

We start from the set theory axioms and we represent sets by monotone lists (sorted lists without duplications). For this, we define a representation function R and its reverse S and we want to synthesize the implementation of the essential corresponding predicates and functions over sets. Each synthesis starts as an inductive constructive proof which applies specific strategies and inference rules. We synthesize (by extracting from proofs) five algorithms among which two predicates: membership and inclusion, and three functions: union, intersection, and difference. In the process of proving we use properties from the theory of sets and we also add other necessary properties in the knowledge base. In this way we explore the theory of sets (represented as monotone lists). the program synthesis and the corresponding theory exploration are carried out in the frame of the theorem a system. One of the major advantages of our approach is that the algorithms for operating on sets represented as monotone lists are more efficient than the ones for operating on sets represented as non-sorted lists.

关键词： Knowledge based systems Inference algorithms Educational institutions Electronic mail Set theory Context scientific computing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Service Brokering in Cloud Governance

Service Brokering in Cloud Governance

引用

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

作者： Victor Ion Munteanu Cristina Mindruta Teodor-Florin Fortis Faculty of Mathematics and Informatics Department of Computer Science West University of Timişoara Timisoara Romania Institute e-Austria Timisoara Romania

the dawn of Cloud computing has opened new opportunities for IT-based industries, enabling them to cut costs and extend their businesses to a level which was previously hard to attain. While Cloud adoption is an ongoing process, many enterprises are still reluctant to pursue it because its downside outweighs its benefits, especially due to problems related to security and privacy. Coming from Service Oriented Architecture (SOA) Governance, Cloud Governance aims to cover these issues by offering a set of complementary services to the already available Cloud Management ones. this paper covers one of the core aspects of Cloud Governance, its ability to provide service brokering. A semantic approach is proposed where related services and cloud ontologies as well as brokering mechanisms are discussed.

关键词： Ontologies Semantics Cloud computing Contracts Service-oriented architecture Context Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Soundness of a Logic-Based Verification Method for Imperative Loops

Soundness of a Logic-Based Verification Method for Imperativ...

引用

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

作者： Madalina Erascu Tudor Jebelean Research Institute for Symbolic Computation Johannes Kepler University Linz Linz Austria

We present a logic-based verification method for imperative loops (including ones with abrupt termination) and the automatic proof of its soundness. the verification method consists in generating verification conditions for total correctness of an imperative loop annotated with an invariant. We realized, in the \textit{theorem a} system (\url{***}), the automatic proof of the soundness of verification method: if the verification conditions hold, then the imperative loop is totally correct with respect to its given invariant. the approach is simpler than the others because it is based on functional semantics (no additional theory of program execution is necessary) and produces verification conditions in the object theory of the program. the computer-supported proofs reveal the minimal collection of logical assumptions (some from natural number theory) and logical inferences (including induction) which are necessary for the soundness of the verification technique.

关键词： Semantics Syntactics Arrays Indexes Programming Calculus Cognition

来源：评论

学校读者我要写书评

暂无评论

OFBench: An Enterprise Application Benchmark for Cloud Resource Management Studies

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

引用

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

作者： Jean Moschetta Giuliano Casale Department of Computing Imperial College London UK

We introduce OF Bench, a new research benchmark for enterprise applications. OF Bench is a load generator for the demo e-commerce component of the Apache OF Biz 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 OF Bench is useful to explore the resource consumption patterns arising in these applications. On client-side, OF Bench 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.

关键词： Benchmark testing Monitoring Browsers Business Databases Java Generators

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：