首页>外文会议>其他>Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on

Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Grid Based Services and Tools for Hydrological Model Processing and Visualization

机译：基于网格的水文模型处理和可视化服务和工具
- 作者：Bacu Victor;Mihon Danut;Stefanut Teodor;Rodila Denisa;Gorgan Dorian;Cau Pierluigi;Manca Simone
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Grid computing;
- SWAT scenarios;
2.Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach

机译：时间基本Petri网的可达性分析：时间覆盖方法
- 作者：Bellettini Carlo;Capra Lorenzo
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- linear constraints;
- symbolic reachability analysis;
- timed Petri nets;
3.Enhancing Objects' Autonomy through the Classification of Objects' Interactions

机译：通过对象交互的分类增强对象的自治
- 作者：Sandru Calin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- agent oriented;
- autonomy;
- classification;
- object oriented;
4.Software Framework for Agent-Based Games and Simulations

机译：基于代理的游戏和模拟的软件框架
- 作者：Sacerdotianu George;Ilie Sorin;Badica Costin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- multi-agent system;
- multiplayer game;
- software framework;
5.Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations

机译：用于多尺度环境模拟的并行流体求解器的通信方案
- 作者：Frisch Jerome;Mundani Ralf-Peter;Rank Ernst
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
6.Dealing with Class Noise in Large Training Datasets for Malware Detection

机译：在大型培训数据集中处理类别噪声以进行恶意软件检测
- 作者：Gavrilut Dragos;Ciortuz Liviu
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- class noise;
- data cleansing;
- malware detection;
7.Lorenz Equilibrium: Concept and Evolutionary Detection

机译：洛伦兹均衡：概念和进化检测
- 作者：Nagy Reka;Dumitrescu D.;Lung Rodica Ioana
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- differential evolution;
- equitable dominance;
- equlibrium;
- game theory;
- games;
- lorenz dominance;
8.A Computer Aided Software for Nonlinear Digital Control

机译：非线性数字控制的计算机辅助软件
- 作者：Tanasa Valentin;Normand-Cyrot Dorothee
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- nonlinear;
- numerical methods;
- symbolic calculus;
9.Optimal Inequality Factor for Ehrlich-Aberth's Method

机译：Ehrlich-Aberth方法的最佳不等式因子
- 作者：Cira Octavian;Maruster Stefan
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
10.On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes

机译：任意偶数个节点的插值三角多项式
- 作者：Scheiber Ernest
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
11.A Supervised Learning Process to Elicit Fraud Cases in Online Auction Sites

机译：在网上拍卖网站中引诱欺诈案件的有监督学习过程
- 作者：Almendra Vinicius;Enachescu Denis
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Support Vector Machine;
- bootstrap interval;
- cross-validation;
- fraud elicitation;
- multinomial kernel;
- online auction sites;
12.Mapping a Relational Database into a RDF Repository

机译：将关系数据库映射到RDF存储库
- 作者：Szekely Anamaria;Hejja Anita;Buchmann Robert Andrei
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- D2R server;
- RDF;
- Relational database;
- SPARQL;
13.A GIS Integrated Solution for Traffic Management

机译：GIS交通管理集成解决方案
- 作者：Necula Emilian;Necula Raluca;Iftene Adrian
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- GIS;
- GPS system;
- congestion;
- distributed system;
- route finder;
- route tracking;
- traffic management;
14.An Upper Bound on Checking Test Complexity for Almost All Cographs

机译：检查几乎所有图形的测试复杂性的上限
- 作者：Zubkov Oleg V.;Chistikov Dmitry V.;Voronenko Andrey A.
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- checking test;
- cograph;
- complexity;
- equivalence query;
- read-once Boolean function;
- teaching;
15.Nominal Semantics of the pi I-calculus

机译：π演算的名义语义
- 作者：Alexandru Andrei;Ciobanu Gabriel
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- nominal semantics;
- piI-calculus;
16.Parallel Migration Models Applied to Competitive Differential Evolution

机译：并行迁移模型应用于竞争差分进化
- 作者：Bujok Petr;Tvrdik Josef
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Differential evolution;
- algorithm performance;
- experimental comparison;
- parallel models;
17.A Distributed Approach for Solving Systems of Nonlinear Equations

机译：求解非线性方程组的一种分布式方法
- 作者：Mocanu Adrian;Tapus Nicolae
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Newton-Raphson iteration;
- distributed;
- nonlinear equations;
18.Trust Model for Virtual Organizations

机译：虚拟组织的信任模型
- 作者：Neata Sofia;Urzica Andreea;Florea Adina Magda
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- personnel management flow;
- simulation;
- trust;
19.Multi-agent Stock Trading Algorithm Model

机译：多主体股票交易算法模型
- 作者：Tirea Monica;Tandau Ioan;Negru Viorel
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Algorithmic trading models;
- Fundamental analysis;
- Multi-agent systems;
- Stock market prediction;
- Technical analysis;
20.Searching Simulation Scenarios on the Grid with ELSIGExplorer

