Sciweavers

413 search results - page 61 / 83
» Lattice Boltzmann Method
Sort
View
MCS
2010
Springer
13 years 7 months ago
Application of Biased Metropolis Algorithms: From protons to proteins
We show that sampling with a biased Metropolis scheme is essentially equivalent to using the heatbath algorithm. However, the biased Metropolis method can also be applied when an ...
Alexei Bazavov, Bernd A. Berg, Huan-Xiang Zhou
TBILLC
2005
Springer
14 years 1 months ago
Case Attraction in Ancient Greek
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...
Scott Grimm
ICFCA
2005
Springer
14 years 2 months ago
Conceptual Exploration of Semantic Mirrors
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
Uta Priss, L. John Old
MICCAI
2005
Springer
14 years 9 months ago
3D Freehand Ultrasound Reconstruction Based on Probe Trajectory
Abstract. 3D freehand ultrasound imaging is a very attractive technique in medical examinations and intra-operative stage for its cost and field of view capacities. This technique ...
Pierrick Coupé, Pierre Hellier, Noura Azzab...
LFCS
2007
Springer
14 years 2 months ago
Density Elimination and Rational Completeness for First-Order Logics
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
Agata Ciabattoni, George Metcalfe