咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是231-240 订阅
Resolving Zero Divisors Using Hensel Lifting
Resolving Zero Divisors Using Hensel Lifting
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: John Kluesner Michael Monagan Department of Mathematics Simon Fraser University Burnaby Canada
algorithms which compute modulo triangular sets must respect zero divisors. We present Hensel lifting as a tool for resolving them. We give an application: a modular algorithm for computing gcds of univariate polynomi... 详细信息
来源: 评论
Combinatorics of Hybrid Sets
Combinatorics of Hybrid Sets
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Shaoshi Chen Stephen M. Watt KLMM Chinese Academy of Sciences Beijing China Faculty of Mathematics University of Waterloo Ontario Canada
Hybrid sets are generalizations of sets and multisets, in which the multiplicities of elements can take any integers. this construction was proposed by Whitney in 1933 in terms of characteristic functions. Hybrid sets... 详细信息
来源: 评论
Non-Well-Founded Probabilities and Coinductive Probability Logic
Non-Well-Founded Probabilities and Coinductive Probability L...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Andrew Schumann Department of Philosophy and Science Methodology Belarusian State University Minsk Belarus
One of the most useful computer algebra used today is calgebra and its versions, e.g. stream calculus. In the paper I show that p-adic arithmetic can be regarded as one of the natural interpretation of stream calculus... 详细信息
来源: 评论
Expansions and Equivalence of Queries Using Views with Parameters and Negation
Expansions and Equivalence of Queries Using Views with Param...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Victor Felea Marian Balta Computer Science Department Alexandru Ioan Cuza슠University Iasi Romania
In this paper we represent a class of queries that contain sub-formulas with universally quantified variables using views. the queries and views considered can contain input parameters. Both views and queries are expr... 详细信息
来源: 评论
Solving, Reasoning, and Programming in Common Logic
Solving, Reasoning, and Programming in Common Logic
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Temur Kutsia Mircea Marin Research Institute for Symbolic Computation Johannes Kepler University Linz Linz Austria West University of Timisoara Timisoara Romania
Common Logic (CL) is a recent ISO standard for exchanging logic-based information between disparate computer systems. Sharing and reasoning upon knowledge represented in CL require equation solving over terms of this ... 详细信息
来源: 评论
Detecting Implicit Indeterminates in symbolic Computation
Detecting Implicit Indeterminates in Symbolic Computation
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Stephen M. Watt David R. Cheriton School of Computer Science University of Waterloo
In the design of symbolic mathematical computation systems, it is a popular choice to use the same syntax for both mathematical indeterminates and programming variables. While mathematical indeterminates are to be use... 详细信息
来源: 评论
Lagrange Inversion and Lambert W
Lagrange Inversion and Lambert W
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: D.J. Jeffrey G.A. Kalugin N. Murdoch Department of Applied Mathematics The University of Western Ontario London Canada
We show that Lagrange inversion can be used to obtain closed-form expressions for a number of series expansions of the Lambert W function. Equivalently, we obtain expressions for the nth derivative. Various integer se... 详细信息
来源: 评论
SMT Solvers for Testing, Program Analysis and Verification at Microsoft
SMT Solvers for Testing, Program Analysis and Verification a...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Nikolaj Bjorner Microsoft Research Redmond WA USA
Modern program analysis and model-based tools are increasingly complex and multi-faceted software systems. However, at their core is invariably a component using logic for describing states and transformations between... 详细信息
来源: 评论
F-polynomials & Newton polytopes
F-polynomials & Newton polytopes
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Gleb Koshevoy Denis Mironov Institute for Information Transmission Problems Russian Academy of Sciences Russian Federation Moscow Center for Continuous Mathematical Education
We provide an effective algorithmic method for computation of Gross-Keel-Hacking-Kontsevich potential, Fpolynomials and Bernstein-Kazhdan decoration function and it’s complexity bounds. For simply laced Lie algebras ... 详细信息
来源: 评论
Monte Carlo Variance Reduction. Importance Sampling Techniques
Monte Carlo Variance Reduction. Importance Sampling Techniqu...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Olariu Emanuel Florentin Faculty of Computer Science Al. I. Cuza University of Iaşi Iasi Romania
In this paper we investigate some Importance Sampling strategies and we apply them for the first time to the pricing of the spread options. We compare the Least Squares method to the f-divergence method in order to ch... 详细信息
来源: 评论