Fingerprint 先端計算基盤研究部門が取り組む研究トピックをご確認ください。これらのトピックラベルは、この組織のメンバーの研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Mathematics

Numerical Verification
Computer-assisted Proof
Elliptic Operator
Fixed point theorem
A Priori Error Estimates
Numerical Examples
Linear Operator
Invertibility
Steady-state Solution
Operator
Nontrivial Solution
Convection
Rounding error
Distributed Shared Memory
Floating point
Rayleigh
Collective Communication
Heat
Eigenvalue Problem
Hilbert space
Error Estimates
Nonlinear Problem
Elliptic Partial Differential Equations
Finite Element Approximation
Numerical Methods
Poisson's equation
Verify
Stokes Equations
Interconnection Networks
Numerical Computation
Finite Element Solution
Norm
Enclosure
Elliptic Problems
Eigenvalue
Estimate
Viscous Fluid
Compact Operator
Incompressible Fluid
Elliptic Equations
Computing
High Performance
InfiniBand
Nonlinear Partial Differential Equations
Error Bounds
Ethernet
Boundary Value Problem
Projection
A Priori Error Bounds
Sobolev Spaces
FitzHugh-Nagumo Equations
Nonlinear Elliptic Boundary Value Problem
Continuation
Packet Routing
Nonlinear Parabolic Problems
Biharmonic Problem
Numerical Techniques
Cost Estimation
Fixed-point Equation
Multiple Eigenvalues
A Posteriori Estimates
Elliptic Differential Equations
A Priori Estimates
Cost Analysis
Numerical Results
Equality
Rate of Convergence
Biharmonic Equation
Contention
Load Balance
FitzHugh-Nagumo
Software
Seminorm
Schauder Fixed Point Theorem
Dynamic Optimization
Regular Solution
Singularly Perturbed Problem
Dynamic Algorithms
Poiseuille Flow
Data Visualization
Copolymer
Existence of Weak Solutions
Exact Solution
Nonlinear Elliptic Equations
Computational Techniques
Uniqueness of Solutions
Linear partial differential equation
Communication Cost
Dual space
Shared Memory
Nonlinear Equations
Japan

Engineering & Materials Science

Data storage equipment
Communication
Mathematical operators
Heat convection
Magnetosphere
Boundary value problems
Hilbert spaces
Magnetohydrodynamics
Partial differential equations
Computer systems
Numerical methods
Response time (computer systems)
Decomposition
Poisson equation
Ethernet
Enclosures
Fluids
Costs
Domain decomposition methods
Message passing
Supercomputers
Sobolev spaces
Piecewise linear techniques
Servers
Oils and fats
Differential equations
Computer workstations
Trees (mathematics)
Simulators
Experiments
Computer architecture
Data visualization