検索結果 27 件
紙図書
国立国会図書館
- 内容細目...asic Principle of the Verification F......nt Formulation of the Problem Finite......closure Method of Solutions Crit......Application to the Second-Order E......Simple Example of FS-Int Other Examples of FS-Int Case of Non-convex Dom......on Computation of the Constant c₂(h) Computation of the Constants c₃ a......c₄ Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K₃ An......Simple Example of FN-Int Other Examples of FN-Int Simplif......ion An Example of Direct Residua......Estimation for the Finite-Dimensi......g Verification of the Local Uniquene......e Verification of the Local Uniqueness for FN-N...
- 件名Differential equations, Partial. Automatic theorem proving. Numerical calcul...
- タイトル標目Springer series in computational mathematics ; 53. 0179-3632
紙図書
国立国会図書館全国の図書館
- 要約等...ce and a state-of-the-art description of geographic inf......orous overview of the fundamentals, ......d applications of the multidisciplinary field of geographic inf......easy retrieval of essential reli......y information. The Springer Handbook of Geographic Inf......an overview on the fundamentals, ......g descriptions of databases and encoding of geographic inf......It also covers the underlying mathematical and sta......er exemplifies the emerging use and analysis of big data in a ......ontext. Part B offers rigorous descriptions of gathering, processing and coding of geographic inf......e in a variety of systems; from traditional met...
- 並列タイトル等（連結）Handbook of geographic information Geogra...
- 並列タイトル等Handbook of geographic information Geogra...
紙図書
国立国会図書館
- 内容細目Anatomy and physiology of the heart / Zhong ......ons in imaging of cardiac struct...... mechanics and the cardiovascular......fsi simulation of flow in patien......FSI simulation of flow in patien...... buckling and atherosclerotic pla...... simulation in the left anterior ......mic assessment of the significance of coronary arter....... and Chua L.P The percutaneous mitral valve ste...
- 件名...logy. Heart--Mathematical models.......ology. Models, Theoretical.
紙図書
国立国会図書館
- 内容細目1. An integrative way of solving bioeng......ard predicting the performance of joint arthropl......llkoetter 3. Mathematical modelling of basic multicellular units : the functional units of bone remodelin......onka 4. Effect of nonlinearity i......ensioned wires of an external fi......iscoelasticity of load-bearing soft tissues : con......tegration, and computational implementation......scale modeling of cardiovascular...... Ethan Kung 8. Computational fluid modeling of heart valves /......Ramaswamy 9. Mathematical modeling of cancer metasta......n photodynamic therapy / Timothy ......ele M. Kim 11. Computational cell phenotyping in the lab, ...
紙図書
国立国会図書館
- 要約等"This book examines the benefits and barriers of implementing computational models to agri......as well as how these models can produce more cos...
- 内容細目...t and Research of Phase-Transition and Thermochemical Mat......: Optimization of Processing Modes of Disinfection of Vegetable Storehouses With the Use of Ozone Chapter ......: Optimization of Sectionalization Parameters of Distributive E......5: Application of the Software System of Finite Element Analysis for the Simulation and......n Optimization of Solar Photovoltaic Thermal Modules Ch......ul Utilization of Excess Heat Fr......ology Research of Microwave Chap......er 9: Modeling of Electrohydraul......ment Plants on the Field Area by ...... How to Manage the Effectiveness of Presowing Treatment of Seeds Chapter 12: Lévy-Enhan...
紙図書
国立国会図書館
- 要約等...ct bifurcation theory applicable ......tion phenomena of physical and e......lems and fills the gap between the mathematical theory and enginee......ctice"--Page 4 of cover.
- 内容細目Overview of Book Introduct......amental Issues of a Static Probl......imple Examples of Bifurcation Be......avior Overview of Theoretical Concep......t Imperfection of Structural Sys......ndom Variation of Imperfections ......grams Overview of Theoretical Tools Group- Theoretic Bifurcation Theory Block-Diago......lysis Overview of Bifurcation of Symmetric Syst......Mode Switching of Sands Recursive Bifurcation of Steel Specimen......ints General Mathematical Framewo......rative Example of Bifurcation An......tion Direction of the Bifurcating Pa......ries Expansion of Bifurcation Eq......Classification of Simple Critical Points Limit ...
- 件名Bifurcation theory. Structural......ngineering)--Mathematical models. Engineering mathematics.
紙図書
国立国会図書館全国の図書館
- 内容細目Tumour cords:Mathematical models ...... Effectiveness of higher-order n......or integration of continuous pie......l computations of ill-posed prob......ddy simulation of a flow around ......tions:dynamics of TCDS collimator in the LHC Luca Massi......epayment model of mortgage-backe......iodic function of a free boundary problem of hyperbolic typ...... Shinohara 著 A computational approach to co......rror estimates of bi-harmonic pr......ri Nagatou 著 Mathematical models ......nd restoration of cultural herit......llel computing of interval arith......uadratic model:the complete dual ...... visualization of groundwater flow around final...
紙図書
国立国会図書館
- 要約等... and this book offers a comprehensive account of the basic soliton theory and its app......gh primarily mathematical, the theory for nonline......ntion given to the presence of media where no......ok addresses mathematical theories, but also......gests possible theoretical innovations for many ...
- 内容細目...ng deformation of a rod. Wave pr...... linear string of infinite lengt...... Scattering by the potential V(x)......tic potentials The Korteweg-deVri......eady solutions of the Korteweg-deVri......ping equations of nonlinear vect......ves Bargmann's theorem Riccati's theorem Properties of the Eckart potential in the soliton field ......usky-Kruskal's computational analysis Struc......lies Dynamical theory of collective mot......at dissipation of wave motion Bo......stals Symmetry of media for the Korteweg-deVri......ion Scattering theory One-compone......terings Method of inverse scatte......tes Developing the Korteweg-deVries equation Mul...
- 件名...e equations. Mathematical physics. Mathematical Physics......CE--Physics--Mathematical & Computational.
紙図書
国立国会図書館
- 要約等...source (free) software package f......cal interface (the "Builder") as well as the option to inse......for all manner of behavioural ex......oPy has become the software package of choice in psyc......ities all over the world. Divided......whatever level they are at, this ......rence text for the professional scientist. The book is writte......nathan Peirce, the original creator of PsychoPy and M...... have utilised their breadth of experience in Python developm...
- 内容細目....Pros and cons of open-source software 1.4.Under......d 1.7.Going further 1.8.Conventions of this book I.For the beginner 2.Bui...... experiment 24.The Builder interf......e 2.2.Building the Stroop task 2.......s 2.4.Defining the trial structur...... movie instead of an image Note ......colors through the rainbow 5.6.Ex......e 5.7.Going further 6.Providing f......k 6.2.Updating the feedback color 6.3.Reporting the reaction time ......rformance over the last five tria......tings: measure the `Big 5' person......nstruments for the measurement of personality 7.......ntrolling when the Rating is fina......sk and scoring the data 8.Randomization, blocks ...
紙図書
国立国会図書館
- 内容細目Numerical simulations of singular solutions of the nonlinear Schr......rical solution of the nonlinear Helm......and S. Tsynkov Theory and numerical analysis of Boussinesq sys......discretization of the Helmholtz equa......rical solution of the parabolic equa......d D.J. Thomsom The mathematical model f......on methods for computational fluid dynamics....... Ekaterinaris The discontinuous Galerkin (DG) m...
- 件名Wave-motion, Theory of -- Data processing. Electroma...
- 一般注記Related URL: Table of contents only http: //www.loc...
紙図書
国立国会図書館
- 内容細目Challenges of combat modelin......plicable codes of ethics The NATO code of best practice ......mains Scenario elements Modeling the environment Mo......rol Challenges of distributed si......on Integration of M&S solutions into the operational en......onment History of combat modelin......s / R. Smith Mathematical applica...... modeling with the high level arc......modeling using the DEVS formalism......lization using the military scena......ion for system of systems engine......ey & M.D. Wood The role of architecture f......ation models : the human view approach / H.A.H. ...
- 件名...ion. Combat--Mathematical models. Combat--Simula...
紙図書
国立国会図書館全国の図書館
- 内容細目...r: A Genealogy of Architectural ......on 1: Building elements : 1. Element A...... enclosure ; Roofing 3. Element ......tion 3: Issues of contemporary p......gn : Framework of good design: p......ral research : The nature of research ; Tec......orientation C. Thermal transmissi...... architectural elements I. Mathematical data J. Structural cal...
- 一般注記Related URL: Table of contents only http: //www.loc...
- 著者標目Pressman, Andy. American Institute of Architects. Smith Maran Archi...
紙図書
国立国会図書館
- 内容細目Wolfgang Dahmen's mathematical work / ...... Angela Kunoth The way things wer......arl de Boor On the efficient computation of high-dimension...... integrals and the approximation ......le transforms: the nonlinear case......Rapid solution of boundary integ......r Learning out of leaders / Géra......egfried Müller Theory of adaptive finite element metho...
- 件名Dahmen, Wolfgang, 1949- Approximation theory. Numerical analysis. Wavelets (Mathematics)
紙図書
国立国会図書館
- 内容細目The languages of dynamic system......ul A. Fishwick The dynamics of the computational modeling of analogy-making...... French Impact of the semantic web o...... P. Sage Basic elements of mathematical modelin......m for modeling of discrete-event......ent simulation of continuous sys......ntzDale Finite elements / Marc Hoit an......r J. Mosterman Theory and practic......based modeling of engineering systems in terms of bond graphs / ......amics modeling of environmental ......g and analysis of manufacturing ...... On simulation of Simulink(R) models for model-...
- 一般注記Related URL: Table of contents only http: //www.loc...
紙図書
国立国会図書館
- 内容細目...3. Recognition of target spacecr......br>4. Internet of things, an ins......ying direction-of-arrival estima......6. An overview of optimization a......i net modeling of the manufacturing processes of space instrume...... case study on the space instrume......lth management of spacecraft Fro......ntents -- List of contributors -- About the editors -- For......e material for the aerospace indu......ect inspection of composite mate......1.4 Deployment of defect detecti......4.1 Setting up of the deep learning ......6.2 Validation of the defect detecti......iminary result of system and imp......processing for the asteroid spectral data -- 2.4...
- 件名Aerospace engineering--Technological innovations Internet of things Internet of things.
紙図書
国立国会図書館
- 目次・記事Contents 1 Theory C.Bardos, S......bservation for the Control of the Wave Equation/...... Approximation of Dynamical Syst...... Decomposition of Energy Space a......51 M.Masmoudi, The Topological As...... Modelizations of Piezoelectric ......al Approach to the Neumann Control of the Cahn-Hilliard .......Nicoud, Using Computational Fluid Dynamics to Study Flow ...
- 内容細目Theory Stable obse......bservation for the control of the wave equation ...... Approximation of dynamical syst...... Decomposition of energy space a...... by J.L. Lions The topological as...... modelizations of piezoelectric ......al approach to the Neumann control of the Cahn-Hilliard ......ohammadi Using computational fluid dynamics to study flow ...
紙図書
国立国会図書館
- 目次・記事...ve Performance of Ships in Actua......Linear Rolling of Ships K-2 Albe......cal Estimation of Ship Speed Los......unehiko Minoura||Shigeru Naito O......-Investigation of Route, Speed a......Masaru Tsujimoto||Jorn Hinnentha...... Kang Hyun Song||Taebum HA||Mun-seung Kim||Yonghwan Kim||Kyong-Huan Kim||Ki Seok Shin||Myunn-Jae Song||Jae-Wook Sun||Jin-Ho Yang Analysis of Nonlinear Ship...... Kyong-Hwan Kim||Yooil Kim||Yonghwan Kim A ...... for Vibration of Vertical Wall ......tial Elevation of Free Surface A......1-6 Guanghua He||Masashi Kashiwa......or Development of High-Performan......8 Hideo Orihara||Koichiro Matsumoto||Keiichi Ya...
- 内容細目...e A prediction of wave-induced e...... al Validation of wave loads on ...... et al A study of scale dependency of model test on ......ng limitations of a high-speed c......rative studies of model experime......ric vibrations of a container sh......act Simulation of green water oc......cal simulation of shallow water ......in water-entry of wedges by Yong...... Im Estimation of ship dynamics ......al simulations of viscous flow a......ri Computation of large amplitude motions of ships at forward speed in the time domain by......porting system The model research on the flooding time of the warship damage......roniuk A study of the operational guidance for ...
- 典拠情報（Author Heading/「を見よ」参照）...raduate School of Engineering, O......raduate School of Engineering, Osaka Prefecture...
紙図書
国立国会図書館
- 著者標目... on Advanced Mathematical and Computational Mechanics Aspects of the Boundary Element Method (1999...
デジタル記事
インターネットで読める全国の図書館
- 並列タイトル等（連結）On the interpolation ......ver triangular elements (Mathematical foundat......nd development of algorithms for scientific com...
- 並列タイトル等On the interpolation ......ver triangular elements (Mathematical foundat......nd development of algorithms for scientific com...