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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Factorizations of Regular Hedge Languages

Factorizations of Regular Hedge Languages

引用

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

作者： Mircea Marin Adrian Craciun Department of Computer Science University of Tsukuba Tsukuba Japan Department of Computer Science West University of Timişoara Timisoara Romania

Regular hedge languages are an extension of regular tree languages that received renewed attention since their recognition as a formal model of XML schemata. they share several properties with regular languages, but their study is more involved because we need to analyze regularities of sequences of trees instead of words. We show that one shared property is the existence of only finitely many language factors and the possibility to compute and arrange them in a factor matrix with some remarkable properties. We outline an algorithm for the computation of the factor matrix and indicate an application of the factor matrix of an RHL to the solution of a concrete language reconstruction problem.

关键词： XML Computer science Concrete Specification languages scientific computing Chromium Automata Testing

来源：评论

学校读者我要写书评

暂无评论

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming

Semantic Interpreter for Modern Communication Abstractions i...

引用

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

作者： Eneia Nicolae Todoran Nicolae Gherman Computer Science Department Technical University Cluj-Napoca Romania

In this paper we present a semantic interpreter which implements a dynamic denotational semantics for a small experimental concurrent object-oriented language that we call JoPool. JoPool embodies the modern communication abstractions introduced in the join calculus. It provides the communication primitives of join Java and polyphonic C# together with a generalization of the rendez-vous mechanism that is typical in Ada and POOL. the semantic interpreter is designed with a continuation semantics for distributed computing, introduced by us in previous work. As an implementation tool for the denotational semantics we use C# 3.0 lambda-expressions. As far as we know, this is the first paper that reports a compositional semantics for the communication abstractions of join Java and polyphonic C#.

关键词： Object oriented programming Java Calculus Object oriented modeling Computer science Concurrent computing Testing scientific computing Dynamic programming Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++

Towards a Reverse Engineering Dataflow Analysis Framework fo...

引用

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

作者： Petru Florin Mihancea LOOSE Research Group Politehnica University of Timişoara Romania

Due to the software aging phenomenon, understanding a program is increasingly difficult. Many high-level analysis methods have been developed to support program comprehension, some of them based on dataflow analysis. Conventional dataflow analysis infrastructures could be used as a basis to implement these reverse engineering methods. However, none of them meet specific reverse engineering requirements. In this tool demo we introduce MEMBRAIN, a dataflow analysis infrastructure for reverse engineering. A brief insight over this infrastructure is presented along with some essential implementation details. the demo also includes a practical usage example and a performance comparison in order to prove the tool usability.

关键词： Reverse engineering Data analysis Java Information analysis Engines Performance analysis Software algorithms scientific computing Algorithm design and analysis Aging

来源：评论

学校读者我要写书评

暂无评论

Simplification and Generalization in CIRC

Simplification and Generalization in CIRC

引用

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

作者： Eugen-Ioan Goriac Georgiana Caltais Dorel Lucanu Faculty of Computer Science Alexandru Ioan Cuza슠University Iasi Romania

CIRC is an automated theorem prover based on the circular coinduction principle. the tool is used for the verification of programs, behavioral equivalence checking, and proving properties over infinite data structures. In this paper we present two extensions of CIRC that handle the case when the prover indicates an infinite execution for a certain goal. the first extension involves goal simplification rules and a procedure for checking that the new execution is indeed a proof, while the second one refers to finding and proving a generalization of the goal. Each of the extensions is presented based on a case study: Binary Process Algebra (BPA) for checking the proof correctness and Streams for using generalization.

关键词： Computer science Humans scientific computing Data structures Algebra Application software

来源：评论

学校读者我要写书评

暂无评论

Evaluating the effort of building a Machine Learning model for malware detection from ground zero

Evaluating the effort of building a Machine Learning model f...

引用

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

作者： Dan-Gabriel Anton "Al. I. Cuza" University - Faculty of Computer Science Iaşi Romania

As the field of cybersecurity research evolved in the past decades, machine learning-based approaches for malware identification have become more frequent. the paper proposes a method of identifying which kind of features are the most valuable in terms of creating a machine learning-based model used for Portable Executable (PE) malware detection, taking into consideration the development time needed to extract the information and the quality of the extracted data based on the Fscore. this paper provides guidance in choosing what feature types new researchers should focus on first for achieving good results in detecting malware whether they need to use a small number of features or do not have any limitations regarding this.

关键词： Machine learning algorithms scientific computing Machine learning Feature extraction Malware Data models Power capacitors

来源：评论

学校读者我要写书评

暂无评论

Relational Operators in Heterogeneous Random Databases

Relational Operators in Heterogeneous Random Databases

引用

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

作者： Letitia Velcescu Laurentiu Vasile Faculty of Mathematics and Informatics University of Bucharest Bucharest Romania

