SIFA: A tool for evaluation of high-grade security devices

We describe a tool for analysing information flow in security hardware. It identifies both sub-circuits critical to the preservation of security as well as the potential for information flow due to hardware failure. The tool allows for the composition of both logical and physical views of circuit designs. An example based on a cryptographic device is provided.

Casebook on contract law

The law of contract can be a complex and technical subject, rvt the new edition of Jill Poole's Casebook on Contract provides a clear and well-structured exposition of the principles and rules through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. Opening with a chapter of valuable advice and guidance on how to successfully develop and improve the essential skills of case-reading, featuring two worked examples, the coverage in this sixth edition expands to incorporate all recent significant decisions and judgments made by the House of Lords and Court of Appeal such as, Director General of Fair Trading v First National Bank plc, Farley v Skinner, Royal Bank of Scotland v Etridge and UCB Corporate Services v Williams. Interesting recent decisions in relation to battle of forms, terms, exemption clauses and misrepresentation are also included. Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the court, why decisions are made and how legal principles are developed - enabling cases to be analysed and discussed independently while, taken as a whole, the chapters provide a sound understanding of the modern law of contract. The section on damages for breach of contract has been expanded to reassess Ruxley Electronics and Construction Ltd v Forsyth in the light of Farley v Skinner, the future of Addis v Gramophone Co Ltd is considered in the light of Johnson v Unisys Ltd and Attorney General v Blake is examined in the light of the decision in Esso Petroleum Co Ltd v Niad Ltd. Succinct author comment focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop more in-depth analysis. The logical and clear organization of topics has been further improved to more accurately echo the order adopted within the author's popular textbook and closer crossreferencing to this text has been incorporated to highlight where more detailed discussion of issues arising from the caselaw can be explored. As a result, this new edition can be used both as a traditional casebook and as a companion volume to Poole's Textbook on Contract. This edition is also supported by a new companion web site that offers the benefits of essential updating of key materials, sample questions, lists for key further reading sources and relevant web links, additional relevant cases and materials and guidance on successful exam technique. As with previous editions, Casebook on Contract is an invaluable primary source and an essential study aid for all those following elements of contract law as part of the LLB and CPE, as well as for students from related disciplines such as Accounting and Business.

Clustering strategies for object databases

When object databases arrived on the scene some ten years ago, they provided database capabilities for previously neglected, complex applications, such as CAD, but were burdened with one inherent teething problem, poor performance. Physical database design is one tool that can provide performance improvements and it is the general area of concern for this thesis. Clustering is one fruitful design technique which can provide improvements in performance. However, clustering in object databases has not been explored in depth and so has not been truly exploited. Further, clustering, although a physical concern, can be determined from the logical model. The object model is richer than previous models, notably the relational model, and so it is anticipated that the opportunities with respect to clustering are greater. This thesis provides a thorough analysis of object clustering strategies with a view to highlighting any links between the object logical and physical model and improving performance. This is achieved by considering all possible types of object logical model construct and the implementation of those constructs in terms of theoretical clusterings strategies to produce actual clustering arrangements. This analysis results in a greater understanding of object clustering strategies, aiding designers in the development process and providing some valuable rules of thumb to support the design process.

Rules for mapping a conceptual model onto various data base management systems. Available in 2 volumes.

The design and implementation of data bases involve, firstly, the formulation of a conceptual data model by systematic analysis of the structure and information requirements of the organisation for which the system is being designed; secondly, the logical mapping of this conceptual model onto the data structure of the target data base management system (DBMS); and thirdly, the physical mapping of this structured model into storage structures of the target DBMS. The accuracy of both the logical and physical mapping determine the performance of the resulting systems. This thesis describes research which develops software tools to facilitate the implementation of data bases. A conceptual model describing the information structure of a hospital is derived using the Entity-Relationship (E-R) approach and this model forms the basis for mapping onto the logical model. Rules are derived for automatically mapping the conceptual model onto relational and CODASYL types of data structures. Further algorithms are developed for partly automating the implementation of these models onto INGRES, MIMER and VAX-11 DBMS.

