Sciweavers

1919 search results - page 33 / 384
» Recent Extensions to Traviando
Sort
View
JCB
2000
91views more  JCB 2000»
13 years 10 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»
13 years 10 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»
13 years 10 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»
13 years 10 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
13 years 9 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...