×

找到210个文档（结果1–100）

最新的 引文 关联
费尔南多·迪亚斯·德尔·雷奥;海伦娜·莫里纳·阿布里尔;雷亚尔，佩德罗;Darian Onchis公司;塞尔吉奥·布兰科·特雷霍

三维二值数字图像的并行同调演算。 （英语） Zbl 07802497号

安。数学。Artif公司。智力。 92，编号1，77-113（2024）.
MSC公司：62华氏35 68宽10 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Díaz-del-Río}等人，《数学年鉴》。Artif公司。智力。92，编号1，77--113（2024；Zbl 07802497）
全文： 内政部
OA许可证
辛西娅·莫沙根;马克·内维尔（Marc Neveling）;约尔格·罗特;安·凯瑟琳·塞尔克

迭代投票规则中转移贿赂的复杂性。 （英语） 兹伯利07618985

安。数学。Artif公司。智力。 第10号，第90页，第1017-1054页（2022年）.
MSC公司：2017年第68季度 91B12号机组 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{C.Maushagen}等人，《数学年鉴》。Artif公司。智力。90，第10号，1017--1054（2022；Zbl 07618985）
全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞格尔;朱莉娅·萨皮娜

重温了有序等式推广算法。 （英语） Zbl 07517439号

安。数学。Artif公司。智力。 90，第5期，499-522（2022）.
MSC公司：68N17号 68甲18 2012年第68季度 第68季度第60季度 68T20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439）
全文： 内政部 链接
亚历山大·凯尔曼诺夫;谢尔盖·卡米杜林;弗拉基米尔·坎德耶夫;阿特姆·皮亚特金

搜索最大子集和最长子序列的两个整值问题的精确算法。 （英语） 兹比尔1431.90132

安。数学。Artif公司。智力。 88，编号1-3157-168（2020）.
MSC公司：90C27型 65年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kel'manov}等人，《数学年鉴》。Artif公司。智力。88，编号1--3，157-168（2020；Zbl 1431.90132）
全文： 内政部
诺亚·艾德尔斯坦;利奥尔·阿伦什塔姆;艾登·艾德尔斯坦;塔玛·什罗特

控制次级锦标赛：容易还是困难的问题？理论分析与实践分析。 （英语） Zbl 1493.68159号

安。数学。Artif公司。智力。 86，第4期，257-268（2019）.
MSC公司：65年第68季度 05C20号 65二氧化碳 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Eidelstein}等人，《数学年鉴》。Artif公司。智力。86，第4号，257--268（2019；Zbl 1493.68159）
全文： 内政部
多洛雷斯罗拉尼亚区;吉尔勒莫德尔加多·马丁内斯;丹尼尔·曼里克

用于计算正交多项式序列的多层神经结构进化。 （英语） 兹比尔1442.68055

安。数学。Artif公司。智力。 84，编号3-4，161-184（2018）.
MSC公司：2007年第68季度 33立方厘米 2012年第68季度 68T05型 68瓦50
PDF格式BibTeX公司 XML格式引用
\textit{D.Barrios Rolanía}等人，《数学年鉴》。Artif公司。智力。84，No.3--4，161--184（2018；Zbl 1442.68055）
全文： 内政部
弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec，Loredana公司;王青

非确定性、并行和并发抽象状态机的统一逻辑。 （英语） Zbl 1459.03033号

安。数学。Artif公司。智力。 83，编号3-4，321-349（2018）.
MSC公司：03B70号 04年第68季度 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Ferrarotti}等人，《数学年鉴》。Artif公司。智力。83，编号3--4，321--349（2018；Zbl 1459.03033）
全文： 内政部 arXiv公司
辛西娅·莫沙根;约尔格·罗特

通过划分否决权选举进行控制的复杂性，以及通过在多数选举中增加候选人进行控制的复杂性。 （英语） Zbl 1404.91082号

安。数学。Artif公司。智力。 82，第4期，219-244（2018）.
MSC公司：91B12号机组 91B14号机组 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Maushagen}和\textit{J.Rothe}，Ann.数学。Artif公司。智力。82，第4号，219--244（2018；Zbl 1404.91082）
全文： 内政部
利奥尔·阿伦什塔姆;哈瓦泽莱特·科恩;塔玛·什罗特

网球操纵：我们能帮助小威廉姆斯赢得另一场比赛吗？或者我们能以合理的复杂性控制淘汰赛吗？ （英语） Zbl 1409.68131号

安。数学。Artif公司。智力。 80，第2期，153-169（2017）.
MSC公司：65年第68季度 2017年第68季度 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{L.Aronshtam}等人，《数学年鉴》。Artif公司。智力。80，第2号，153--169（2017；Zbl 1409.68131）
全文： 内政部
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼，K。

