Sciweavers

ICCS
2007
Springer
14 years 17 days ago
An Efficient Characteristic Method for the Magnetic Induction Equation with Various Resistivity Scales
In this paper, we develop an efficient characteristic finite element method (FEM) for solving the magnetic induction equation in magnetohydrodynamics (MHD). We carry out numerical ...
Jiangguo (James) Liu
ICCS
2007
Springer
14 years 17 days ago
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder...
ICCS
2007
Springer
14 years 17 days ago
Estimating the Change of Web Pages
This paper presents the estimation methods computing the probabilities of how many times web pages are downloaded and modified, respectively, in the future crawls. The methods can ...
Sung Jin Kim, Sang Ho Lee
ICCS
2007
Springer
14 years 17 days ago
Hamiltonian Connected Line Graphs
1 A graph G is hamiltonian-connected if any two of its vertices are connected by a Hamilton2 path (a path including every vertex of G); and G is s-hamiltonian-connected if the del...
Dengxin Li, Hong-Jian Lai, Yehong Shao, Mingquan Z...
ICCS
2007
Springer
14 years 17 days ago
Heterogeneous Workflows in Scientific Workflow Systems
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
Vasa Curcin, Moustafa Ghanem, Patrick Wendel, Yike...
ICCS
2007
Springer
14 years 17 days ago
Adaptive Sparse Grid Classification Using Grid Environments
Common techniques tackling the task of classification in data mining employ ansatz functions associated to training data points to fit the data as well as possible. Instead, the fe...
Dirk Pflüger, Ioan Lucian Muntean, Hans-Joach...
ICCS
2007
Springer
14 years 17 days ago
Towards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter ...
ICCS
2007
Springer
14 years 17 days ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
ICCS
2007
Springer
14 years 17 days ago
Fourier Spectral Solver for the Incompressible Navier-Stokes Equations with Volume-Penalization
In this study we use a fast Fourier spectral technique to simulate the Navier-Stokes equations with no-slip boundary conditions. This is enforced by an immersed boundary technique ...
G. H. Keetels, H. J. H. Clercx, G. J. F. van Heijs...
ICCS
2007
Springer
14 years 17 days ago
Combining Classifiers for Web Violent Content Detection and Filtering
Keeping people away from litigious information becomes one of the most important research area in network information security. Indeed, Web filtering is used to prevent access to u...
Radhouane Guermazi, Mohamed Hammami, Abdelmajid Be...