In this paper, we investigate the sizes of some approximate relational operations results, focusing on join, outer join and difference. We extend the notion of random database, in which the records are random vectors following a certain probability distribution, to heterogeneous random databases, in which each column can have its own unidimensional distribution. In this framework, we will investigate if the results already existing for the homogeneous databases remain true. Our approach follows three steps. First, we build up the histograms for some relational operations on heterogeneous tables with specific distributions, then we apply the chi square test of goodness of fit and, in the end, we prove the result that sets the limits for which the cardinality of the self-join can be approximated by a Poisson distribution.

关键词： Relational databases scientific computing

来源：评论

学校读者我要写书评

暂无评论

the Quest for Perfect and Compact Symmetry Breaking for Graph Problems

The Quest for Perfect and Compact Symmetry Breaking for Grap...

引用

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

作者： Marijn J.H. Heule Department of Computer Science The University of Texas at Austin Austin Texas United States

ISBN: (纸本)9781509057085

Symmetry breaking is a crucial technique to solve many graph problems. However, current state-of-the-art techniques break graph symmetries only partially, causing search algorithms to unnecessarily explore many isomorphic parts of the search space. We study properties of perfect symmetry breaking for graph problems. One promising and surprising result on small-sized graphs-up to order five- is that perfect symmetry breaking can be achieved using a compact propositional formula in which each literal occurs at most twice. At least for small graphs, perfect symmetry breaking can be expressed more compactly than the existing (partial) symmetry-breaking methods. We present several techniques to compute and analyze perfect symmetry-breaking formulas.

关键词： Isolators Labeling Redundancy Encoding scientific computing Computer science Indexes

来源：评论

学校读者我要写书评

暂无评论

Homotopy Techniques for Analytic Combinatorics in Several Variables

Homotopy Techniques for Analytic Combinatorics in Several Va...

引用

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

作者： Kisun Lee Stephen Melczer Josip Smolčić Department of Mathematics University of California San Diego La Jolla CA USA Dept. of Combinatorics and Optimization University of Waterloo Waterloo Canada

We combine tools from homotopy continuation solvers with the methods of analytic combinatorics in several variables to give the first practical algorithm and implementation for the asymptotics of multivariate rational generating functions not relying on a non-algorithmically checkable ‘combinatorial’ non-negativity assumption. Our homotopy implementation terminates on examples from the literature in three variables, and we additionally describe heuristic methods that terminate and correctly predict asymptotic behaviour in reasonable time on examples in even higher dimension. Our results are implemented in Julia, through the use of the *** package, and we provide a selection of examples and benchmarks.

关键词： scientific computing Algebra Benchmark testing Prediction algorithms Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases

Computing Self-intersection Loci of Parametrized Surfaces Us...

引用

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

作者： Yanli Huang Dongming Wang LMIB-SKLSDE-School of Mathematics and Systems Science Beihang University Beijing China Laboratoire d'Informatique de Paris 6 Université Pierre et Marie Curie CNRS Paris France

the computation of self-intersection loci of parametrized surfaces is needed for constructing trimmed parametrizations and describing the topology of the considered surfaces in real settings. this paper presents two general and efficient methods for determining self-intersection loci of rationally parametrized surfaces. One of the methods, based on regular systems, is capable of computing the exact parametric locus of self-intersection of a given surface and the other, based on Grobner bases, can compute the minimal variety passing through the exact parametric locus. the relation between the results computed by the two methods is established and two algorithms for computing parametric loci of self-intersection are described. Experimental results and comparisons with some existing methods show that our algorithms have a good performance for parametrized surfaces.

关键词： Solid modeling Polynomials Equations scientific computing Mathematics Topology Application software Computer applications Sampling methods Computational geometry

来源：评论

学校读者我要写书评

暂无评论

Dynamic Customization of Data Structures Instances Using an Agent Based Approach

Dynamic Customization of Data Structures Instances Using an ...

引用

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

作者： Istvan Gergely Czibula Gabriela Czibula Adriana Mihaela Guran Department of Computer Science Babeş-Bolyai University Cluj-Napoca Romania

Abstract data types (ADTs) represent the core for any software application, and a proper use of them is an essential requirement for developing a robust and efficient system. Moreover, a proper instantiation of a data structure that implements an abstract data type can greatly impact the performance of the system. In this paper we propose a learning approach for the dynamic configuration of data structures instances in a software system. In order to adapt a data structure to the system's current execution context, a neural network will be used and an agent based system is proposed. We experimentally evaluate our system on a case study, emphasizing the advantages of the proposed approach.

关键词： Data structures Software systems Application software Supervised learning Robustness Software algorithms scientific computing Computer science Neural networks Machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：