検索結果 2,147 件

図書
Vasco Brattka, Peter Hertling, editorsSpringer[2021]<MA41-D7>
国立国会図書館全国の図書館
  • 要約等... modern theory of computability ......that arose out of Turing's semin......ic randomness, computational complexity, ......m, and reverse mathematics. In recent dec...... many branches of analysis, and ......and the theory of differential e......s in the areas of theoretical co...... many branches of computable ana......ll as a wealth of information an......Brattka is a professor for Theor......ditor-in-chief of Computability, the journal of the associatio......ertling is a professor in the In......puter Science, Mathematics and Operations......sociate editor of Journal of Complexity
  • 内容細目... Computability of Real Numbers Computability of Subsets of Metric Spaces Computability of Differential E...... Analog Models of Computation Computable Mea......uctive Reverse Mathematics Weihrauch Complexity in Compu...
  • 関連情報Theory and applications of computability
図書
Nita H. Shah, Mandeep Mittal, editorsSpringer[2021]<EG244-D85>
国立国会図書館
  • 要約等...and the spread of novel Coronavi......tical analysis of the data relat......nd some states of India like Guj......t the efficacy of these models. ......uce the spread of COVID-19. This......ing the crisis of COVID-19 pandemic
  • 内容細目...cterize Nature of Stability? Wha......ing the Impact of Nationwide BCG......ing the Spread of COVID-19 Among......duals Analysis of the Compartmen......ssion Dynamics of Covid-19 from ......parative Study of COVID-19 Pande......ical Modelling of COVID-19 Numer......Non-negativity of the Solution Boundedness of the Solution D......mber Existence of Endemic Equili......ocal Stability of Disease Free E......obal Stability of Disease Free E......ocal Stability of Endemic Equili......hangers Impact of Early Lock Down Impact of Rapid Isolatio......19 Formulation of Mathematical M......e Transmission of COVID-19 Infection in Indian ...
  • 一般注記Mathematical Analysis of the Conceptual Model
記録メディア雑誌
National Research Council<Z53-A180>
国立国会図書館全国の図書館
  • 一般注記... Other Aids to Computation ( - v.13)
  • 並列タイトル等(連結)Mathematical Tables and Other Aids to Computation
  • 並列タイトル等Mathematical Tables and Other Aids to Computation
  •  
  •  
  •  
  •  
  •  
  •  
図書
Tsau-Young Lin, Churn-Jung Liau, Janusz Kacprzyk, editorsSpringer[2023]<M151-D35>
国立国会図書館
  • 要約等The first edition of the Encyclopedia of Complexity and......nsive overview of granular compu...... formal theory of GrC was establ......or this volume of ECSS, Second E......The topography of earth is granu...... into polygons of infinitesimal ...... the invention of calculus, topo...... Formalization of general granul......and continuous mathematics under one roof for a broad range of applications in data science
  • 内容細目...olume Preface Soft and Nature-In......mputing (GRC) Soft and Various Forms of Intelligent Co......ary Definition of the Subject In......ing Definition of the Subject Co......e (m x n) Rank of Contingency Ta...... Is 2 x 2 Rank of Contingency Ta......ank and Degree of Dependence Sub......ors and Degree of Dependence Sub......nts and Degree of Dependence Ele......rmation Degree of Granularity and Dependence Co...
  • 一般注記"A volume in the encyclopedia of complexity and systems scienc...
図書
editors, Anna Maria Hartkopf, Erin HenningWorld Scientific[2023]<M111-D6>
国立国会図書館
  • 要約等..., as the field of science commun......or the science of mathematics, and enabling ......three sections of the book consist of best-practice ......from the areas of informal math ......ctural aspects of mathematical science communic...
  • 内容細目...ational Museum of Mathematics Bridging the g......ithout words : Mathematics Adventure Land......r, and Andrea Hoffkamp The IMAGI......ourney to open mathematics engagement : h......e Illustrating Mathematics semester progr...... Institute for Computational and Experime......al Research in Mathematics (ICERM) Visual......a as tools for mathematics communication : an account of the project "Sketchnotes of Science" / Con...... My experience of producing math......ms The project Mathematics and Culture : ......lms on art and mathematics / Michele Emme......ely--the power of icon arrays an......elop a concept of smart world literacy : a road...
  • 件名Communication in mathematics
図書
Genki Yagawa, Atsuya OishiSpringer[2023]<M121-D59>
国立国会図書館全国の図書館
  • 要約等...rested in both computational mechanics an......thematical and computational foundations of Deep Learning ......s applications of Deep Learning in Computational Mechanics, w......d explanations of the Computational Mechanics fu......r a wide range of readers interested in computational mechanics and deep learning
  • 内容細目...ep Learning 3. Computational Mechanics wi......5. Improvement of Finite Element Solutions with...
