Varying the route caching scheme can significantly change network performance for on-demand routing protocols in mobile ad hoc networks (MANETs). Initial route caching schemes retain paths or links until they are shown to be broken. However, stale routing information can degrade network performance with latency and extra routing overhead. Therefore, more recent caching schemes delete links at s...

Formal methods for the verification of safety-critical systems are an area of active research. In this thesis we investigate systems involving mobility and real-time constraints. For the description of many mobile real-time systems both spatial and temporal aspects need to be considered. There are several well-understood methods for the formal treatment of real-time aspects among them the Durat...

The aging of the population in developed and developing countries calls for special attention to improve the quality of life for older people. Meanwhile, one of the key factors influencing the quality of life of older people is their mobility. Most of the previous studies have considered the mobility of younger people while considering the aging of the population, the mobility of older people n...

Aim: The purpose of this study was to compare the clinical and subjective oral health indicators of type 2 diabetic patients (T2DM) with age and gender matched non-diabetic controls. A second aim was to identify clinical and subjective oral health indicators that discriminate between well-controlled and poorly controlled T2DM patients as well as between patients with long and short duration of ...

The design of grating-based instruments to handle and condition coherent ultrafast pulses in the extreme-ultraviolet is discussed. The main application of such instruments is the monochromatization of high-order laser harmonics and free-electron-laser pulses in the femtosecond time scale. Broad-band monochromators require the use of diffraction gratings at grazing incidence. A grating can be us...

Abstract Aims: This study investigated environmental and personal factors that explain functional skills caregiver assistance in young infants/toddlers. Methods: A cross-sectional was conducted involving seventy-four children with typical development between 6 18 months of age. Functioning were evaluated using the Pediatric Evaluation Disability Inventory, home environment Affordances Home Envi...

A Mobile Sensor Network is a geographically distributed network which owes its name to the presence of mobile sink or sensor nodes within the network. In this paper we will present and discuss the energy-efficient contention-based and scheduled based medium access control (MAC) protocols for mobile sensor networks (MSNs). Most of the MAC protocols such as T-MAC , D-MAC, and the more commonly ut...

Mobility support in future networks will be predominately based on micro mobility protocols. Current proposed schemes such as Hierarchical Mobile IPv6 (HMIPv6) and more importantly Proxy Mobile IPv6 (PMIPv6) provide localized mobility support by electing a node within the network (topologically close to the Access Routers (AR)) to act as mobility anchor . Such schemes can significantly improve ...

The expected boost in mobile data traffic and the evolution towards the next generation of networks are making cellular operators reconsider whether current approaches for handling mobility could be improved, according to the characteristics of the mobile traffic that actually flows through real networks. In this work, we make use of extensive analysis of real network traces to infer the main c...