勘误表：“分析线性算术理论的限制片段”。 （英语） Zbl 1393.68054号

安。数学。Artif公司。智力。 79，第4期，371-392（2017）.
MSC公司：2015年第68季度 2015年3月1日 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{P.Wojciechowski}等人，《数学年鉴》。Artif公司。智力。79，第4号，371--392（2017；Zbl 1393.68054）
全文： 内政部
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼，K。

分析线性算术理论的受限片段。 （英语） Zbl 1390.68318号

安。数学。Artif公司。智力。 79，编号1-3，245-266（2017）; 勘误表同上79，第4号，371-392（2017）。
MSC公司：2015年第68季度 2015年3月1日 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{P.Wojciechowski}等人，《数学年鉴》。Artif公司。智力。79，编号1--3，245--266（2017；Zbl 1390.68318）
全文： 内政部
阿尼亚·雷伊;约尔格·罗特;希尔马尔·沙德拉克;莱娜·申德

在以敌人为导向的享乐游戏中，存在非常稳定的分区和严格核心稳定的联盟结构的复杂性。 （英语） Zbl 1371.68121号

安。数学。Artif公司。智力。 77，编号3-4，317-333（2016）.
MSC公司：65年第68季度 2017年第68季度 91A12号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Rey}等人，《数学年鉴》。Artif公司。智力。77，No.3--4317--333（2016；Zbl 1371.68121）
全文： 内政部
Hemaspandra，A巷。;拉赫曼·拉瓦伊;蒙顿，柯蒂斯

舒尔茨和排名对投票是固定参数的，易于贿赂、操纵和控制。 （英语） Zbl 1346.91072号

安。数学。Artif公司。智力。 77，No.3-4，191-223（2016）.
MSC公司：91B12号机组 91B14号机组 91B10型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Hemaspandra}等人，《数学年鉴》。Artif公司。智力。77，No.3--4，191-223（2016；Zbl 1346.91072）
全文： 内政部 arXiv公司
亨宁费尔瑙;鲁道夫·弗伦德;马库斯·施密德。;苏布拉曼尼亚语，K.G。;佩特拉·维德霍尔德

上下文数组语法和数组P系统。 （英语） Zbl 1341.68090号

安。数学。Artif公司。智力。 75，编号1-2，5-26（2015）.
MSC公司：65年第68季度 2005年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，《数学年鉴》。Artif公司。智力。75，编号1--2，5--26（2015；Zbl 1341.68090）
全文： 内政部
米罗斯拉夫·韦列夫。（编辑）;约翰·佛朗哥（编辑）

约束在形式验证和人工智能中的应用。 （英语） Zbl 1296.00043号

安。数学。Artif公司。智力。 70，第4期，313-314（2014）.
MSC公司：00B15号机组 68-06 第68季度第60季度 68泰克
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Velev}（编辑）和textit{J.Franco}（主编），《数学年鉴》。Artif公司。智力。70，第4号，313--314（2014；Zbl 1296.00043）
全文： 内政部
迈克尔·汉森。;潘安敦;布雷克林（Aske W.Brekling）。

使用Presburger算法对持续时间演算进行模型检查的实用方法。 （英语） Zbl 1315.68180号

安。数学。Artif公司。智力。 71，编号1-3，251-278（2014）.
MSC公司：第68季度第60季度 03B44号 03B70号 30楼03号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Hansen}等人，《数学年鉴》。Artif公司。智力。71，编号1--3，251--278（2014；Zbl 1315.68180）
全文： 内政部
格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫

RGITL：一种时序逻辑框架，用于对交错程序进行组合推理。 （英语） Zbl 1329.68172号

安。数学。Artif公司。智力。 71，编号1-3，131-174（2014）.
审核人：马丁·兰格（卡塞尔）
MSC公司：第68季度第60季度 03B44号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Schellhorn}等人，《数学年鉴》。Artif公司。智力。71，编号1--3，131-174（2014；Zbl 1329.68172）
全文： 内政部
大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;圭多·西亚维科

区间时序逻辑的光明面：CDT的Bernays-Schönfinkel片段。 （英语） Zbl 1325.03015号

安。数学。Artif公司。智力。 71，编号1-3，11-39（2014）.
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B44号 03B25号 68T27型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，《数学年鉴》。Artif公司。智力。71、编号1--3、11-39（2014；Zbl 1325.03015）
全文： 内政部
本·莫斯科夫斯基（编辑）;格列夫，迪米塔尔（编辑）;马丁·勒克（编辑）

