2,523,843 research outputs found

    Temporal Aspects of Smart Contracts for Financial Derivatives

    Full text link
    Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation

    Early Diagnosis of Alzheimer's disease by NIRF Spectroscopy and Nuclear Medicine-v.4.0

    Get PDF
    There is an urgent need for the early detection of diseases such as Alzheimer’s (AD) and Cancers in order to enable their successful treatment. Cancer is the second major cause of death after Heart Disease, and AD is the third major cause of death with major, human and financial/economics trillion dollar consequences for the society. Nuclear Medicine is concerned with applications in Medicine of Nuclear Science and Engineering techniques and knowledge. Three major Nuclear Medicine techniques that are established for diagnostic and research purposes are: Positron Emission Tomography (PET) and CAT/CT, Nuclear Magnetic Resonance Imaging (NMRI/MRI). However, these three techniques have also major limitations in terms of either cost or image resolution, as well as patient irradiation in the case of CAT/CT and PET. On the other hand, Near Infrared Chemical Imaging Microspectroscopy and certain Fluorescence spectroscopic techniques are capable of single cancer cell and/or single molecule detection and/or imaging. Such powerful capabilities, combined with low cost of diagnostics, make these novel techniques very attractive means for early detection of diseases such as cancer and Alzheimer’s, that are promising to reduce the fatality rate of patients through adequate diagnosis and treatment of such diseases at early stages. 
Currently NIH provides only inadequate funding for the clinical and research aspects of these novel investigation and clinical diagnostic techniques by FT-NIRS and Fluorescence spectrocopy for early detection of Alzheimer’s and Cancers.
&#xa

    Early Diagnosis of Alzheimer's disease by NIRF Spectroscopy and Nuclear Medicine

    Get PDF
    There is an urgent need for the early detection of diseases such as Alzheimer’s (AD) and Cancers in order to enable their successful treatment. Cancer is the second major cause of death after Heart Disease, and AD is the third major cause of death with major, human and financial/economics trillion dollar consequences for the society. Nuclear Medicine is concerned with applications in Medicine of Nuclear Science and Engineering techniques and knowledge. Three major Nuclear Medicine techniques that are established for diagnostic and research purposes are: Positron Emission Tomography (PET) and CAT/CT, Nuclear Magnetic Resonance Imaging (NMRI/MRI). However, these three techniques have also major limitations in terms of either cost or image resolution, as well as patient irradiation in the case of CAT/CT and PET. On the other hand, Near Infrared Chemical Imaging Microspectroscopy and certain Fluorescence spectroscopic techniques are capable of single cancer cell and/or single molecule detection and/or imaging. Such powerful capabilities, combined with low cost of diagnostics, make these novel techniques very attractive means for early detection of diseases such as cancer and Alzheimer’s, that are promising to reduce the fatality rate of patients through adequate diagnosis and treatment of such diseases at early stages. 
