搜索结果: 1-15 共查到“数理逻辑与数学基础”相关记录3081条 . 查询时间(2.14 秒)
未央书院是清华大学为落实国家“强基计划”而特别成立的五个书院之一，主要负责“强基计划”数理基础科学（含工程衔接方向）专业的理工双学位本科人才培养。着重突出数学、物理学等基础学科在学生未来发展中的支撑引领作用，结合对学生在工程衔接方向的志趣引导，在国家亟需而清华一流的工程专业方向上，发挥清华大学的工科优势，积极探索“理+工”双学位的本科育人新方式，规模化培养数理基础扎实，发展潜力深厚，创新能力突出的...
邓婉璐副教授
地址：清华大学伟清楼203-C室
电话：010-62790581
邮箱：wanludeng@tsinghua.edu.cn
教育背景
北京大学统计学博士
宾夕法尼亚大学联合培养博士
复旦大学上海数学中心博士后
研究兴趣
因果推断、图模型、贝叶斯网络、神经影像数据分析
发表论文
Wang S,Isbell F,Deng W,et al.(2021)How comp...
近日，我院李旭英教授作为通讯作者、博士研究生王俊跃作为第一作者，在国际知名TOP期刊《Bioresource Technology》（中国科学院一区Top期刊，IF：11.4）发表了题为“Mathematical model for bale-density prediction in large steel roller-type round balers during bale rolling...
中国科学院软件所在硬件模型检测领域取得进展（图）
模型 检测 电子 自动化
2024/6/28
2024年4月7日，中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化（EDA）领域顶级会议Design Automation Conference（DAC 2024, CCF-A类）录用。研究成果聚焦于硬件模型检测领域，助力了处理器检测方法的改进和检测算法的性能提升。
黄淮学院数学与统计学院王振国副教授（图）
黄淮学院数学与统计学院 王振国 副教授 临界点理论
2024/3/28
王振国，男，1980年3月生，副教授。2005年7月太原师范学院数学与应用数学专业本科毕业。2008年6月山西师范大学应用数学专业硕士毕业。
雷腾飞，副教授，硕士研究生导师，泰国兰塔纳功欣皇家理工大学在读博士，忆阻计算应用协同创新中心主任，山东省黄大年式教师团队骨干成员。山东电子学会教育专业委员会副主任、山东省电工技术学会智慧工厂技术与应用专业委员会常务副主任、山东省自动化学会理事、中国电子学会电路与系统分会混沌与非线性电路专业委员、山东省电子与通信标准化委员会委员。
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院 专利 建筑物 三维模型 构建方法
2023/11/27
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利：针头组件、注射装置及小鼠模型的建立方法
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国科学院深圳先进技术研究院 专利 三维模型 分割方法
2023/11/6
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国人民大学高瓴人工智能学院召开“大模型与生物医药”学术研讨会（图）
大模型 生物医药 学术研讨会
2024/1/31
2023年9月25日，由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
对运行设备安装双贮备设备是实现系统高可靠性的有效方法.在双贮备系统冷/温/热三种贮备模型中,选择哪种贮备模型对系统性能指标和经济指标均有重要影响,因此对如何选择双贮备系统的贮备模型从而使系统性能最优或经济效益最大的问题进行研究具有现实意义。
《资源环境数学模型手册 》
自然资源 环境数学 数学模型
2023/8/9
本书在全面总结和分析国内外资源环境领域主要期刊内容的基础上，选择了衫和有科学价值的数学模型和定量指标的精髓部分。本书中数学模型和定量指标共有3055组，其中包括地球信息类771组、自然地理学类674组、人文地理学类415组、生态学类1195组。在选编过程中，对书中数学模型和定量指标的错误之处均进行了严格修正。本书有很高的理论价值和实用价值，不仅可作为地理学、生态学、应用数学、气象学、地质学、经济学...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Minimal model program for generalized pairs
广义对 最小 模型程序
2023/4/23
Generalized pairs are a natural structure in birational geometry that first appeared in Kodaira’s canonical bundle formula for elliptic fibrations. They were formally introduced by Birkar and Zhang in...