A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Compound program packages and a nonlinear random fluctuations analysis
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Approximated Distributions of Sampling Inequality Indices
Computational Economics
Visual Surveillance for Moving Vehicles
International Journal of Computer Vision - Special issue on a special section on visual surveillance
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Hybrid system for multi-language and multi-environment generation of numerical codes
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Matrix Approximation Techniques for Symbolic Extraction of Poles and Zeros
Analog Integrated Circuits and Signal Processing
Genetic Programming and Evolvable Machines
Using intersection matrices to identify graphical structure
Statistics and Computing
On an integral related to biaxially anisotropic media
Journal of Computational and Applied Mathematics
Adaptive Scheduling for Task Farming with Grid Middleware
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Self-Organizing Graphs - A Neural Network Perspective of Graph Layout
GD '98 Proceedings of the 6th International Symposium on Graph Drawing
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
MIS '98 Proceedings of the 4th International Workshop on Advances in Multimedia Information Systems
Single equation without inequalities to represent a composite curve
Computer Aided Geometric Design
An experiment management component for the WBCSim problem solving environment
Advances in Engineering Software
ACM Transactions on Mathematical Software (TOMS)
The production size and inventory policy for a manufacturer in a two-echelon inventory model
Computers and Operations Research
The science of deriving dense linear algebra algorithms
ACM Transactions on Mathematical Software (TOMS)
Encyclopedia of Computer Science
Adaptive Scheduling for Task Farming with Grid Middleware
International Journal of High Performance Computing Applications
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computational aspects of an extended EMQ model with variable production rate
Computers and Operations Research - Articles presented at the conference on routing and location (CORAL)
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Journal of Computational Physics
Exclude and Include for Audio Sources and Sinks: Analogs of Mute & Solo Are Deafen & Attend
Presence: Teleoperators and Virtual Environments
Rule-Based Simplification in Vector-Product Spaces
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Forecasting product sales with dynamic linear mixture models
Forecasting product sales with dynamic linear mixture models
User-centered methods are insufficient for safety critical systems
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Image analysis of radial symmetrical samples
ICOSSSE'07 Proceedings of the 6th WSEAS international conference on System science and simulation in engineering
Frequency-domain analysis of non-linear circuit elements
IMCAS'06 Proceedings of the 5th WSEAS international conference on Instrumentation, measurement, circuits and systems
Automatic derivation of linear algebra algorithms with application to control theory
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Inexact trust region PGC method for large sparse unconstrained optimization
Computational Optimization and Applications
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
| Hi-index | 0.01 |