A5075739523- Logic, programming, and type systems
- Medical Imaging Techniques and Applications
- Formal Methods in Verification
- Advanced X-ray and CT Imaging
- Logic, Reasoning, and Knowledge
- Global trade and economics
- Radiation Dose and Imaging
- International Business and FDI
- Medical Image Segmentation Techniques
- Distributed systems and fault tolerance
- Security and Verification in Computing
- Firm Innovation and Growth
- Economic Growth and Productivity
- Advanced MRI Techniques and Applications
- Cardiac Imaging and Diagnostics
- Advanced Radiotherapy Techniques
- Regional Development and Policy
- Innovation Policy and R&D
- Machine Learning and Algorithms
- Parallel Computing and Optimization Techniques
- Global Trade and Competitiveness
- Innovation and Knowledge Management
- Advanced X-ray Imaging Techniques
- Software Testing and Debugging Techniques
- Advanced Malware Detection Techniques
University of Sussex
2015-2024
Aquarius (Slovenia)
2024
Universität Innsbruck
2022-2024
Huawei Technologies (United Kingdom)
2021-2023
Zurich University of Teacher Education
2022-2023
Siemens Healthcare (Germany)
2018-2021
Bayer (Germany)
2018-2020
Stockholm South General Hospital
2019
Karolinska Institutet
2019
Friedrich-Alexander-Universität Erlangen-Nürnberg
2013-2017
Purpose: In the community of x‐ray imaging, there is a multitude tools and applications that are used in scientific practice. Many these proprietary can only be within certain lab. Often same algorithm implemented multiple times by different groups order to enable comparison. an effort tackle this problem, authors created CONRAD, software framework provides many required simulate basic processes imaging perform image reconstruction with consideration nonlinear physical effects. Methods:...
This paper presents the derivation of Epipolar Consistency Conditions (ECC) between two X-ray images from Beer-Lambert law attenuation and Geometry pinhole cameras, using Grangeat's theorem. We motivate use Oriented Projective to express redundant line integrals in projection define a consistency metric, which can be used, for instance, estimate patient motion directly set images. describe detail mathematical tools implement an algorithm compute Metric investigate its properties with...
Purpose: To allow for a purely image‐based motion estimation and compensation in weight‐bearing cone‐beam computed tomography of the knee joint. Methods: Weight‐bearing imaging joint standing position poses additional requirements image reconstruction algorithm. In contrast to supine scans, patient needs be estimated compensated. The authors propose method that is based on 2D/3D registration left right femur tibia segmented from prior, motion‐free acquired position. Each bone first roughly...
We examine extensions to the π-calculus for representing basic elements of distributed systems. In spite its expressiveness encoding various programming constructs, some phenomena inherent in systems are hard model π-calculus. consider message loss, sites, timers, site failure and persistence as calculus their descriptive power, taking Two Phase Commit Protocol (2PCP), a instance an atomic commitment protocol, testbed. Our enable us represent 2PCP under assumptions, well reason about...
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use reference names as function parameters, return values, content references and parts data structures. The extends our earlier alias-free new modal operators serve building blocks clean structural reasoning about programs structures in presence aliasing. This has been an open issue since pioneering work by Cartwright-Oppen Morris twenty-five...
We propose a simple compositional program logic for an imperative extension of call-by-value PCF, built on Hoare and our preceding work logics pure higher-order functions. A systematic use names operations them allows precise general description complex behaviour. The offers foundation treatment aliasing local state its basis, with minimal extensions. After establishing soundness, we prove that valid assertions programs completely characterise their behaviour up to observational congruence,...
Using firm-level survey data from Barcelona, Stockholm, and Vienna in Europe, Singapore, Penang (Malaysia), Bangkok Southeast Asia, we enquire into the different R&D innovation behaviour of multinational local companies these metropolitan regions. Scrutinizing a set input, throughput, output indicators as well information on cooperation characteristics, try to evaluate (a) if spatial pattern more (intense) activity Europe when compared with Asia is still valid; (b) there are reasons...
In cone-beam CT, involuntary patient motion and inaccurate or irreproducible scanner substantially degrades image quality. To avoid artifacts this needs to be estimated compensated during reconstruction. previous work we showed that Fourier consistency conditions (FCC) can used in fan-beam CT estimate the sinogram domain. This extends FCC [Formula: see text] CT. We derive an efficient cost function compensate for using detector translations. The extended method have been tested with five...
Technological change in firms late-industrialising countries is very much a process of acquiring and improving technological capabilities. The paper reviews some literatures on capabilities, learning systems innovation to prepare the ground for investigation following questions: Do with high terms Original Equipment Manufacturer (OEM) Own Brand Manufacturing (OBM) framework, also have linkage capabilities? And does quality national regional system positively influence these In order answer...
Introduces a typed /spl pi/-calculus where strong normalisation is ensured by typability. Strong useful property in many computational contexts, including distributed systems. In spite of its simplicity, our type discipline captures wide class converging name-passing interactive behaviours. The proof normalisability combines methods from lambda/-calculi and linear logic with process-theoretic reasoning. It adaptable to systems involving state other extensions. shown have significant...
Innovation systems in late industrializing countries are said to be ill-developed and fragmented, lacking crucial key resources access technology knowledge. At the same time these national innovation (NISs) host subsidiaries of transnational corporations, which could contribute development NIS due their advanced capabilities. This paper considers data from surveys, self-assessment technological capabilities qualitative interview information order establish two things: firstly, activities...
In C-arm computed tomography (CT), the field of view (FOV) is often not sufficient to acquire certain anatomical structures, e.g., a full hip or thorax. Proposed methods extend FOV use fixed detector displacement and 360° scan range double radius FOV. These trajectories are designed for circular FOVs. However, there cases in which required but rather an ellipsoid.In this work, authors show that fan-beam CT, dynamically adjusting offset can reduce when using noncircular Furthermore, present...