发布求助
文献互助 智能选刊 最新文献

Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung最新文献

筛选
英文 中文
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started 形式化数学——在实践中的应用一个数学家与Isabelle/HOL的第一次经历，以及为什么和如何开始
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-10-06 DOI: 10.1365/s13291-020-00221-1
Angeliki Koutsoukou-Argyraki
{"title":"Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started","authors":"Angeliki Koutsoukou-Argyraki","doi":"10.1365/s13291-020-00221-1","DOIUrl":"https://doi.org/10.1365/s13291-020-00221-1","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83097508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Modelling and Simulation for Preclinical Cardiac Safety Assessment of Drugs with Human iPSC-Derived Cardiomyocytes 人类ipsc衍生心肌细胞对药物临床前心脏安全性评估的建模和模拟
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-06-23 DOI: 10.1365/s13291-020-00218-w
P. Kügler
{"title":"Modelling and Simulation for Preclinical Cardiac Safety Assessment of Drugs with Human iPSC-Derived Cardiomyocytes","authors":"P. Kügler","doi":"10.1365/s13291-020-00218-w","DOIUrl":"https://doi.org/10.1365/s13291-020-00218-w","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86539729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
H. Isozaki: “Maxwell Equation—Inverse Scattering in Electromagnetism” H. Isozaki:“麦克斯韦方程-电磁学中的逆散射”
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-05-07 DOI: 10.1365/s13291-020-00216-y
F. Hettlich
{"title":"H. Isozaki: “Maxwell Equation—Inverse Scattering in Electromagnetism”","authors":"F. Hettlich","doi":"10.1365/s13291-020-00216-y","DOIUrl":"https://doi.org/10.1365/s13291-020-00216-y","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72662270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Tropical Curves and Covers and Their Moduli Spaces 热带曲线和覆盖及其模空间
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-03-18 DOI: 10.1365/s13291-020-00215-z
H. Markwig
{"title":"Tropical Curves and Covers and Their Moduli Spaces","authors":"H. Markwig","doi":"10.1365/s13291-020-00215-z","DOIUrl":"https://doi.org/10.1365/s13291-020-00215-z","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91395435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Die Begriffe der Äquivalenz, der Gleichheit und der Identität 这两个词是等同的，平等和身份
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-03-05 DOI: 10.1365/s13291-020-00214-0
U. Felgner
{"title":"Die Begriffe der Äquivalenz, der Gleichheit und der Identität","authors":"U. Felgner","doi":"10.1365/s13291-020-00214-0","DOIUrl":"https://doi.org/10.1365/s13291-020-00214-0","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81737720","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On COVID-19 Modelling. 关于 COVID-19 建模。
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2020-01-01 Epub Date: 2020-06-29 DOI: 10.1365/s13291-020-00219-9
Robert Schaback
{"title":"On COVID-19 Modelling.","authors":"Robert Schaback","doi":"10.1365/s13291-020-00219-9","DOIUrl":"10.1365/s13291-020-00219-9","url":null,"abstract":"<p><p>This is an analysis of the COVID-19 pandemic by comparably simple mathematical and numerical methods. The final goal is to predict the peak of the epidemic outbreak per country with a reliable technique. The difference to other modelling approaches is to stay extremely close to the available data, using as few hypotheses and parameters as possible. For the convenience of readers, the basic notions of modelling epidemics are collected first, focusing on the standard SIR model. Proofs of various properties of the model are included. But such models are not directly compatible with available data. Therefore a special variation of a SIR model is presented that directly works with the data provided by the Johns Hopkins University. It allows to monitor the registered part of the pandemic, but is unable to deal with the hidden part. To reconstruct data for the unregistered Infected, a second model uses current experimental values of the infection fatality rate and a data-driven estimation of a specific form of the recovery rate. All other ingredients are data-driven as well. This model allows predictions of infection peaks. Various examples of predictions are provided for illustration. They show what countries have to face that are still expecting their infection peak. Running the model on earlier data shows how closely the predictions follow the transition from an uncontrolled outbreak to the mitigation situation by non-pharmaceutical interventions like contact restrictions.</p><p><strong>Supplementary information: </strong>The online version of this article (10.1365/s13291-020-00219-9) contains supplementary material, which is available to authorized users.</p>","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7322402/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84310139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Facing Low Regularity in Chemotaxis Systems 趋化系统的低规律性
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2019-10-08 DOI: 10.1365/s13291-019-00210-z
J. Lankeit, M. Winkler
{"title":"Facing Low Regularity in Chemotaxis Systems","authors":"J. Lankeit, M. Winkler","doi":"10.1365/s13291-019-00210-z","DOIUrl":"https://doi.org/10.1365/s13291-019-00210-z","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84535595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 47
On the Work of Peter Scholze 论彼得·舒尔茨的著作
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2019-09-25 DOI: 10.1365/s13291-019-00211-y
T. Wedhorn
{"title":"On the Work of Peter Scholze","authors":"T. Wedhorn","doi":"10.1365/s13291-019-00211-y","DOIUrl":"https://doi.org/10.1365/s13291-019-00211-y","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81800320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Hyperbolic Dynamics Meet Fourier Analysis, an Invitation to the Book by V. Baladi: “Dynamical Zeta Functions and Dynamical Determinants for Hyperbolic Maps” 双曲动力学遇到傅立叶分析，邀请到V. Baladi的书:“双曲映射的动态Zeta函数和动态行列式”
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2019-09-16 DOI: 10.1365/s13291-019-00209-6
Fr'ed'eric Naud
{"title":"Hyperbolic Dynamics Meet Fourier Analysis, an Invitation to the Book by V. Baladi: “Dynamical Zeta Functions and Dynamical Determinants for Hyperbolic Maps”","authors":"Fr'ed'eric Naud","doi":"10.1365/s13291-019-00209-6","DOIUrl":"https://doi.org/10.1365/s13291-019-00209-6","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81519721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
A. Kosyak: “Regular, Quasi-regular and Induced Representations of Infinite-dimensional Groups” A. Kosyak:“无限维群的正则、拟正则和诱导表示”
Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung Pub Date : 2019-09-10 DOI: 10.1365/s13291-019-00208-7
K. Neeb
{"title":"A. Kosyak: “Regular, Quasi-regular and Induced Representations of Infinite-dimensional Groups”","authors":"K. Neeb","doi":"10.1365/s13291-019-00208-7","DOIUrl":"https://doi.org/10.1365/s13291-019-00208-7","url":null,"abstract":"","PeriodicalId":73532,"journal":{"name":"Jahresbericht der Deutschen Mathematiker-Vereinigung. Deutsche Mathematiker-Vereinigung","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78934224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信