Events in Property Patterns

A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns enable non-experts to read and write formal specifications for realistic systems and facilitate easy conversion of specifications between formalisms, such as LTL, CTL, QRE. In this paper, we extend the pattern system with events - changes of values of variables in the context of LTL.Comment: 14 pages, 3 figure

Structural and magnetic properties of mechanically milled SmCo\u3csub\u3e5\u3c/sub\u3e:C

Mechanically milling SmCo5 powder significantly increases coercivity and remanence ratio by introducing defects; however, these defects can be removed by room-temperature aging, with a resultant decrease in coercivity. A series of (SmCo5) x:C1–x (0.15 ≤ x ≤1) samples has been fabricated to investigate the effect of C on oxidation protection and magnetic properties. SmCo5 was premilled for 1 h, then added to C powder and milled for times ranging from 15 min to 7 h. X-ray diffraction indicates the presence of crystalline graphite and SmCo5 for milling times ≤ 6 h and also shows the presence of fcc Co for milling times \u3e7 h. The magnetic properties are very weakly dependent on milling time after the C addition, which is attributed to the lack of further grain refinement. The saturation magnetization scales linearly with the wt % of SmCo5. Remanence ratios are approximately 0.7 and independent of volume fraction. The maximum coercivity of 16.5 kOe is comparable to the maximum obtained by milling SmCo5 without C. Samples exposed to air for times up to two months show no decrease in coercivity or remanence ratio for x ≤ 0.70. The addition of C has no detrimental effect on the magnetic properties obtained by milling, except the expected reduction of Ms. ©2001 American Institute of Physics

Magnetic properties of disordered Ni\u3csub\u3e3\u3c/sub\u3eC

The metastable Ni3C phase has been produced by mechanically alloying Ni and C. Ni3C particles of diameter 10 nm are produced after 90 h of mechanical alloying with no evidence of crystalline Ni in x ray or electron diffraction. Linear muffin-tin orbital band-structure calculations show that Ni3C is not expected to be ferromagnetic due to strong Ni-C hybridization in the ordered alloy; however, the introduction of even small amounts of disorder produces locally Ni-rich regions that can sustain magnetism. Mechanically alloyed Ni3C is ferromagnetic, with a room-temperature coercivity of 70 Oe and a magnetization of 0.8 emu/g at 5.5 T, although the hysteresis loop is not saturated. The theoretical prediction that interacting locally nickel-rich regions may be responsible for ferromagnetic behavior is supported by the observation of magnetically glassy behavior at low magnetic fields

Chemical Synthesis of Nanostructured Cobalt at Elevated Temperatures

Chemical synthesis is a versatile technique for fabricating novel nanostructured materials. In the Rieke process, a metal salt is reduced by an alkali in a hydrocarbon solvent to form small, highly reactive particles. Synthesis at an elevated temperature (200°C) increases the as-synthesized particle size and produces higher coercivities and remanence ratios than observed in similar syntheses at room temperature. The ratio of synthesis temperature to solvent boiling point appears to be an important parameter in both coercivity and oxidation resistance

Chemical Synthesis of Nanostructured Cobalt at Elevated Temperatures

Chemical synthesis is a versatile technique for fabricating novel nanostructured materials. In the Rieke process, a metal salt is reduced by an alkali in a hydrocarbon solvent to form small, highly reactive particles. Synthesis at an elevated temperature (200°C) increases the as-synthesized particle size and produces higher coercivities and remanence ratios than observed in similar syntheses at room temperature. The ratio of synthesis temperature to solvent boiling point appears to be an important parameter in both coercivity and oxidation resistance

Targeting lentiviral vectors to antigen-specific immunoglobulins

