Sciweavers

1919 search results - page 33 / 384
» Recent Extensions to Traviando
Sort
View
JCB
2000
91views more  JCB 2000»
14 years 9 months ago
Scaling Laws and Similarity Detection in Sequence Alignment with Gaps
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...
Dirk Drasdo, Terence Hwa, Michael Lässig
JAR
2002
72views more  JAR 2002»
14 years 9 months ago
Partial Instantiation Methods for Inference in First-Order Logic
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
John N. Hooker, G. Rago, V. Chandru, A. Shrivastav...
NECO
1998
69views more  NECO 1998»
14 years 9 months ago
Synaptic Runaway In Associative Networks And The Pathogenesis Of Schizophrenia
Synaptic runaway denotes the formationof erroneous synapses and premature functional decline accompanying activity-dependent learning in neural networks. This work studies synapti...
Asnat Greenstein-Messica, Eytan Ruppin
PR
2007
125views more  PR 2007»
14 years 9 months ago
Calculating geometric properties of three-dimensional objects from the spherical harmonic representation
The volume, location of the centroid, and second order moments of a threedimensional star-shaped object are determined in terms of the spherical harmonic coefficients of its bound...
Artemy Baxansky, Nahum Kiryati
IEEEHPCS
2010
14 years 8 months ago
Service migration within the cloud: Code mobility in SP2A
Cloud Computing (CC) is characterized by dynamically scalable and often virtualized resources that are provided as a service over the Internet. To date, no generally agreed scheme...
Michele Amoretti, Maria Chiara Laghi, Fabio Tasson...