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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Applying a symbolic approach for SWN enabling test to workflow models

Applying a symbolic approach for SWN enabling test to workfl...

引用

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

作者： Capra, Lorenzo Univ Milan Dipartimento Informat & Comunicaz I-20131 Milan Italy

ISBN: (纸本)9780769527406

Colored Petri Nets are a formalism widely used to specify and analyze workflow models. Finding the set of transition color instances enabled in a given marking is a basic task affecting reachability graph construction, model-checking, and especially discrete-event simulation, which is an interesting alternative when analytical solutions are unfeasible due to state-space explosion. A recently introduced symbolic approach to colored transition enabling test is the kernel for the efficient implementation of several algorithms for the analysis of SWN (a Stochastic CPN flavor retaining power that exploits behavioral symmetries) based on state-space exploration. An application example of the symbolic enabling test for efficient simulation of SWN workflow models is presented. the example shows that the technique can be easily integrated to the SWN symbolic firing rule.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

computing the Lowest-order Element of a Multivariate Elimination Ideal by Using Remainder Sequences 20

Computing the Lowest-order Element of a Multivariate Elimina...

引用

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

作者： Sasaki, Tateaki Inaba, Daiju Univ Tsukuba Tsukuba 1-1-1 Ibaraki 3058571 Japan Math Certificat Inst Japan Ueno 5-1-1 Tokyo 1100005 Japan

ISBN: (纸本)9781728106250

Given a set of m +1 multivariate polynomials, with m >= 2, in main variables x(1), ... , x(m) and sub-variables u(1), ... , u(n), we can usually eliminate x(1), ... , x(m) and obtain a polynomial in u(1), ... , u(n) only. there are basically two methods to perform this elimination. One is the so-called resultant method and the other is the Grobner basis method. the Grobner basis method gives the lowest-order element (S) over cap (u) of the elimination ideal, where (u) = (u(1), ... , u(n)), but it is often very slow. the resultant method is quite fast, but the resulting polynomial R(u) often contains many more terms than (S) over cap (u). In this paper, we present a simple method of computing (S) over cap (u) by the repeated computation of PRSs (polynomial remainder sequences). the idea is to compute PRSs by changing their arguments systematically and obtain polynomials R-1(u), ... , R-l(u), l >= 2, in the sub-variables only. Let (S) over bar (u) be the GCD of R-1, ... , R-l. then, our main theorem asserts that (S) over bar (u) is a multiple of (S) over cap (u): (S) over bar (u) = (e) over tilde (u)(S) over cap (u). We call (e) over tilde (u) the extraneous factor and it often consists of a small number of terms. We present three conditions and one sub-method to remove (e) over tilde (u) from (S) over bar (u).

关键词： elimination ideal of multivariate polynomial system lowest-order element of elimination ideal variable elimination of multivariate polynomial system resultant method Grobner basis method multivariate polynomial remainder sequence

来源：评论

学校读者我要写书评

暂无评论

Automatic and Reliable Distribution of Data in Grids over Globus Toolkit

Automatic and Reliable Distribution of Data in Grids over Gl...

引用

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

作者： Colesa, Adrian Pop, Teodor Ignat, Iosif Ardelean, Cosmin Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania

ISBN: (纸本)9780769530789

this paper presents a strategy to develop an infrastructure for reliable distribution of data in Grids. We used the data replication services of Globus Toolkit 4.0, but extended their functionality in order to improve the reliabilily of the overall data distribution in different failure scenarios. Our solution makes the data distribution process automatic, based on distribution patterns the user provides when he configures the distribution system built on our infrastructure. We implemented the proposed solution, tested its functionality and measured its efficiency

关键词： Cluster computing

来源：评论

学校读者我要写书评

暂无评论

A Distributed Algorithm for Critical Area Detection in Satellite Imagery

A Distributed Algorithm for Critical Area Detection in Satel...

引用

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

作者： Alecsandrescu, Razvan Pop, Florin Cristea, Valentin Univ Politehn Bucuresti Fac Automat & Comp Sci Bucharest Romania

ISBN: (纸本)9780769535234

this paper presents a distributed algorithm for critical area detection in satellite imagery. the detection of critical area is very important in natural disaster detection and control. the algorithm uses the distributed change detection methods for multiple spectral bands in satellite images and combines changes which have appeared during a period of time. the result shows a critical area for analyzed time interval. the algorithm is distributed for support a large amount of data. the distributed approach shows a decrease in processing time with the increase of the number of workers. the presented algorithm represents a component from MedioGRID system, which implemented a real-time satellite image processing system for extracting relevant environmental and meteorological parameters on Grid systems. the critical area detection application will be integrated in Grid environments.

关键词： Satellite Imagery Change Detection Critical Area Detection Grid computing MedioGRID

来源：评论

学校读者我要写书评

暂无评论

On P systems with bounded parallelism

On P systems with bounded parallelism

引用

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

作者： Bernardini, Francesco Romero-Campero, Francisco J. Gheorghe, Marian Pérez-Jiménez, Mario J. Margenstern, Maurice Verlan, Sergey Krasnogor, Natalio Department of Computer Science University of Sheffield Regent Court Portobello Street Sheffield S1 4DP United Kingdom Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Seville Avda. Reina Mercedes 41012 Sevilla Spain LITA Université de Metz Ille du Saulcy 57045 Metz Cedex France Automated Scheduling Optimisation and Planning Research Group University of Nottingham Jubilee Campus Nottingham NG8 1BB United Kingdom

ISBN: (纸本)0769524532

A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural operational semantics. this approach investigates a generic strategy of selecting membranes and rules and applying the rules. P systems with boundary rules are used to illustrate the case and an example dealing with an evolution strategy involving bounded parallelism is discussed. © 2005 IEEE.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Fast numerical Evaluation for symbolic Expressions in Java 17