Currently NIH provides only inadequate funding for the clinical and research aspects of these novel investigation and clinical diagnostic techniques by FT-NIRS and Fluorescence spectrocopy for early detection of Alzheimer's and Cancers

    Unauthorised miracles in mid-ninth-century Dijon and the Carolingian church reforms

    No full text
    In the early 840s, Archbishop Amolo of Lyons wrote to one of his suffragan bishops about extraordinary miracles reportedly taking place at Dijon in the wake of the arrival of mysterious new relics. Re-examining the complex interaction of these relics with preexisting social and political processes in the region and locally, this article also explores other aspects of Amolo's letter which have been less discussed, notably its manuscript transmission and the insights it offers into structures of religious organisation. Finally, it argues that the way issues treated together in the letter tend to be separated or even opposed in the historiography points to the need for renewed, critically reflexive attention to the specificities of the Carolingian church reforms. (C) 2010 Elsevier Ltd. All rights reserved

    Circadian regulation of reproduction: From gamete to offspring

    Get PDF
    P01326625; Grants: GNT0519315Few challenges are more critical to the survival of a species than reproduction. To ensure reproductive success, myriad aspects of physiology and behaviour need to be tightly orchestrated within the animal, as well as timed appropriately with the external environment. This is accomplished through an endogenous circadian timing system generated at the cellular level through a series of interlocked transcription/translation feedback loops, leading to the overt expression of circadian rhythms. These expression patterns are found throughout the body, and are intimately interwoven with both the timing and function of the reproductive process. In this review we highlight the many aspects of reproductive physiology in which circadian rhythms are known to play a role, including regulation of the estrus cycle, the LH surge and ovulation, the production and maturation of sperm and the timing of insemination and fertilisation. We will also describe roles for circadian rhythms in support of the preimplantation embryo in the oviduct, implantation/placentation, as well as the control of parturition and early postnatal life. There are several key differences in physiology between humans and the model systems used for the study of circadian disruption, and these challenges to interpretation will be discussed as part of this review.M.J. Boden, T.J. Varcoe, D.J. Kennawa

    Outlier admissions of medical patients: Prognostic implications of outlying patients. The experience of the Hospital of Mestre

    Get PDF
    ABSTRACT The admission of a patient in wards other than the appropriate ones, known as the patient outlying phenomenon, involves both Medicine and Geriatric Units of many Hospitals. The aims were to learn more about the prognosis of the outlying patients, we investigated 3828 consecutive patients hospitalized in Medicine and Geriatrics of our hub Hospital during the year 2012. We compared patients\u2019 mean hospital length of stay, survival, and early readmission according to their outlying status. The mean hospital length of stay did not significantly differ between the two groups, either for Medicine (9.8 days for outliers and 10.0 for in-ward) or Geriatrics (13.0 days for both). However, after adjustment for age and sex, the risk of death was about twice as high for outlier patients admitted into surgical compared to medical areas (hazard ratio 1.8, 1.2-2.5 95% confidence interval). Readmission within 90 days from the first discharge was more frequent for patients admitted as outliers (26.1% vs 14.2%, P<0.0001). We highlight some critical aspects of an overcrowded hospital, as the shortage of beds in Medicine and Geriatrics and the potential increased clinical risk denoted by deaths or early readmission for medical outlier patients when assigned to inappropriate wards. There is the need to reorganize beds allocation involving community services, improve in-hospital bed management, an extent diagnostic procedures for outlier patients admitted in nonmedical wards

    Examining perceptions of agility in software development practice

    Get PDF
    This is the post-print version of the final published article that is available from the link below. Copyright @ 2010 ACM.Organizations undertaking software development are often reminded that successful practice depends on a number of non-technical issues that are managerial, cultural and organizational in nature. These issues cover aspects from appropriate corporate structure, through software process development and standardization to effective collaborative practice. Since the articulation of the 'software crisis' in the late-1960s, significant effort has been put into addressing problems related to the cost, time and quality of software development via the application of systematic processes and management practices for software engineering. Early efforts resulted in prescriptive structured methods, which have evolved and expanded over time to embrace consortia/ company-led initiatives such as the Unified Modeling Language and the Unified Process alongside formal process improvement frameworks such as the International Standards Organization's 9000 series, the Capability Maturity Model and SPICE. More recently, the philosophy behind traditional plan-based initiatives has been questioned by the agile movement, which seeks to emphasize the human and craft aspects of software development over and above the engineering aspects. Agile practice is strongly collaborative in its outlook, favoring individuals and interactions over processes and tools, working software over comprehensive documentation, customer collaboration over contract negotiation, and responding to change over following a plan (see Sidebar 1). Early experience reports on the use of agile practice suggest some success in dealing with the problems of the software crisis, and suggest that plan-based and agile practice are not mutually exclusive. Indeed, flexibility may arise from this unlikely marriage in an aim to strike a balance between the rigor of traditional plan-based approaches and the need for adaptation of those to suit particular development situations. With this in mind, this article surveys the current practice in software engineering alongside perceptions of senior development managers in relation to agile practice in order to understand the principles of agility that may be practiced implicitly and their effects on plan-based approach
    • …
    corecore