×

找到1957份文件(结果1-100)

直觉II型模糊逻辑推理系统及其在医学领域的实际应用。 (英语) Zbl 07799452号

Castillo,Oscar(编辑)等人,《2型模糊逻辑系统的最新趋势:理论、方法和应用》。查姆:斯普林格。模糊软计算研究。425, 115-131 (2023).
MSC公司:93立方厘米 92 C50
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Pareto-Poisson分布:特征、估计和工程应用。 (英语) Zbl 07730331号

Sankhyá,Ser。A类 85,第1期,1058-1099(2023); 更正同上85,第1号,1100-1101(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

闭合效果行的完整类型推断。 (英语) Zbl 1528.68067号

Swierstra,Wouter(编辑)等人,《函数编程趋势》。第23届国际研讨会,TFP 2022,虚拟活动,2022年3月17日至18日。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13401, 144-168 (2023).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于Potts-Gibbs随机分割模型的贝叶斯非参数图像尺度回归。 (英语) Zbl 07826980号

Argiento,Raffaele(编辑)等人,贝叶斯统计的新前沿。BAYSM 2021。2021年9月1日至3日,第五届贝叶斯青年统计学家会议在线投稿。查姆:斯普林格。Springer程序。数学。《统计》第405、45-56页(2022年)。
PDF格式BibTeX公司 XML格式引用

使用集合统一对秩-2交集类型进行类型推断。 (英语) Zbl 07719848号

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 462-480 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过环境转换的抽象概念推断区域类型。 (英语) Zbl 1524.68101号

谢尔盖,伊利亚(编辑),《编程语言和系统》。第20届亚洲研讨会,APLAS 2022,新西兰奥克兰,2022年12月5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13658, 45-64 (2022).
MSC公司:68号30 68甲15
PDF格式BibTeX公司 XML格式引用

用于逻辑编程的数据类型推理。 (英语) Zbl 1521.68028号

De Angelis,Emanuele(编辑)等,基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13290, 16-37 (2022).
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件