Survey of influence of biomass mineral matter in thermochemical conversion of short rotation willow coppice

Short rotation willow coppice (SRC) has been investigated for the influence of K, Ca, Mg, Fe and P on its pyrolysis and combustion behaviours. These metals are the typical components that appear in biomass. The willow sample was pretreated to remove salts and metals by hydrochloric acid, and this demineralised sample was impregnated with each individual metal at the same mol g biomass (2.4 × 10 mol g demineralised willow). Characterisation was performed using thermogravimetric analysis (TGA), and differential thermal analysis (DTA) for combustion. In pyrolysis, volatile fingerprints were measured by means of pyrolysis-gas chromatography-mass spectrometry (PY-GC-MS). The yields and distribution of pyrolysis products have been influenced by the presence of the catalysts. Most notably, both potassium and phosphorous strongly catalysed the pyrolysis, modifying both the yield and distribution of reaction products. Temperature programmed combustion TGA indicates that combustion of biomass char is catalysed by all the metals, while phosphorus strongly inhibits the char combustion. In this case, combustion rates follow the order for volatile release/combustion: P>K>Fe>Raw>HCl>Mg>Ca, and for char combustion K>Fe>raw>Ca-Mg>HCl>P. The samples impregnated with phosphorus and potassium were also studied for combustion under flame conditions, and the same trend was observed, i.e. both potassium and phosphorus catalyse the volatile release/combustion, while, in char combustion, potassium is a catalyst and phosphorus a strong inhibitor, i.e. K impregnated>(faster than) raw>demineralised»P impregnated.

Serious games for energy social science research

This paper proposes a set of criteria for evaluation of serious games (SGs) which are intended as effective methods of engaging energy users and lowering consumption. We discuss opportunities for using SGs in energy research which go beyond existing feedback mechanisms, including use of immersive virtual worlds for learning and testing behaviours, and sparking conversations within households. From a review of existing SG evaluation criteria, we define a tailored set of criteria for energy SG development and evaluation. The criteria emphasise the need for the game to increase energy literacy through applicability to real-life energy use/management; clear, actionable goals and feedback; ways of comparing usage socially and personal relevance. Three existing energy games are evaluated according to this framework. The paper concludes by outlining directions for future development of SGs as an effective tool in social science research, including games which inspire reflection on trade-offs and usage at different scales.

Preformulation studies on grewia gum as a formulation excipient

Grewia gum is a naturally occurring polysaccharide which has potential as a pharmaceutical excipient. Differential scanning calorimetry and Fourier transform infrared (FT-IR) spectroscopy techniques were used to examine the thermal and molecular behaviours, respectively, of mixtures of grewia gum with cimetidine, ibuprofen or standard excipients, to assess potential interactions. No disappearance or broadening of the melting endotherm was seen with cimetidine or ibuprofen. Similarly, there was no interaction between grewia gum and the standard excipients tested. The results obtained using thermal analyses were supported by FT-IR analysis of the material mixtures. Grewia gum is an inert natural polymer which can be used alone or in combination with other excipients in the formulation of pharmaceutical dosage forms. © 2011 Akadémiai Kiadó, Budapest, Hungary.

Improving the management of behaviour that challenges associated with dementia in care homes:protocol for pharmacy-health psychology intervention feasibility study

