Sciweavers

4067 search results - page 570 / 814
» Programs for Applying Symmetries
Sort
View
BIRTHDAY
2007
Springer
16 years 21 days ago
The Hydra Battle Revisited
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
Nachum Dershowitz, Georg Moser
ICCS
2007
Springer
16 years 20 days ago
Using Computer Simulation to Understand Mutation Accumulation Dynamics and Genetic Load
Long-standing theoretical concerns about mutation accumulation within the human population can now be addressed with numerical simulation. We apply a biologically realistic forward...
John Sanford, John Baumgardner, Wes Brewer, Paul G...
ICCS
2007
Springer
16 years 20 days ago
Universal Execution of Parallel Processes: Penetrating NATs over the Grid
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....
Insoon Jo, Hyuck Han, Heon Young Yeom, Ohkyoung Kw...
ICCSA
2007
Springer
16 years 20 days ago
On Optimization of the Importance Weighted OWA Aggregation of Multiple Criteria
The problem of aggregating multiple numerical criteria to form overall objective functions is of considerable importance in many disciplines. The ordered weighted averaging (OWA) a...
Wlodzimierz Ogryczak, Tomasz Sliwinski
UIC
2007
Springer
16 years 19 days ago
Ontology-Based Semantic Recommendation for Context-Aware E-Learning
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
Zhiwen Yu, Yuichi Nakamura, Seiie Jang, Shoji Kaji...