نتایج جستجو برای: philips and hansen1990
تعداد نتایج: 16827349 فیلتر نتایج به سال:
AUTHOR Kearsley, Greg TITLE Introducing New Technology into the Workplace: Retraining Issues and Strategies. Background Paper No. 8b. SPONS AGENCY Department of Labor, Washington, DC. Commission on Workforce Quality and Labor Market Efficiency. PUB DATE Sep 89 CONTRACT 99-9-4760-75-012-04 NOTE 35p.; In "Investing in People: A Strategy to Address America's Workforce Crisis" (CE 054 080). PUB TYP...
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...
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...
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æå áîëæåæ ùãèŽáæï éæéŽîå áŽáàâêæèæŽ éîŽãŽèû...
*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...
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
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید