The integrity of a graph G, I(G), is defined by I(G) = minS⊆V (G){|S| + m(G − S)} where m(G− S) is the maximum order of the components of G− S. In general the integrity of r-regular graph is not known [?]. We answer the following question for special regular graphs. For any given two integers p and r such that pr 2 is an integer, is there a r-regular graph, say G ∗, on p vertices having size q ...

Through real-life experiments, it has been proved that spoofing is a practical threat to applications using the free civil service provided by Global Navigation Satellite Systems (GNSS). In this paper, we demonstrate a prototype that can verify the integrity of GNSS civil signals. By integrity we intuitively mean that civil signals originate from a GNSS satellite without having been artificiall...

Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security policy and verifying whether an existing policy satisfies security objectives. To efficiently support these, an intuitive and cognitive policy analysis mechanism is desired for policy designers or security administrators due to t...

Stanford’s Integrity Beacon Landing System uses ground-based pseudo-satellite transmitters known as Integrity Beacons to resolve carrier phase ambiguities on final approach, giving IBLS both high integrity and centimeter-level accuracy. This paper discusses two improved Integrity Beacon designs and the results of flight tests with these new beacons. The original Integrity Beacons were not synch...

semen quality and its relationship to fertility are major concern in animal production. the aim of this study was to assess the relationship between frozen thawed sperm characteristics and fertility following in vivo fertility through artificial insemination(ai). semen samples were collected from four buffalo bulls. semen volume and sperm concentration appeared to be significantly different (p0...

this study was conducted to determine chromatin integrity and dna damage by dna electrophoresis and comet assays of buffalo fresh and frozen semen. semen samples were collected from four buffalo bulls and evaluated after freezing for semen motility, viability, sperm abnormalities, chromatin integrity and dna damage. a significant variation was found in semen parameters after thawing. highly sig...

The Resource Space Model (RSM) is a semantic data model based on orthogonal classification semantics for effectively managing various resources in interconnection environment. In parallel with the integrity theories of relational and XML-based data models, this keynote presents the integrity theory for the RSM, including the entity integrity constraints based on the key system of the RSM, the m...