Gene transfer into B cells by lentivectors can provide an alternative approach to managing B lymphocyte malignancies and autoreactive B cell-mediated autoimmune diseases. These pathogenic B cell Populations can be distinguished by their surface expression of monospecific immunoglobulin. Development of a novel vector system to deliver genes to these specific B cells could improve the safety and efficacy of gene therapy. We have developed an efficient rnethod to target lentivectors to monospecific immunoglobulin-expressing cells in vitro and hi vivo. We were able to incorporate a model antigen CD20 and a fusogenic protein derived from the Sindbis virus as two distinct molecules into the lentiviral Surface. This engineered vector could specifically bind to cells expressing Surface immunoglobulin recognizing CD20 (αCD20), resulting in efficient transduction of target cells in a cognate antigen-dependent manner in vitro, and in vivo in a xenografted tumor model. Tumor suppression was observed in vivo, using the engineered lentivector to deliver a suicide gene to a xenografted tumor expressing αCD20. These results show the feasibility of engineering lentivectors to target immunoglobulin-specific cells to deliver a therapeutic effect. Such targeting lentivectors also Could potentially be used to genetically mark antigen-specific B cells in vivo to study their B cell biology

Preparation of sodium silicate solutions and silica nanoparticles from South African coal fly ash

Please read abstract in the article.UNISA, University of Pretoria, Council for Geoscience, and the National Research Foundation of South Africa (NRF; Grant No.93641).https://link.springer.com/journal/126492020-06-20hj2020Chemistr

e-Surveillance in animal health : use and evaluation of mobile tools

In the last decade, mobile technology offered new opportunities and challenges in animal health surveillance. It began with the use of basic mobile phones and short message service (SMS) for disease reporting, and the development of smartphones and other mobile tools has expanded the possibilities for data collection. These tools assist in the collection of data as well as geo-referenced mapping of diseases, and mapping, visualization and identification of vectors such as ticks. In this article we share our findings about new technologies in the domain of animal health surveillance, based on several projects using a wide range of mobile tools, each with their specific applicability and limitations. For each of the tools used, a comprehensive overview is given about its applicability, limitations, technical requirements, cost and also the perception of the users.The evaluation of the tools clearly shows the importance of selecting the appropriate tool depending on the envisaged data to be collected. Accessibility, visualization and cost related to data collection differ significantly among the tools tested. This paper can thus be seen as a practical guide to the currently available tools.The authors would like to thank the Belgian Science Policy Office (BELSPO) for their financial support of the Stereo II project entitled TickRisk (SR/00/144). Also the Belgian Development Cooperation (DGD) is thanked for their financial support of the FA3 programme. The syndromic livestock disease surveillance in Kenya was supported by the Wellcome Trust, UK (grant number 081828/B/06/Z) and the Compton Foundation, USA.http://journals.cambridge.org/action/displayJournal?jid=PARab201

Branching Fractions for D0 -> K+K- and D0 -> pi+pi-, and a Search for CP Violation in D0 Decays

Using the large hadroproduced charm sample collected in experiment E791 at Fermilab, we have measured ratios of branching fractions for the two-body singly-Cabibbo-suppressed charged decays of the D0: (D0 -> KK)/(D0 -> Kpi) = 0.109 +- 0.003 +- 0.003, (D0 -> pipi)/(D0 -> Kpi) = 0.040 +- 0.002 +- 0.003, and (D0 -> KK)/(D0 -> pipi) = 2.75 +- 0.15 +- 0.16. We have looked for differences in the decay rates of D0 and D0bar to the CP eigenstates K+K- and pi+pi-, and have measured the CP asymmetry parameters A_CP(K+K-) = -0.010 +- 0.049 +- 0.012 and A_CP(pi+pi-) = -0.049 +- 0.078 +- 0.030, both consistent with zero.Comment: 10 Postscript pages, including 2 figures. Submitted to Phys. Lett.

Asymmetries between the production of D+ and D- mesons from 500 GeV/c pi- nucleon interactions as a function of xF and pt**2

We present asymmetries between the production of D+ and D- mesons in Fermilab experiment E791 as a function of xF and pt**2. The data used here consist of 74,000 fully-reconstructed charmed mesons produced by a 500 GeV/c pi- beam on C and Pt foils. The measurements are compared to results of models which predict differences between the production of heavy-quark mesons that have a light quark in common with the beam (leading particles) and those that do not (non-leading particles). While the default models do not agree with our data, we can reach agreement with one of them, PYTHIA, by making a limited number of changes to parameters used