Upper Bound Computation theory 4 A posteriori error estimators 2 A-posteriori error estimates 2 A-thermal 2 ATLAS detectors 2 Adaptive procedure 2 Aircraft accidents 2 Aircraft collisions 2 Algebra 2 Algorithmics 2 Algorithms 2 Analysis techniques 2 Arbitrary order 2 Arithmetic circuit 2 Arithmetic operations 2 Atomic physics 2 Automatic programming 2 Bins 2 Bosons 2 Characteristic set 2 Closed form 2 Compile time 2 Computability and decidability 2 Computational complexity 2 Computer scientists 2 Confidence levels 2 Connected component 2 Constraint Databases 2 Constraint Solving 2