INTRODUCTION: The inappropriate use of antipsychotics in people with dementia for behaviour that challenges is associated with an estimated 1800 deaths annually. However, solely focusing on antipsychotics may transfer prescribing to other equally dangerous psychotropics. Little is known about the role of pharmacists in the management of psychotropics used to treat behaviours that challenge. This research aims to determine whether it is feasible to implement and measure the effectiveness of a combined pharmacy-health psychology intervention incorporating a medication review and staff training package to limit the prescription of psychotropics to manage behaviour that challenges in care home residents with dementia. METHODS/ANALYSIS: 6 care homes within the West Midlands will be recruited. People with dementia receiving medication for behaviour that challenges, or their personal consultee, will be approached regarding participation. Medication used to treat behaviour that challenges will be reviewed by the pharmacist, in collaboration with the general practitioner (GP), person with dementia and carer. The behavioural intervention consists of a training package for care home staff and GPs promoting person-centred care and treating behaviours that challenge as an expression of unmet need. The primary outcome measure is the Neuropsychiatric Inventory-Nursing Home version (NPI-NH). Other outcomes include quality of life (EQ-5D and DEMQoL), cognition (sMMSE), health economic (CSRI) and prescribed medication including whether recommendations were implemented. Outcome data will be collected at 6 weeks, and 3 and 6 months. Pretraining and post-training interviews will explore stakeholders' expectations and experiences of the intervention. Data will be used to estimate the sample size for a definitive study. ETHICS/DISSEMINATION: The project has received a favourable opinion from the East Midlands REC (15/EM/3014). If potential participants lack capacity, a personal consultee will be consulted regarding participation in line with the Mental Capacity Act. Results will be published in peer-reviewed journals and presented at conferences.

Interface para tecnologia assistiva baseada em eletrooculografia

We propose in this work, a new method of conceptual organization of areas involving assistive technology, categorizing them in a logical and simple manner; Furthermore, we also propose the implementation of an interface based on electroculography, able to generate high-level commands, to trigger robotic, computer and electromechanical devices. To validate the eye interface, was developed an electronic circuit associated with a computer program that captured the signals generated by eye movements of users, generating high-level commands, able to trigger an active bracing and many other electromechanical systems. The results showed that it was possible to control many electromechanical systems through only eye movements. The interface is presented as a viable way to perform the proposed task and can be improved in the signals analysis in the the digital level. The diagrammatic model developed, presented as a tool easy to use and understand, providing the conceptual organization needs of assistive technology

Haematite natural crystals: non-linear initial susceptibility at low temperature

Several works have reported that haematite has non-linear initial susceptibility at room temperature, like pyrrhotite or titanomagnetite, but there is no explanation for the observed behaviours yet. This study sets out to determine which physical property (grain size, foreign cations content and domain walls displacements) controls the initial susceptibility. The performed measurements include microprobe analysis to determine magnetic phases different to haematite; initial susceptibility (300 K); hysteresis loops, SIRM and backfield curves at 77 and 300 K to calculate magnetic parameters and minor loops at 77 K, to analyse initial susceptibility and magnetization behaviours below Morin transition. The magnetic moment study at low temperature is completed with measurements of zero field cooled-field cooled and AC susceptibility in a range from 5 to 300 K. The minor loops show that the non-linearity of initial susceptibility is closely related to Barkhausen jumps. Because of initial magnetic susceptibility is controlled by domain structure it is difficult to establish a mathematical model to separate magnetic subfabrics in haematite-bearing rocks.

Perylene Diimide Molecular Glass: Investigations of Charge Transport

A new glass-forming organic semiconductor material was synthesized using a known electron transport material, perylene diimide, and attaching it to a molecular glass in order to allow the material to be solution processed. Devices were made using a simple metal-semiconductor-metal structure and electrodes were selected to produce Schottky diodes. Experiments were carried out to characterize this new molecular glass perylene diimide. The new material shows evidence of traps, hysteresis, and other behaviours that are explored in this thesis. The material shows some potential as an electron transport layer with possibilities of memory storage behaviour.

Signalling changes to individuals who show resistance to change can reduce challenging behaviour

