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æå áîëæåæ ùãèŽáæï éæéŽîå áŽáàâêæèæŽ éîŽãŽèû...

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

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...

*The first three authors have contributed equally. +Corresponding authors: {stojan.trajanovski, dimitrios.mavroeidis}@philips.com. 1S.T., D.M., and B.G.G. are with Data Science department, Philips Research, 5656 AE Eindhoven, The Netherlands. 2C.L.S. is now with Human Longevity, Inc., San Diego, CA 92121, USA. The research was done while C.L.S. was with Philips Research North America, Cambridge...

From 1876 to 1879 and from 1896 to 1902 due to absence of monsoons related to El Nino events, India experienced the two worst famines of all times. Karl Polanyi explained the millions of fatalities as a consequence of the introduction of market prices by British colonial institutions, in areas where traditional agricultural societies had kept significant stocks in rainy seasons in order to comp...

The main driver for the large research effort devoted to developing and improving seasonal climate prediction models is the fact that El Nino Southern Oscillation (ENSO) events (quasiperiodic fluctuations in Indo-Pacific Ocean sea surface temperatures and mean sea level pressure) represent, on a global scale, the greatest source of interannual climate variability and are, to some extent, predic...

This paper uses the Hilbert–Huang transform (HHT) method to make time–frequency diagnostic analyses of four monthly time series of the global precipitation: MERG (1900– 2008), REOF (1900–2008), GPCP (1979–2009), and CMAP (1979–2009). All these data are the global land and ocean average of precipitation anomalies with respect to the mean of the entire data period. The MERG and REOF are spectral ...

W. Liu, B. Turkbey, J. Senegas, S. Remmele, C. Stehning, D. Daar, Y. Pang, M. Bernardo, and P. Choyke Clinical Sites Research Program, Philips Research North America, Briarcliff Manor, NY, United States, Molecular Imaging Program, National Cancer Institute, Bethesda, MD, United States, Sector of Tomographic Imaging, Philips Research Europe, Hamburg, Germany, Molecular Imaging Program, National ...