客座编辑为《间隔时间逻辑》专刊撰写的前言。 （英语） Zbl 1298.00328号

安。数学。Artif公司。智力。 71，编号1-3，1-9（2014）.
MSC公司：00B25型 03-06 68-06 03B44号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Moszkowski}（编辑）等，《数学年鉴》。Artif公司。智力。71，编号1--3，1--9（2014；Zbl 1298.00328）
全文： 内政部
尼古拉斯·马特伊;玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔，K.布伦特

使用CP网络投票时的贿赂行为。 （英语） Zbl 1282.91095号

安。数学。Artif公司。智力。 68，编号1-3，135-160（2013）.
MSC公司：91B14号机组 91B10型 91B12号机组 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Mattei}等人，《数学年鉴》。Artif公司。智力。68，编号1--3，135-160（2013；Zbl 1282.91095）
全文： 内政部
阮、Trung Thanh;马格纳斯·罗斯;约尔格·罗特

多智能体资源配置中社会福利优化的可逼近性和不可逼近性结果调查。 （英语） 兹比尔1286.68205

安。数学。Artif公司。智力。 68，编号1-3，65-90（2013）.
MSC公司：2017年第68季度 第68页第42页 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{T.T.Nguyen}等人，《数学年鉴》。Artif公司。智力。68，编号1--3，65-90（2013；Zbl 1286.68205）
全文： 内政部
戈皮纳德·西里吉尼迪;安东尼奥斯·索尔多斯;布莱恩·怀特（Brian A.White）。;拉法·比科夫斯基

多无人机系统时间规范的克里普克建模和验证。 （英语） Zbl 1242.68171号

安。数学。Artif公司。智力。 63，第1期，31-52（2011）.
MSC公司：第68季度第60季度 68T40型 93C85号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.Siriginedi｝等人，Ann.Math。Artif公司。智力。63、第1号、第31-52号（2011；Zbl 1242.68171）
全文： 内政部
马尔科·阿尔贝蒂;皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉

运行时验证事件检测的观察策略：理论、算法、实验。 （英语） Zbl 1252.68128号

安。数学。Artif公司。智力。 62，第3-4号，161-186（2011）.
MSC公司：2017年第68季度 68单位99 68周25
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，《数学年鉴》。Artif公司。智力。62，No.3--4，161--186（2011；Zbl 1252.68128）
全文： 内政部 链接
法布里西奥·安吉乌利;吉安路易吉·格雷科;路易吉·帕洛波利

检测和修复噪声环境中的异常演变。逻辑编程形式化和复杂性结果。 （英语） Zbl 1237.68201号

安。数学。Artif公司。智力。 60，编号3-4179-228（2010）.
审核人：Shen Zhizhang（新罕布什尔州普利茅斯）
MSC公司：68T27型 68层37 第68页第42页 68N17号 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Angiulli}等人，《数学年鉴》。Artif公司。智力。60，编号3--4，179-228（2010；Zbl 1237.68201）
全文： 内政部
伊迪丝·埃尔金;莱斯利·安·戈德伯格;保罗·戈德伯格（Paul W.Goldberg）。;迈克尔·伍尔德里奇

加权投票博弈的计算复杂性。 （英语） Zbl 1185.91081号

安。数学。Artif公司。智力。 56，第2期，109-131（2009）.
MSC公司：91B14号机组 91B12号机组 91个40个 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Elkind}等人，《数学年鉴》。Artif公司。智力。56，第2号，109--131（2009；Zbl 1185.91081）
全文： 内政部
沙哈尔·萨里德;阿米尔·夏皮罗

将多机器人路径搜索问题划分为二次竞争复杂度类。 （英语） Zbl 1185.68654号

安。数学。Artif公司。智力。 52，编号2-4，169-203（2008）.
MSC公司：68T20型 65年第68季度 2015年第68季度 2017年第68季度 68宽15 68瓦40 68T40型 2016年11月 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{S.Sarid}和\textit{A.Shapiro}，Ann.Math。Artif公司。智力。52，编号2--4，169-203（2008；Zbl 1185.68654）
全文： 内政部
弗拉维奥·安东尼奥·费拉罗蒂;托雷斯，何塞·玛丽亚

重复与交替：高阶逻辑中的一个适当层次。 （英语） Zbl 1125.03023号

安。数学。Artif公司。智力。 50，编号1-2，111-141（2007）.
MSC公司：03C13号机组 19年第68季度 03C85号 03B15号机组 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{F.A.Ferrarotti}和\textit{J.M.Turull Torres}，Ann.数学。Artif公司。智力。50，编号1--2，111--141（2007；Zbl 1125.03023）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件