Sciweavers

4835 search results - page 676 / 967
» Refactoring Functional Programs
Sort
View
NAR
2007
260views more  NAR 2007»
15 years 3 days ago
WoLF PSORT: protein localization predictor
WoLF PSORT is an extension of the PSORT II program for protein subcellular location prediction. WoLF PSORT converts protein amino acid sequences into numerical localization featur...
Paul Horton, Keun-Joon Park, Takeshi Obayashi, Nao...
104
Voted
PC
2007
147views Management» more  PC 2007»
15 years 3 days ago
Thread-safety in an MPI implementation: Requirements and analysis
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
William Gropp, Rajeev Thakur
MP
2010
135views more  MP 2010»
14 years 11 months ago
An inexact Newton method for nonconvex equality constrained optimization
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
Richard H. Byrd, Frank E. Curtis, Jorge Nocedal
82
Voted
PPDP
2010
Springer
14 years 11 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
101
Voted
SIAMJO
2010
108views more  SIAMJO 2010»
14 years 11 months ago
Exposed Faces of Semidefinitely Representable Sets
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by th...
Tim Netzer, Daniel Plaumann, Markus Schweighofer