図書
Giuseppe Gaeta, editorSpringer[2022]<MA251-D2>
国立国会図書館
  • 要約等...e Encyclopedia of Complexity and......e fundamentals of Perturbation T......itional fields of application, s......s in each area of the field prov......ensive picture of the landscape and the state of the art, with ...... specific goal of combining math......igor, explicit computational methods, and......des the theory of (Poincare-Birkhoff) Normal Forms, aspects of PT in specific......s, convergence of series expansi...... Another group of papers is focu......e wide utility of PT, while crea......new generation of graduate students and professionals in Physics, Mathematics, Mechanics, Engineering and t...
  • 内容細目...ation Analysis of Parametric Res......e Perturbation of Equilibria in ......matical Theory of Evolution Perturbation of Systems with N......ry Convergence of Perturbative E......s Perturbation of superintegrable systems Computational methods in p......and the Method of Detuning
  • 件名Perturbation (Mathematics)
デジタル記事
松本 宜丈, 森山 園子, 今井 浩 他<Z43-1336>数理解析研究所講究録(通号 1641) 2009.4p.16~21
インターネットで読める国立国会図書館全国の図書館
図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 内容細目...asic Principle of the Verificati......nt Formulation of the Problem Fi......closure Method of Solutions Crit......Simple Example of FS-Int Other Examples of FS-Int Case of Non-convex Dom...... Approximation Computation of the Constant c₂(h) Computation of the Constants c₃ and c₄ Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K......Simple Example of FN-Int Other Examples of FN-Int Simplif......ion An Example of Direct Residua......nt Alternative Computation for Finite-Dim......g Verification of the Local Uniq......e Verification of the Local Uniq......cal Uniqueness of the Solution Verification Alg...
  • タイトル標目Springer series in computational mathematics ; 53. 0179-3632
デジタル記事
大西 建輔, 星 守<Z43-1336>数理解析研究所講究録(通号 1641) 2009.4p.90~98
インターネットで読める国立国会図書館全国の図書館
図書
Ryuei Nishii, Shin-ichiro Ei, Miyuki Koiso, Hiroyuki Ochiai, Kanzo Okada, Shingo Saito, Tomoyuki Shirai editorsSpringerc2014<MA21-B833>
国立国会図書館全国の図書館
  • 内容細目Algebra Mathematics Hiroyuki Ochia......iscrete models of isoperimetric deformation of plane curves J......optimal cycles of homology group......ularity theory of differentiable......d applications of organism trans......tical modeling of crack propagat......rinh 著 Applied mathematics Discrete optim......ct feasibility of conic optimiza...... Waki 著 Theory of automata, abst......ama 著 Modeling of fluid flows by......l applications of Quasi-Monte Ca...... Tezuka 著 Pure mathematics and applied mathematics are inseparabl...... 著 Application of mathematics Modeling of head-disk inte......onary analysis of blast furnace through solutio...
  • 関連情報Mathematics for industry
  • 掲載誌Mathematics for industry
図書
Victoriano Carmona, Jesús Cuevas-Maraver, Fernando Fernández-Sánchez, Elisabeth García-Medina, editors.Springer[2018]<MA21-B962>
国立国会図書館
  • 要約等"This book is part of a two volume s......s the analysis of nonlinear phen...... reversibility of planar vector ......tical analysis of classic physic......cal theory and computational techniques t...... for the study of nonlinear scie......ptics"--Page 4 of cover.
  • 内容細目...rm for a class of three-dimensio......tic invariants of second order K......ffusive limits of the master equ......attin PART IV. COMPUTATIONAL METHODS. Ant......s in the price of a stock index / Antonio Cordo...
  • 一般注記...e on Nonlinear Mathematics and Physics, that took place ...
図書
Gerard O'Regan.Springer[2018]<M154-B234>
国立国会図書館
  • 要約等...exciting world of computing, enc......ocietal impact of computer software and computing devices. S...
  • 内容細目...r? Foundations of computing Concise history of computing Overview mathematics in computing I......uages Overview of software engineering Over of operating systems Overview of databases Overview of telecommunicat...... Legal aspects of computing Ethics and professional responsibility Innova...
デジタル記事
八杉 満利子, 辻井 芳樹<Z43-1336>数理解析研究所講究録(通号 1381) 2004.6p.118~127
インターネットで読める国立国会図書館全国の図書館
図書
Hiroshi Hirai and Motoki Ikeda [著]Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo2020.8<M19-D61>
国立国会図書館
デジタル記事
石原 哉<Z43-1336>数理解析研究所講究録(通号 1381) 2004.6p.108~117
インターネットで読める国立国会図書館全国の図書館
記事
影山 和也, 上ヶ谷 友佑, 青谷 章弘<Z71-Y908>数学教育学研究 : 全国数学教育学会誌 = Journal of JASME : research in mathematics education26(1):2020p.29-41
国立国会図書館全国の図書館
  • 並列タイトル等(連結)Theory of Computational Thinking as ......: Significance of Computation and the Role of School Mathematics Education
  • 並列タイトル等Theory of Computational Thinking as ......: Significance of Computation and the Role of School Mathematics Education
図書
Taihei Oki [著]Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo2019.7<MA21-D19>
国立国会図書館
図書
Ahmad Taher Azar, Aboul Ella Hassanien, editorsSpringer[2022]<EG244-D148>
国立国会図書館
  • 要約等...which consists of 31 full chapte......s in the areas of modeling, cont......ous techniques of COVID-19 outbr......oncentrates on computational simulations ......he development of drugs to counter the novel co...
  • 内容細目Some computational and theoretical results of Novel Coronavi......er Application of mathematical m...... Decisive role of Covid 19 in human evolution