Background & objectives Several neurodevelopmental disorders are associated with resistance to change and challenging behaviours – including temper outbursts – that ensue following changes to routines, plans or expectations (here, collectively: expectations). Here, a change signalling intervention was tested for proof of concept and potential practical effectiveness. Methods Twelve individuals with Prader-Willi syndrome participated in researcher- and caregiver-led pairing of a distinctive visual-verbal signal with subsequent changes to expectations. Specific expectations for a planned subset of five participants were systematically observed in minimally manipulated natural environments. Nine caregivers completed a temper outburst diary during a four week baseline period and a two week signalling evaluation period. Results Participants demonstrated consistently less temper outburst behaviour in the systematic observations when changes imposed to expectations were signalled, compared to when changes were not signalled. Four of the nine participants whose caregivers completed the behaviour diary demonstrated reliable reductions in temper outbursts between baseline and signalling evaluation. Limitations An active control group for the present initial evaluation of the signalling strategy using evidence from caregiver behaviour diaries was outside the scope of the present pilot study. Thus, findings cannot support the clinical efficacy of the present signalling approach. Conclusions Proof of concept evidence that reliable pairing of a distinctive cue with a subsequent change to expectation can reduce associated challenging behaviour is provided. Data provide additional support for the importance of specific practical steps in further evaluations of the change signalling approach.

Improved Real-time State-of-Charge Estimation of LiFePO4 Battery Based on a Novel Thermoelectric Model

Li-ion batteries have been widely used in electric vehicles, and battery internal state estimation plays an important role in the battery management system. However, it is technically challenging, in particular, for the estimation of the battery internal temperature and state-ofcharge (SOC), which are two key state variables affecting the battery performance. In this paper, a novel method is proposed for realtime simultaneous estimation of these two internal states, thus leading to a significantly improved battery model for realtime SOC estimation. To achieve this, a simplified battery thermoelectric model is firstly built, which couples a thermal submodel and an electrical submodel. The interactions between the battery thermal and electrical behaviours are captured, thus offering a comprehensive description of the battery thermal and electrical behaviour. To achieve more accurate internal state estimations, the model is trained by the simulation error minimization method, and model parameters are optimized by a hybrid optimization method combining a meta-heuristic algorithm and the least square approach. Further, timevarying model parameters under different heat dissipation conditions are considered, and a joint extended Kalman filter is used to simultaneously estimate both the battery internal states and time-varying model parameters in realtime. Experimental results based on the testing data of LiFePO4 batteries confirm the efficacy of the proposed method.

Konzeption, Implementierung und Anwendung eines automatisierten aerothermodynamischen Vorentwurfsprozesses für Axialturbinen

In dieser Arbeit wird ein Prozess für den frühen aerothermodynamischen Entwurf von Axialturbinen konzipiert und durch Kopplung einzelner Computerprogramme im DLR Göttingen realisiert. Speziell für die Erstauslegung von Geometrien und die Vorhersage von globalen Leistungsdaten beliebiger Axialturbinen wurde ein neues Programm erzeugt. Dessen effiziente Anwendung wird mit einer zu diesem Zweck konzipierten grafischen Entwurfsumgebung ausgeführt. Kennzeichnend für den Vorentwurfsprozess in dieser Arbeit ist die Anwendung von ein- und zweidimensionaler Strömungssimulation sowie der hohe Grad an Verknüpfung der verwendeten Programme sowohl auf prozesstechnischer wie auch auf datentechnischer Ebene. Dabei soll dem sehr frühen Entwurf eine deutlich stärkere Rolle zukommen als bisher üblich und im Gegenzug die Entwurfszeit mit höher auflösenden Vorentwurfsprogrammen reduziert werden. Die Anwendung der einzelnen Programme im Rahmen von Subprozessen wird anhand von exemplarischen Turbinenkonfigurationen in der Arbeit ebenso dargestellt, wie die Validierung des gesamten Entwurfsprozesses anhand der Auslegung einer folgend realisierten und erfolgreich operierenden Axialturbine eines Triebwerkssimulators für Flugzeug-Windkanalmodelle (TPS). Neben der Erleichterung von manueller Entwurfstätigkeit durch grafische Benutzerinteraktion kommt in einzelnen Subprozessen eine automatisierte Mehrziel-Optimierung zum Einsatz.

Review of dietary assessment methods in public health

This report provides a descriptive summary of tools to measure dietary intake and dietary behaviours - exploring the application, reliability and validity of the various tools.