10,666 research outputs found

    Anonymity and Information Hiding in Multiagent Systems

    Full text link
    We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework, much in the spirit of our earlier work on secrecy [Halpern and O'Neill 2002]. We give several definitions of anonymity with respect to agents, actions, and observers in multiagent systems, and we relate our definitions of anonymity to other definitions of information hiding, such as secrecy. We also give probabilistic definitions of anonymity that are able to quantify an observer s uncertainty about the state of the system. Finally, we relate our definitions of anonymity to other formalizations of anonymity and information hiding, including definitions of anonymity in the process algebra CSP and definitions of information hiding using function views.Comment: Replacement. 36 pages. Full version of CSFW '03 paper, submitted to JCS. Made substantial changes to Section 6; added references throughou

    Minimal Permutations and 2-Regular Skew Tableaux

    Get PDF
    Bouvel and Pergola introduced the notion of minimal permutations in the study of the whole genome duplication-random loss model for genome rearrangements. Let Fd(n)\mathcal{F}_d(n) denote the set of minimal permutations of length nn with dd descents, and let fd(n)=∣Fd(n)∣f_d(n)= |\mathcal{F}_d(n)|. They derived that fn−2(n)=2n−(n−1)n−2f_{n-2}(n)=2^{n}-(n-1)n-2 and fn(2n)=Cnf_n(2n)=C_n, where CnC_n is the nn-th Catalan number. Mansour and Yan proved that fn+1(2n+1)=2n−2nCn+1f_{n+1}(2n+1)=2^{n-2}nC_{n+1}. In this paper, we consider the problem of counting minimal permutations in Fd(n)\mathcal{F}_d(n) with a prescribed set of ascents. We show that such structures are in one-to-one correspondence with a class of skew Young tableaux, which we call 22-regular skew tableaux. Using the determinantal formula for the number of skew Young tableaux of a given shape, we find an explicit formula for fn−3(n)f_{n-3}(n). Furthermore, by using the Knuth equivalence, we give a combinatorial interpretation of a formula for a refinement of the number fn+1(2n+1)f_{n+1}(2n+1).Comment: 19 page

    The Effects of Extending the Spectral Information Acquired by a Photon-counting Detector for Spectral CT

    Get PDF
    Photon-counting x-ray detectors with pulse-height analysis provide spectral information that may improve material decomposition and contrast-to-noise ratio (CNR) in CT images. The number of energy measurements that can be acquired simultaneously on a detector pixel is equal to the number of comparator channels. Some spectral CT designs have a limited number of comparator channels, due to the complexity of readout electronics. The spectral information could be extended by changing the comparator threshold levels over time, sub pixels, or view angle. However, acquiring more energy measurements than comparator channels increases the noise and/or dose, due to differences in noise correlations across energy measurements and decreased dose utilisation. This study experimentally quantified the effects of acquiring more energy measurements than comparator channels using a bench-top spectral CT system. An analytical and simulation study modeling an ideal detector investigated whether there was a net benefit for material decomposition or optimal energy weighting when acquiring more energy measurements than comparator channels. Experimental results demonstrated that in a two-threshold acquisition, acquiring the high-energy measurement independently from the low-energy measurement increased noise standard deviation in material-decomposition basis images by factors of 1.5–1.7 due to changes in covariance between energy measurements. CNR in energy-weighted images decreased by factors of 0.92–0.71. Noise standard deviation increased by an additional factor of due to reduced dose utilisation. The results demonstrated no benefit for two-material decomposition noise or energy-weighted CNR when acquiring more energy measurements than comparator channels. Understanding the noise penalty of acquiring more energy measurements than comparator channels is important for designing spectral detectors and for designing experiments and interpreting data from prototype systems with a limited number of comparator channels

    Pharmacokinetic study of thymol after intravenous injection and high-dose inhalation in mouse model.

    Get PDF
    Thymol is generally recognized as a safe substance by the FDA and has been widely used in the pharmaceutical, food, and cosmetic industries. Pharmacokinetic (PK) studies of thymol have been previously conducted for oral administration, but there has been no PK study for inhalation administration or intravenous (IV) injection. This study aims at exploring and comparing the inhalation and IV PK profile of thymol in a mouse model. The inhalation PK for mouse model was corrected with fur/skin absorption. Thirty-two male CD-1 mice were randomized into two study arms, Arm-A for intravenous (n = 16) and Arm-B for inhalation (n = 16). The amount of thymol in the mouse serum was measured for Arm-A and for Arm-B at the highest dose. Furthermore, 48 mice were utilized for fur/skin absorption of thymol. In total, 320 mouse serum samples for thymol were analyzed by LC/MS method. After inhalation, the peak concentration of thymol in mouse serum was 42.3 ng/mL (Cmax ) and occurred at 2 minutes (tmax ). The AUC of the inhaled thymol at 0-60 minutes (AUC0-60) was 464 ng/mL/min. From 10-60 minutes post-dose, the PK inhalation curve appeared to be higher than that for the IV injection. This is likely attributed to the effect of absorption of thymol through the fur/skin of mice. After an adjustment by fur/skin absorption, the PK profile for net inhalation closely matched the two-compartment model. In fact, the bioavailability for the net inhalation of thymol was 74% and 77% relative to that for IV injection per AUC0-60min and AUC0-infinite, respectively

    Cell Bio Tech Demo

    Get PDF
    No abstract availabl

    Sense of Community and Political Mobilization in Virtual Communities: The Role of Dispositional and Situational Variables

    Get PDF
    This paper explores the psychological processes that connect virtual communities to political behavior. Drawing on previous findings in political psychology, I argue that the psychological sense of community may be an important mechanism that dictates people’s behavioral responses toward incoming information or mobilization pressure in the online environment. I then discuss the role of different dispositional and situational variables in: a) contributing to the formation of sense of community in the virtual world, and b) serving as potential moderators to influence the strength of virtual sense of community and its subsequent impact on individuals’ political behavior. Finally, I consider the methodological approaches that may be used as well as the theoretical implications for future research in this area
    • …
    corecore