出版物档案

2010

A. Khasawneh, S. A. Alvarez, C. Ruiz, S. Misra, and M. Moonis. “使用期望最大化发现睡眠成分类型”，程序. 第23届IEEE计算机医疗系统国际研讨会(CBMS 2010), Perth, Australia, Oct. 12-15, 2010.

S. Floyd, C. Ruiz, S. A. Alvarez, J. Tseng, G. Whalen. 胰腺癌预后的模型选择元学习, 全文(接受率:46/410 = 11).2%), Proc. 第三届卫生信息国际会议(healththinf 2010), 结合第三届生物医学工程系统与技术国际联合会议(BIOSTEC 2010), Valencia, Spain, Jan. 20-23, 2010, 29-37.

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. 胰腺癌数据库中临床表现的机器学习, 医学中的人工智能, 疾病基因和蛋白质电子游戏正规平台的数据挖掘方法特刊(孙金), ed.), vol. 49，第三期，2010年7月，187-195. DOI: 10.1016/j.artmed.2010.04.009.

Michael A. Kiebish, Rob Bell, Yang Kui, Toan Phan, Zhao Zhongdan， William Ames, Thomas N. 理查德·塞弗里德. 杰弗里·格罗斯. 和韩献林. J. 心磷脂重塑的动态模拟:脂质组学解释方法的润滑车轮, J. Lipid Res., doi:10.1194/jlr.M004796.

裴顺民和 Hao Jiang, “建立一个浅景深的录像”, 2010年IEEE模式识别国际会议. To appear.

Hao Jiang, “使用数百万个范例的3D人体姿势重建”, 2010年IEEE模式识别国际会议. To appear.

Hao Jiang, Mark S. 德鲁和李泽年, 基于连续凸匹配的混乱视频动作检测, IEEE视频技术电路与系统汇刊. Jan. 2010.

霍华德·施特劳宾, 帕斯卡尔·泰森和丹尼斯·萨姆里恩, “弱迭代块产品和逻辑和复杂性的应用”, 国际代数与计算杂志, 20(2) 319-341 (2010).

2009

M. Bojanczyk, H. Straubing, and I. Walukiewicz，“森林代数的圈积及其在树逻辑中的应用”，第1卷. 第24届IEEE计算机科学逻辑研讨会(LICS) (2009) 255-263.

H. Jiang and S. X. Yu, 缩放和旋转不变对象匹配的线性解, 计算机视觉与模式识别IEEE会议, Miami Beach, Florida, June 2009.

C. Pavlopoulou D. Martin, S. X. Yu and H. Jiang, “从分歧中学习:歧视性绩效评估”, 第11届IEEE跟踪与监视性能评估国际研讨会, Miami Beach, Florida, June 2009.

2008

E. Sciore，数据库设计与实现. 约翰·威利，2008年10月.

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. “癌症患者临床表现中的知识发现”, 发表在2008年IEEE生物信息学与生物医学国际会议论文集上, Philadelphia, PA, USA, Nov. 3-5, 2008.

H. Straubing and D. thsamrien，“模量词”，E. Grädel, J. Flum and T. Wilke (eds.逻辑和自动机:历史和观点，卷. 《电子游戏正规平台》系列中的2本，阿姆斯特丹大学出版社，2008年，第2页. 613-628.

M. Bojanczyk, L. 塞古芬和H. Straubing, “分段可测试的树语言”, 发表于第23届IEEE计算机科学逻辑研讨会论文集(LICS 2008).

H. Jiang and D. Martin, 使用非树模型的全局姿态估计, IEEE计算机视觉与模式识别会议论文集(2008).

H. Jiang and D. Martin, “使用形状流查找动作”, 欧洲计算机视觉会议, Marseille, October 2008.

2007

S. A. Alvarez, C. Ruiz, and T. Kawato. 使用神经专家网络更有效地挖掘异构数据, 多媒体数据挖掘与知识发现[j].A. 彼得鲁申和L. Khan, eds.)，斯普林格出版社2007年版.

S. Floyd, S. A. Alvarez, C. Ruiz, J. Hayward, M. Sullivan, J. Tseng, and G. Whalen. “使用机器学习和回归改进胰腺癌生存预测”, 消化道外科学会第48届年会(SSAT 2007), 与消化疾病周同时举行, 华盛顿特区, USA, May 19-23, 2007.

J. Hayward, S. A. Alvarez, C. Ruiz, J. Tseng, M. 沙利文和G. Whalen. “用机器学习预测胰腺癌患者的生存”, 外科肿瘤学会第60届年度癌症研讨会, 华盛顿特区, USA, March 15-18, 2007.

