検索結果 85 件

図書
Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama, editors.Springer[2020]<MA67-D1>
国立国会図書館
  • タイトル標目Algorithms and computation in mathematics ; v. 28.
図書
Vasco Brattka, Peter Hertling, editorsSpringer[2021]<MA41-D7>
国立国会図書館全国の図書館
  • 要約等... computability and complexity in analysis that ......rose out of Turing's seminal work in the 1930s. Thi......h real numbers and real number fu......re computable, and which mathematical tasks in analysis can b......, algorithmic randomness, computational complexity, ......ems, fractals, and analog compute......onstructivism, and reverse mathematics. In recent decades......e analysis has invaded many bran......s of analysis, and researchers ha...... computability and complexity questions arising from real and complex analys......onal analysis, and the theory of ......measure theory and topology. This......comprehensive handbook contains 11 chapters grou...
  • ジャンル・形式用語Handbooks and manuals
  • 件名Computable functions--Handbooks, manuals, etc Computable...
図書
edited by Morgan G. Ames and Massimo MazzottiOxford University Press[2023]<M159-D18>
国立国会図書館全国の図書館
  • 要約等...es key moments in the historical......hmic practices and in the constituti......ir credibility and authority since 1500. If algorithms are historical objects and their associated meanings and values are situated and contingent-and if we are to push back against rhetorical c......e genealogical investigation thi......tial to understand the power of t...... The fact that algorithms create the con......their relative invisibility. Mor......her artifacts, algorithms are easily bla......ather than contingent and modifiable, th......een as obvious and unproblematic-......ithout context and without histor...... the emergence and continuous reconstitution of ...
  • 内容細目...andom forests, and the genealogy of the black bo...
  • 件名Algorithms--History Mathematics--History Algorithms. Mathematics.
図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 内容細目Verification by Finite-Dimensional......ection Basic Principle of the Ve......cation Fixed-Point Formulation of the Problem Finite-Dimensional Projection and Constructive E......r Estimates Aubin-Nitsche Trick FS-Int : A Simple En...... Criterion for Infinite-Dimensional......Criterion for Finite-Dimensional......rt Notes on FS-Int Programming An Applicatio......ensional Case Linear Triangular ...... Example of FS-Int Other Examples of FS-Int Case of Non-convex Domain An Example for......onvex Polygon Finite-Element Approximation Computation of the Constant c₂(h) Computation of the Constants c₃ and c₄ Computation of the Constan...
  • 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Ver...
  • タイトル標目Springer series in computational mathematics ; 53. 0179-3632
図書
editors, Anna Maria Hartkopf, Erin HenningWorld Scientific[2023]<M111-D6>
国立国会図書館
  • 要約等... communication in general, gained momentum ove......es. It aims at informing the public ab......esearch, enhancing the factual and methodological......owledge, fostering a greater interest and support for the science of mathematics, and enabling the citizens ......as decision-making on a bigger l......arious formats and media in which mathemat......m the areas of informal math edu......ation, museums and exhibitions, and the arts, resp......ly. The fourth and final section disc...... communication and lays down the basics for its ...
  • 内容細目...ies for social inclusion and well-being : the Experie...... Zsolt Lavicza and Nóra Somlyód......na Damrau Math in the city--designing a math trail ......tte Zwetsloot, and Ionica Smeets ......onal Museum of Mathematics Bridging the gap between maths and the society / Sylvie Benzoni and Marion Liewig ......ithout words : Mathematics Adventure Land, Dresden / Rah......rnhard Ganter, and Andrea Hoffkamp The IMAGINARY journey to open mathematics engagement : history and current projec......Eric Londaits, Andreas Matt, Anto......nca Violet/IMAGINARY gGmbH Scien...... communication and outreach events during the Illustrating Mathematics...
  • 件名Communication in mathematics
図書
Hisashi NaitoSpringer[2023]<MC145-D7>
国立国会図書館
  • 要約等...rystallography and discrete surfa......mong given combinatorial structures by using the variational principle, and it can reprodu......tructures existing in nature. In this regard, t......nded by Kotani and Sunada is explained by using many examples......from the viewpoint of discrete geometric analys...
  • 内容細目Intro Preface Con......Graph 2.2 Covering Graph 2.3 Gra......gical Crystals and Their Standard Realization......struction of Standard Realization......t Calculations in Cases of Maxim......l Abelian Coverings 3.2.2 Explic......bon Structures and Standard Realization......ructures via Standard Realization......crete Surfaces and Their Curvatur...... of Trivalent Minimal Discrete S......eometric Viewpoints 7.2 Material Properties and Discrete Geome...... Graph Spectra and Electronic Pro......d 7.3.2 Tight-Binding Approximation......aces 7.5 Graph Algorithms and Miscellaneous Computation Methods 7.5.1 Graph Algorithms 7.5.2 Numerical Methods for M...
  • タイトル標目SpringerBriefs in the mathematics of materials ; v. 5
