K. Gerlach-Hahn, Philips Chair for Medical Information Technology (MedIT), RWTH Aachen University, Aachen, Germany, [email protected] B. Misgeld, Philips Chair for Medical Information Technology (MedIT), RWTH Aachen University, Aachen, Germany, [email protected] S. Leonhardt, Philips Chair for Medical Information Technology (MedIT), RWTH Aachen University, Aachen, Germany...

Fat-Constrained Reconstruction of 18F FDG Accumulation in an Integrated PET/MR System using MR Dixon Imaging Sven Prevrhal, Susanne Heinzer, Bénédicte Delattre, Steffen Renisch, Christian Wülker, Osman Ratib, and Peter Börnert Philips Research, Hamburg, Germany, Philips AG Healthcare, Zurich, Switzerland, University Hospital of Geneva, Geneva, Switzerland, Philips Research, Hamburg, Deutschland...

Abstract. For second order nonlinear differential equations with nonintegrable singularities with respect to the time variable, unimprovable sufficient conditions for solvability and unique solvability of multi-point boundary value problems are established. îâäæñéâ. éâëîâ îæàæï ŽîŽûîòæãæ áæòâîâêùæŽèñîæ àŽêðëèâIJâIJæïŽåãæï ŽîŽæêðâàîâIJŽáæ ïæêàñèŽîëIJâIJæå áîëæåæ ùãèŽáæï éæéŽîå áŽáàâêæèæŽ éîŽãŽèû...

Philips recognizes the importance of model-driven software development (MDD). Unfortunately, there seems to be a lack of mature tools that would support domain-specific MDD and allow their deployment in an incremental fashion. This paper describes the ongoing MDD research efforts at Philips, introducing VAMPIRE − a light-weight model-driven approach to domainspecific software development. The V...

A new verification project has recently started at Philips Research. It concerns a verification of C-like concurrent programs used to specify functionality of hardware/software systems. The problem is to make the verification practical, in the sense that it must be mechanised, and applicable to thousands of lines of C-like code. We will present the goals of the project and some solutions we wan...

i

To compare the peak global longitudinal myocardial strain (PGLS) and peak segmental longitudinal myocardial strain (PSLS) values by speckle-tracking echocardiography (STE) obtained using two different echocardiography devices. STE is an emerging quantitative ultrasound technique that allows an accurate evaluation of global and segmental myocardial function. However, there is a lack of standardi...

There are n graduate students and n faculty members. Each student will be assigned a scholarship by the joint faculty. The socially optimal outcome is tbat the best studcnt should get the most prestigious scholarship, the second-best student should get the second most prcstigious scholarship, and so on. The socially optimal outcome is common knowledge among all faculty members. Each professor w...