Abstraction carrying code and resource-awareness

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t. the "untrusted" program by means of a certifícate checker—a process which should be much simpler, eíñcient, and automatic than generating the original proof. Abstraction Carrying Code (ACC) is an enabling technology for PCC in which an abstract model of the program plays the role of certifícate. The generation of the certifícate, Le., the abstraction, is automatically carried out by an abstract interpretation-based analysis engine, which is parametric w.r.t. different abstract domains. While the analyzer on the producer side typically has to compute a semantic fixpoint in a complex, iterative process, on the receiver it is only necessary to check that the certifícate is indeed a fixpoint of the abstract semantics equations representing the program. This is done in a single pass in a much more efficient process. ACC addresses the fundamental issues in PCC and opens the door to the applicability of the large body of frameworks and domains based on abstract interpretation as enabling technology for PCC. We present an overview of ACC and we describe in a tutorial fashion an application to the problem of resource-aware security in mobile code. Essentially the information computed by a cost analyzer is used to genérate cost certificates which attest a safe and efficient use of a mobile code. A receiving side can then reject code which brings cost certificates (which it cannot validate or) which have too large cost requirements in terms of computing resources (in time and/or space) and accept mobile code which meets the established requirements.

A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

INFO2009 2012-13 Resource Group 25 video, website future awareness

Web 3.0 - Future Technology Awareness By Team "Time Management": Alejandro Saucedo - Video & Flyer Stephen Griffith - Website James Crickmere - Research Jack Kanani - Dictionary In this era you cannot afford being tech-illiterate as it is literally everywhere! This is why we did thorough research on the future of technology - Web 3.0! You can find all our resources at http://web3.hackasoton.com

INFO2009 2012-13 Resource Group 27 & 31: The public awareness of science

Resources for coursework 2 of INFO 2009. A video made to promote the public awareness of science as a topic. It goes through interesting facts and explains what you can do to make a difference. A flyer made to advertise the video, explaining what it is and how it can be used.

Distribution system operation supported by contextual energy resource management based on intelligent SCADA

Future distribution systems will have to deal with an intensive penetration of distributed energy resources ensuring reliable and secure operation according to the smart grid paradigm. SCADA (Supervisory Control and Data Acquisition) is an essential infrastructure for this evolution. This paper proposes a new conceptual design of an intelligent SCADA with a decentralized, flexible, and intelligent approach, adaptive to the context (context awareness). This SCADA model is used to support the energy resource management undertaken by a distribution network operator (DNO). Resource management considers all the involved costs, power flows, and electricity prices, allowing the use of network reconfiguration and load curtailment. Locational Marginal Prices (LMP) are evaluated and used in specific situations to apply Demand Response (DR) programs on a global or a local basis. The paper includes a case study using a 114 bus distribution network and load demand based on real data.

Bringing Context Awareness to IoT-Based Wireless Sensor Networks

IEEE International Conference on Pervasive Computing and Communications (PerCom). 23 to 26, Mar, 2015, PhD Forum. Saint Louis, U.S.A..

Changing the awareness of low vitamin D status in a rheumatology population: a pre/post-study.

INTRODUCTION: In 2009 hypovitaminosis D was highly prevalent in a population of Swiss rheumatology patients (86%). We aimed to evaluate the evolution of vitamin D status in the same population two years later, after the results of the first study were disseminated to local physicians and patients, in order to determine the evolution of the problem and the impact of physician information. METHOD: Patients in our rheumatology clinic were screened for 25-OH vitamin D. Results were categorised as: deficient (<10 ng/ml or <25 nmol/l), insufficient (10 to 30 ng/ml or 25 to 75 nmol/l) or normal (>30 ng/ml or >75 nmol/l). We also used another cut-off of 20 ng/ml (50 nmol/l). We evaluated the evolution of 25-OH vitamin D dosages and vitamin D3 prescriptions between 2008 and 2011 in our institution and the number of publications on vitamin D in three important medical journals of the French speaking part of Switzerland. RESULTS: Compared with 2009, significantly more patients had normal results in 2011. Fifty-two percent of patients had levels >20 ng/ml in 2009 and 66% in 2011, difference statistically significant (p = 0.001). During the years separating the two study periods the number of 25-OH vitamin D dosages and the prescription of high doses of vitamin D3 increased in our hospital. In addition the number of publications on vitamin D increased between 2008 and 2011. CONCLUSION: We concluded that lower prevalence in hypovitaminosis D is certainly related to better adherence to daily supplements, and to better information and awareness of the physicians about hypovitaminosis D.