机译：使用ELSIGExplorer在网格上搜索仿真方案
- 作者：Muntean Ioan Lucian;Dansorean Laura Maria
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
21.Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles

机译：智能车辆车道识别自动推理的概率方法
- 作者：Popescu Voichita;Bace Mihai;Nedevschi Sergiu
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Intelligent vehicles;
- Object-Oriented Bayesian Network;
- automated reasoning;
- information modeling;
- lane identification;
22.Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem

机译：带有传递网格的细胞遗传算法用于传递问题
- 作者：Brudaru Octav;Vilcu Adrian;Popovici Diana
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
23.A Genetic Approximation of Closest String via Rank Distance

机译：基于秩距离的最接近字符串的遗传近似
- 作者：Dinu Liviu P.;Ionescu Radu
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- closest string;
- genetic algorithm;
- rank distance;
24.Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation

机译：关联规则检测与基于规则的产品推荐本体支持的集成
- 作者：Hejja Anita;Buchmann Robert Andrei;Szekely Anamaria
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Apriori algorithm;
- Custom Rule-set;
- OWLIM;
- Ontology;
- Recommender System;
25.Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems

机译：基于混合聚类算法的未来互联网系统智能网络历史
- 作者：Marin Andrei;Pop Florin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Fuzzy Algorithms;
- Genetic Algorithms;
- Itemset;
- Semantic Clustering;
- Web History;
- Web Mining;
26.Part of Speech Tagging for Romanian Text-to-Speech System

机译：罗马尼亚文本语音转换系统语音标记的一部分
- 作者：Teodorescu Lucian Radu;Boldizsar Razvan;Ordean Mihai;Duma Melania;Detesan Laura;Ordean Mihaela
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
27.Psychologically Inspired, Rule-Based Outlier Detection in Noisy Data

机译：心理启发式，基于规则的嘈杂数据异常检测
- 作者：Reiz Be´ta;Pongor S´ndor
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- circular pattern;
- data filtering;
- outlier detection;
28.Long Integers and Polynomial Evaluation with Estrin's Scheme

机译：长整数和使用Estrin方案的多项式求值
- 作者：Bodrato Marco;Zanoni Alberto
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Polynomial evaluation;
- long integers;
- polynomial composition;
- rationals;
29.Symbol Elimination in Program Analysis

机译：程序分析中的符号消除
- 作者：Kov´cs Laura
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- interpolants;
- loop bounds;
- loop invariants;
- program verification;
- symbolic computation;
- theorem proving;
30.What can Symbolic Computation Contribute to Mathematics?

机译：符号计算对数学有何贡献？
- 作者：Winkler Franz
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- mathematics;
- symbolic computation;
31.What is Hybrid Symbolic-Numeric Computation?

机译：什么是混合符号数字计算？
- 作者：Kaltofen Erich
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
32.Pattern Detection Model for Monitoring Distributed Systems

机译：监控分布式系统的模式检测模型
- 作者：Dinu Cristian-Mircea;Pop Florin;Cristea Valentin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Large-Scale Distributed Systems;
- Machine Learning;
- MonALISA;
- Monitoring;
- Pattern Detection;
- Resource Allocation;
33.Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning

机译：通过监督学习使用探索性数据分析进行欺诈诱因
- 作者：Almendra Vinicius;Roman Bianca
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- exploratory data analysis;
- fraud elicitation;
- outlier detection;
- supervised learning;
34.Short Text Categorization via Coherence Constraints

机译：通过连贯性约束进行短文本分类
- 作者：Dinu Anca
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- coherence;
- discriminant features;
- machine learning methods;
35.Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs

机译：优化ROBDD变量排序的静态分离遗传算法。
- 作者：Brudaru Octav;Rotaru Cristian;Furdu Iulian
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
36.The Runner -- Recommender System of Workout and Nutrition for Runners

机译：跑步者-跑步者健身和营养推荐系统
- 作者：Donciu Mihnea;Ionita Madalina;Dascalu Mihai;Trausan-Matu Stefan
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Runner;
- nutrition;
- ontology;
- recommender system;
- workout;
37.A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems

机译：学习多元噪声线性系统的一种无概率模型方法
- 作者：State Luminita;Paraschiv-Munteanu Iuliana
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- adaptive learning;
- learning from data;
- linear regressive models;
- maximum likelihood principle;
- supervised learning;
38.Towards Extracting Semantic Information from Texts

机译：从文本中提取语义信息
- 作者：Trandabat Diana
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- information extraction;
- natural language processing;
- semantic roles;
39.Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars

机译：学会在概念格中学习：以流体构造语法为例
- 作者：Ciortuz Liviu;Saveluc Vlad
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Fluid Construction Grammar;
- learning in lattices of concepts;
- machine learning;
40.RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

