咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
A Compiler for Origami Construction and Verification
A Compiler for Origami Construction and Verification
收藏 引用
11th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Ida, Tetsuo Univ Tsukuba Dept Comp Sci Tsukuba Ibaraki 3058573 Japan
this is the extended abstract of the invited tutorial on a compiler for origami construction and verification.
来源: 评论
the Sparsity Challenges
The Sparsity Challenges
收藏 引用
11th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Davenport, James H. Carette, Jacques Univ Bath Dept Comp Sci Bath BA2 7AY Avon England McMaster Univ Dept Comp & Software Hamilton ON Canada
While much is written about the importance of sparse polynomials in computer algebra, much less is known about the complexity of advanced (i.e. anything more than multiplication!) algorithms for them. this is due to a... 详细信息
来源: 评论
A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem  16
A streamlined difference ring theory: Indefinite nested sums...
收藏 引用
16th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Schneider, Carsten Johannes Kepler Univ Linz RISC A-4040 Linz Austria
We present an algebraic framework to represent indefinite nested sums over hypergeometric expressions in difference rings. In order to accomplish this task, parts of Karr's difference field theory have been extend... 详细信息
来源: 评论
Parallel Integer Polynomial Multiplication  18
Parallel Integer Polynomial Multiplication
收藏 引用
18th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Chen, Changbo Covanov, Svyatoslav Mansouri, Farnam Maza, Marc Moreno Xie, Ning Xie, Yuzhen Univ Western Ontario Dept Comp Sci London ON N6A 5B7 Canada
We propose a new algorithm for multiplying dense polynomials with integer coefficients in a parallel fashion, targeting multi-core processor architectures. Complexity estimates and experimental comparisons demonstrate... 详细信息
来源: 评论
Emotional ant based modeling of crowd dynamics
Emotional ant based modeling of crowd dynamics
收藏 引用
7th international symposium on symbolic and numeric algorithms for scientific computing
作者: Banarjee, S Grosan, C Abraham, A Inst Management Studies Dept Comp Applicat Dhradun India
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. this situation often leads to fatalities as people are crushed or trampled this problem ha... 详细信息
来源: 评论
symbolic regression on noisy data with genetic and gene expression programming
Symbolic regression on noisy data with genetic and gene expr...
收藏 引用
7th international symposium on symbolic and numeric algorithms for scientific computing
作者: Bautu, E Bautu, A Luchian, H Ovidius Univ Constanta 900527 Romania
this paper presents a novel method to perform regression on a finite sample of noisy data. the purpose is to obtain a mathematical model for data which is both reliable and valid, yet the analytical expression is not ... 详细信息
来源: 评论
Experiences in computing mesh root systems for Dynkin diagrams using Maple and C plus
Experiences in computing mesh root systems for Dynkin diagra...
收藏 引用
13th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Felisiak, Mariusz Simson, Daniel Nicolaus Copernicus Univ Fac Math & Comp Sci Torun Poland
We show that the reduced mesh root systems and mesh geometries of roots for each of the simply-laced Dynkin diagrams can be classified by applying symbolic computer algebra computations and numeric algorithmic computa... 详细信息
来源: 评论
Spiking Neural P Systems. A Quick Survey and Some Research Topics  16
Spiking Neural P Systems. A Quick Survey and Some Research T...
收藏 引用
16th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Panu, Gheorghe Romanian Acad Inst Math Bucharest 014700 Romania
After presenting the basic definition of spiking neural P systems (SN P systems), illustrated with two examples, we recall some results concerning the computing power and the size of universal SN P systems. We end thi... 详细信息
来源: 评论
Balanced Dense Multivariate Multiplication: the General Case  24
Balanced Dense Multivariate Multiplication: The General Case
收藏 引用
24th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Maza, Marc Moreno Yuan, Haoze Univ Western Ontario Dept Comp Sci London ON Canada
We propose general preprocessing techniques to reshape dense multivariate polynomials over finite fields, in order to minimize the cost of memory accesses, while preserving sufficient parallelism, so as to reduce the ... 详细信息
来源: 评论
Grobner Bases Computation and Macaulay Matrices  19
Grobner Bases Computation and Macaulay Matrices
收藏 引用
19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Buchberger, Bruno Johannes Kepler Univ Linz RISC Linz Austria
In my PhD thesis 1965 and the subsequent publication 1970 in Aequationes Mathematicae, I introduced the notion of Grobner bases and proved a characterization theorem for Grobner bases on which an algorithm for constru... 详细信息
来源: 评论