Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4722
search results - page 109 / 945
»
Representation-independent program analysis
Sort
relevance
views
votes
recent
update
View
thumb
title
23
click to vote
BIOINFORMATICS
2007
53
views
more
BIOINFORMATICS 2007
»
Wordom: a program for efficient analysis of molecular dynamics simulations
13 years 9 months ago
Download
www.biochem-caflisch.unizh.ch
Michele Seeber, Marco Cecchini, Francesco Rao, Gio...
claim paper
Read More »
23
click to vote
ENDM
2010
81
views
more
ENDM 2010
»
Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications
13 years 9 months ago
Download
integer.tepper.cmu.edu
We call "on/off" constraint an algebraic constraint that is activated if and only if
Hassan Hijazi, Pierre Bonami, Gérard Cornu&...
claim paper
Read More »
10
click to vote
IEICET
2008
47
views
more
IEICET 2008
»
Sensitivity Analysis and Optimization Algorithm -- Based on Nonlinear Programming --
13 years 9 months ago
Download
nlab.ee.tokushima-u.ac.jp
Masayoshi Oda, Yoshihiro Yamagami, Junji Kawata, Y...
claim paper
Read More »
17
click to vote
CORR
2006
Springer
116
views
Education
»
more
CORR 2006
»
Analysis of Equality Relationships for Imperative Programs
13 years 9 months ago
Download
www.iis.nsk.su
P. Emelyanov
claim paper
Read More »
23
click to vote
CORR
2006
Springer
57
views
Education
»
more
CORR 2006
»
Program Spectra Analysis in Embedded Software: A Case Study
13 years 9 months ago
Download
www.esi.nl
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
claim paper
Read More »
« Prev
« First
page 109 / 945
Last »
Next »