Sciweavers

413 search results - page 61 / 83
» Lattice Boltzmann Method
Sort
View
MCS
2010
Springer
14 years 10 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
15 years 5 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
15 years 5 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
16 years 20 days 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
15 years 6 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