web用-REIFふくしま2015パンフ_外面_校了ol

Source URL: reif-fukushima.jp

De novo determination of peptide structure with solid-state magic-angle spinning NMR spectroscopy Chad M. Rienstra*†‡, Lisa Tucker-Kellogg§, Christopher P. Jaroniec*†, Morten Hohwy†¶, Bernd Reif*†储, Michael

Source URL: web.mit.edu

• Nuclear magnetic resonance
• Solid-state nuclear magnetic resonance
• Nuclear magnetic resonance spectroscopy

Vim as XML Editor Tobias Reif email: tobiasreif pinkjuice com Draft

Source URL: www.pinkjuice.com

• Vim
• Vi
• Careware
• Text editor
• Cygwin
• TeX
• Yi
• Section sign
• Software
• Cross-platform software
• Termcap

Advances in Computational Mathematics[removed]–18 1 Curvature Integrability of Subdivision Surfaces Ulrich Reif a Peter Schr¨oder b

Source URL: www.multires.caltech.edu

• Mathematics
• Computer graphics
• Subdivision surface
• Catmull–Clark subdivision surface
• Differential geometry of surfaces
• 3D modeling
• Edwin Catmull
• Eigenvalues and eigenvectors
• Principal curvature
• 3D computer graphics
• Multivariate interpolation
• Algebra

Thomas H. Cormen Department of Computer Science 6211 Sudikoff Laboratory Dartmouth College Hanover, NH[removed][removed]

Source URL: www.cs.dartmouth.edu

• Thomas H. Cormen
• Charles E. Leiserson
• Symposium on Parallelism in Algorithms and Architectures
• Clifford Stein
• Fast Fourier transform
• Introduction to Algorithms
• Federated Computing Research Conference
• John Reif
• Parallel computing
• Computing
• Computer science
• Academia

CALL FOR PAPERS Eighteenth Annual ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) July 30–August 2, 2006, Cambridge, MA, USA http://www.spaa-conference.org SCOPE: SPAA defines “parallel” broadly

Source URL: www.cs.jhu.edu

• Theoretical computer science
• Uzi Vishkin
• Parallel computing
• Nir Shavit
• Distributed computing
• Algorithm
• John Reif
• Computer cluster
• Computing
• Computer science
• Symposium on Parallelism in Algorithms and Architectures

President Rafael Reif and Mrs. Christine Reif invite the MIT community to Winterfest 2014 celebrating the semester’s end

Source URL: web.mit.edu

Advances in Computational Mathematics–18 1 Curvature Integrability of Subdivision Surfaces Ulrich Reif a Peter Schr¨oder b

Source URL: multires.caltech.edu

• Mathematics
• Computer graphics
• Subdivision surface
• Catmull–Clark subdivision surface
• Differential geometry of surfaces
• 3D modeling
• Edwin Catmull
• Eigenvalues and eigenvectors
• Principal curvature
• 3D computer graphics
• Multivariate interpolation
• Algebra

Using Java for Real-Time Critical Industrial Robot Programming Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif II. G OALS Based on this vision, SoftRobot aimed to develop an object-ori

Source URL: www.isse.uni-augsburg.de

• Industrial robotics
• Industrial robot
• Manufacturing
• Robots
• Robot
• KUKA
• ROS
• Open-source robotics
• Cognitive robotics
• Technology
• Business
• Robotics

Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving ? Gidon Ernst, Gerhard Schellhorn, and Wolfgang Reif {ernst,schellhorn,reif}@informatik.uni-augsburg.de University of Augsb

Source URL: www.isse.uni-augsburg.de

• Data management
• R-tree
• B+ tree
• T-tree
• Heap
• Tree
• Ternary tree
• Binary search tree
• Binary trees
• B-tree
• Graph theory