スポンサーリンク
Department of Computer Science The University of Tokyo | 論文
- Illumination Color and Intrinsic Surface Properties : Physics-based Color Analyses from a Single Image
- DS-1-11 Reconstructing Strings from Substrings with Quantum Query
- A Sketch-Based Interface for Modeling Myocardial Fiber Orientation that Considers the Layered Structure of the Ventricles
- A Procedural Method for Modeling the Purkinje Fibers of the Heart
- An approximate algorithm for computing Fisher's market equilibrium under a simple case of piecewise-linear, concave utilities
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Proof for the Equivalence between Some Best-First Algorithms and Depth-First Algorithms for AND/OR Trees
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study