New interactive resource feeds children's curiosity

The Public Health Agency and safefood today (Wednesday 22 June) officially launched Eat, Taste and Grow, a new interactive curriculum based education resource to help increase awareness among primary school children of the origins of their food, local produce and the role this plays in healthy eating. As research in 2006 showed, 18% of children aged 2-15 years in Northern Ireland were reported to be obese; and provisional data in 2008-2009 showed that 22.5% of children entering Year 1 were already overweight (17%) or obese (5%).* The launch of Eat, Taste and Grow is an innovative collaboration between the PHA and safefood that will provide children with lifelong lessons about the food they eat, healthy eating options and the benefits of an active lifestyle.The free teacher-led CD-ROM resource will be sent to every primary school across Northern Ireland by September 2011 and will help increase awareness among primary school children of the origins of their food and local produce, and the role this plays in healthy eating.Speaking at the event, Health Minister Edwin Poots said: "Being obese as a child can store up problems for the future, leading to a reduction in life expectancy and potentially causing other health problems such as increased risk of coronary heart disease, cancer and Type 2 Diabetes."Currently around one in four girls and one in six boys in Primary One (Year 1) are overweight or obese."Many of our children are not as physically active as they should be, nor do they have a healthy, balanced diet."This new resource will help teachers in our primary schools educate children on how to choose what foods are healthier for them which hopefully they will carry with them into adulthood."Dr Eddie Rooney, Chief Executive, PHA said: "The Public Health Agency recognises the need to give every child a healthy start in life. Schools play a vital role in contributing to the development of knowledge and skills necessary to make healthier food choices and laying the foundation for good eating habits which can then be carried through into adulthood. Eat, Taste and Grow is an excellent resource that will help equip teachers to carry out this role and in turn enable children to make healthier choices."Mr Martin Higgins, CEO safefood said: "We know and understand the challenges faced by parents to encourage children to eat healthy foods. As obesity among children continues to rise, this interactive resource will educate children in a fun and engaging way while providing them with the information to make informed, responsible choices throughout their lives."The Eat, Taste and Grow resource is an interactive CD-ROM for use on a whiteboard or computer and is divided into: Foundation, Key Stage 1 and Key Stage 2. Topics include 'Where does our food come from?', 'Who produces our food?', 'How food grows' and 'How food is produced and preserved'. Each topic has accompanying teacher's notes and includes ideas for classroom discussions, role play, games and quiz suggestions.

Prevalence, awareness and treatment of type 2 diabetes mellitus in Switzerland: the CoLaus study.

ABSTRACT: Aims To assess the prevalence, awareness and treatment levels of Type 2 diabetes in a Swiss city. Methods Population-based cross-sectional study of 6181 subjects (3246 women) aged 35-75 years living in Lausanne, Switzerland. Type 2 diabetes was defined as fasting plasma glucose >/= 7 mmol/l and/or oral hypoglycaemic treatment and/or insulin. Results Total prevalence of Type 2 diabetes was 6.3% (95% confidence interval: 5.7-7.0%), higher in men (9.1%) than in women (3.8%, P < 0.001) and increased with age. Two-thirds (65.3%; 60.4-70.0%) of participants with Type 2 diabetes were aware of their status and among those aware 86.0% (81.5-90.3%) were treated. Treatment was more frequent in men (91.3%) than in women (75.9%, P < 0.001). Two-thirds of those treated for Type 2 diabetes were on monotherapy. Biguanides were prescribed in 65.0% of Type 2 diabetes patients and represented 48% of all antidiabetic drugs. Multivariable analysis showed male gender, increasing age, waist or BMI to be positively associated with prevalence of Type 2 diabetes, while leisure-time physical activity and alcohol consumption were negatively associated. Among participants presenting with Type 2 diabetes, increasing age was positively associated with awareness of Type 2 diabetes. Among subjects diagnosed with Type 2 diabetes, male gender and increasing age were positively associated with treatment. Conclusion Prevalence of Type 2 diabetes in Switzerland is estimated to be between 5.7% and 7.0%. Two-thirds of patients with Type 2 diabetes are aware of their status, and over three quarters of those aware are treated.

