搜索结果: 31-45 共查到“数理逻辑与数学基础”相关记录3077条 . 查询时间(0.826 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Group-Orthogonal Subsampling for Big Data Linear Mixed Models
大数据 线性混合模型 群正交 子采样
2023/5/10
Linear mixed model is a popular and common modeling method in statistical analysis. It is computationally difficult to obtain parameter estimates in linear mixed model for big data. The current subsam...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：On the Derrida-Retaux recursive model
Derrida-Retaux 递归模型 递归论
2023/5/16
In order to study the depinning transition in presence of strong disorder, Derrida and Retaux (J. Stat. Phys. (2014)) introduced a discrete-time max-type recursive model. It is believed that for a lar...
系统辨识理论与司法量刑问题交叉研究取得进展
系统辨识理论 司法量刑问题 交叉研究
2023/1/5
司法量刑问题，关乎刑罚公正，是刑事正义的终极体现。为实现“努力让人民群众在每一个司法案件中感受到公平正义”，国家持续推进量刑规范化改革，规范刑罚裁量权，促进量刑公正。
基于向前验证的模型平均方法
向前验证 模型平均方法 中国科学院数学与系统科学研究院
2023/1/5
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
基于向前验证的模型平均方法（张新雨）
向前验证 模型 平均方法
2023/2/22
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
近期，中国科学院软件研究所研究员蔡少伟团队在逻辑约束求解器研究中取得多项进展，并在命题逻辑可满足性问题（SAT）、可满足性模理论问题（SMT）等多项竞赛中斩获佳绩。
张清叶，女，汉族，河南新乡人，博士,副教授，2002年7月进入河南工学院（原河南机电高等专科学校）任教。
2022年8月12日至18日，“2022ICT领域的数学基础研讨会”在山东烟台成功举办。本次研讨会由中科院数学与系统科学研究院、华为-中科院数学院π实验室、中国工业与应用数学学会、华为无线技术实验室、烟台大学等联合主办。
求解半导体器件三维漂移扩散模型的一组平均化有限元方法
半导体器件 三维漂移扩散模型 平均化 有限元方法
2023/1/5
Obtaining a satisfactory numerical solution of the classical three-dimensional drift-diffusion (DD) model, widely used in semiconductor device simulations, is still challenging nowadays, especially wh...
2022年6月21日，浙江大学电气工程学院教师发展中心举办EE教学工作坊系列活动。浙江大学数学学院李方教授主持了沙龙的交流，并为老师们带来了主题为《离散、连续、对称与“基因”从历史角度理解教学与研究》的分享。
甲烷（CH4）是首要非二氧化碳温室气体。当前大气中的甲烷浓度已超过了1900ppbv，几乎是工业化前浓度水平的3倍，已经造成了约0.5℃的升温，所产生的温室效应在全球变暖中贡献约20%。在政府间气候变化专门委员会（IPCC）最新发布的第六次评估报告（AR6）中， IPCC在预警全球升温的严峻形势外，也首次阐述了甲烷排放控制对减缓气候变暖以及改善空气质量的作用。
乔希民，男，1960年生，教授，硕士。1982年毕业于商洛师专数学系，1989年7月毕业于天津师范大学数学系，2003年参加教育部高等学校国家级培训班学习，2004年至2006年在西北大学硕士研究生班学习，2010年6月获陕西师范大学基础数学理学硕士学位。1997年至今在商洛学院数学与计算机应用学院工作。主要研究领域为非经典数理逻辑和数学教育研究。发表论文发表学术论文80余篇。国培专家、陕西省高中...
商洛学院数学研究所李军庄教授（图）
商洛学院数学研究所 李军庄 教授 数学教育
2022/3/1
李军庄，男，1960年出生，陕西富平人，中共党员，教授。1983年毕业于陕西师范大学数学系，获理学学士学位。毕业后一直在商洛学院工作。主要从事数学教育基础课教学与管理工作，曾任商洛学院数学系副主任、主任、教务处处长、后勤保障处处长、机关党总支书记，现为督导与评估中心正处级督导员，数学与计算机应用学院教授。
商洛学院数学研究所博士生导师张文鹏教授（图）
商洛学院数学研究所 博士生导师 张文鹏 教授
2022/3/1
张文鹏，男，1958年8月出生于陕西礼泉，1979年9月进入陕西师范大学数学系基础数学专业学习；1983年大学毕业后考入山东大学数学系硕士研究生，1985年8月提前攻读博士学位，1988年6月在山东大学数学系获基础数学博士学位后分配到西北大学数学系任教，1992年9月破格晋升为教授；1995年9月应美国佐治亚大学数学系Andrew Granville教授的邀请去美国佐治亚大学进行为期一年的访问；1...
