| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A class of problems that can be solved using interval algorithms
|
Kubica, Bartłomiej Jacek
|
|
2011
|
|
2-4 |
p. 271-280
|
artikel
|
| 2 |
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
|
Dyllong, Eva
|
|
2011
|
|
2-4 |
p. 281-296
|
artikel
|
| 3 |
A generalization of p-boxes to affine arithmetic
|
Bouissou, Olivier
|
|
2011
|
|
2-4 |
p. 189-201
|
artikel
|
| 4 |
Aligning the representation and reality of computation with asynchronous logic automata
|
Gershenfeld, Neil
|
|
2011
|
|
2-4 |
p. 91-102
|
artikel
|
| 5 |
A long accumulator like a carry-save adder
|
Siegel, Stefan
|
|
2011
|
|
2-4 |
p. 203-213
|
artikel
|
| 6 |
Analysis and avoidance of singularities for local G1 surface interpolation of Bézier curve network with 4-valent nodes
|
Cho, D.-Y.
|
|
2007
|
|
2-4 |
p. 261-279
|
artikel
|
| 7 |
Analyzing a generalized Loop subdivision scheme
|
Ginkel, I.
|
|
2007
|
|
2-4 |
p. 353-363
|
artikel
|
| 8 |
Anamorphic 3D geometry
|
Hansford, D.
|
|
2007
|
|
2-4 |
p. 211-223
|
artikel
|
| 9 |
An analytic mapping of 3-D space to facilitate physical analysis
|
Bloor, M. I. G.
|
|
2007
|
|
2-4 |
p. 381-388
|
artikel
|
| 10 |
An interval extension based on occurrence grouping
|
Araya, Ignacio
|
|
2011
|
|
2-4 |
p. 173-188
|
artikel
|
| 11 |
Artificial evolution in computer aided design: from the optimization of parameters to the creation of assembly programs
|
Squillero, Giovanni
|
|
2011
|
|
2-4 |
p. 103-120
|
artikel
|
| 12 |
A verified realization of a Dempster–Shafer based fault tree analysis
|
Rebner, Gabor
|
|
2011
|
|
2-4 |
p. 313-324
|
artikel
|
| 13 |
C2 pseudo rolling ball filleting
|
Grandine, T. A.
|
|
2007
|
|
2-4 |
p. 163-173
|
artikel
|
| 14 |
Editorial
|
Revol, Nathalie
|
|
2012
|
|
2-4 |
p. 95
|
artikel
|
| 15 |
Editorial: Special issue on Geometric Modeling (Dagstuhl 2005)
|
Hahmann, Stefanie
|
|
2007
|
|
2-4 |
p. 99
|
artikel
|
| 16 |
Fast Voronoi modeling
|
Hagen, H.
|
|
2007
|
|
2-4 |
p. 185-196
|
artikel
|
| 17 |
Generating a nice triangular mesh on a regular parametric surface
|
Hernández-Mederos, V.
|
|
2007
|
|
2-4 |
p. 225-235
|
artikel
|
| 18 |
Geometric modeling of spatial constraints: objectives, methods and solid-modeling requirements
|
Sapidis, N. S.
|
|
2007
|
|
2-4 |
p. 337-352
|
artikel
|
| 19 |
Geometric preprocessing of noisy point sets: an experimental study
|
Vančo, M.
|
|
2007
|
|
2-4 |
p. 365-380
|
artikel
|
| 20 |
Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach
|
Patil, Bhagyesh V.
|
|
2011
|
|
2-4 |
p. 325-343
|
artikel
|
| 21 |
Hybrid curve fitting
|
Aigner, M.
|
|
2007
|
|
2-4 |
p. 237-247
|
artikel
|
| 22 |
Implicit fitting of point cloud data using radial hermite basis functions
|
Nielson, G. M.
|
|
2007
|
|
2-4 |
p. 301-307
|
artikel
|
| 23 |
Implicitization and parametrization of quadratic and cubic surfaces by μ-bases
|
Chen, F.
|
|
2007
|
|
2-4 |
p. 131-142
|
artikel
|
| 24 |
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
|
Nehmeier, Marco
|
|
2011
|
|
2-4 |
p. 215-228
|
artikel
|
| 25 |
Minimal rational parametrizations of canal surfaces
|
Krasauskas, R.
|
|
2007
|
|
2-4 |
p. 281-290
|
artikel
|
| 26 |
Multiple/arbitrary precision interval computations in C-XSC
|
Krämer, Walter
|
|
2011
|
|
2-4 |
p. 229-241
|
artikel
|
| 27 |
Multiresolution morphing for planar curves
|
Hahmann, S.
|
|
2007
|
|
2-4 |
p. 197-209
|
artikel
|
| 28 |
Numeration and discrete dynamical systems
|
Berthé, V.
|
|
2011
|
|
2-4 |
p. 369-387
|
artikel
|
| 29 |
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
|
Nakao, Mitsuhiro T.
|
|
2011
|
|
2-4 |
p. 151-162
|
artikel
|
| 30 |
On the numerical stability of algorithmic differentiation
|
Griewank, Andreas
|
|
2011
|
|
2-4 |
p. 125-149
|
artikel
|
| 31 |
Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations
|
Garloff, Jürgen
|
|
2011
|
|
2-4 |
p. 97-107
|
artikel
|
| 32 |
Preserving computational topology by subdivision of quadratic and cubic Bézier curves
|
Moore, E. L. F.
|
|
2007
|
|
2-4 |
p. 317-323
|
artikel
|
| 33 |
Quantifying the effect of a control point on the sign of curvature
|
Karousos, E. I.
|
|
2007
|
|
2-4 |
p. 249-259
|
artikel
|
| 34 |
Recent trends indicate rapid growth of nature-inspired optimization in academia and industry
|
Whitacre, James M.
|
|
2011
|
|
2-4 |
p. 121-133
|
artikel
|
| 35 |
Refining cubic parametric B-splines
|
Costantini, P.
|
|
2007
|
|
2-4 |
p. 291-299
|
artikel
|
| 36 |
Reverse engineering with subdivision surfaces
|
Keller, P.
|
|
2007
|
|
2-4 |
p. 119-129
|
artikel
|
| 37 |
Sensitivity-based feedforward and feedback control for uncertain systems
|
Rauh, Andreas
|
|
2011
|
|
2-4 |
p. 357-367
|
artikel
|
| 38 |
Shadow metamorphosis
|
Klimmek, B.
|
|
2007
|
|
2-4 |
p. 325-335
|
artikel
|
| 39 |
Sharp error bounds for piecewise linear interpolation of planar curves
|
Degen, W. L. F.
|
|
2007
|
|
2-4 |
p. 143-151
|
artikel
|
| 40 |
Solvers for the verified solution of parametric linear systems
|
Zimmer, Michael
|
|
2011
|
|
2-4 |
p. 109-123
|
artikel
|
| 41 |
Solving set-valued constraint satisfaction problems
|
Jaulin, Luc
|
|
2011
|
|
2-4 |
p. 297-311
|
artikel
|
| 42 |
Specification of hardware for interval arithmetic
|
Nehmeier, M.
|
|
2012
|
|
2-4 |
p. 243-255
|
artikel
|
| 43 |
Splat representation of parametric surfaces
|
Ayala, D.
|
|
2007
|
|
2-4 |
p. 101-108
|
artikel
|
| 44 |
Surfaces parametrized by the normals
|
Gravesen, J.
|
|
2007
|
|
2-4 |
p. 175-183
|
artikel
|
| 45 |
Surfaces with polar structure
|
Karčiauskas, K.
|
|
2007
|
|
2-4 |
p. 309-315
|
artikel
|
| 46 |
Survival of the flexible: explaining the recent popularity of nature-inspired optimization within a rapidly evolving world
|
Whitacre, James M.
|
|
2011
|
|
2-4 |
p. 135-146
|
artikel
|
| 47 |
The N-intertwined SIS epidemic network model
|
Van Mieghem, Piet
|
|
2011
|
|
2-4 |
p. 147-169
|
artikel
|
| 48 |
Towards a better way of computing: a return from bits to atoms via physics and biology
|
Ulieru, Mihaela
|
|
2011
|
|
2-4 |
p. 89-90
|
artikel
|
| 49 |
Towards interval techniques for model validation
|
Nava, Jaime
|
|
2011
|
|
2-4 |
p. 257-269
|
artikel
|
| 50 |
Two blossoming proofs of the Lane-Riesenfeld algorithm
|
Vouga, E.
|
|
2007
|
|
2-4 |
p. 153-162
|
artikel
|
| 51 |
Two-dimensional motion-planning for nonholonomic robots using the bump-surfaces concept
|
Xidias, E. K.
|
|
2007
|
|
2-4 |
p. 109-118
|
artikel
|
| 52 |
VERICOMP: a system to compare and assess verified IVP solvers
|
Auer, Ekaterina
|
|
2011
|
|
2-4 |
p. 163-172
|
artikel
|
| 53 |
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
|
Rauh, Andreas
|
|
2011
|
|
2-4 |
p. 345-356
|
artikel
|
Tijdschrift beschrijving