Complexes of Cobalt(II) with Schiff Bases Derived from Salicylaldehyde & Some Amino Acids

749-75

Relating two standard notions of secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC

Solvothermal nanoYAG synthesis: Mechanism and particle growth kinetics

This paper was accepted for publication in the journal Journal of Supercritical Fluids and the definitive published version is available at http://dx.doi.org/10.1016/j.supflu.2015.09.031NanoYAG particles with spherical morphology have been synthesised using a solvothermal method; a structure sensitive reaction, where the chemical reaction and the particle growth kinetics are interdependent. It has been observed that the primary YAG particles agglomerated into ∼30 nm clusters via a self-assembled Ostwald ripening process along (2 1 1) planes, separated by a distance of ∼0.49 nm, at 270 °C and 2.0 MPa for 2 h. These nanoclusters coalesced into single nanoparticles of ∼30 nm in size and exhibited a smaller inter planar distance of ∼0.26 nm, corresponding to the (4 2 0) planes, when synthesized at 300 °C and 8.5 MPa for 2 h. in addition, the solvent 1,4-butanediol transformed into 1,4-diacetoxybutane, this will have undergone esterification by reacting with the terminal acetate groups cleaved from the precursor, yttrium acetate. The proposed mechanism based on the analytical evidence suggests that a complete dissolution of precursors facilitated the structural re-arrangement of atoms within the planes and lead to a significantly higher degree of crystallinity. Moreover, once the particles with (4 2 0) planes had formed, they were no longer involved in facile coalescence along their preferential planes due to their lower interfacial energy compared to the (2 1 1) planes. This led to control of the particle morphology and with little agglomeration occurring in the final nanopowder

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Phase measurement of light absorption and scatter in human tissue

Analog and digital technologies are presented for precise measurement of propagation delay of photons from source and detector placed on portions of the human body. The goal of the apparatus design is to quantify absorption (μa) and scattering (μs′) induced by biological pigments and biological structures, respectively. Body tissues are highly scattering with a mean distance between scatterers of less than a mm (at 700-850 nm). Significant absorption is mainly due to 5%-10% of the tissue volume occupied by blood. Measurement of μa and μs′ is done by both time and frequency domain equipment. This article focuses upon frequency domain equipment because of its simplicity, reduced noise bandwidth, versatility, and the strong analogy to very high frequency/ultrahigh frequency communication devices, particularly those using phase modulation. Comparisons are made of homodyne and heterodyne systems together with evaluation of single and multiple side band systems, with particular emphasis on methods for multiplexed optical and radio frequencies by frequency encoding or time-sharing technologies. The applications of these phase modulation systems to quantitative brain and muscle blood oximetry, functional activity of the forebrain, and other important problems of medical science, are presented. © 1998 American Institute of Physics

Efficacy of indigenous Trichoderma isolates for the management of cumin wilt (Fusarium oxysporum f. sp. cumini) in Rajasthan

Sixteen Trichoderma isolates from soils under cumin, identified as Trichoderma harzianum, T. koningiopsis and T. asperllum showed variation in their colony morphology as well as degree of inhibition of Fusarium oxysporum f.sp. cumini. In the field experiment, all Trichoderma isolates were tested as seed treatment and soil application on cumin cultivar RZ 209. The result showed that T. asperllum (CuTa7-02, CuTa3-01), T. koningiopsis (CuTk7-01) and T. harzianum (CuTh9-02, CuTh3-03, CuTh8-01) significantly reduced wilt incidence (58-85%) and can be used as biological components in integrated management of cumin Fusarium wilt. &nbsp

Comparative efficacy of biological control agents for the management of cumin wilt caused by Fusarium oxysporum f.sp. cumini

Field experiments were conducted during rabi 2008-09 and 2009-10 for the management of cumin wilt caused by Fusarium oxysporum f.sp. cumini. The results showed that seed treatment with Trichoderma viride (10 g kg-1 of seed) and soil application (2.5 kg ha-1) recorded minimum percent disease incidence (PDI) of 18.5 (disease reduction of 51.8%) versus 38.4 in the control. It was on par with seed treatment and soil application with Aspergillus versicolor at 10 g kg-1 of seed and 2.5 kg ha-1, respectively which reduced the disease incidence by 45.4%. The chemical treatment i.e. seed treatment with carbendazim at 2.5 g kg-1 seed recorded PDI of 23.9 with 37.7% disease reduction. Among different treatments seed treatment and soil application with A. versicolor gave a seed yield of 246 kg ha-1 followed by P. fluorescens (222.6 kg ha-1). Treatment T. viride, recorded the highest yield of 258.2 kg ha-1. Hence, seed treatment at 10 g kg-1 and soil application at 2.5 kg ha-1 of T. viride was the most effective, eco-friendly disease management. &nbsp

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Selective APRIL Blockade Delays Systemic Lupus Erythematosus in Mouse

SLE pathogenesis is complex, but it is now widely accepted that autoantibodies play a key role in the process by forming excessive immune complexes; their deposits within tissues leading to inflammation and functional damages. A proliferation inducing ligand (APRIL) is a member of the tumor necrosis factor (TNF) superfamily mediating antibody-producing plasma cell (PC)-survival that may be involved in the duration of pathogenic autoantibodies in lupus. We found significant increases of APRIL at the mRNA and protein levels in bone marrow but not spleen cells from NZB/W lupus mice, as compared to control mice. Selective antibody-mediated APRIL blockade delays disease development in this model by preventing proteinuria, kidney lesions, and mortality. Notably, this was achieved by decreasing anti-DNA and anti-chromatin autoantibody levels, without any perturbation of B- and T- cell homeostasis. Thus, anti-APRIL treatment may constitute an alternative therapy in SLE highly specific to PCs compared to other B-cell targeting therapies tested in this disease, and likely to be associated with less adverse effects than any anti-inflammatory and immunosuppressant agents previously used

Accuracy of optical spectroscopy for the detection of cervical intraepithelial neoplasia without colposcopic tissue information; a step toward automation for low resource settings

Optical spectroscopy has been proposed as an accurate and low-cost alternative for detection of cervical intraepithelial neoplasia. We previously published an algorithm using optical spectroscopy as an adjunct to colposcopy and found good accuracy (sensitivity ¼ 1.00 [95% confidence interval ðCIÞ ¼ 0.92 to 1.00], specificity ¼ 0.71 [95% CI ¼ 0.62 to 0.79]). Those results used measurements taken by expert colposcopists as well as the colposcopy diagnosis. In this study, we trained and tested an algorithm for the detection of cervical intraepithelial neoplasia (i.e., identifying those patients who had histology reading CIN 2 or worse) that did not include the colposcopic diagnosis. Furthermore, we explored the interaction between spectroscopy and colposcopy, examining the importance of probe placement expertise. The colposcopic diagnosis-independent spectroscopy algorithm had a sensitivity of 0.98 (95% CI ¼ 0.89 to 1.00) and a specificity of 0.62 (95% CI ¼ 0.52 to 0.71). The difference in the partial area under the ROC curves between spectroscopy with and without the colposcopic diagnosis was statistically significant at the patient level (p ¼ 0.05) but not the site level (p ¼ 0.13). The results suggest that the device has high accuracy over a wide range of provider accuracy and hence could plausibly be implemented by providers with limited training