نتایج جستجو برای: physical challenges

تعداد نتایج: 938744  

Journal: :Comput. J. 2005
C. A. R. Hoare Robin Milner

2013
Kyoung-Dae Kim P. R. Kumar

Technological advances in computing, communications, and control, have set the stage for a next generation of engineered systems, called cyber-physical systems (CPS). These systems can potentially be important in overcoming many challenges in energy, environment, transportation, and health care. In this paper, we discuss some of these grand challenges that necessitate further advances in CPS. W...

Journal: :CoRR 2016
Chaomei Chen

The constantly growing body of scholarly knowledge of science, technology, and humanities is an asset of the mankind. While new discoveries expand the existing knowledge, they may simultaneously render some of it obsolete. It is crucial for scientists and other stakeholders to keep their knowledge up to date. Policy makers, decision makers, and the general public also need an efficient communic...

2012
Tharam S. Dillon Elizabeth Chang Jaipal Singh Omar Khadeer Hussain

The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world. The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously. This needs new theories, conceptual frameworks and engineer...

2008
Rance J. DeLong John Rushby

Cyber-physical systems will touch many aspects of life, and lives will depend on them: on the road, in the air, on rails, and in the operating room. We are concerned with the efficient construction of cyber-physical systems, and of the assurances required to place lives within their scope of control. We have been investigating a framework for an approach to safetyand securitycritical systems kn...

2010
Karsten Steinhaeuser Nitesh V. Chawla

Introduction & Motivation As evidence in support of anthropogenic climate change continues to mount [1], the study of climate has become a focus of scientific research, political attention, and socioeconomic concern. There are many different aspects to studying climate, from the collection and analysis of historical/observed data to the understanding of current climate and its underlying physic...

Journal: :IEEE Data Eng. Bull. 2009
Ashraf Aboulnaga Kenneth Salem

The Fourth International Workshop on Self-Managing Database Systems took place on March 29th, 2009 in Shanghai, China, on the day before ICDE. The SMDB workshops bring together researchers and practitioners interested in making data management systems easier to deploy and operate effectively. Topics of interest range from “traditional” management issues, such as database physical design, system...

2006
Adam Frank

We review work on the evolution of planetary nebulae and proto-planetaries via magneto-rotational mechanisms showing that a dynamo generated magnetic field can produce the energy and momentum needed to drive pPN and PNe outflows. Angular momentum considerations lead to the conclusion that single stars may not be capable of supporting strong fields for long times. Thus we take the working hypoth...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید