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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

559 篇 会议
7 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

语言

571 篇 英文

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

共 571 条记录，以下是331-340 订阅

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

详细简洁

排序：

symbolic-numeric Cooperation in an Open Science Project

Symbolic-Numeric Cooperation in an Open Science Project

引用

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

作者： Juan Felix San-Juan Rosario Maria López Luis Maria López Ivan Pérez Dpto. de Matemáticas y Computación Universidad de La Rioja Logroño Spain Dipt. de Mat. y Comput. Univ. de La Rioja Logroño Spain Dpto. de Ingeniería Mecánica Universidad de La Rioja Logroño Spain

this paper presents an overview of the initiative based on non-commercial software, which is being carried out in the University of La Rioja, to develop an e-Science and e-Learning Web-Site with the aim to encourage open science and e-Collaboration. this infrastructure is focused on supplying free access to a variety of symbolic and numeric applications related to Dynamics Systems, in general, and Astrodynamics, in particular, as well as their theoretical backgrounds.

关键词： Transforms Satellites Equations Planets Differential equations Mathematical model Dynamics

来源：评论

学校读者我要写书评

暂无评论

computing Homological Information Based on Directed Graphs within Discrete Objects

Computing Homological Information Based on Directed Graphs w...

引用

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

作者： Aldo Gonzalez-Lorenzo Alexandra Bac Jean-Luc Mari Pedro Real CNRS Aix-Marseille Université (France) University of Seville Institute of Mathematics IMUS (Spain)

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.

关键词： Vectors Face three-dimensional displays Context Equations scientific computing Large scale integration

来源：评论

学校读者我要写书评

暂无评论

Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Focal Liver Lesion Detection

Improving the Diagnostic of Contrast Enhanced Ultrasound Ima...

引用

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

作者： Cristina Laura Sîrbu Georgiana Simion Cătălin Daniel Căleanu Faculty of Electronics Telecommunications and Information Technologies Politehnica University of Timișoara Timișoara Romania

Our proposal aims an automatic method used for obtaining the ultrasound image of a region of interest based on the optical flow computation. Combined with a kernel correlation filter tracking algorithm and a Xception deep convolutional neural network architecture, our solution provides state-of-the-art results (over 90% accuracy) in the automatic diagnosis of liver lesion using contrast enhanced ultrasound.

关键词： Frequency locked loops Optical filters Ultrasonic imaging scientific computing Neural networks Liver Lesions

来源：评论

学校读者我要写书评

暂无评论

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets

A web version of Tarski, a system for computing with Tarski ...

引用

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

作者： Zoltán Kovács Christopher W. Brown Tomás Recio Róbert Vajda The Priv. Univ. Coll. of Educ. of the Diocese of Linz Linz Austria United States Naval Academy Annapolis MD USA Universidad Antonio de Nebrija Madrid Spain Johannes Kepler University Linz Austria

We report on successfully porting and making available online Tarski, a system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers). Tarski provides operations like formula simplification and quantifier elimination, and is able to read and write SMT-LIB syntax. the web version of Tarski was created by using the Emscripten C++ to JavaScript/WebAssembly compiler. A terminal-based interpreter is provided via ***. Tarski is also available as a JavaScript library. We report on an experimental use in the dynamic geometry software GeoGebra.

关键词： Geometry scientific computing Heuristic algorithms Software algorithms C++ languages Syntactics Software

来源：评论

学校读者我要写书评

暂无评论

Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics

Investigating Landscape Topology for Subpopulation Different...

引用

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

作者： Ruxandra Stoean Catalin Stoean D. Dumitrescu Department of Computer Science University of Craiova Craiova Romania Department of Computer Science Babes Bolyai University Cluj-Napoca Romania

Evolutionary algorithms for multimodal optimization are usually radius dependent in subpopulation formation and dynamics. the appropriate setting of a value to cover such a fluctuant threshold (as a result of variously shaped attraction basins) strongly relies upon the knowledge on the problem at hand or the extensive skill in manual parameter tuning. If several thresholds model the disposal of species with the many attraction basins, radii setting significantly increases in complexity. Genetic chromodynamics is one such recent, competent technique, whose performance is practically affected by the existence of such key parameters. It is hence the purpose of present paper to present an enhanced alternative to radii maintenance within this method, by embedding a mechanism to examine the fitness landscape and detect the attractors, around which these species revolve.

关键词： Topology Genetics Merging Computer science scientific computing Helium Convergence

来源：评论

学校读者我要写书评

暂无评论

Detecting Triangle-Densest-K-Subgraphs with Simple Nature-Inspired algorithms

Detecting Triangle-Densest-K-Subgraphs with Simple Nature-In...

引用

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

作者： Zoltán Tasnádi Babeş-Bolyai University Cluj-Napoca Romania

ISBN: (数字)9798331532833

ISBN: (纸本)9798331532840

this paper proposes two nature-inspired algorithms to solve the triangle-densest-k-subgraph problem, and compares and contrasts their results. this is one of the less studied problems in computational graph theory that can be reasonably solved with at least one of the proposed algorithms even without specific improvements made to them.

关键词： scientific computing Graph theory

来源：评论

学校读者我要写书评

暂无评论

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition

Using the Distribution of Cells by Dimension in a Cylindrica...

引用

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

作者： David Wilson Matthew England Russell Bradford James H. Davenport Department of Computer Science University of Bath Bath AY UK

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.

关键词： Design automation Polynomials Prediction algorithms Complexity theory Standards Buildings scientific computing

来源：评论

学校读者我要写书评

暂无评论

Grid-Aware Intrusion Detection System Using Gossip algorithms

Grid-Aware Intrusion Detection System Using Gossip Algorithm...

引用

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

作者： Ionut Ungureanu Catalin Leordeanu Valentin Cristea Faculty of Automatic Control and Computers University Politehnica of Bucharest Romania

the goal of this paper is to develop a fault tolerant Grid Intrusion Detection System. the architecture is based on a network of high level detection systems which receive intrusion information form local detectors. these high level detectors constantly exchange information using gossip algorithms and correlate the data received received from the local level to detect complex attacks targeted at different parts of a Grid or at certain running applications. the detection system includes new and innovative methods to link intrusion information as well as coordination between different detection systems. the design of the system is also focused on reliability so in case any component crashes, the remaining ones will automatically cover the exposed resources and the system will survive without any loss of efficiency.

关键词： Intrusion detection Containers Monitoring Peer to peer computing Fault tolerance Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

Timed and Hybrid Automata in SAL

Timed and Hybrid Automata in SAL

引用

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

作者： P. Vijay Suman Paritosh K. Pandya School of Technology and Computer Science Tata Institute of Fundamental Research Mumbai India

Various methodologies to model and analyze timed and hybrid systems using SAL are reported. We assume that the system is specified as a network of timed/hybrid automata with synchronized transitions and urgency. We show how to translate the system into a SAL model with the time domain being either discrete or dense, and the clocks being either saturated or unsaturated. Depending on these choices, various tools provided by SAL to model check reachability properties over the system are used to establish safety properties of timed systems. We profile the performance of these tools with a comparative study.

关键词： Automata Clocks Computer science Synchronization Real time systems Job shop scheduling Context modeling Data structures Surface-mount technology scientific computing

来源：评论

学校读者我要写书评

暂无评论

Algorithm for Cooperative CPU-GPU computing

Algorithm for Cooperative CPU-GPU Computing

引用

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

作者： Razvan-Mihai Aciu Horia Ciocarlie Department of Computer and Software Engineering “Politehnica” University Timisoara Romania

Many applications have modules which could benefit greatly from the massive parallel numeric computing power provided by GPUs. Renderers, signal processing or simulators are only a few such applications. Due to the weaknesses of the GPUs such as stackless execution model or poor capabilities for pointer exchange with the host, sometimes is not feasible to convert an entire algorithm for GPU, even if it is highly parallel and some of its parts can be greatly accelerated on GPU. In such situations a programmer should have a framework which allows him to split the code flow of a thread in parts and each of these parts will run on the most suitable computing resource, CPU or GPU. For GPU execution, multiple data from host threads will be collected, run on GPU and the results returned to the original threads so they will be able to resume execution on host. In this paper we propose such an algorithm, analyze it and evaluate its practical results.

关键词： Graphics processing units Instruction sets Kernel Data structures Signal processing algorithms Clocks Synchronization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：