図書
edited by Mikaël LucasHumana Press[2022]<RA115-D6>
国立国会図書館全国の図書館
  • 要約等This second edition volume expands on the previo...... tissue level, and the whole plan......latory network inference and dynamic modeling using ordinary differentia......ls for at-will induction of plan......hematical modeling of plant tissue using SimuPlant or VirtualLeaf; and simulating crop root systems using OpenSimRoot o......-SWMS. Written in the highly suc......essful Methods in Molecular Biol......rmat, chapters include introductions to ......are tutorials, and tips on troubleshooting and avoiding known pitfall...... Comprehensive and cutting-edge, Plants ......ology: Methods and Protocols, Sec......biologists looking for different approaches to ...
  • 内容細目...rench Profiles Investigating Soil-Root Interactions with......SWMS How to Define the Appropria......ments When Solving Water Flow in Root System Hy......ctures? Simulating Crop Root Systems using OpenSimRoot F......ure Challenges in Plant Systems ......y: Further Reading and Resources
  • 関連情報Methods in molecular biology Springer protocols
図書
edited by Budati Anil Kumar, Peter Ho Chiung Ching and Shuichi ToriiCRC Press2022<ND575-D17>
国立国会図書館
  • 要約等... be addressed. In order to addre......enges of employing CR'S include that of ensuring secure device operations and data transmiss......advanced computing techniques. S......R systems will involve the attainment of following key objectives: " Increasing rate and capacity for C......er is utilized in CR hardware de......work is needed in complex networ......atial analysis and clustering methods for t......m optimization algorithms · Resource sharing in peer to peer networking This book gat......rch works focusing on the issues, challenges and solutions in the field of C....... The chapters in this book will give solutions...
  • 著者標目Kumar, Budati Anil Ching, Peter Ho Chiung Torii, Shui...
図書
Ryuei Nishii, Shin-ichiro Ei, Miyuki Koiso, Hiroyuki Ochiai, Kanzo Okada, Shingo Saito, Tomoyuki Shirai editorsSpringerc2014<MA21-B833>
国立国会図書館全国の図書館
  • 内容細目Algebra Mathematics Hiroyuki Ochia......rks on quantum interaction model...... by Lie theory and modular forms ......ato Wakayama 著 Introduction to p...... Gröbner basis and its applicatio......es with constraint Miyuki Koiso ......urves Jun-ichi Inoguchi ほか著 Computing optimal cycle......aki Hiraoka 著 Singularity theory......rentiable maps and data visualiza......ion problems Shin-ichiro Ei 著 Models and applications o...... method for ordinary differentia......hematical modeling of crack prop......tional methods in differential e...... 著 Probability and statistics Finite Markov Chains and Markov decisio......oyuki Shirai 著 Introduction to the premium prin...
  • 関連情報Mathematics for industry
  • 掲載誌Mathematics for industry
図書
Endre Pap, editorSpringer[2021]<M121-D46>
国立国会図書館
  • 要約等...te collection, in AI and environmental ...... is used for gaining an understanding of complex re......arch phenomena in the environmen......nces, encompassing heterogeneous, noisy, inaccurate, uncertain, diverse spati......-temporal data and processes. The......ook covers new mathematics in the field of A......iangular norms and copulas, pseudo-analysis, and the introduction to fuzzy systems and decision making. Generalizati......of the Choquet integral with applications in decision making as CPT are pr...... devoted to AI in the geo-refere......air pollutants and meteorological......, image processing, machine learning, neural ne...
  • 内容細目... of primiparae and multiparae using SHapley Addit...... analysis What information on vo......nds can be obtained from the data of a single measurement...... of artificial intelligence? The Linear Fuzzy Space: Theory and Applications I......segmentation using aggregated di......ance functions and pixel descript...... of Apartments in Belgrade using Hedonic Regre......ass Appraisal, and Comparison with Machine Learning Methods Conve......gents for learning foreign languages a survey Intelligent interactive techn...... mental well-being
  • 件名Artificial intelligence Envi......rch Artificial Intelligence Intelligence arti......che artificial intelligence. Artificial intelligence. Environmental scie...
