《10000个科学难题》序  前言  奥特(Vaught)猜想与拓扑奥特猜想  超紧基数典型内模型问题  递归可枚举度中的格嵌入问题和双量词理论可判定性问题  高层有限波雷尔(Borel)等价关系中的两个问题  极小塔问题  r=rω?及s=sω?  连续统势确定问题  奇异基数问题  萨克斯(Sacks)关于波斯特(Post)问题的度不变解问题和马丁(Martin)猜想  图灵(Turing)等价问题  图灵(Turing)度的自同构问题  是否存在一个稳定的一阶完全理论,它有大于一的有穷多个可数模型  Cherlin-zilber猜想  带指数函数的实数理论的可判定性问题  Shelalh唯一性猜想  微分封闭域上的平凡强极小集  3-Calabi-Yau代数的分类  阿廷(Artin)群的Grobner-Shirshov基  布如意(Broue)交换亏群猜想  布朗(Brown)问题  凯莱(Cayley)图和相关的问题  福克斯(Foulkes)猜想  戈伦斯坦(Gorenstein)对称猜想  卡普兰斯基(Kaplansky)第六猜想  中山(Nakayama)猜想和广义中山(Nakayama)猜想  拉姆拉斯(Ramras)问题  Smashing子范畴上的公开问题  巴斯-奎伦(Bass-Quillen)猜想  非半单Brauer代数的表示理论  非交换曲面的分类  关于码交换等价于前缀码的猜测  关于半群上一类重要同余的一个系列推广模式  关于有限码具有有限完备化的判定问题  关于正则半群的两个嵌入问题  广义倾斜模中的两个猜想  考克斯特群的胞腔  满足正规子群极小条件的可解群的Fitting子群是否是幂零的?  模代数smash积的半素性  球极函数的提升Pieri型公式  稳定等价猜想  一些代数的Grobner-Shirshov基  由导出范畴建立量子群和典范基  有限维数猜想  ABC猜测  巴斯(Bass)猜想和索尔(Soule)猜想  Lichtenbaum猜想  里德一所罗门(Reed-Solomon)码的译码问题  沙努尔(Schanuel)猜想  [1]哥德巴赫(Goldbach)猜想  关于不同模覆盖系的厄尔多斯(Erdos)问题  关于倒数和发散序列的厄尔多斯图兰(Erdos-Turan)猜想  关于奇数阶阿贝尔(Abel)群的Snevily猜想  关于有限域上代数曲线点数的Drinfeld-Vladt界  朗兰兹(Langlands)纲领  类数1实二次域的高斯猜想  黎曼(Riemann)zeta函数在奇正整数点处值的超越性  黎曼(Riemann)猜想  欧拉常数的超越性  椭圆曲线的BSD猜想  希尔伯特第九问题:高斯二次互反律如何推广  希尔伯特第十二问题:构作数域的最大阿贝尔扩域  岩泽(Iwasawa)理论的主猜想  ……  编后记
2023/8/19 14:21:04 9.17MB 科学难题,数学,猜想
1
毕马威与阿里研究院结合各自的行业经验,在和相关专家和学者进行了深入研究的基础上,提出了“数据大治理生态体系”这一全新概念,将传统意义上企业端的数据治理上升到了社会层面,强调从顶层设计上明确各相关主体的权利和义务,在保护个人隐私和数据安全、挖掘数据价值、促进数字经济发展的多重目标之间达到平衡,从而实现社会效益的最大化和可持续发展。
深入讲解企业端、公众端、政府端如何构建数据大治理生态体系,并实现数据大治理生态体系的可持续发展。
1
今天在网上看到有人介绍一本新出的书,叫做ComputerVisionforVisualEffects。
现在的很多大片例如阿凡达等,里面的特效制作都使用了大量的计算机视觉技术。
这本书就是用来介绍如何使用现在最先进的计算机视觉技术来制作电影电视特效。
在书中,首先介绍了好莱坞特效制作中设计到的基本的计算机视觉算法,例如蓝色背景图像matting,SFM,光流,特征点跟踪等。
也介绍了一些最近发展的新算法,这些都可能被用于未来的电影特效中,例如自然图像matting,多图像合成,图像中目标的重定位,以及视点模拟等。
书中也介绍了运动捕捉和3D数据获取的原理。
全书使用了超过200张原始图像来展示原理,算法,以及结果。
同时还有好莱坞视觉特效专家的采访。
这本书于2012年秋天由剑桥大学出版社出版。
获取方式可以参考作者主页。
同时,博主发现网上也可以下载到这本书。
大家可以自己上网搜索一下。
作者的主页上还放上了书中涉及到的一些有用的代码,供大家参考
2023/8/14 21:15:08 14.67MB Computer Vision for Visual
1
阿里菜鸟仓库比赛说明
2023/8/11 7:40:05 32KB 阿里菜鸟仓库
1
VueAPI与axios集成的vue插件。
使用链式编程构建API,并将请求实例作为Promise返回。
很好地简化了api的构建方式以及如何引用它们。
一个集成了axios的vue插件。
使用链式编程方式构建api,并以Promise返回请求实例。
很好地简化了api的生成方式,和引用方式(通过this。
$apis.apiName进行引用)。
浏览器支持最新:heavy_check_mark:最新:heavy_check_mark:最新:heavy_check_mark:最新:heavy_check_mark:最新:heavy_check_mark:11:heavy_check_mark:正在安装npminstallvue-apis//oryarnaddvue-apis用法进口importVuefrom'vue'importVueApisfrom'vue-apis'Vue.use(VueApis,options)阿皮功能例论据描述setUrlsetUrl('')(网址:字符串)
2023/8/9 3:45:03 99KB xhr http node browser
1
轻松修改华硕服务器主板的开机LOGO玩转电脑的朋友们,每天都会开机一次,每次开机后首先见到的都是ASUS、DELL、HP之类的厂商LOGO跳阿跳,都看得有点烦了。
那么怎么办呢?从现在起,使用ASUS主板服务器的企业单位和个人,可以解脱了,因为此刻起,我们自己可以轻松的把开机LOGO改成本公司的LOGO或者个人喜欢的图片,这样既起到宣传公司的作用又让自己看来起来更舒服。
怎么做呢?下面一步一步为大家附图带上。
使用工具:ASUSUpdate7.02.20,主板BIOS程序,新的LOGO图片。
1
一款比阿D,名小子更好用的工具,支持access,mysql,mssql,oracle等数据库注入,字典数据量大,支持上传文件,提权
2023/7/29 23:13:53 11.3MB sql注入 access sql
1
本源码是阿里天池大赛的matlab实现源码,内含4个.m文件以及对应的数据集,属于个人在比赛过程中写下的部分核心代码,予以公开分享~
2023/7/28 22:37:14 178KB 阿里 天池 最后一公里 代码
1
该资源包含了《大数据之路-阿里巴巴大数据》这本书的整体思维导图,并且按照自己从业经验进行归纳整理,囊括了:数据采集,数据计算,数据模型,数据管理,数据生命周期的相关知识点
1
基于STM32F1的ATK-ESP8266模块连接阿里云物联网平台keil例程,下载之前观看作者相关博客
2023/7/27 20:31:15 12.19MB 阿里云 STM32 ESP8266
1
共 395 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