INFO2009 2012-13 Resource Group 9; Augmented Reality: Past, Present and Future.

Augmented Reality: Past, present and future. An Educational Video on Digital Futures Awareness: Augmented Reality. Designed to be informative and entertaining.

INFO2009 2012-13 Resource Group 21 - We know where you live

We know where you live is an entertaining and informative quiz show highlighting the dangers resulting from a lack of awareness of Facebook's privacy and security settings. The game show is complemented by a short tutorial explaining these settings. The show is aimed at a wider audience and is suitable for all.

Treatment-resistant depression increases health costs and resource utilization

Objective: Major Depressive Disorder (MDD) is a debilitating condition with a marked social impact. The impact of MDD and Treatment-Resistant Depression (TRD+) within the Brazilian health system is largely unknown. The goal of this study was to compare resource utilization and costs of care for treatment-resistant MDD relative to non-treatment-resistant depression (TRD-). Methods: We retrospectively analyzed the records of 212 patients who had been diagnosed with MDD according to the ICD-10 criteria. Specific criteria were used to identify patients with TRD+. Resource utilization was estimated, and the consumption of medication was annualized. We obtained information on medical visits, procedures, hospitalizations, emergency department visits and medication use related or not to MDD. Results: The sample consisted of 90 TRD+ and 122 TRD-patients. TRD+ patients used significantly more resources from the psychiatric service, but not from non-psychiatric clinics, compared to TRD-patients. Furthermore, TRD+ patients were significantly more likely to require hospitalizations. Overall, TRD+ patients imposed significantly higher (81.5%) annual costs compared to TRD-patients (R$ 5,520.85; US$ 3,075.34 vs. R$ 3,042.14; US$ 1,694.60). These findings demonstrate the burden of MDD, and especially of TRD+ patients, to the tertiary public health system. Our study should raise awareness of the impact of TRD+ and should be considered by policy makers when implementing public mental health initiatives.

Resource management in location aware cognitive radio networks

Dynamic spectrum access (DSA) aims at utilizing spectral opportunities both in time and frequency domains at any given location, which arise due to variations in spectrum usage. Recently, Cognitive radios (CRs) have been proposed as a means of implementing DSA. In this work we focus on the aspect of resource management in overlaid CRNs. We formulate resource allocation strategies for cognitive radio networks (CRNs) as mathematical optimization problems. Specifically, we focus on two key problems in resource management: Sum Rate Maximization and Maximization of Number of Admitted Users. Since both the above mentioned problems are NP hard due to presence of binary assignment variables, we propose novel graph based algorithms to optimally solve these problems. Further, we analyze the impact of location awareness on network performance of CRNs by considering three cases: Full location Aware, Partial location Aware and Non location Aware. Our results clearly show that location awareness has significant impact on performance of overlaid CRNs and leads to increase in spectrum utilization effciency.

Capacity building in the use of geospatial tools for natural resource management in Tajikistan: Final Report

The Swiss Swiss Consultant Trust Fund (CTF) support covered the period from July to December 2007 and comprised four main tasks: (1) Analysis of historic land degradation trends in the four watersheds of Zerafshan, Surkhob, Toirsu, and Vanj; (2) Translation of standard CDE GIS training materials into Russian and Tajik to enable local government staff and other specialists to use geospatial data and tools; (3) Demonstration of geospatial tools that show land degradation trends associated with land use and vegetative cover data in the project areas, (4) Preliminary training of government staff in using appropriate data, including existing information, global datasets, inexpensive satellite imagery and other datasets and webbased visualization tools like spatial data viewers, etc. The project allowed building of local awareness of, and skills in, up-to-date, inexpensive, easy-to-use GIS technologies, data sources, and applications relevant to natural resource management and especially to sustainable land management. In addition to supporting the implementation of the World Bank technical assistance activity to build capacity in the use of geospatial tools for natural resource management, the Swiss CTF support also aimed at complementing the Bank supervision work on the ongoing Community Agriculture and Watershed Management Project (CAWMP).