図書
Kohtaro Tadaki.Springer[2019]<MC46-D1>
国立国会図書館全国の図書館
  • 要約等...en algorithmic information theory and statistical me......s. Algorithmic information theor......f program size and recently is al......s algorithmic randomness. AIT pro......for characterizing the notion of randomness for an individual object and for studying it closely and comprehensively. In this book, a s......cal mechanical interpretation of AIT is introduced while explaining the basic notions and results of AIT......ho has an acquaintance with an e......tary theory of computation. A simplification of the setting of AIT is the......less source coding in information theory. First, in the book, a st......cal mechanical interpretation of the noiseless ...
  • 内容細目...refix-Free Machine; 6 Statistica......Mechanical Meaning of the Thermo......cal Mechanical Interpretation of......7 The Partial Randomness of Recur......7.1 R.E. Reals and Thermodynamic ......esults on the Randomness of an R.......on of Partial Randomness; 7.4 The......e Direction; 8 Computation-Theoretic Clar......rature T=1 8.1 Computational Complexity-T......etic Treatment in Computability Theory8.2 Turing Machine Computing a Prefix-Free Machine; 8.3 Reducibility in Query Size f; ......ent R.E. Reals and Strict T-Compr......20; 8.7 Concluding Remarks; 9 Ot......elated Results and Future Develop......rty of Fixed Points by Statistical Mechanical T...
  • 関連情報Springer briefs in mathematical physics
図書
Peter MüllerSpringer[2022]<MC73-D3>
国立国会図書館全国の図書館
  • 要約等...plosive growth in the use of eve......re complicated and sophisticated ......theory for the interpretation of their results and on probability......f their uncertainties. A conscientious and intelligent use o......de such understanding. It gives a unifying treatment of ......systems theory and probability th......basic concepts and statements of ......heories, their interrelations, and their applicat......ientific reasoning and physics. The b......ses the underlying concepts and mathematical s......but is written in a simple and illuminating manner without sacrificing too much math......ts, post-docs, and researchers in the applied sc...
  • ジャンル・形式用語Handbooks and manuals. Handbook Guides et manuels.
  • 件名Dynamics--Handbooks, manuals,......robabilities--Handbooks, manuals,......ulation par ordinateur simulation. Dynamics. Pr...
図書
Gerard O'Regan.Springer[2018]<M154-B234>
国立国会図書館
  • 要約等"This engaging work provides a concise introduction to the exciting world of computing, encompassing the theory, t......ology, history and societal impac......puter software and computing devices. Spanning topics from g......ict to home gaming, international business and human communication." -- Publ...
  • 内容細目...tions of computing Concise history of computing Overview mathematics in computing Introduction to algorithms Concise introduction to l......Human-computer interaction Introduction to programming languages Ove......of software engineering Over of operating systems Overv......communications Internet and World Wide Web......pects of computing Ethics and professional responsibility Innovation in computing field.
  • 件名Computer systems. Digital communications. COMPUTERS / Operating Systems / General.
デジタル記事
杉原 厚吉<Z43-1336>数理解析研究所講究録(通号 1641) 2009.4p.99~105
インターネットで読める国立国会図書館全国の図書館
デジタル記事
Danny Z. Chen, Chao Wang<Z43-1336>数理解析研究所講究録(通号 1641) 2009.4p.45~67
インターネットで読める国立国会図書館全国の図書館
図書
Niklas Lidströmer, Yonina C. Eldar, editorsSpringer[2022]<EG244-D216>
国立国会図書館
  • 要約等...dvantages of using artificial intelligence (AI) in the fight against the COVID-19 and against future pandemics that coul......hreat humanity and our environmen......al, scientific and clinically relevant......le of how medicine and mathematics will fuse in the 2020s, out of external pandemic pressure and out of scienti......This book contains a unique blen......he world's leading researchers, both in medicine, mathematics, computer science, clinical and preclinical medicine, and presents the r......usage of AI against pandemics. Equipped......AI advances against COVID-19, and how mathematics and algorithms can aid in pre...
  • 内容細目...Compressed Sensing Forward Model......oled RT-PCR CS Algorithms for Recovery Details of Algorithms Assessment of ......hm Performance and Experimental P...... Choice of Pooling Matrices Choi......ls Use of Side Information in Pooled Inference Compara......ive Discussion and Summary Refere......r Drug Repurposing in the Pandemic Response D......r Drug Repurposing in Pandemic Response T......al Flexibility and Efficiency Clinical Applicability and Acceptability ......r Drug Repurposing in Response to CO......-19 Knowledge Mining Network-Based Analysis In Silico Modelling IDentif.AI Pl......on of Drug Combinations Project IDentif.AI IDen...
  • 件名...)--Data processing Pandemics--Data processing Medical informatics COVID......)--Data processing. Medical informatics.