H. Jiang, S. Fels and J. Little, 一种多目标跟踪的线性规划方法计算机视觉与模式识别2007 (CVPR'07).

H. Jiang, M. S. 德鲁和李泽年, 线性规划与连续凸化的匹配, IEEE模式分析与机器智能汇刊, June, 2007.

H. Jiang and M. S. Drew，利用惯性约束模式识别的抗阴影目标跟踪，2007年7月.

H. Jiang李泽年，Mark S. Drew, 用连续凸化和线性规划识别图像中的姿态, IEEE多媒体, April, 2007.

A. Roy and H. Straubing, Definability of Languages by Generalized First-Order Formulas over (N; +), SIAM计算杂志, 37 (2), 502{521, 2007.

R. Signorile, 将规划代理和仿真集成到一个控制运输系统物流的动态决策支持系统中, 概念建模与仿真(CMS) 2月, 2007.

2006

P. Laxminarayan, S. A. Alvarez, C. Ruiz, and M. Moonis. “挖掘人类睡眠数据探索性分析的统计意义关联”, IEEE生物医学信息技术汇刊, vol. 10, no. 7月3日，2006,440-450.

A. Roy and H. Straubing, Defineability of First Order Languages over (N; +), 第23届计算机科学理论年会(STACS), 2006. 发表于《电子游戏软件》3884,489-499.

E. Duenez, S. Miller, A. Roy and H. Straubing，若干变量的不完全指数和，《电子游戏软件》，116(2006)，第2期. 1, 168-199.

R. Signorile, "Simulation, 能源工厂的物流和运输”, 物流及运输工作坊”, Milan, Italy, November, 2006.

Borowsky, E., Logan, A. and R. Signorile, 利用P2P中的客户机-服务器模型:管理P2P系统中的并发文件电子游戏正规平台, 国际互联网及网络应用及服务会议(ICIW'06), 即将于2月23日至25日, 2006年瓜德罗普岛, 法国加勒比.

H. Straubing，“非正则设置中正则语言的不可表达性结果”，C语言. de Felice, A. Restivo (eds.)，《电子游戏软件》(2005)，69-77. (with D. Thérien) "A Note on Mod p-Mod m Circuits", Theory of Computing Systems 39 (2006) 699-706.

L. Chaubard, J. E. Pin and H. Straubing, 带模谓词的一阶公式, 2006年第21届IEEE计算机科学逻辑研讨会论文集, (2006), 211-220.

L. Chaubard, J. E. Pin and H. Straubing, "Actions, c类产品, 及串联产品", 理论计算机科学356 (2006), 73-89.

2005

P. Laxminarayan C. Ruiz, S. A. Alvarez, and M. Moonis. “人类睡眠时间序列的挖掘关联”，程序. 第18届IEEE计算机医疗系统国际研讨会(IEEE CBMS 2005), Dublin, Ireland, June 2005.

F. Green, A. Roy, H. Straubing，布尔电路复杂度中指数和的界，计算数学，C.R. Acad. Sci. 巴黎，Ser I 341 (2005)， 279-282.

R. Signorile,多智能体点对点供应链仿真系统, 概念建模与仿真会议(CMS'2005), Marseilles, France, 10月20 - 22日举行, 2005.

R. Signorile, 基于计划和分布式代理的库存控制决策支持系统, 第十八届国际工业会议 & 人工智能的工程应用 & 专家系统，2005年6月22-25日，意大利巴里.

H. Straubing and D. Thérien, 由有界变量数目有限的广义一阶公式定义的正则语言, 计算系统理论36 (2003)29-69. (with J. E. Pin) "Some Results on C-varieties", RAIRO: Theoretical Informatics, 39 (2005) 239-262.

H. Straubing “非正则设置中正则语言的不可表达性结果”，C语言. de Felice, A. Restivo (eds.)，《电子游戏软件》(2005)，69-77. (with D. Thérien) "A Note on Mod p-Mod m Circuits", Theory of Computing Systems 39 (2006) 699-706.

2004

S. A. Alvarez, 信念组合的框架变换理论, 数学与人工智能年鉴, vol. 40, no. 3/4, 187-213, 2004年3月. Alvarez

E. Sciore, 启用协同管理和安全围栏:SQL数据库中的因子权限(与A. Rosenthal). IEEE数据工程公报27:1,2004年3月，pp. 42-47. 请提交.

R. Signorile, 结合元胞自动机和多智能体的人群控制统一仿真系统, 第16届欧洲仿真会议, Oct. 17-20, 2004，匈牙利布达佩斯.

2003

S. A. Alvarez, C. Ruiz, and V. Dignum. 数据挖掘与网络知识管理, 网络知识管理与决策支持:第十四届Prolog应用国际会议论文选集, LNCS 2543, 斯普林格出版社, 2003.

S. A. Alvarez, T. Kawato和C. Ruiz. 使用神经专家对松散耦合数据源进行挖掘, 第四届多媒体数据挖掘国际研讨会(MDM/KDD2003), 第九届ACM SIGKDD知识发现与数据挖掘国际会议(KDD2003), Washington, DC, Aug. 2003.

S. A. Alvarez. 关联规则的卡方计算:初步结果, 技术报告BC-CS-03-01, 计算机科学系, 电子游戏软件, July 2003.

R. Muller, 用构造函数平面化推断过程间寄存器分配的注释类型, Torben Amtoft, 发表于2003年语言设计与实现中的类型研讨会论文集(TLDI'03), New Orleans, LA, January, 2003.

R. Signorile and A. Bruzzone, 基于仿真和遗传算法的港口管理, 国际港口技术, Edition 18, January 2003.

R. Signorile and J. Pearlin, 基于多播通信的分布式互斥算法仿真, ESS2003论文集,October 26-29, 2003 Delft, 荷兰.

R. Signorile, 使用JINI进行分布式仿真, 第七届IEEE DS-RT 2003分布式仿真与实时应用国际研讨会论文集(10月23-26日), 2003 Delft, 荷兰.

R. Signorile, “物流与供应链模拟”, 2003年夏季模拟多会议论文集, July 20–24, 2003年蒙特利尔, Canada.

2002

W.-Y. Lin, S. A. Alvarez, and C. Ruiz. “推荐系统的高效自适应支持关联规则挖掘”，数据挖掘 & 知识发现，6(1)，83-105,1月. 2002.

S. A. Alvarez. 召回之间的精确分析关系, Precision, 信息检索中的分类准确性, 技术报告BC-CS-02-01, 计算机科学系, 电子游戏软件, July 2002.

R. Muller，一种具有多态和多变流类型的微积分，[J]. B. 威尔斯，艾林·迪莫克和富兰克林·图巴克. 44 Pages. 函数式编程学报，12(3):183-227,2002年5月.

R. Signorile, 企业物流与客户服务的系统动态仿真, 期刊特刊-仿真-供应链仿真, 2002.

R. Signorile, 在有线和无线网络上使用TCP/IP的无线移动集成协议, ESS2002建模与仿真会议论文集, Dresden, Germany, 10月22日至25日, 2002.

R. Signorile, 分布式仿真在物流与供应链管理中的应用, HMS2002会议记录, Bergeggi, Italy, Oct. 2002.

H. Straubing and D. Thérien, 有限一元群的弱迭代块积, 摘自《电子游戏软件》2002, 计算机科学2286(2002)课堂讲稿.

H. Straubing “正则语言的逻辑描述”, 2002年拉丁会议录, 计算机科学2286(2002)课堂讲稿.

2001

C. Shoemaker, M. Sao Pedro, M. Pungliya, C. Ruiz, S. A. Alvarez, M. Ward, E.F. Ryder, and J. Krushkal. 普通人群中与模拟复杂疾病相关的遗传变异的单点和多点分析的计算方法, 遗传流行病学, vol. 21 (Suppl. 1): S738-S745. 2001.

M. Streeter, M. Ward, and S. A. Alvarez. N2VIS -一个用于神经网络的交互式可视化工具, 视觉数据探索与分析会议8, Proc. SPIE Vol. 4302，圣何塞，加利福尼亚州，1月. 2001.

R. Muller, 没有闭包的功能:标准ML的类型安全自定义函数表示, 和艾林·迪莫克, 伊恩Westmacott, 富兰克林·图巴克和乔·威尔斯, ACM国际函数式编程会议论文集, Florence, Italy, September, 2001.

A. Bruzzone and R. Signorile, 基于仿真和遗传算法的集装箱码头规划, 海港与港口管理杂志, Fall 2001.

R. Signorile, 用模拟优化急诊室的操作, ESS 2001建模与仿真会议论文集, Marseilles, France, 10月16日, 2001.

R. Signorile, 企业物流与客户服务的系统动态仿真, 信息系统国际会议论文集上的模拟辅助决策支持和规划特别会议, 分析与综合, Orlando, FL, July 2001.

H. Straubing，“由模量词定义的语言”，《电子游戏软件》166 (2001)112-132.

2000

R. Signorile, “多代理仿真”, 国际系统学会议论文集, 控制论与信息学, July 2000.

R. Signorile, 使用模拟进行商业决策分析, 信息系统国际会议论文集, 分析与综合, July 2000.

R. Signorile，“库存管理模拟与代理”，HMS学报，热那亚，意大利，10月. 2000.

R. Signorile., 分布式智能代理协同网络仿真, 基于web的建模与仿真国际会议论文集, San Diego, CA, January 2000.

H. Straubing，“什么时候一个有限单oid可以模拟另一个。?", in J.C. Birget, S. Margolis, J. Meakin and M. Sapir (eds.)群与半群的算法问题，数学学报(2000):267-288.

1999

E. Sciore，“第一类视图:以用户为中心的计算的关键”(与A. Rosenthal). SIGMOD RECORD, 1999年9月，页. 29-36.

R. Signorile, 企业外部物流仿真中的分布式智能代理框架, 英国皇家海军学报, Genova, Italy, Oct. 1999.

R. Signorile, 模拟智能代理在自动化分布式多约束调度系统中的应用, 第11届ESS会议记录, September, 1999.

A. Bruzzone and R. Signorile, 基于Java环境下的人群控制仿真, 基于web的建模与仿真国际会议论文集, 旧金山, CA, January 1999.

D. 巴林顿和 H. Straubing, 模门电路的模计数下界, 计算复杂性8 (1999)258-272.

1998

Bruzzone, A. and R. Signorile, 船舶规划与船厂布置的仿真与遗传算法, 《电子游戏软件》特刊, Oct. 1998.

R. Signorile, 分布式智能代理在柔性制造环境仿真中的应用电子游戏正规平台, 第十届欧洲模拟国际会议录, Oct. 1998.

R. Signorile, “向小企业经理介绍模拟:一个真实的案例”, ASTC '98论文集, Boston, 1998年4月.

P. P´eladeau, H. Straubing and D. Thérien, 由程序定义的有限半群变, 理论计算机科学, 180(1997) 325-339“用模计数量词定义的语言”, 第十五届计算机科学理论年会论文集, 计算机科学课堂讲稿1373, Springer, 柏林(1998)332-343.

1997

R. Muller, 强类型定向流表示转换(扩展抽象), 和艾林·迪莫克, 富兰克林·图巴克和J. B. Wells, ACM国际函数式编程会议论文集, Amsterdam, 荷兰, June, 1997.

R. Muller，面向流编译的类型化中间语言(扩展摘要)，[J]. B. 威尔斯，艾林·迪莫克和富兰克林·图巴克, 《软件工程的形式化方面, 程序设计和软件工程的理论方面, Lille, France, April, 1997.

R. Muller, 用多态和多变流类型编译, 和富兰克林·图巴克, 艾林·迪莫克和乔·威尔斯, 《第一届国际汇编类型研讨会论文集》, Amsterdam, 荷兰, June, 1997.

R. Signorile 先生，D., 使用模拟作为细胞学实验室的规划工具, 第九届欧洲仿真年会, Oct. 1997.

H. Straubing 有限模型、自动机和电路复杂性>，《电子游戏软件》，N. 伊曼和P. Kolaitis (eds.描述复杂性和有限模型, 离散数学与理论计算机科学中的DIMACS系列, 美国数学学会(1997)63-96.

1996

A. Bruzzone and R. Signorile, 遗传算法与仿真在港口码头规划中的应用, 国际第八届年度欧洲模拟会议论文集, Oct. 1996.

R. Signorile and R. Perry, 电子游戏正规平台生电子游戏软件流程:业务流程再造的实践, 第八届欧洲仿真年会, Oct. 1996.

R. Signorile, 模拟与专家系统相结合的综合决策支持系统, 国际建模会议, 仿真与优化, May 1996.

1995

M.H. Safizadeh和 R. Signorile，“基于准牛顿方法的仿真优化”，《电子游戏正规平台》，1995年第4期.

D. A. 把巴林顿和 H. Straubing, 模门电路的模计数下界, 第二届拉丁美洲理论计算机科学研讨会论文集, 计算机科学911课堂讲稿, 柏林(1995), 60-71.

H. Straubing, D. 萨文杰和W. Thomas, 用广义量词定义的规则语言, 信息与计算118 (1995)289-301. (with R. Beigel) "The Power of Local Self-Reductions", 第十届IEEE复杂性理论结构会议论文集, 1995.

H. Straubing, D. 萨文杰和W. “正则语言、有限一元群和电路复杂性的逻辑”，J. Fountain (ed.)，半群，正式语言和群体，Kluwer学术出版社(1995)，119-146.

1994

R. Muller, 分期演算及其在译者鉴定中的应用(初报), 第21届ACM SIGPLAN - SIGACT编程语言原理研讨会论文集, Portland, Oregon, January, 1994.

E. Sciore，“客户机/服务器体系结构中的上下文交换”(与M. Siegel and S. Madnick). 系统与软件杂志(27:3)，1994年12月，页. 223-232.

E. Sciore，“实体-关系数据模型中的查询缩写”.信息系统(19:6)，1994年11月，页. 493-513.

E. Sciore, “使用语义值促进异构信息系统之间的互操作性”(与M. Siegel and A. Rosenthal). ACM Transactions on Database Systems(19:2)， 1994年6月，pp. 254-290.

E. Sciore，《电子游戏软件》.VLDB Journal(3:1)， 1994年1月，pp. 77-106.

D. A. 把巴林顿和 H. Straubing, 复数多项式与模计数的电路下界, 《电子游戏正规平台》, 计算机科学课堂讲稿583, Springer, Berlin (1992) 24-31; journal version in Computational Complexity 4 (1994) 325-338.

H. Straubing, P. Tesson and D. Thérien, 弱迭代块产品及其在逻辑中的应用, 电路与通信复杂性", 被《电子游戏软件》接受发表, 有限自动机, Formal Logic, 电路复杂度, Birkha¨user, Boston, 1994.

1992

E. Sciore，“语义查询优化的自动规则派生”(与M .. Siegel and S. Salveter). ACM数据库系统汇刊(17:4)，1992年12月，pp. 563-600.

E. Sciore，“具有语义抽象的通用关系模型”(与T. Chang). IEEE Transactions on Knowledge and Data Engineering(4:1)， 1992年2月，pp. 23-33.

E. Sciore使用语义值实现语义互操作性." Proc. 科学数据管理研讨会(盐湖城，1992).

D. A. 混合巴林顿，K. Compton, H. Straubing and D. 《电子游戏软件》，[J]. Comp. Syst. Sci. 44 (1992) 478-499.

H. Straubing and P.Weil, 关于点深度两种语言的一个猜想, 理论计算机科学104 (1992)161-183.

J.E. Pin, H. Straubing and D. Thérien, 《电子游戏软件》, 信息与计算101 (1992).

K. J. Compton and H. Straubing, “在低级复杂性类中描述常规语言”, 欧洲理论计算机科学协会公报48 (1992)134-142.

H. Straubing 电路复杂性与广义一阶公式的表达能力, 在ICALP会议录92, 计算机科学课堂讲稿623 Springer, 柏林(1992)16-27.

1991

E. Sciore，《电子游戏正规平台》.美国计算机学会数据库系统汇刊(16:3)，1991年9月，页. 417-438.

E. Sciore“扩展的通用实例模型”.信息系统(16:1)，1991年1月，页. 21-34.

E. Sciore，“模块化基于规则的查询优化”(与J. Sieg). 电子游戏软件，1991年.

H. Straubing “恒深周期电路”，国际J. 代数与计算，1 (1991)，49-87.

H. Straubing “自动机、逻辑和计算复杂性”，在Monoids和半群中的应用，(J). Rhodes, ed.)，世界科学，(1991)467-492.

D. A. 把巴林顿和 H. Straubing，“有界宽度分支规划的超线性下界”，第2部分. 6th IEEE Structure in Complexity Theory Conference (1991) 305-314; journal version to appear in J. Comp. Syst. Sci.

1990

D.A. 巴林顿混合, n.n. Immerman and H. Straubing，“关于NC1的均匀性”，J. Comp. Syst. Sci. 41 (1990), 274-306.

D. A. 巴林顿混合, H. Straubing and D. thsamrien，“组上的非一致自动机”，信息与计算. 89 (1990) 109-132.

H. Straubing and D. Thérien, “有限自动机与计算复杂性”，《电子游戏软件》, (J.E. Pin, ed.计算机科学课堂讲稿386,Springer出版社，柏林(1990)199-223.

H. Straubing 有限自动机的形式性质及其应用中的“圈积及其应用”, (J.E. Pin, ed.计算机科学讲义386,Springer出版社，柏林(1990)15-24.