Sciweavers

10156 search results - page 2015 / 2032
» Step by Step to Histories
Sort
View
JUCS
2011
153views more  JUCS 2011»
12 years 11 months ago
A Framework to Evaluate Interface Suitability for a Given Scenario of Textual Information Retrieval
: Visualization of search results is an essential step in the textual Information Retrieval (IR) process. Indeed, Information Retrieval Interfaces (IRIs) are used as a link between...
Nicolas Bonnel, Max Chevalier, Claude Chrisment, G...
MP
2011
12 years 11 months ago
An interior-point piecewise linear penalty method for nonlinear programming
We present an interior-point penalty method for nonlinear programming (NLP), where the merit function consists of a piecewise linear penalty function (PLPF) and an 2-penalty functi...
Lifeng Chen, Donald Goldfarb
NAR
2011
209views Computer Vision» more  NAR 2011»
12 years 11 months ago
REPAIRtoire - a database of DNA repair pathways
REPAIRtoire is the first comprehensive database resource for systems biology of DNA damage and repair. The database collects and organizes the following types of information: (i) ...
Kaja Milanowska, Joanna Krwawicz, Grzegorz Papaj, ...
NAR
2011
199views Computer Vision» more  NAR 2011»
12 years 11 months ago
RepTar: a database of predicted cellular targets of host and viral miRNAs
Computational identification of putative microRNA (miRNA) targets is an important step towards elucidating miRNA functions. Several miRNA target-prediction algorithms have been de...
Naama Elefant, Amnon Berger, Harel Shein, Matan Ho...
PLPV
2011
ACM
12 years 11 months ago
Local actions for a curry-style operational semantics
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
Gordon Stewart, Andrew W. Appel
« Prev « First page 2015 / 2032 Last » Next »