Sciweavers

4835 search results - page 676 / 967
» Refactoring Functional Programs
Sort
View
NAR
2007
260views more  NAR 2007»
15 years 1 months 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...
PC
2007
147views Management» more  PC 2007»
15 years 1 months 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»
15 years 25 days 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
PPDP
2010
Springer
15 years 24 days 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
SIAMJO
2010
108views more  SIAMJO 2010»
15 years 24 days 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