図書
Andrew Adamatzky, editor.Springer[2018]<M121-D3>
国立国会図書館
  • 要約等... of Complexity and Systems Scienc...... authoritative introduction and overview of th......atest research in cellular autom......ent phenomena, computational universality......ions, parallel computation, and more. Fundamen......e theory, evolving CA, ergodic t......ronisation, tiling problems and undecidability and topological dy......lly-connected finite-state machines, and represent disc......vial behavior, including waves, patterns and travelling localisations......ical models of computation and computer model......f CA presented in this book include additive CA, automata in hyperbolic spaces and non-compact spaces, CA in tri...
  • 内容細目...lular Automata Introduction to M......oulli Measures in Cellular Autom......se Transitions in Cellular Autom......ed Criticality and Cellular Autom......lf-Replication and Cellular Autom......ar Automata Tiling Problem and Undecidability in Cellular Automata Topological...
  • 一般注記Includes index.
図書
Kevin Daimi, editor, associate editors, Guillermo Francia, Levent Ertaul, Luis Hernandez Encinas, Eman El-Sheikh.Springer[2018]<ND633-B126>
国立国会図書館
  • 要約等This book introduces reader......t IT resources and communicate wi......ecurity topics including Cryptographic......ty Management, Information Assur......ware Security, and Biometrics and Forensics. It introduces the co......s, approaches, and trends needed ......ecurity skills and capabilities. ......ides a glimpse into future direc...... applications, and theories are h......fully selected and reviewed chapt......curity experts in the listed fields and edited by prominent security researchers.
  • 内容細目...ter 2.A Survey and Taxonomy of Classifiers of Intrusion Detecti......sistent Threat in Networks and Systems Using a Finite Angular Sta......e Velocity Machine and Vector Mathematics Chapter 4.Information-theor......Privacy Preserving Approaches fo......ociation Rule Mining Chapter 5.A P...... Cryptosystems and Their Applications in Wireless Senso......er 7. A Survey and Taxonomy on Data and Pre-processing Techniques of Intrusion Detecti......s for networks and Internet: A globa......9. Differentiating Security from Privacy in Internet of Things--A Survey of Threats and Solutions Chap...... Chapter 11. Using Sports Plays to Configure Hon...
  • 件名...r security. Engineering. Computer sys...... Electrical engineering. Communications Engineering, Networks. Co......em Performance and Evaluation. Systems and Data Security.
図書
Hitoshi Iba, Nasimul Noman.Imperial College Pressc2012.<M121-B91>
国立国会図書館
  • 内容細目Introduction A pr......ide to genetic algorithms using Excel simulat......Real-valued GA and its variants T...... memetic computing approach Real......f evolutionary algorithms Appendix A : G......pendix B : PSO and BUGS simulators Appendix C : ...
  • 件名Algorithms. Genetic algorithms. Evolutionary computation.
  • 並列タイトル等(連結)New frontiers in evolutionary algorithms
図書
Giovanni Naldi, Thierry Nieus, editors.Springer[2017]<SC71-S13>
国立国会図書館
  • 内容細目Intro; Preface; C......Authors; From Single Neuron Acti......ity to Network Information Processing: Simulating Cortical Loca......eld Potentials and Thalamus Dynam......c Regimes with Integrate-and-Fire Neurons; 1 The Map and the Territory; 2 Simulating Local Field Potential with Integrate and Fire Neurons; 2.1 Problems and Solutions; 2.2 Combining Integrate-and-Fire Neurons and Morphological ......odels; 2.3 Combining IFN Networks and Morphological Simulations; 3 Integrate and Fire Neurons M......c Neurons Modeling 3.2 Integrate-and-Fire Model of ......ces Sleep/Wake Information Processing Transition3.3......s; References; Computational Modeling as a Means to Defi...
  • 件名...stics. Applied mathematics.
  • タイトル標目Springer INdAM series ; v. 24.