Self-validating numerical computations of solutions for partial differential equations (Unbekannt)
- Neue Suche nach: Watanabe, Y.
- Neue Suche nach: Watanabe, Y.
In:
JOURNAL- JAPAN SOCIETY FOR SIMULATION TECHNOLOGY
;
31
;
154-160
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Self-validating numerical computations of solutions for partial differential equations
-
Beteiligte:Watanabe, Y. ( Autor:in )
-
Erschienen in:JOURNAL- JAPAN SOCIETY FOR SIMULATION TECHNOLOGY ; 31 ; 154-160
-
Verlag:
- Neue Suche nach: JAPAN TECHNICAL INFORMATION SERVICE
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:7 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Unbekannt
- Neue Suche nach: 621.319 / 500
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 31
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Simulation Techniques for Closed-Circuit TelevisionKonishi, K. et al. | 2012
- 1
-
Simulation Technologies and Fukushima Nuclear DisasterKato, S. et al. | 2012
- 4
-
Numerical Simulation for Prediction of Earthquake DisastersHori, M. et al. | 2012
- 4
-
Application of Computational Physics Regarding Materials Structure EvolutionMatsumiya, T. et al. | 2012
- 10
-
Numerical Simulations for Various Scenarios of Great Earthquakes in Subduction ZoneHori, T. et al. | 2012
- 11
-
Current Status and Future Perspects in Materials Design based on First-Principles CalculationsOshiyama, A. et al. | 2012
- 17
-
Electron Correlation and Materials Science SimulationImada, M. et al. | 2012
- 18
-
Tropical Cyclone Simulations by the Global Nonhydrostatic Model with the K ComputerSatoh, M. / Yashiro, H. et al. | 2012
- 23
-
Multiscale Simulation for SoftmattersYasuda, S. / Murashima, T. / Taniguchi, T. / Yamamoto, R. et al. | 2012
- 24
-
Mesoscale Weather PredictionSaito, K. et al. | 2012
- 28
-
Simulations for Phase TransitionsMiyashita, S. et al. | 2012
- 33
-
Oceanic Dispersion Simulation of Radionuclides Associated with the Accident of Fukushima Dai-ichi Nuclear Power Plant in 2011Miyazawa, Y. / Masumoto, Y. et al. | 2012
- 35
-
Parallelized Density-Matrix Renormalization-Group Method: Its Development and Application to Condensed Matter PhysicsMachida, M. / Okumura, M. / Yamada, S. et al. | 2012
- 40
-
Numerical Simulation of Pollutants Discharged Into AtmosphereTakigawa, M. et al. | 2012
- 45
-
Seamless Simulation for Forecasting Weather and Climate VariabilityTakahashi, K. et al. | 2012
- 45
-
Numerical Simulation in Corrosion EngineeringAmaya, K. / Onishi, Y. et al. | 2012
- 52
-
Technology on Extraction of Character Lines for Shape RecognitionKataoka, I. et al. | 2012
- 53
-
Research of Obstacle Avoidance Assist System Using Prediction by SimulationNishira, H. et al. | 2012
- 56
-
Dental CAD/CAM systemIshizuka, S. et al. | 2012
- 57
-
Looking at Automotive Noise and Vibration Control Technology Agarin from Emotional ViewpointIshihama, M. et al. | 2012
- 62
-
It is 40 Years in CAETateishi, M. et al. | 2012
- 75
-
Three Themes for Stress TestsSatou, T. et al. | 2012
- 85
-
Application of Simulation Technology in the ``HAYABUSA'' Asteroid Exploring MissionOshima, T. / Hagino, S. / Kawaguchi, J. et al. | 2012
- 91
-
Simulation Technology of Navigation and Guidance for Itokawa Descent and TouchdownKubota, T. et al. | 2012
- 97
-
Application of Simulation Technology in Orbit DeterminationAoki, H. / Ohnishi, T. et al. | 2012
- 102
-
Simulation Technology for Development and Operation of Hayabusa Attitude and Orbit Control SystemUo, M. et al. | 2012
- 105
-
Numerical Simulation of Hayabusa2 Spacecraft-onboard Small Carry on ImpactorOkamoto, C. / Saiki, T. / Kato, H. et al. | 2012
- 110
-
Automatic Data Clustering by Machine LearningSugiyama, M. et al. | 2012
- 115
-
Agent-Simulation on Marketing ScienceNakamura, J. et al. | 2012
- 131
-
Inaugural Address of the PresidentTanaka, S. et al. | 2012
- 136
-
Verification of Numerical Simulation and Error Free TransformationsOishi, S. et al. | 2012
- 139
-
Verified Numerical Computations for Solutions of Linear SystemsOgita, T. et al. | 2012
- 144
-
Accuracy Guaranteed Computational Geometry by Numerical ComputationsOzaki, K. et al. | 2012
- 149
-
On numerical verification of solutions to ODEsYamamoto, N. et al. | 2012
- 154
-
Self-validating numerical computations of solutions for partial differential equationsWatanabe, Y. et al. | 2012
- 161
-
On the error constant appears in the Finite Element MethodKobayashi, K. et al. | 2012
- 166
-
Optimizing Calculation in Simulation of SwimmingNakashima, M. et al. | 2012
- 173
-
The Current Trends and Issues of Reverse EngineeringHagiwara, I. et al. | 2012
- 180
-
The 4-dimensional Modeling and Respiratory Simulation of a LungKitaoka, Y. et al. | 2012