首页>外文会议>International conference onmathematical aspects of computer and information sciences

International conference onmathematical aspects of computer and information sciences

召开年：2015
召开地：Berlin(DE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Current Challenges in Developing Open Source Computer Algebra Systems

机译：开发开源计算机代数系统的当前挑战
- 作者：Janko Boehm;Wolfram Decker;Simon Keicher;Yue Ren
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
2.Exploiting Structure in Floating-Point Arithmetic

机译：浮点算法的开发结构
- 作者：Claude-Pierre Jeannerod
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Floating-point arithmetic;
- IEEE standard 754-2008;
- Rounding error analysis;
- High relative accuracy;
3.Symbolic Geometric Reasoning with Advanced Invariant Algebras

机译：高级不变代数的符号几何推理
- 作者：Hongbo Li
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
4.Linear Programs and Convex Hulls Over Fields of Puiseux Fractions

机译：Puiseux分数域上的线性程序和凸包
- 作者：Michael Joswig;Georg Loho;Benjamin Lorenz;Benjamin Schroeter
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
5.Another Classroom Example of Robustness Problems in Planar Convex Hull Computation

机译：平面凸壳计算中的鲁棒性问题的另一个课堂示例
- 作者：Marc Moerig
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Implementation;
- Numerical robustness problems;
- Floating-point geometry;
6.Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions

机译：常见子表达式的表达式损失评估中的精确驱动计算：问题和解决方案
- 作者：Marc Moerig;Stefan Schirra
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
7.Congruence Testing of Point Sets in Three and Four Dimensions: Results and Techniques

机译：三维和四维点集的同余检验：结果和技术
- 作者：Guenter Rote
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
8.Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features

机译：通过随机凸边仿射特征减少对外部零件的网格划分
- 作者：Andreas Beyer;Yu Liu;Hubert Mara;Susanne Kroemker
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
9.Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains

机译：无穷域上多项式微分方程的严格数值计算。
- 作者：Olivier Bournez;Daniel S. Graca;Amaury Pouly
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
10.Using Taylor Models in Exact Real Arithmetic

机译：在精确实数运算中使用泰勒模型
- 作者：Franz Brausse;Margarita Korovina;Norbert Mueller
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
11.On the Computational Complexity of Positive Linear Functional on C0; 1

机译：C 0;上的正线性泛函的计算复杂度1
- 作者：Hugo Feree;Martin Ziegler
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
12.Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve

机译：光滑空间曲线投影奇点的数值和认证隔离
- 作者：Remi Imbach;Guillaume Moroz;Marc Pouget
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Topology of analytic real curve;
- Apparent contour;
- Singularities isolation;
- Numeric certified methods;
13.Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties

机译：线性k单调保真算法及其逼近性质
- 作者：S.P. Sidorov
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
14.Average-Case Bit-Complexity Theory of Real Functions

机译：实函数的平均情况位复杂度理论
- 作者：Matthias Schroeder;Florian Steinberg;Martin Ziegler
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
15.Certifying Trajectories of Dynamical Systems

机译：验证动力系统的轨迹
- 作者：Joris van der Hoeven
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Reliable computation;
- Dynamical systems;
- Certified integration;
- Ball arithmetic;
- Taylor models;
- Multiple precision computations;
16.A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem

机译：二次分配问题基于矩阵分裂的新松弛
- 作者：Marko Lange
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Quadratic assignment problem;
- Semidefinite programming;
- Relaxation;
17.Workspace Multiplicity and Fault Tolerance of Cooperating Robots

机译：协作机器人的工作空间多样性和容错能力
- 作者：Daniel A. Brake;Daniel J. Bates;Vakhtang Putkaradze;Anthony A. Maciejewski
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Workspace mapping;
- Joint failure;
- Homotopy continuation;
- Monte Carlo methods;
18.Numerical Local Irreducible Decomposition

机译：数值局部不可约分解
- 作者：Daniel A. Brake;Jonathan D. Hauenstein;Andrew J. Sommese
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
19.Global Optimization of H_∞ Problems: Application to Robust Control Synthesis Under Structural Constraints

机译：H_∞问题的全局优化：在结构约束下的鲁棒控制综合应用
- 作者：Dominique Monnet;Jordan Ninin;Benoit Clement
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
20.Global Optimization Based on Contractor Programming: An Overview of the IBEX Library

机译：基于承包商程序的全局优化：IBEX库概述
- 作者：Jordan Ninin
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
21.The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs

机译：多元多项式MINLP约束全局优化的Bernstein分枝算法
- 作者：Bhagyesh V. Patil
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
22.Computing the Chow Variety of Quadratic Space Curves

机译：计算二次空间曲线的周变数
- 作者：Peter Buergisser;Kathlen Kohn;Pierre Lairez;Bernd Sturmfels
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Chow variety;
- Coisotropic hypersurface;
- Grassmannian;
- Space curve;
- Computation;
23.Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property

机译：Gorenstein算术性质的一般简化投影方案的数值测试
- 作者：Noah S. Daleo;Jonathan D. Hauenstein
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
24.Some Results Concerning the Explicit Isomorphism Problem over Number Fields

机译：关于数域上显式同构问题的一些结果
- 作者：Peter Kutas
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
25.Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental

机译：高斯混合的最大似然估计是先验的
- 作者：Carlos Amendola;Mathias Drton;Bernd Sturmfels
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Algebraic statistics;
- Expectation maximization;
- Maximum likelihood;
- Mixture model;
- Normal distribution;
- Transcendence theory;
26.On the Quality of Some Root-Bounds

机译：关于一些根边界的质量
- 作者：Prashant Batra
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Maximum modulus of polynomial roots;
- Maximum overestimation;
- Improvements of Lagrange's bound;
27.Relative Hilbert-Post Completeness for Exceptions

机译：希尔伯特邮政相对完备性
- 作者：Jean-Guillaume Dumas;Dominique Duval;Burak Ekici;Damien Pous;Jean-Claude Reynaud
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
28.Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures

机译：在基于累加器的智能卡体系结构上实现加密配对
- 作者：Peter Guenther;Volker Krummel
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
29.Short Group Signatures with Distributed Traceability

机译：具有分布式可追踪性的短组签名
- 作者：Johannes Bloemer;Jakob Juhnke;Nils Loeken
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
30.On the Optimality of Differential Fault Analyses on CLEFIA

机译：基于CLEFIA的微分故障分析的最优性
- 作者：Agnes Kiss;Juliane Kraemer;Anke Stueber
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- CLEFIA;
- Differential fault analysis;
- Fault attack;
31.Optimal Coverage in Automotive Configuration

机译：汽车配置的最佳覆盖范围
- 作者：Rouven Walter;Thore Kuebart;Wolfgang Kuechlin
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
32.Preface

机译：前言
- 作者：Ilias S. Kotsireas;Siegfried M. Rump;Chee K. Yap
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
33.H~3 and H~4 Regularities of the Poisson Equation on Polygonal Domains

机译：多边形域上泊松方程的H〜3和H〜4正则性
- 作者：Takehiko Kinoshita;Yoshitaka Watanabe;Mitsuhiro T. Nakao
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Poisson equation;
- A priori estimates;
34.Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc Methods

机译：辛克方法修正数值迭代积分的显式误差界
- 作者：Tomoaki Okayama
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
35.Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator

机译：使用发展算子对半线性抛物方程解的经过验证的计算
- 作者：Akitoshi Takayasu;Makoto Mizuguchi;Takayuki Kubo;Shinichi Oishi
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
36.Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval

机译：使用半无限区间上的双指数公式验证实伽马函数的误差界
- 作者：Naoya Yamanaka;Tomoaki Okayama;Shinichi Oishi
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Gamma function;
- Verified bound;
- Double exponential formula;
37.Improving a CGS-QE Algorithm

机译：改进CGS-QE算法
- 作者：Ryoya Fukasaku;Hidenao Iwane;Yosuke Sato
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- QE;
- Comprehensive Groebner system;
- Descartes' rule;
38.Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas

机译：有效的子公式级数，用于消除非前项公式的实量词
- 作者：Munehiro Kobayashi;Hidenao Iwane;Takuya Matsuzaki;Hirokazu Anai
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Real quantifier elimination;
- Support vector machine;
- Non-prenex formulas;
39.Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Groebner Bases

机译：通过Groebner基解决收敛的幂级数环中的扩展理想成员问题
- 作者：Katsusuke Nabeshima;Shinichi Tajima
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Groebner bases;
- Extended ideal membership problems;
- Comprehensive Groebner systems;
- Parametric syzygy systems;
40.Advanced Algebraic Attack on Trivium

机译：Trivium的高级代数攻击
- 作者：Frank-M. Quedenfeld;Christopher Wolf
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Trivium;
- Algebraic modelling;
- Similar variables;
- ElimLin;
- Sparse multivariate algebra;
- Equation solving over F_2;
41.Compressing Big Data: When the Rate of Convergence to the Entropy Matters

机译：压缩大数据：当收敛速率达到熵的大小时
- 作者：Salvatore Aronica;Alessio Langiu;Francesca Marzi;Salvatore Mazzola;Filippo Mignosi;Giulio Nazzicone
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Lempel-Ziv compression algorithms;
- Text compression;
- Text entropy;
- String algorithms;
42.Trends in Temporal Reasoning: Constraints, Graphs and Posets

机译：时间推理的趋势：约束，图和词组
- 作者：Jacqueline W. Daykin;Mirka Miller;Joe Ryan
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
43.Reconstructing a Sparse Solution from a Compressed Support Vector Machine

机译：从压缩支持向量机重构稀疏解决方案
- 作者：Joachim Giesen;Soeren Laue;Jens K. Mueller
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
44.Subquadratic-Time Algorithms for Abelian Stringology Problems

机译：Abelian弦论问题的次二次时间算法
- 作者：Tomasz Kociumaka;Jakub Radoszewski;Bartlomiej Wisniewski
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Jumbled pattern matching;
- Jumbled indexing;
- Abelian period;
- Abelian square;
45.Using Statistical Search to Discover Semantic Relations of Political Lexica - Evidences from Bulgarian-Slovak EUROPARL 7 Corpus

机译：使用统计搜索发现政治词汇的语义关系-来自保加利亚斯洛伐克EUROPARL 7语料库的证据
- 作者：Velislava Stoykova
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Data mining;
- Combinatorics on words;
- Machine translation;
46.Simple Differential Field Extensions and Effective Bounds

机译：简单的微分场扩展和有效界
- 作者：James Freitag;Wei Li
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Differential chow forms;
- Primitive element theorem;
- Model theory;
- Differential Lueroth theorem;
47.A New Bound for the Existence of Differential Field Extensions

机译：微分场扩展存在的新界
- 作者：Richard Gustavson;Omar Leon Sanchez
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
48.Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions

机译：反差域扩展的中间域的维多项式
- 作者：Alexander Levin
- 会议名称：《》 | 2016年
- Inversive difference field;
- Inversive difference module;
- Filtration;
- Dimension polynomial;
49.A 'Polynomial Shifting' Trick in Differential Algebra

机译：微分代数中的“多项式变换”技巧
- 作者：Gleb Pogudin
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
50.Searching for Geometric Theorems Using Features Retrieved from Diagrams

机译：使用从图检索的特征搜索几何定理
- 作者：Wenya An;Xiaoyu Chen;Dongming Wang
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Theorem searching;
- Graph matching;
- Degree of relevance;
- Knowledge management;
51.New Method for Instance Feature Selection Using Redundant Features for Biological Data

机译：使用生物数据冗余特征进行实例特征选择的新方法
- 作者：Waad Bouaguel;Emna Mouelhi;Ghazi Bel Mufti
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Curse of dimensionality;
- Relief;
- Feature selection;
- Filter;
52.Faceted Search for Mathematics

机译：多面搜索数学
- 作者：Radu Hambasan;Michael Kohlhase
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
53.Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method

机译：输入法将线性字符串转换为数学公式的预测算法的评估
- 作者：Shizuka Shirai;Tetsuo Fukui
- 会议名称：《International conference onmathematical aspects of computer and information sciences》 | 2016年
- Math input method;
- Predictive conversion;
- Machine learning;