The design and implementation of a relational programming system.

The declarative class of computer languages consists mainly of two paradigms - the logic and the functional. Much research has been devoted in recent years to the integration of the two with the aim of securing the advantages of both without retaining their disadvantages. To date this research has, arguably, been less fruitful than initially hoped. A large number of composite functional/logical languages have been proposed but have generally been marred by the lack of a firm, cohesive, mathematical basis. More recently new declarative paradigms, equational and constraint languages, have been advocated. These however do not fully encompass those features we perceive as being central to functional and logic languages. The crucial functional features are higher-order definitions, static polymorphic typing, applicative expressions and laziness. The crucial logic features are ability to reason about both functional and non-functional relationships and to handle computations involving search. This thesis advocates a new declarative paradigm which lies midway between functional and logic languages - the so-called relational paradigm. In a relationallanguage program and data alike are denoted by relations. All expressions are relations constructed from simpler expressions using operators which form a relational algebra. The impetus for use of relations in a declarative language comes from observations concerning their connection to functional and logic programming. Relations are mathematically more general than functions modelling non-functional as well as functional relationships. They also form the basis of many logic languages, for example, Prolog. This thesis proposes a new relational language based entirely on binary relations, named Drusilla. We demonstrate the functional and logic aspects of Drusilla. It retains the higher-order objects and polymorphism found in modern functional languages but handles non-determinism and models relationships between objects in the manner of a logic language with notion of algorithm being composed of logic and control elements. Different programming styles - functional, logic and relational- are illustrated. However, such expressive power does not come for free; it has associated with it a high cost of implementation. Two main techniques are used in the necessarily complex language interpreter. A type inference system checks programs to ensure they are meaningful and simultaneously performs automatic representation selection for relations. A symbolic manipulation system transforms programs to improve. efficiency of expressions and to increase the number of possible representations for relations while preserving program meaning

The AMMA mulid network for aerosol characterization in West Africa

Three ground based portable low power consumption microlidars (MULID) have been built and deployed at three remote sites in Banizoumbou (Niger), Cinzana (Mali) and M'Bour (Senegal) in the framework of the African Monsoon Multidisciplinary Analyses (AMMA) project for the characterization of aerosols optical properties. A description of the instrument and a discussion of the data inversion method, including a careful analysis of measurement uncertainties (systematic and statistical errors) are presented. Some case studies of typical lidar profiles observed over the Banizoumbou site during 2006 are shown and discussed with respect to the AERONET 7-day back-trajectories and the biomass burning emissions from the Combustion Emission database for the AMMA campaign

Nanoscale Potentiometry

Potentiometric sensors share unique characteristics that set them apart from other electrochemical sensors. Potentiometric nanoelectrodes have been reported and successfully used for many decades, and we review these developments. Current research chiefly focuses on nanoscale films at the outer or the inner side of the membrane, with outer layers for increasing biocompatibility, expanding the sensor response, or improving the limit of detection (LOD). Inner layers are mainly used for stabilizing the response and eliminating inner aqueous contacts or undesired nanoscale layers of water. We also discuss the ultimate detectability of ions with such sensors and the power of coupling the ultra-low LODs of ion-selective electrodes with nanoparticle labels to give attractive bioassays that can compete with state-of-the-art electrochemical detection

Photocurable Polymers for Ion Selective Field Effect Transistors. 20 Years of Applications

Application of photocurable polymers for encapsulation of ion selective field effect transistors (ISFET) and for membrane formation in chemical sensitive field effect transistors (ChemFET) during the last 20 years is discussed. From a technological point of view these materials are quite interesting because they allow the use of standard photo-lithographic processes, which reduces significantly the time required for sensor encapsulation and membrane deposition and the amount of manual work required for this, all items of importance for sensor mass production. Problems associated with the application of this kind of polymers in sensors are analysed and estimation of future trends in this field of research are presented

Internet of Things for Water Sustainability

The water is a finite resource. The issue of sustainable withdrawal of freshwater is a vital concern being faced by the community. There is a strong connection between the energy, food, and water which is referred to as water-food-energy nexus. The agriculture industry and municipalities are struggling to meet the demand of water supply. This situation is particularly exacerbated in the developing countries. The projected increase in world population requires more fresh water resources. New technologies are being developed to reduce water usage in the field of agriculture (e.g., sensor guided autonomous irrigation management systems). Agricultural water withdrawal is also impacting ground and surface water resources. Although the importance of reduction in water usage cannot be overemphasized, major efforts for sustainable water are directed towards the novel technology development for cleaning and recycling. Moreover, currently, energy technologies require abundant water for energy production. Therefore, energy sustainability is inextricably linked to water sustainability. The water sustainability IoT has a strong potential to solve many challenges in water-food-energy nexus. In this chapter, the architecture of IoT for water sustainability is presented. An in-depth coverage of sensing and communication technologies and water systems is also provided

Prognostic indicators and outcomes of hospitalised COVID-19 patients with neurological disease: An individual patient data meta-analysis

BACKGROUND: Neurological COVID-19 disease has been reported widely, but published studies often lack information on neurological outcomes and prognostic risk factors. We aimed to describe the spectrum of neurological disease in hospitalised COVID-19 patients; characterise clinical outcomes; and investigate factors associated with a poor outcome. METHODS: We conducted an individual patient data (IPD) meta-analysis of hospitalised patients with neurological COVID-19 disease, using standard case definitions. We invited authors of studies from the first pandemic wave, plus clinicians in the Global COVID-Neuro Network with unpublished data, to contribute. We analysed features associated with poor outcome (moderate to severe disability or death, 3 to 6 on the modified Rankin Scale) using multivariable models. RESULTS: We included 83 studies (31 unpublished) providing IPD for 1979 patients with COVID-19 and acute new-onset neurological disease. Encephalopathy (978 [49%] patients) and cerebrovascular events (506 [26%]) were the most common diagnoses. Respiratory and systemic symptoms preceded neurological features in 93% of patients; one third developed neurological disease after hospital admission. A poor outcome was more common in patients with cerebrovascular events (76% [95% CI 67-82]), than encephalopathy (54% [42-65]). Intensive care use was high (38% [35-41]) overall, and also greater in the cerebrovascular patients. In the cerebrovascular, but not encephalopathic patients, risk factors for poor outcome included breathlessness on admission and elevated D-dimer. Overall, 30-day mortality was 30% [27-32]. The hazard of death was comparatively lower for patients in the WHO European region. INTERPRETATION: Neurological COVID-19 disease poses a considerable burden in terms of disease outcomes and use of hospital resources from prolonged intensive care and inpatient admission; preliminary data suggest these may differ according to WHO regions and country income levels. The different risk factors for encephalopathy and stroke suggest different disease mechanisms which may be amenable to intervention, especially in those who develop neurological symptoms after hospital admission