2006年第8届SYNASC:罗马尼亚蒂米苏拉邦
维奥雷尔·内格鲁 , 达娜·佩特库 , 丹妮拉·扎哈里 , 阿吉斯·亚伯拉罕 , 布鲁诺·巴赫伯格 , 亚历山德鲁·西科尔塔斯 , 多里安·戈根 , 乔尔·昆克顿 :
第八届科学计算符号和数字算法国际研讨会(SYNASC 2006),2006年9月26日至29日,罗马尼亚蒂米苏拉邦。 IEEE计算机学会 2006 ,国际标准图书编号 0-7695-2740-X号
受邀会谈
布鲁诺·巴赫伯格 :
数学理论探索。 3-4 乔尔·昆克顿 :
出现在问题解决、分类和机器学习中。 5-9 黄利顺(Limsoon Wong) :
《逻辑学家-工程师历险记:逻辑、工程、医学、生物学和统计学之旅》。 10 铁雄艾达 :
网络折纸编程的层次。 11 斯蒂芬·瓦特 :
改进基于笔的数学接口。 12 阿吉斯·亚伯拉罕 :
使用自然启发的启发式调整进化算法性能。 13
数学理论探索研讨会(一)
罗伊·L·麦卡斯兰 , 阿兰·邦迪 :
MATHsAiD:数学定理发现工具。 17-22 Madalina Hodorog公司 , 阿德里安·克雷西恩 :
基于方案的自然数系统研究。 23-34
SYNASC会议: 计算机代数及其应用
艾琳娜·安德烈卡 :
在Mathematica中实现参数化类型算法定义。 35-40 拉杜·萨波廷斯基 , 多丽娜·彼得 :
高维空间中体积传播的两层编程方法。 41-46 杜米特鲁·瓦尔卡诺夫 :
用仙人掌密码做数值宇宙学。 47-54 杜米特鲁·瓦尔卡诺夫 , 瓦伦蒂娜·瓦尔卡诺夫 :
Maple平台在弯曲时空测地运动研究中的应用。 55-62
SYNASC会议: 数据挖掘
梅利斯·德尔斯特 , Jean-Marc Fedou女士 , 盖伊·梅兰松 :
多层次社区结构的质量度量。 63-68 加布里埃拉·塞族 , 格里戈雷塔·索菲亚·摩尔多瓦 :
一种新的基于k均值的方面挖掘聚类算法。 69-74 米雷尔·科斯基 , 阿德里安·朱尔卡 , 博格丹·乌德雷斯库 , 尼古拉·康斯坦丁斯库 , 米哈·加布洛瓦努 :
HTML模式生成器——从网页中自动提取数据。 75-78 拉米斯·哈瓦拉 , 安娜·西蒙特 , 米歇尔·西蒙特 :
处理决策树中缺失值的概率方法的复杂性。 79-84
SYNASC会议: 自动推理、逻辑和规划
安纳托利·安尼西莫夫 , 亚历山大·利亚列茨基 :
三维SAD系统。 85-88 安德鲁·舒曼 :
非阿基米德值序列逻辑。 89-92 斯特凡·安德烈 , 魏恩甘钦 , 马丁·里纳德 :
增量确定性规划。 93-102
SYNASC会议: 图像处理和几何可视化
Luminita A.Vese公司 , 斯坦利·奥斯尔 :
变分-PDE方法中的彩色纹理建模和彩色图像分解。 103-110 阿德里安·伊恩 , 托马斯·伊列茨科 , Yll Haxhimusa公司 , 沃尔特·克罗帕奇 :
两个圆环体的三维拓扑结构的区分。 111-118 利安娜·斯坦内斯库 , 安卡离子 , 杜米特鲁·丹·布尔德斯库 , 马吕斯·布雷佐万 :
从Dicom文件生成的图像数据库基于内容的可视化查询的算法和结果。 119-124 叶鹏关 :
基于小波边缘检测的唇部自动提取。 125-132
SYNASC会议: 学习与模糊控制
亚伊尔·卡巴列罗 , 拉斐尔·贝洛 , 阿尔贝托·塔博阿·克里斯皮 , Ann Nowé , 玛丽亚·加西亚 , 格拉迪斯·卡斯 :
基于粗糙集理论的一种新的训练集质量评价方法。 133-140 马吕斯·卢西亚·托梅斯库 , 吉奥盖·彼得罗夫 :
一种具有模糊逻辑控制器的非线性系统稳定性分析方法。 141-150
SYNASC会议: 符号和数字算法
斯蒂芬·瓦特 :
无枢轴块矩阵反演。 151-155 帕维尔·特夫德里克 , 伊万·西蒙塞克 :
一种加速稀疏矩阵向量乘法的新方法。 156-163 魏晓 , Eng-Wee Chionh公司 :
括号生成Dixon行列式的行和列。 164-170 屋大维Cira , 克里斯蒂安·米哈伊·西拉 :
Durand-Kerner型同时包含方法的最佳收敛条件。 171-174 罗穆卢斯·米利塔鲁 :
实对称矩阵特征方程的牛顿迭代法。 175-180
SYNASC会议: 软件设计中的形式化方法
卡门·鲁伊斯先生 , 迭戈·卡佐拉 , 费尔南多·库亚特罗 , 胡安·何塞·帕尔多 :
柔性制造系统的过程代数规范。 181-186 克里斯蒂娜·马林内斯库 , Ioan Jurca公司 :
企业应用程序的元模型。 187-194 安德烈亚·维斯坎 :
约束订单组件模型执行。 195-200
复杂系统代理研讨会(一)
尤利安娜·多加鲁 , 阿米莉亚·巴迪卡 , 科斯汀·巴迪卡 :
新闻联合多代理系统的概念架构。 201-204 科斯汀·巴迪卡 , 加布里埃尔·乔治·波帕 , Mihnea Scafes公司 , 玛丽亚·甘扎 , 马西耶·加温茨基 , Pawel Kobzdej公司 , 马金·帕普日奇奇(Marcin Paprzycki) :
模型电子商务代理系统中谈判组件的设计考虑。 205-208 伊奥内尔·穆斯卡拉吉 , 洪江 , 霍丽亚·埃米尔·波帕 :
异步搜索技术的实现和评估模型:从同步分布式系统到异步分布式系统。 209-216 丹尼尔·波普 , 维奥雷尔·内格鲁 , 卡林·桑德鲁 :
用于知识发现的多Agent体系结构。 217-226
复杂系统代理研讨会(二)
米哈·斯坦 , 博格丹·斯坦 , 阿迪娜·玛格达·弗洛里亚 :
供应链管理的动态战略代理。 227-232 米哈拉·奥普拉 , 康斯坦丁·尼奇塔 :
Agent技术在水污染监测系统中的应用。 233-238 Camelia-Mihaela品茶 , 卡米利亚·奇拉 , D.杜米特里斯库 :
结合元神经理论解决Rook问题。 239-243 加布里埃尔·乔巴努 :
使用消息传递接口的协作代理交互。 244-250
网格计算应用开发研讨会(一)
达娜·佩特库 , 维多利亚·奥尔丹 :
基于GIMP的遥感图像处理网格服务。 251-258 弗洛里西卡·帕劳(Floricica Parauan) , 米哈拉奥迪安 , 安德烈·迪亚曼迪 :
云遮罩算法。 259-266 维克托·巴库 , 奥维迪乌·穆雷桑 , 多里安·戈根 :
MedioGRID架构中基于MODIS图像的植被指数计算。 267-273 诺伯特·索莫西 , 达娜·佩特库 :
绘制大型地形表面的并行算法。 274-278 Cornelia Melenti公司 , 丹尼尔·萨夫塔 , 多里安·戈根 :
PIMS——基于植被指数的语义信息检测的多光谱图像处理工具。 279-288
网格计算应用开发研讨会(二)
Rares Barbantan公司 , 多里安·戈根 :
网格环境下基于活动对象的应用程序。 289-295 阿德里安·科尔萨 , 伊奥西夫·伊格纳特 , Radu Opris公司 :
在MedioGRID中提供高数据可用性。 296-302 马塞拉·博博伊拉 , 乔治·V·奥尔达什 , 福罗林·波波安 , 瓦伦汀·克里斯蒂 :
MedioGRID中调度图像处理应用程序的框架。 303-308 劳拉·西布 , 荷里亚·乔卡丽(Horia Ciocarlie) :
基于Globus Toolkit 4中实现的Web服务资源框架的有状态Web服务设计。 309-316
自然计算与应用研讨会(一)
加泰罗林·斯托安 , 迈克·普劳斯 , 杜米特鲁·杜米特雷斯库 , Ruxandra Stoean公司 :
分类规则的合作演变。 317-322 马达琳娜·爱奥尼亚 , 米哈拉·布雷班 , 科尼利厄斯·克罗伊图 :
一种利用进化计算技术中的推理求解CSP的新方案。 323-329 Ruxandra Stoean公司 , 杜米特鲁·杜米特雷斯库 , 迈克·普劳斯 , 加泰罗林·斯托安 :
进化支持向量回归机。 330-335 Yong Fan(范勇) , 朱继红 , 曾祺孙 :
先进战斗机基于特征结构分配的飞行控制智能优化方法。 336-342
自然计算与应用研讨会(二)
维克托·马丁内斯 , 费尔南多·阿罗约 , 亚伯拉罕·古铁雷斯 , 路易斯·费尔南德斯 :
过渡P系统中应用规则的有界算法的硬件实现。 343-349 亚伯拉罕·古铁雷斯 , 路易斯·费尔南德斯 , 费尔南多·阿罗约 , 维克托·马丁内斯 :
基于微控制器的膜系统硬件架构设计。 350-353 科斯敏·邦奇斯 , 科内尔·伊兹巴萨 , 加布里埃尔·乔巴努 :
多集上的数字编码和算术。 354-364
自然计算与应用研讨会(三)
克里纳·格罗桑 , 阿吉斯·亚伯拉罕 , 斯特凡·蒂根 :
使用多输入多输出神经模糊系统的工程药物设计。 365-371 艾丽·韩 , 朱大明 :
最小生成树问题的DNA计算模型。 372-377 郭建成(Guojian Cheng) , 刘天石 , 王奎生 , 嘉信·韩 :
用于模式分类的软竞争学习和增长自组织神经网络。 378-381 袁宾墨 , 刘和通 :
基于复杂粒子群优化算法的神经网络直接逆控制器设计。 382-388
Petri网及其在工作流管理研讨会中的应用(I)
Awatef Hicheur公司 , 卡梅尔·巴考伊 , 努拉·布迪亚夫 :
使用递归ECATNets建模工作流。 389-398 娜迪亚·布西 , G.米歇尔·平纳 :
使用区域描述工作流网络的特征。 399-406 玛丽莎·洛伦斯 , 哈维尔·奥利弗 :
标记控制的可重构工作流网络。 407-413 亚历山大·福蒂斯 , 弗洛林·福蒂斯 :
使用BPM技术进行物料平衡建模。 414-422
Petri网及其在工作流管理研讨会中的应用(二)
费鲁西奥·劳伦蒂普斯 , 基尼娜·伊奥内拉·马科维 :
电子定时工作流网络。 423-429 Ioana Leahu公司 , 费鲁西奥·劳伦蒂普斯 :
Petri网的汇流性及其应用。 430-436 洛伦佐·卡普拉 :
将SWN启用测试的符号方法应用于工作流模型。 437-444