Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

Near-Real-Time Analysis of Publicly Communicated Disaster Response Information

Analysis of a disaster event can identify strengths and weaknesses of the response implemented by the disaster management system; however, analysis does not typically occur until after the response phase is over. The result is that knowledge gained can only benefit future responses rather than the response under investigation. This article argues that there is an opportunity to conduct analysis while the response is operational due to the increasing availability of information within hours and days of a disaster event. Hence, this article introduces a methodology for analyzing publicly communicated disaster response information in near-real-time. A classification scheme for the disaster information needs of the public has been developed to facilitate analysis and has led to the establishment of best observed practice standards for content and timeliness. By comparing the information shared with the public within days of a disaster to these standards, information gaps are revealed that can be investigated further. The result is identification of potential deficiencies in communicating critical disaster response information to the public at a time when they can still be corrected

The GMAT Analytical Writing Assessment: Opportunitw or Threat for Management Communication?

Instituted as a regular part of the GMAT in October 1994, the Analytical Writing Assessment (AWA) has the potential to serve as a diagnostic tool in MBA programs. This article describes the new test and reviews the uses of the AWA scores and essays that have significant ramifications for management communication. It concludes by suggesting why it is vital for communication instructors to become involved in decisions about how to use the A WA results.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68049/2/10.1177_108056999605900206.pd

Management review guide : a do-it-yourself practice analysis

https://egrove.olemiss.edu/aicpa_guides/1476/thumbnail.jp

Metabolically healthy obesity characterization and relation with vitamin D - study in a bariatric surgery population

info:eu-repo/semantics/publishedVersio

ScotGrid: Providing an Effective Distributed Tier-2 in the LHC Era

ScotGrid is a distributed Tier-2 centre in the UK with sites in Durham, Edinburgh and Glasgow. ScotGrid has undergone a huge expansion in hardware in anticipation of the LHC and now provides more than 4MSI2K and 500TB to the LHC VOs. Scaling up to this level of provision has brought many challenges to the Tier-2 and we show in this paper how we have adopted new methods of organising the centres, from fabric management and monitoring to remote management of sites to management and operational procedures, to meet these challenges. We describe how we have coped with different operational models at the sites, where Glagsow and Durham sites are managed "in house" but resources at Edinburgh are managed as a central university resource. This required the adoption of a different fabric management model at Edinburgh and a special engagement with the cluster managers. Challenges arose from the different job models of local and grid submission that required special attention to resolve. We show how ScotGrid has successfully provided an infrastructure for ATLAS and LHCb Monte Carlo production. Special attention has been paid to ensuring that user analysis functions efficiently, which has required optimisation of local storage and networking to cope with the demands of user analysis. Finally, although these Tier-2 resources are pledged to the whole VO, we have established close links with our local physics user communities as being the best way to ensure that the Tier-2 functions effectively as a part of the LHC grid computing framework..Comment: Preprint for 17th International Conference on Computing in High Energy and Nuclear Physics, 7 pages, 1 figur

Pharmacological Blockade of the Calcium Plateau Provides Neuroprotection Following Organophosphate Paraoxon Induced Status Epilepticus in Rats

Organophosphate (OP) compounds which include nerve agents and pesticides are considered chemical threat agents. Currently approved antidotes are crucial in limiting OP mediated acute mortality. However, survivors of lethal OP exposure exhibit delayed neuronal injury and chronic behavioral morbidities. In this study, we investigated neuroprotective capabilities of dantrolene and carisbamate in a rat survival model of paraoxon (POX) induced status epilepticus (SE). Significant elevations in hippocampal calcium levels were observed 48-h post POX SE survival, and treatment with dantrolene (10 mg/kg, i.m.) and carisbamate (90 mg/kg, i.m.) lowered these protracted calcium elevations. POX SE induced delayed neuronal injury as characterized by Fluoro Jade C labeling was observed in critical brain areas including the dentate gyrus, parietal cortex, amygdala, and thalamus. Dantrolene and carisbamate treatment provided significant neuroprotection against delayed neuronal damage in these brain regions when administered one-hour after POX-SE. These results indicate that dantrolene or carisbamate could be effective adjuvant therapies to the existing countermeasures to reduce neuronal injury and behavioral morbidities post OP SE survival