Sciweavers

1146 search results - page 194 / 230
» Finite cupping sets
Sort
View
JCC
2008
84views more  JCC 2008»
13 years 7 months ago
Explicit ion, implicit water solvation for molecular dynamics of nucleic acids and highly charged molecules
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
Ninad V. Prabhu, Manoranjan Panda, Qingyi Yang, Ki...
JCST
2008
114views more  JCST 2008»
13 years 7 months ago
Synthesizing Service Composition Models on the Basis of Temporal Business Rules
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
Jian Yu, Yanbo Han, Jun Han, Yan Jin, Paolo Falcar...
JSAC
2008
124views more  JSAC 2008»
13 years 7 months ago
On the design of globally optimal communication strategies for real-time noisy communication systems with noisy feedback
Abstract--A real-time communication system with noisy feedback is considered. The system consists of a Markov source, forward and backward discrete memoryless channels, and a recei...
Aditya Mahajan, Demosthenis Teneketzis
JMIV
2006
78views more  JMIV 2006»
13 years 7 months ago
Axiomatic Digital Topology
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological space...
Vladimir Kovalevsky
JMLR
2006
150views more  JMLR 2006»
13 years 7 months ago
Exact 1-Norm Support Vector Machines Via Unconstrained Convex Differentiable Minimization
Support vector machines utilizing the 1-norm, typically set up as linear programs (Mangasarian, 2000; Bradley and Mangasarian, 1998), are formulated here as a completely unconstra...
Olvi L. Mangasarian