朱利奥·鲁比奥 0001
人员信息
附属: 拉里奥哈大学
其他同名人员
优化列表
2020年–今天
2023 [公元27年] 丹尼尔·米格尔 , 安德烈亚·吉多林 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
与Serre和Eilenberg-Moore谱序列相关的有效谱系统。 J.塞姆。 计算。 114 : 122-148 ( 2023 ) [公元26年] 玛丽亚·德尔·皮拉尔·阿古斯汀·拉赫 , 乔纳森·赫拉斯 , 加迪亚·马塔 , 朱利奥·鲁比奥 :
这是一个对外部竞争的评估。 程序。 del Leng公司。 自然 71 : 29-38 ( 2023 ) [公元37年] 杰苏斯·阿兰塞 , Laureano Lambán , 朱利奥·鲁比奥 :
通过二进制决策图进行规避。 CICM公司 2023 : 37-52 [公元36年] 塞萨尔·多明格斯 , 乔纳森·赫拉斯 , 费利克斯·拉纳斯 , 加迪亚·马塔 , 朱利奥·鲁比奥 , 米拉里·圣马汀 :
改善公共网页的可访问性。 SEPLN(项目和演示) 2023 : 21-25 [i16] 阿德里安·伊内斯 , 塞萨尔·多明格斯 , 乔纳森·赫拉斯 , 加迪亚·马塔 , 朱利奥·鲁比奥 :
半监督机器学习:一种同调方法。 CoRR公司 abs/2301.11658 ( 2023 ) 2022 [公元35年] 杰苏斯·阿兰塞 , Laureano Lambán , 朱利叶斯·迈克利斯 , 朱利奥·鲁比奥 :
通过BDD形式化亚历山大二元性。 ISAIM公司 2022 【i15】 阿德里安·伊内斯 , 塞萨尔·多明格斯 , 乔纳森·赫拉斯 , 加迪亚·马塔 , 朱利奥·鲁比奥 :
半监督学习的拓扑方法。 CoRR公司 abs/2205.09617 ( 2022 ) 2021 [公元25年] 丹尼尔·米格尔 , 安德烈亚·吉多林 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
从简单的fibrations构造新的光谱系统。 ACM通信。 计算。 代数 55 ( 三 ) : 87-91 ( 2021 ) 2020 [公元24年] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 , 马库斯·西米克 :
一种新的计算Eilenberg-Moore谱序列的Kenzo模块。 ACM通信。 计算。 代数 54 ( 2 ) : 57-60 ( 2020 )
2010 – 2019
2019 [公元23年] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
腓骨有效同伦的实现。 J.塞姆。 计算。 94 : 149-172 ( 2019 ) [公元22年] 加迪亚·马塔 , 米罗斯拉夫·拉多杰维奇 , 卡洛斯·费尔南德斯·洛萨诺 , 伊霍尔·斯马尔 , 尼尔斯·韦里吉(Niels Werij) , 米盖尔·莫拉莱斯 , 埃里克·梅杰林 , 朱利奥·鲁比奥 :
使用机器学习的高含量荧光显微镜图像中的自动神经元检测。 神经信息学 17 ( 2 ) : 253-269 ( 2019 ) 2018 [公元21年] 比阿特丽斯·佩雷斯 , 朱利奥·鲁比奥 , 卡洛斯·萨恩斯·阿丹 :
种源系统的系统回顾。 知识。 信息系统。 57 ( 三 ) : 495-543 ( 2018 ) 2017 [公元34年] Laureano Lambán , 弗朗西斯科·马丁·马特奥斯 , 朱利奥·鲁比奥 , 何塞-路易斯·鲁伊斯·雷纳 :
在ACL2中使用抽象Stobjs计算矩阵范式。 ITP公司 2017 : 354-370 2016 [j20] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
滤波数字图像的有效同源性。 模式识别。 莱特。 83 : 23-31 ( 2016 ) [公元33年] 加迪亚·马塔 , 乔纳森·赫拉斯 , 米盖尔·莫拉莱斯 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
SynapCountJ:分析神经元突触密度的工具。 生物成像 2016 : 25-31 [公元32年] 加迪亚·马塔 , 杰曼·库斯托 , 乔纳森·赫拉斯 , 米盖尔·莫拉莱斯 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
SynapCountJ:分析神经元突触密度的有效工具。 BIOSTEC(论文精选) 2016 : 41-55 [公元31年] 加迪亚·马塔 , 米罗斯拉夫·拉多杰维奇 , 伊霍尔·斯马尔 , 米盖尔·莫拉莱斯 , 埃里克·梅杰林 , 朱利奥·鲁比奥 :
使用机器学习方法自动检测高内容显微镜图像中的神经元。 ISBI公司 2016 : 330-333 2015 [公元19年] 加迪亚·马塔 , 米盖尔·莫拉莱斯 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
用于处理神经元图像的锯齿状持久同源性。 模式识别。 莱特。 62 : 55-60 ( 2015 ) [第14条] 加迪亚·马塔 , 乔纳森·赫拉斯 , 米盖尔·莫拉莱斯 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
SynapCountJ——分析神经元突触密度的工具。 CoRR公司 abs/1507.07800 ( 2015 ) [i13] 乔纳森·赫拉斯 , 加迪亚·马塔 , 杰曼·库斯托 , 朱利奥·鲁比奥 , 米盖尔·莫拉莱斯 :
堆栈图像中的神经元检测:持续同源性解释。 CoRR公司 abs/1509.04420 ( 2015 ) 2014 [公元18年] Laureano Lambán , 朱利奥·鲁比奥 , 弗朗西斯科·杰苏斯·马丁·马特奥斯 , 何塞-路易斯·鲁伊斯·雷纳 :
验证单纯拓扑与代数之间的桥梁:Eilenberg-Zilber算法。 日志。 J.IGPL公司 22 ( 1 ) : 39-65 ( 2014 ) [公元17年] 玛丽亚·波扎 , 塞萨尔·多明格斯 , 乔纳森·赫拉斯 , 朱利奥·鲁比奥 :
一种用于同源图像处理的认证约简策略。 ACM事务处理。 计算。 日志。 15 ( 三 ) : 23:1-23:23 ( 2014 ) [公元30年] Jesús Aransay-Azofra公司 , 何塞·迪瓦森 , 乔纳森·赫拉斯 , Laureano Lambán , 玛丽亚·维科·帕斯夸尔 , 天使路易斯·鲁比奥 , 朱利奥·鲁比奥 :
从Isabelle/HOL理论获得ACL2规范。 AISC公司 2014 : 49-63 [i12] 席酿酒师安娜罗美欧 , 乔纳森·赫拉斯 , 加迪亚·马塔 , 米盖尔·莫拉莱斯 , 朱利奥·鲁比奥 :
神经基因拓扑学研究进展。 CoRR公司 abs/1403.6719 ( 2014 ) [i11] 席酿酒师安娜罗美欧 , 乔纳森·赫拉斯 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
定义和计算一般情况下的持久Z同调。 CoRR公司 abs/1403.7086 ( 2014 ) [i10] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖勒特 :
数字图像的有效持久同源性。 CoRR公司 abs/1412.6154 ( 2014 ) 2013 [公元16年] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
悬空分类空间的同伦群:一种实验方法。 数学。 计算。 82 ( 284 ) : 2237-2244 ( 2013 ) [公元29年] Laureano Lambán , 弗朗西斯科·杰苏斯·马丁·马特奥斯 , 朱利奥·鲁比奥 , 何塞-路易斯·鲁伊斯·雷纳 :
经认证的符号运算:二元单纯形多项式。 ISSAC公司 2013 : 243-250 [公元28年] 乔纳森·赫拉斯 , 加迪娅·马塔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 鲁宾·萨恩斯 :
验证数字成像平台:一种多平台策略。 MKM/结石/DML 2013 : 66-81 [第九章] 乔纳森·赫拉斯 , 加迪亚·马塔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 鲁宾·萨恩斯 :
验证数字成像平台:多工具策略。 CoRR公司 abs/1303.1420 ( 2013 ) [i8] 玛丽亚·波扎 , 塞萨尔·多明格斯 , 乔纳森·赫拉斯 , 朱利奥·鲁比奥 :
用于同源图像处理的经认证的简化策略。 CoRR公司 abs/1306.0806 ( 2013 ) 2012 [公元15年] Laureano Lambán , 弗朗西斯科·耶苏斯·马丁·马泰奥斯 , 朱利奥·鲁比奥 , 何塞-路易斯·鲁伊斯·雷纳 :
简单拓扑中规范化定理的形式化。 安。数学。 Artif公司。 智力。 64 ( 1 ) : 1-37 ( 2012 ) [公元14年] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
计算群的同源性:几何方法。 J.塞姆。 计算。 47 ( 7 ) : 752-770 ( 2012 ) [公元27年] 乔纳森·赫拉斯 , 玛丽亚·波扎 , 朱利奥·鲁比奥 :
验证数字成像中计算离散向量场的算法。 AISC/MKM/结石 2012 : 216-230 [i7] 乔纳森·赫拉斯 , 玛丽亚·波扎 , 朱利奥·鲁比奥 :
验证计算数字成像离散向量场的算法。 CoRR公司 abs/1207.3315 ( 2012 ) 2011 [j13] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
fKenzo:代数拓扑计算的用户界面。 J.塞姆。 计算。 46 ( 6 ) : 685-698 ( 2011 ) [公元12年] 塞萨尔·多明格斯 , 朱利奥·鲁比奥 :
Coq中形式化的双复数的有效同源性。 西奥。 计算。 科学。 412 ( 11 ) : 962-970 ( 2011 ) [公元26年] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
使用Kenzo系统研究数字图像的认证模块。 EUROCAST(1) 2011 : 113-120 [c25] 玛丽亚·何塞·冈萨雷斯 , 朱利奥·鲁比奥 , 托马斯·雷西奥 , 劳雷亚诺·冈萨雷斯-维加 , 阿贝尔·帕斯夸尔 :
使用TutorMate教授几何。 ICCSA(4) 2011 : 384-398 [公元24年] Laureano Lambán , 弗朗西斯科·杰苏斯·马丁·马特奥斯 , 朱利奥·鲁比奥 , 何塞-路易斯·鲁伊斯·雷纳 :
将ACL2应用于代数拓扑的形式化:单纯形多项式。 ITP公司 2011 : 200-215 【c23】 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
代数拓扑计算和推理系统。 结石/MKM 2011 : 295-297 [i6] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
计算群的同源性:几何方法。 CoRR公司 abs/1107.3396 ( 2011 ) 2010 [公元11年] 耶苏斯·阿兰赛 , 克莱门斯·巴拉林 , 朱利奥·鲁比奥 :
从形式证明生成认证码:同调代数中的一个案例研究。 形式方面计算。 22 ( 2 ) : 193-213 ( 2010 ) [公元22年] 塞萨尔·多明格斯 , 朱利奥·鲁比奥 :
使用无限代数数据结构进行Coq计算。 AISC/MKM/结石 2010 : 204-218 【c21】 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
集成多个源以回答代数拓扑中的问题。 AISC/MKM/结石 2010 : 331-335 [公元20年] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
用ACL2证明Kenzo系统中单纯形集的正确性。 洛普斯特 2010 : 37-51 [i5] 塞萨尔·多明格斯 , 朱利奥·鲁比奥 :
使用无限代数数据结构进行Coq计算。 CoRR公司 abs/1004.4998 ( 2010 ) [i4] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
集成多个源以回答代数拓扑中的问题。 CoRR公司 abs/1005.0749 ( 2010 )
2000 – 2009
2009 [公元10年] 朱利奥·鲁比奥 , 沃纳·M·塞勒 :
应用代数和人工智能。 安。数学。 Artif公司。 智力。 56 ( 3-4 ) : 241-243 ( 2009 ) [第19条] 席酿酒师安娜罗美欧 , 格雷厄姆·埃利斯 , 朱利奥·鲁比奥 :
计算机代数系统之间的交互:使用kenzo和GAP计算群的同源性。 ISSAC公司 2009 : 303-310 [第18条] 弗朗西斯科·杰苏斯·马丁·马特奥斯 , 朱利奥·鲁比奥 , 何塞·路易斯·鲁伊斯·雷纳 :
Kenzo系统中简单简并程序的ACL2验证。 结石/MKM 2009 : 106-121 [第17条] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
使用开放式数学文档连接计算机代数和证明辅助系统。 结石/MKM 2009 : 467-473 2008 [公元9年] 杰苏斯·阿兰塞 , 克莱门斯·巴拉林 , 朱利奥·鲁比奥 :
基本扰动引理的机械化证明。 J.汽车。 原因。 40 ( 4 ) : 271-292 ( 2008 ) [第16条] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
符号计算系统的中介访问。 AISC/MKM/结石 2008 : 446-461 [第15条] 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
改进Kenzo的可用性,这是一个用于代数拓扑的通用Lisp系统。 ELS公司 2008 : 155-176 [电子1] 谢尔盖·奥特谢尔 , 约翰·坎贝尔 , 朱利奥·鲁比奥 , 沃尔克·索尔格 , 铃木Masakazu Suzuki , 弗里克·维迪克 :
智能计算机数学,第九届国际会议,AISC 2008,第十五届研讨会,Calculemus 2008,第七届国际会议MKM 2008,英国伯明翰,2008年7月28日至8月1日。 诉讼程序。 计算机科学课堂讲稿 5144, 施普林格 2008 ,国际标准图书编号 978-3-540-85109-7 [目录] 2007 [j8] 塞萨尔·多明格斯 , Laureano Lambán , 朱利奥·鲁比奥 :
面向对象的机构指定符号计算系统。 RAIRO提奥。 信息学应用。 41 ( 2 ) : 191-214 ( 2007 ) [第14条] 埃洛伊·马塔 , 佩德罗·阿尔瓦雷斯 , 何塞·巴尼亚雷斯 , 朱利奥·鲁比奥 :
Web协调系统中的形式推理。 欧洲广播公司 2007 : 329-336 [第13条] 米利安·安德烈斯 , Laureano Lambán , 朱利奥·鲁比奥 :
在Common Lisp中执行,在ACL2中验证。 结石/MKM 2007 : 1-12 2006 [j7] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
计算光谱序列。 J.塞姆。 计算。 41 ( 10 ) : 1059-1079 ( 2006 ) [j6] 塞萨尔·多明格斯 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
将继承建模为Kenzo系统中的强制。 J.大学。 计算。 科学。 12 ( 12 ) : 1701-1730 ( 2006 ) [第12条] 埃洛伊·马塔 , 佩德罗·阿尔瓦雷斯 , 何塞·A·巴尼亚雷斯 , 朱利奥·鲁比奥 :
协调系统的形式化建模:从实践到理论,再回来。 ESAW公司 2006 : 229-244 [i3] 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
计算光谱序列。 CoRR公司 abs/cs/0602064 ( 2006 ) 2005 [j5] 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
使用局部有效矩阵进行计算。 国际期刊计算。 数学。 82 ( 10 ) : 1177-1189 ( 2005 ) [第11条] 杰苏斯·阿兰塞 , 克莱门斯·巴拉林 , 朱利奥·鲁比奥 :
从语句中提取计算机代数程序。 欧洲广播公司 2005 : 159-168 [第10条] 米利安·安德烈斯 , 维科·帕斯夸尔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
远程访问代数拓扑符号计算系统:客户端-服务器方法。 国际计算科学会议(3) 2005 : 635-642 [i2] 塞萨尔·多明格斯 , 多米尼克·杜瓦尔 , Laureano Lambán , 朱利奥·鲁比奥·加西亚 :
符号计算系统的图形规范。 数学、算法、证明 2005 [i1] 朱利奥·鲁比奥·加西亚 :
建设性证据或建设性陈述?。 数学、算法、证明 2005 2004 【c9】 杰苏斯·阿兰塞 , 克莱门斯·巴拉林 , 朱利奥·鲁比奥 :
微分代数结构自动推理的四种方法。 AISC公司 2004 : 222-235 【c8】 埃洛伊·马塔 , 佩德罗·阿尔瓦雷斯 , 何塞·巴尼亚雷斯 , 朱利奥·鲁比奥 :
实现Web服务的高效基于规则的协调。 伊贝拉米亚 2004 : 73-82 2003 【j4】 Laureano Lambán , 牧师帕斯夸尔 , 朱利奥·鲁比奥 :
EAT系统的面向对象解释。 应用。 代数工程通讯。 计算。 14 ( 三 ) : 187-215 ( 2003 ) 【c7】 佩德罗·阿尔瓦雷斯 , 何塞·巴尼亚雷斯 , 埃洛伊·马塔 , 佩德罗·穆罗·梅德拉诺 , 朱利奥·鲁比奥 :
分布式异构环境中基于语义匹配的生成通信。 欧洲广播公司 2003 : 231-242 【c6】 米利安·安德烈斯 , 弗朗西斯科·加西亚·伊兹基耶多 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
符号计算系统之间基于XML的互操作性。 ICWI公司 2003 : 925-928 2001 [j3] 朱利奥·鲁比奥 :
第七届西班牙计算机代数与应用会议摘要:EACA-2001。 SIGSAM牛市。 35 ( 4 ) : 23-40 ( 2001 ) 【c5】 塞萨尔·多明格斯 , Laureano Lambán , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
功能系统的隐藏规范。 欧洲广播公司 2001 : 555-569 【c4】 塞萨尔·多明格斯 , 朱利奥·鲁比奥 :
在符号计算系统中将继承建模为强制。 ISSAC公司 2001 : 109-115 2000 【c3】 朱利奥·鲁比奥 :
局部有效对象和人工智能。 AISC公司 2000 : 223-226
1990 – 1999
1999 [注2] Laureano Lambán , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
EAT系统中的简单集合。 SIGSAM牛市。 33 ( 三 ) : 17 ( 1999 ) 【c2】 Laureano Lambán , 维科·帕斯夸尔 , 朱利奥·鲁比奥 :
指定实现。 ISSAC公司 1999 : 245-251 1997 【c1】 埃拉迪奥·多明格斯 , 玛丽亚·安东尼亚·萨帕塔 , 朱利奥·鲁比奥 :
元建模的概念方法。 CAiSE公司 1997 : 319-332 1991 【b1】 朱利奥·鲁比奥·加西亚 :
同义词有效des espaces de lacets itérés:un logiciel。 (迭代循环空间的有效同源性:一个软件)。 法国格勒诺布尔约瑟夫·傅里叶大学, 1991 [j1] 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
计算循环空间的同调群的程序。 SIGSAM牛市。 25 ( 4 ) : 20-24 ( 1991 )