Results 1 to 10 of about 816,479 (309)
Formal Methods in System Design, 2017 Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible.
Bettina Könighofer +6 more
openaire +4 more sources
Physical Review D, 2000 Accepted for publication in Physical Review D.
Babukhadia, L. +3 more
openaire +2 more sources
Acoustical barriers in classrooms: the impact of noise on performance in the classroom [PDF]
, 2006 There is general concern about the levels of noise that children are exposed to in classroom situations. We report the results of a study that explores the effects of typical classroom noise on the performance of primary school children on a series of ...
Dockrell, Julie, Shield, Bridget
core +2 more sources
Mode-matching analysis of a shielded rectangular dielectric-rod waveguide [PDF]
, 2005 Rectangular cross-section dielectric waveguides are widely used at millimeter wavelengths. In addition, shielded dielectric resonators having a square cross-section are often used as filter elements, however there is almost no information available on ...
Ball, James A. R., Wells, Colin G.
core +2 more sources
Electromagnetic losses in magnetic shields for buried high voltage cables [PDF]
, 2011 The electromagnetic losses and shielding efficiency of shields for a buried three phase high voltage cable are studied for several shielding configurations.
Koroglu, Selim, Sergeant, Peter
core +2 more sources
Characterizing the zebrafish organizer: microsurgical analysis at the early-shield stage [PDF]
, 1996 The appearance of the embryonic shield, a slight thickening at the leading edge of the blastoderm during the formation of the germ ring, is one of the first signs of dorsoventral polarity in the zebrafish embryo.
Fraser, Scott E., Shih, John
core
, 1982 An improved test section for a supersonic or hypersonic wind tunnel is disclosed wherein the model tested is shielded from the noise normally radiated by the turbulent tunnel wall boundary layer.
Beckwith, I. E., Creel, T. R., Jr.
core +1 more source
, 1965 Flexible bellows joint shielding sleeve for propellant transfer ...
Noreen, S. J., Pfleger, R. O.
core +1 more source
Secure agent data integrity shield [PDF]
, 2004 In the rapidly expanding field of E-Commerce, mobile agent is the emerging technology that addresses the requirement of intelligent filtering/processing of information. This paper will address the area of mobile agent data integrity protection.
Borselius +15 more
core +1 more source