43 results on '"A J, Webb"'
Search Results
2. Verifying Compiler Optimisations - (Invited Paper).
3. Differential Testing of a Verification Framework for Compiler Optimizations (Case Study).
4. Strong Medvedev Reducibilities and the KL-Randomness Problem.
5. KL-Randomness and Effective Dimension Under Strong Reducibility.
6. A Formal Semantics of the GraalVM Intermediate Representation.
7. Non-Iterative Schemes for the Simulation of Nonlinear Audio Circuits.
8. Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean.
9. Implementation of Real-Time Electronic Clinical Decision Support for Emergency Department Patients with Pneumonia Across a Healthcare System.
10. Rib-cage-movement measurements as a potential new trigger signal in non-invasive mechanical ventilation.
11. Revisiting Implicit Finite Difference Schemes for Three-Dimensional Room Acoustics Simulations on GPU.
12. Online parameter estimation via real-time replanning of continuous Gaussian POMDPs.
13. A new method for respiratory-volume monitoring based on long-period fibre gratings.
14. Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics.
15. Advances of 3M™ wafer support system.
16. Computing room acoustics with CUDA - 3D FDTD schemes with boundary losses and viscosity.
17. Fast Reconstruction Algorithms for Optical Tomography Using Sparse Matrix Representations.
18. Multigrid inversion algorithms for Poisson noise model-based tomographic reconstruction.
19. In vivo optical molecular imaging: principles and signal processing issues.
20. Direct Reconstruction of Kinetic Parameter Images in Fluorescence Optical Diffusion Tomography.
21. Multigrid algorithms for optimization and inverse problems.
22. Nonlinear multigrid inversion.
23. Fluorescence imaging in optical diffusion tomography.
24. Virtual Reality Cultural Heritage Information Portal.
25. Nonlinear Multigrid Optimization for Bayesian Diffusion Tomography.
26. Reducing the Synchronization Overhead in Parallel Nonsymmetric Krylov Algorithms on MIMD Machines.
27. Optimal Parameter Updating for Optical Diffusion Imaging.
28. Modelling the Global Ocean Circulation on the T3D.
29. Macroblock Quantizer Selection for H.263 Video Coding.
30. A Simple Rate-Distortion Model, Parameter Estimation, and Application to Real-Time Rate Control with DCT-Based Coders.
31. Effective Training of a Neural Network Character Classifier for Word Recognition.
32. Combining Neural Networks and Context-Driven Search for On-Line, Printed Handwriting Recognition in the Newton.
33. Speaker identification experiments using HMMs.
34. Results in non-iterative MAP reconstruction for optical tomography.
35. Citizenship for Sale National Rights as Transferable Goods
36. Egregious Euler Errors - The Use and Abuse of Euler Deconvolution Applied to Potential Fields
37. Low Salinity Oil Recovery – Increasing Understanding of the Underlying Mechanisms of Double Layer Expansion
38. Adsorption at the Calcite – Liquid Interface with Molecular Precision
39. Low Salinity Enhanced Oil Recovery – Laboratory to Day One Field Implementation – LoSal EOR into the Clair Ridge Project
40. Rapid Mesozoic Thermal and Chemical Modification of the Rehoboth Terrane and Kaapvaal Craton from Broadband Magnetotellurics and Xenolith Geochemistry
41. Geodetic Investigation of Torfajökull Volcano, Iceland (Best of SAGA)
42. Regional interpretation of magnetic, gravity, topography and geology data in the region 24°E to 26°E and -28°S to-30° S, using a variety of image processing techniques
43. The Kaapvaal Craton Broadband Seismic Experiment: Summary of Results and Ongoing Projects of the Wits University Group
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.