出版物档案

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), in conjunction with the Third International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2010), Valencia, Spain, Jan. 20-23, 2010, 29-37.

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. 胰腺癌数据库中临床表现的机器学习, 医学中的人工智能, special issue on Data Mining Approaches to the Study of Disease Genes and Proteins (Sun Kim, 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. "Dynamic simulation of cardiolipin remodeling: Greasing the wheels for an interpretative approach to lipidomics", 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, "Wreath prodcucts of forest algebras, with applications to tree logics", Proc. 第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, “从分歧中学习:歧视性绩效评估”, The 11th IEEE International Workshop on Performance Evaluation of Tracking and Surveillance, Miami Beach, Florida, June 2009.

2008

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

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. “癌症患者临床表现中的知识发现”, to appear in Proceedings of the 2008 IEEE International Conference on  Bioinformatics and Biomedicine, 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, 使用非树模型的全局姿态估计, Proceedings of the 计算机视觉与模式识别IEEE会议 (CVPR 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. "Improved Survival Prediction for Pancreatic Cancer using Machine Learning and Regression", 消化道外科学会第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, A Linear Programming Approach for Multiple Object Tracking Computer Vision and Pattern Recognition 2007 (CVPR'07).

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

H. Jiang and M. S. Drew, Shadow Resistant Object Tracking using Inertia Constraints Pattern Recognition, July, 2007.

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, "Integrating Planning Agents and Simulation into a Dynamic Decision Support System for Controlling the Logistics of a Transportation System", 概念建模与仿真(CMS) 2月, 2007.

2006

P. Laxminarayan, S. A. Alvarez, C. Ruiz, and M. Moonis. "Mining Statistically Significant Associations for Exploratory Analysis of Human Sleep Data", 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, Incomplete Exponential Sums in Several Variables, by Journal of Number Theory, 116 (2006), no. 1, 168-199.

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

Borowsky, E., Logan, A. and R. Signorile, "Leveraging the client-server model in P2P: Managing concurrent file updates in a P2P system", 国际互联网及网络应用及服务会议(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, Bounds on an Exponential Sum arising in Boolean Circuit Complexity, Comptes Rendus Mathematique, 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, "Regular Languages Defined by Generalized First-order Formulas with a Bounded Number of Bound Variables", 计算系统理论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, "Enabling Collaborative Administration and Safety Fences: Factored Privileges in SQL Databases" (with A. Rosenthal). IEEE数据工程公报27:1,2004年3月,pp. 42-47. 请提交.

R. Signorile, "Combining Cellular Automata and Multi-Agents in a Unified Simulation System for Crowd Control ", 第16届欧洲仿真会议, Oct. 17-20, 2004,匈牙利布达佩斯.

2003

S. A. Alvarez, C. Ruiz, and V. Dignum. 数据挖掘与网络知识管理, in Web Knowledge Management and Decision Support: Selected Papers from the Fourteenth International Conference on Applications of Prolog, LNCS 2543, 斯普林格出版社, 2003.

S. A. Alvarez, T. Kawato和C. Ruiz. 使用神经专家对松散耦合数据源进行挖掘, 第四届多媒体数据挖掘国际研讨会(MDM/KDD2003), in conjunction with the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD2003), Washington, DC, Aug. 2003.

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

R. Muller, Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening, Torben Amtoft, to appear in the Proceedings of the 2003 Workshop on Types in Language Design and Implementation (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进行分布式仿真, Proceedings of the 7th IEEE DS-RT'2003 International Symposium on Distributed Simulation and Real Time Applications October 23-26, 2003 Delft, 荷兰.

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

H. Straubing and D. Thérien, "Regular Languages Defined by Generalized First-order Formulas with a Bounded Number of Bound Variables", 计算系统理论36 (2003)29-69. (with J. E. Pin) "Some Results on C-varieties", RAIRO: Theoretical Informatics, 39 (2005) 239-262.

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, "The Wireless Mobility Integration Protocol for Using TCP/IP over Wired and Wireless Networks, ESS2002建模与仿真会议论文集, Dresden, Germany, October 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. "Computational Methods for Single Point and Multipoint Analysis of Genetic Variants Associated with Simulated Complex Disorder in a General Population", 遗传流行病学, 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, Functioning Without Closure: Type-Safe Customized Function Representations for Standard 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, 企业物流与客户服务的系统动态仿真, Special Session on Simulation Aided Decision Support and Planning at the 信息系统国际会议论文集, 分析与综合, Orlando, FL, July 2001.

H. Straubing, "Languages Defined by Modular Quantifiers", Information and Computation 166 (2001) 112-132.

2000

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

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

R. Signorile, "Inventory Management Simulation with Agents", 英国皇家海军学报, Genova, Italy, Oct. 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, "A framework for distributed intelligent agents in the simulation of external logistics of an enterprise", 英国皇家海军学报, Genova, Italy, Oct. 1999.

R. Signorile, "Simulating the Use of Intelligent Agents in an Automated Distributed Multi-Constrained Scheduling System", 第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, "A Study in the Use of Distributed Intelligent Agents in the Simulation of a Flexible Manufacturing Environment", 第十届欧洲模拟国际会议录, 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, A Typed Intermediate Language for Flow-Directed Compilation (Extended Abstract), with 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.

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

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, "Optimization of Simulation via Quasi-Newton Methods", ORSA Journal On Computing, Fall 1995.

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, A Staging Calculus and its Application to the Verification of Translators (Preliminary Report), in Proceedings of the 21st Annual ACM SIGPLAN– SIGACT Symposium on Principles Of Programming Languages, 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, "Using Semantic Values to Facilitate Interoperability Among Heterogeneous Information Systems" (with 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).

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

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

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

1991

E. Sciore, "Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System.美国计算机学会数据库系统汇刊(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 "Automata, logic and computational complexity", in Monoids and Semigroups with Applications, (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, "Finite automata and computational complexity" in Formal Properties of Finite Automata and Applications, (J.E. Pin, ed.计算机科学课堂讲稿386,Springer出版社,柏林(1990)199-223.

H. Straubing "The wreath product and its applications" in Formal Properties of Finite Automata and Applications, (J.E. Pin, ed.计算机科学讲义386,Springer出版社,柏林(1990)15-24.