We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic environments. A shield is special type of system used for run-time enforcement; i.e., enforces given specification running while interfering with its operation as little possible. Shields that enforce are called safety...

The well-known doctoral work of Shields is a tale that is frequently recounted by many authors and has spawned a large, continuing body of research over the last 60 years. Despite the success of Shields’ work, the details of his experimental methods and results as reported by others are quite variable. Inconsistencies and misconceptions regarding Shields’ work are identified and examined here. ...

conclusions comprehensive protection programs with on-the-job training courses for staff members are strongly recommended, as well as, the provision of radiological shields and gonad shielding protocols in radiology departments to reduce the patient’s radiation dose during radiological examinations. materials and methods a retrospective, observational cross-sectional study on the application of...

We present a simple design of electromagnetic shields for both field expelling and field confinement. Motivated by the concept of neutral inclusions in the theory of composites, we introduce two concepts of neutral shells, and use neutral shells to construct our designs of electromagnetic shields. We also discuss the relationships between electromagnetic shields and cloaking structures and argu...

Town,SouthAfrica(DrC.L.Shields); Mellon Charitable Giving from the Martha W. Rogers Charitable Trust, Philadelphia, Pennsylvania (Dr C. L. Shields); the LuEsther Mertz Retina ResearchFoundation,NewYork,New York (Dr C. L. Shields); a donation from Michael, Bruce, and Ellen Ratner, New York (Drs C. L. Shields and J.A.Shields); theEyeTumorResearch Foundation, Philadelphia (Drs C. L. ShieldsandJ.A....