机译：RangeLab：静态分析仪，可精确度有限的计算
- 作者：Martel Matthieu
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Formal verification;
- fixed-point arithmetic;
- floating-point arithmetic;
- numerical stability;
41.Using the Executable Semantics for CFG Extraction and Unfolding

机译：使用可执行语义进行CFG提取和展开
- 作者：Asavoae Mihail;Asavoae Irina Mariuca
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
42.Hybrid Fuzzy Rule-Based Classification

机译：基于混合模糊规则的分类
- 作者：Schaefer Gerald
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- classification;
- fuzzy rule base;
- fuzzy rules;
- pattern recognition;
- rule base optimisation;
43.Computational Tools for Mathematical Collaboration

机译：数学协作的计算工具
- 作者：Watt Stephen M.
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
44.A Theory and an Algorithm of Approximate Gröbner Bases

机译：近似Gröbner基的理论和算法
- 作者：Sasaki Tateaki
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
45.Tracking Method for Reparametrized Geometrical Constraint Systems

机译：重新参数化几何约束系统的跟踪方法
- 作者：Imbach Remi;Mathis Pascal;Schreck Pascal
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Geometric Constraints Solving;
- Homotopy Methods;
- Path-tracking;
- Reparametrization;
46.Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm

机译：通过有效的非抢占式调度算法估算处理器数量
- 作者：Andrei Stefan;Cheng Albert M.K.;Radulescu Vlad
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- lower bound of the number of processors;
- multiprocessor platform;
- scheduling algorithm;
- scheduling problem;
47.Proof Techniques for Synthesis of Sorting Algorithms

机译：综合排序算法的证明技术
- 作者：Dramnesc Isabela;Jebelean Tudor
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Theorema;
- extraction;
- induction;
- proof techniques;
- sorting algorithms;
- synthesis;
48.A Reinforcement Learning Approach for Solving the Fragment Assembly Problem

机译：解决碎片装配问题的强化学习方法
- 作者：Bocicor Maria-Iuliana;Czibula Gabriela;Czibula Istvan-Gergely
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- DNA fragment assembly;
- bioinformatics;
- reinforcement learning;
49.Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition

机译：基于改进的最短路径算法和叠加的工程工期评估模型
- 作者：Jevtic Vesna;Dobrilovic Dalibor;Stojanov Jelena;Stojanov Zeljko
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- Clark's formulas;
- project duration assessment;
- shortest path algorithm;
- superposition;
50.Self-Organizing Context Aware Agent Systems

机译：自组织上下文感知代理系统
- 作者：Florea Adina Magda
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- ambient intelligence;
- autonomous agents;
- context;
- context awareness;
- multi-agent systems;
- self-organization;
51.On the Complexity of Szilard Languages of Matrix Grammars

机译：矩阵文法的Szilard语言的复杂性
- 作者：Cojocaru Liliana;Makinen Erkki
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- NC1 and NC2 complexity classes;
- Szilard languages;
- alternating Turing machines;
- matrix grammars;
52.On a Non-periodic Shrinking Generator

机译：在非周期性收缩发生器上
- 作者：Berzina Inese;Bets Raivis;Buls Janis;Cers Edmunds;Kulesa Liga
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- finitely generated bi-ideals;
- non-periodic shrinking generator;
- pseudo-random number generator;
53.On Kahan's Rules for Determining Branch Cuts

机译：关于Kahan确定分支削减的规则
- 作者：Chyzak Frederic;Davenport James H.;Koutschan Christoph;Salvy Bruno
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- branch cut;
- computer algebra;
- differential equation;
54.A Method for Submodelling Inside Transient Flows

机译：内部瞬态流子建模的方法
- 作者：Anton Alin-Adrian
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- cfd;
- data reduction;
- space-time window;
- submodelling;
55.Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++

机译：使用Maple和C ++计算Dynkin图的网格根系统的经验
- 作者：Felisiak Mariusz;Simson Daniel
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- C++;
- Coxeter polynomial;
- Dynkin diagram;
- Maple;
- Mesh geometries of roots;
- Quiver;
- Weyl group;
56.A Data Dissemination Algorithm for Opportunistic Networks

机译：机会网络的数据分发算法
- 作者：Ciobanu Radu-Ioan;Dobre Ciprian;Cristea Valentin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- delay-tolerant;
- dissemination;
- networks;
- opportunistic;
57.Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed Systems

机译：基于XSufferage启发式的分布式系统多Agent资源分配算法
- 作者：Gherega Alexandru;Pupezescu Valentin
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- distributed systems;
- istributed architecture;
- multi-agent system;
- resource allocation heuristic;
58.Metric Denotational Semantics for Parallel Rewriting of Multisets

机译：多集并行重写的度量指称语义
- 作者：Ciobanu Gabriel;Todoran Eneia Nicolae
- 会议名称：《Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on》 | 2011年
- continuations;
- membrane computing;
- metric semantics;
- parallel multiset rewriting;