×

找到140个文档(结果1–100)

时隙分配的公平性。 (英语) Zbl 1520.91204号

Kanellopulos,Panagiotis(编辑)等,算法博弈论。2022年9月12日至15日,第15届SAGT 2022国际研讨会,英国科尔切斯特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13584, 490-507 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有单一负债优先权的金融网络。 (英语) Zbl 1518.91306号

Kanellopulos,Panagiotis(编辑)等,算法博弈论。2022年9月12日至15日,第15届SAGT 2022国际研讨会,英国科尔切斯特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13584, 205-222 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

投票理论中的IAC概率计算:进度报告。 (英语) Zbl 1504.91089号

Diss,Mostapha(编辑)等人,用概率模型评估投票系统。威廉·盖尔林和多米尼克·莱贝利的论文。查姆:斯普林格。Stud.Choice Welf.公司。,399-416 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

探索Condorcet扩展的无显示悖论。 (英语) Zbl 1504.91087号

Diss,Mostapha(编辑)等人,用概率模型评估投票系统。威廉·盖尔林和多米尼克·莱贝利的论文。查姆:斯普林格。Stud.Choice Welf.公司。,251-273 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分析Condorcet失败者悖论和议程收缩悖论的实际相关性。 (英语) Zbl 1504.91094号

Diss,Mostapha(编辑)等人,用概率模型评估投票系统。威廉·盖尔林和多米尼克·莱贝利的论文。查姆:斯普林格。Stud.Choice Welf.公司。,97-115 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用安全控制屏障证书的对抗环境中的线性时序逻辑满意度。 (英语) Zbl 1440.68038号

Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,GameSec 2019,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11836, 385-403 (2019).
PDF格式BibTeX公司 XML格式引用

通过抽象求解QBF。 (英语) Zbl 1528.68223号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27788-102(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

基于符号博弈语义和模型计数的概率分析。 (英语) Zbl 1483.68077号

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,1-15(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Normaliz 2013–2016年。 (英语) Zbl 1400.52012年

Böckle,Gebhard(编辑)等人,代数、几何和数论中的算法和实验方法。查姆:施普林格(ISBN 978-3-319-70565-1/hbk;978-3-3169-70566-8/电子书)。123-146 (2017).
PDF格式BibTeX公司 XML格式引用

按顺序交换图形上的彩色标记。 (英语) Zbl 1451.05154号

Poon,Sheung-Hung(编辑)等人,WALCOM:算法和计算。第11届国际会议和研讨会,2017年3月29日至31日,台湾新竹,WALCOM 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10167, 435-447 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络(代数)统计中离散方法的综述。 (英语) Zbl 1360.05156号

Harrington,Heather A.(编辑)等人,《离散数学中的代数和几何方法》。2015年1月11日,美国德克萨斯州圣安东尼奥市,AMS应用离散数学中代数和几何方法特别会议。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-2321-6/pbk;978-1-4704-3743-5/ebook)。《当代数学》685,251-277(2017)。
PDF格式BibTeX公司 XML格式引用

投票理论和博弈论中对称群的表示理论。 (英语) Zbl 1409.91104号

Harrington,Heather A.(编辑)等人,《离散数学中的代数和几何方法》。2015年1月11日,美国德克萨斯州圣安东尼奥市,AMS应用离散数学中代数和几何方法特别会议。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。685, 97-115 (2017).
PDF格式BibTeX公司 XML格式引用

联盟逻辑的有序解析。 (英语) Zbl 1464.03007号

De Nivelle,Hans(编辑),用分析表和相关方法进行自动推理。第24届国际会议,TABLEAUX 2015,波兰Wrocław,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9323, 169-184 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半混合系统的根数及其在纳什均衡计算中的应用。 (英语) Zbl 1325.68275号

Nabeshima,Katsusuke(编辑),第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2501-1)。154-161 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份