PROFIL/BIAS

PROFIL (Programmer’s Runtime Optimized Fast Interval Library) is a C++ class library supporting the most commonly needed interval and real operations in a user friendly way. The supported data types are currently: INT, REAL, INTERVAL, vectors and matrices of these types, and complex numbers. PROFIL is based on BIAS (Basic Interval Arithmetic Subroutines). The developement of BIAS was guided by the ideas of BLAS, i.e. to provide an interface for basic vector and matrix operations with specific and fast implementations on various machines, the latter frequently provided by the manufacturers. The idea of BIAS is to give such an interface for interval operations with the objective: very efficient use of the underlying hardware; portability; independency of a specific interval representation


References in zbMATH (referenced in 122 articles , 2 standard articles )

Showing results 1 to 20 of 122.
Sorted by year (citations)

1 2 3 ... 5 6 7 next

  1. Fernández, José; Gazdag- Tóth, Boglárka; Redondo, Juana L.; Ortigosa, Pilar M.: The probabilistic customer’s choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane (2019)
  2. Domes, Ferenc; Goldsztejn, Alexandre: A branch and bound algorithm for quantified quadratic programming (2017)
  3. Fernández, José; Tóth, Boglárka G.; Redondo, Juana L.; Ortigosa, Pilar M.; Arrondo, Aránzazu Gila: A planar single-facility competitive location and design problem under the multi-deterministic choice rule (2017)
  4. G.-Tóth, Boglárka; Kovács, Kristóf: Solving a Huff-like Stackelberg location problem on networks (2016)
  5. Ninin, Jordan: Global optimization based on contractor programming: an overview of the IBEX library (2016)
  6. Pérez-Galván, Carlos; Bogle, I. David L.: Dynamic global optimization methods for determining guaranteed solutions in chemical engineering (2016)
  7. Vismara, Philippe; Coletta, Remi; Trombettoni, Gilles: Constrained global optimization for wine blending (2016)
  8. Walter F. Mascarenhas: Moore: Interval Arithmetic in Modern C++ (2016) arXiv
  9. Redondo, Juana L.; Fernández, José; Domingo Álvarez Hervás, José; Gila Arrondo, Aránzazu; Ortigosa, Pilar M.: Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem (2015)
  10. Arrondo, A. G.; Fernández, J.; Redondo, J. L.; Ortigosa, P. M.: An approach for solving competitive location problems with variable demand using multicore systems (2014)
  11. Fernández, José; Salhi, Said; -Tóth, Boglárka G.: Location equilibria for a continuous competitive facility location problem under delivered pricing (2014)
  12. Goldsztejn, Alexandre; Cruz, Jorge; Carvalho, Elsa: Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities (2014)
  13. Goldsztejn, Alexandre; Domes, Ferenc; Chevalier, Brice: First order rejection tests for multiple-objective optimization (2014)
  14. Goualard, Frédéric: How do you compute the midpoint of an interval? (2014)
  15. Maïga, Moussa; Ramdani, Nacim; Travé-Massuyès, Louise; Combastel, Christophe: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (2014)
  16. Rego, Francisco; De Weerdt, Elwin; van Oort, Eddy; van Kampen, Erik-Jan; Chu, Qiping; Pascoal, António M.: Determination of inner and outer bounds of reachable sets through subpavings (2014)
  17. Wechsung, Achim; Barton, Paul I.: Global optimization of bounded factorable functions with discontinuities (2014)
  18. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  19. Rump, Siegfried M.: Accurate solution of dense linear systems. II: Algorithms using directed rounding (2013)
  20. Rauh, Andreas; Auer, Ekaterina; Dötschel, Thomas; Aschemann, Harald: Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances (2012)

1 2 3 ... 5 6 7 next