Sciweavers

1902 search results - page 198 / 381
» Differential Dynamic Logics
Sort
View
GRID
2007
Springer
16 years 24 days ago
A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...
Huidong Yang, Walter Zulehner, Ulrich Langer, Mark...
ACSC
2005
IEEE
16 years 8 days ago
Cloth Animation with Adaptively Refined Meshes
Cloth animation is a very expensive process in terms of computational cost, due to the flexible nature of cloth objects. Since wrinkles and smooth areas co-exist commonly in cloth...
Ling Li, Vasily Volkov
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
16 years 4 days ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
GECCO
2003
Springer
103views Optimization» more  GECCO 2003»
15 years 12 months ago
MILA - Multilevel Immune Learning Algorithm
The biological immune system is an intricate network of specialized tissues, organs, cells, and chemical molecules. T-cell-dependent humoral immune response is one of the complex i...
Dipankar Dasgupta, Senhua Yu, Nivedita Sumi Majumd...
HIPC
2003
Springer
15 years 12 months ago
Supporting Mobile Multimedia Services with Intermittently Available Grid Resources
Advances in high quality digital wireless networks and differentiated services have enabled the development of mobile multimedia applications that can execute in global infrastruct...
Yun Huang, Nalini Venkatasubramanian