Fast Numerical Evaluation for Symbolic Expressions in Java

引用

2015 IEEE 17th international Conference on High Performance computing and Communications (HPCC)

作者： Liu, Yueming Zhang, Peng Qiu, Meikang Univ Texas Arlington Dept Math Arlington TX 76019 USA SUNY Stony Brook Dept Biomed Engn Stony Brook NY 11794 USA Pace Univ Dept Comp Sci New York NY 10038 USA

ISBN: (纸本)9781479989379

the symbolic-numeric computation has been extensively developed in scientific computing for experimenting mathematics in numerical programs, like in optimization problems and finite element methods. Many software and libraries have been developed to support symbolic-numeric computation especially in the recent years. However, most of the implementations are cumbersome and inefficient for numerically evaluating symbolic expressions. the popular implementation chooses the way that generates C/C++/FORTRAN source codes for symbolic expressions and compiles the source files using the external compilers. the compiled machine codes are then linked back to the symbolic manipulation language environment. this process suffers from slow compilation and significant overhead of external function calls. To address this problem, this paper presents a handy approach that provides fast numerical evaluation for symbolic expressions in Java. In our approach, Java bytecode is generated in memory for symbolic expressions and further Just-In-Time (JIT) compiled to machine codes on Java Virtual Machine (JVM) at runtime. We have developed SymJava (https://***/yuemingl/SymJava) to implement our approach and tested a range of benchmark problems. the results show that SymJava is 1 similar to 3 orders of magnitude faster than the existing implementations including Matlab, Mathematica, Sage, theano and SymPy. Additionally, SymJava offers a human friendly programming style for symbolic expressions by overloading operators in Java. Our approach opens up a new avenue for the development of next generation symbolic-numeric software.

关键词： symbolic numeric java bytecode compile JIT

来源：评论

学校读者我要写书评

暂无评论

Grid Service for Environmental Data Retrieval and Disasters Detection Based on Satellite Image Analysis

Grid Service for Environmental Data Retrieval and Disasters ...

引用

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

作者： Pantelimon, Mihai Pop, Florin Cristea, Valentin Univ Politehn Bucuresti Fac Automat & Comp Sci Bucharest Romania

ISBN: (纸本)9780769530789

Considering that one of today's biggest global concerns is related to the climate change and its imminent undesired effects, we present the approach of creating and offering a public Web service to provide real-time access to environmental data and information. One of service's direct usages is natural disasters detection, but it could be further used for developing complex statistics and prediction generators, or for other environment related applications. the data is extracted from a satellite imagery repository implemented on a Grid infrastructure. For testing the capabilities of the service for different type of users, a visualization and interaction Web application has been developed the service is integrated in the MedioGRID system.

关键词： Grid computing Web services satellite image HDF MODIS vegetation index

来源：评论

学校读者我要写书评

暂无评论

A terminating and confluent term rewriting system for the pure equational theory of quandles 20

A terminating and confluent term rewriting system for the pu...

引用

20th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2018

作者： McGrail, Robert W. Nguyen, thuy Trang Tran, thanh thuy Trang Tripathi, Atri Laboratory for Algebraic and Symbolic Computation Reem Kayden Center for Science and Computation Bard College Annandale-on-HudsonNY United States

ISBN: (纸本)9781728106250

this article presents a term rewriting system for the first-order equational theory of quandles that is both terminating and confluent. As a consequence, it has unique normal forms and so encodes a decision procedure for quandle identities. However, the problem of computing a normal form for this term rewriting system is, in worst case, EXP hard. © 2018 IEEE.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Toward on-line predictive models for forecasting workload in Clouds

Toward on-line predictive models for forecasting workload in...

引用

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

作者： Dong Nguyen Doan West Univ Timisoara Comp Sci Dept Timisoara Romania

ISBN: (纸本)9781728106250

Forecasting workload plays a crucial role in term of Quality of Service (QoS) guarantee in cloud computing. However, there are existing challenges including continuous forecast and multi-step-ahead prediction due to the time series structure characteristics of workload. the most used approaches to forecast workload are predictive models based on time series analysis such as Auto-Regressive Integrated Moving Average (ARIMA) and Exponential Smoothing (ES) models, but these models do not address the limitations yet. this paper presents the strategies to apply machine learning to tackle the challenges of time series data streaming and develop on-line predictive models to continuously forecast and support the multi-step-ahead prediction. the empirical results show that the proposed approach yields much better accuracy than other methods, namely Multilayer Perceptron (MLP) and Long Short-Term Memory (LSTM).

关键词： Forecasting workload QoS guarantee cloud computing machine learning

来源：评论

学校读者我要写书评

暂无评论

Optimizing Cold Start Performance in Serverless computing Environments 26

Optimizing Cold Start Performance in Serverless Computing En...

引用

26th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2024

作者： Malancioiu, Daniel-George Foldvari, Harold-Nimrod Craciun, Florin Babes-Bolyai University Faculty of Mathematics and Computer Science Cluj-Napoca Romania

ISBN: (纸本)9798331532833

Serverless computing, also known as Function as a Service (FaaS), simplifies cloud application development by abstracting server management. However, cold start latency, which occurs when initializing the execution environment, poses sig-nificant challenges. this work proposes an Apache Open Whisk-integrated dynamic caching and request routing system to mit-igate cold start latency. By leveraging intelligent caching, the system aims to reduce response times for serverless functions. Comprehensive performance evaluations demonstrate that the proposed system reduced average response times by up to 7 times, while also ensuring efficient resource utilization. these findings provide practical insights and scalable solutions to enhance the efficiency and reliability of serverless architectures, particularly for latency-sensitive applications. © 2024 IEEE.

关键词： Response time (computer systems)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：