Sciweavers

413 search results - page 61 / 83
» Lattice Boltzmann Method
Sort
View
113
Voted
MCS
2010
Springer
15 years 1 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
147
Voted
TBILLC
2005
Springer
15 years 9 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
129
Voted
ICFCA
2005
Springer
15 years 9 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 4 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
15 years 9 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