Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

It is difficult to develop and manage large, multi-author access control policies without a means to compose larger policies from smaller ones. Ideally, an access-control policy language will have a small set of simple policy combinators that allow for all desired policy compositions. In [5], a policy language was presented having policy combinators based on Belnap logic, a four-valued logic in which truth values correspond to policy results of grant , deny , conflict , and undefined . We show here how policies in this language can be analyzed, and study the expressiveness of the language. To support policy analysis, we define a query language in which policy analysis questions can be phrased. Queries can be translated into a fragment of first-order logic for which satisfiability and validity checks are computable by SAT solvers or BDDs. We show how policy analysis can then be carried out through model checking, validity checking, and assume-guarantee reasoning over such translated queries. We also present static analysis methods for the particular questions of whether policies contain gaps or conflicts. Finally, we establish expressiveness results showing that all data independent policies can be expressed in our policy language. © 2008 IEEE

Four generated, squarefree, monomial ideals

Let $I\supsetneq J$ be two squarefree monomial ideals of a polynomial algebra over a field generated in degree $\geq d$, resp. $\geq d+1$ . Suppose that $I$ is either generated by three monomials of degrees $d$ and a set of monomials of degrees $\geq d+1$, or by four special monomials of degrees $d$. If the Stanley depth of $I/J$ is $\leq d+1$ then the usual depth of $I/J$ is $\leq d+1$ too.Comment: to appear in "Bridging Algebra, Geometry, and Topology", Editors Denis Ibadula, Willem Veys, Springer Proceed. in Math. and Statistics, 96, 201

Gauge invariance in two-particle scattering

It is shown how gauge invariance is obtained for the coupling of a photon to a two-body state described by the solution of the Bethe-Salpeter equation. This is illustrated both for a complex scalar field theory and for interaction kernels derived from chiral effective Lagrangians.Comment: 16 pages, 2 figures, references added and commented o

Partnerships and a Library District

On September 14, 2003, the Brookville Library held an Open House and Dedication of its recently remodeled and expanded 1912 Carnegie library building. Approximately 350 community members filled the library for this event, because the community was so involved in the creation and recreation of this facility. This new facility represents a cooperative and determined effort to make the library a center for the community. A number of partnerships helped bring about both a new library for Brookville and a new library district for the region

Pion photoproduction off the proton in a gauge-invariant chiral unitary framework

We investigate pion photoproduction off the proton in a manifestly gauge-invariant chiral unitary extension of chiral perturbation theory. In a first step, we consider meson-baryon scattering taking into account all next-to-leading order contact interactions. The resulting low-energy constants are determined by a fit to s-wave pion-nucleon scattering and the low-energy data for the reaction pi- p --> eta n. To assess the theoretical uncertainty, we perform two different fit strategies. Having determined the low-energy constants, we then analyse the data on the s-wave multipole amplitudes E0+ of pion and eta photoproduction. These are parameter-free predictions, as the two new low-energy constants are determined by the neutron and proton magnetic moments.Comment: 23 pages, 17 figure

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic systems. One of such technique, Pandora, introduces temporal gates to capture the sequencing of events and allows qualitative analysis of temporal fault trees. Pandora can be easily integrated in model-based design and analysis techniques. It is, therefore, useful to explore the possible avenues for quantitative analysis of Pandora temporal fault trees, and we identify Bayesian Networks as a possible framework for such analysis. We describe how Pandora fault trees can be translated to Bayesian Networks for dynamic dependability analysis and demonstrate the process on a simplified fuel system model. The conversion facilitates predictive reliability analysis of Pandora fault trees, but also opens the way for post-hoc diagnostic analysis of failures

Investigation of the marine compound spongistatin 1 links the inhibition of PKCα translocation to nonmitotic effects of tubulin antagonism in angiogenesis

The aims of the study were to meet the demand of new tubulin antagonists with fewer side effects by characterizing the antiangiogenic properties of the experimental compound spongistatin 1, and to elucidate nonmitotic mechanisms by which tubulin antagonists inhibit angiogenesis. Although tubulin-inhibiting drugs and their antiangiogenic properties have been investigated for a long time, surprisingly little is known about their underlying mechanisms of action. Antiangiogenic effects of spongistatin 1 were investigated in endothelial cells in vitro, including functional cell-based assays, live-cell imaging, and a kinome array, and in the mouse cornea pocket assay in vivo. Spongistatin 1 inhibited angiogenesis at nanomolar concentrations (IC50: cytotoxicity>50 nM, proliferation 100 pM, migration 1.0 nM, tube formation 1.0 nM, chemotaxis 1.0 nM, aortic ring sprouting 500 pM, neovascularization in vivo 10 μg/kg). Further, a kinome array and validating data showed that spongistatin 1 inhibits the phosphorylation activity of protein kinase Cα (PKCα), an essential kinase in angiogenesis, and its translocation to the membrane. Thus, we conclude that PKCα might be an important target for the antiangiogenic effects of tubulin antagonism. In addition, the data from the kinase array suggest that different tubulin antagonists might have individual intracellular actions.—Rothmeier, A. S., Ischenko, I., Joore, J., Garczarczyk, D., Fu¨rst, R., Bruns, C. J., Vollmar, A. M., Zahler, S. Investigation of the marine compound spongistatin 1 links the inhibition of PKCα translocation to nonmitotic effects of tubulin antagonism in angiogenesis

Fungi isolated from Miscanthus and sugarcane: biomass conversion, fungal enzymes, and hydrolysis of plant cell wall polymers.

BackgroundBiofuel use is one of many means of addressing global change caused by anthropogenic release of fossil fuel carbon dioxide into Earth's atmosphere. To make a meaningful reduction in fossil fuel use, bioethanol must be produced from the entire plant rather than only its starch or sugars. Enzymes produced by fungi constitute a significant percentage of the cost of bioethanol production from non-starch (i.e., lignocellulosic) components of energy crops and agricultural residues. We, and others, have reasoned that fungi that naturally deconstruct plant walls may provide the best enzymes for bioconversion of energy crops.ResultsPreviously, we have reported on the isolation of 106 fungi from decaying leaves of Miscanthus and sugarcane (Appl Environ Microbiol 77:5490-504, 2011). Here, we thoroughly analyze 30 of these fungi including those most often found on decaying leaves and stems of these plants, as well as four fungi chosen because they are well-studied for their plant cell wall deconstructing enzymes, for wood decay, or for genetic regulation of plant cell wall deconstruction. We extend our analysis to assess not only their ability over an 8-week period to bioconvert Miscanthus cell walls but also their ability to secrete total protein, to secrete enzymes with the activities of xylanases, exocellulases, endocellulases, and beta-glucosidases, and to remove specific parts of Miscanthus cell walls, that is, glucan, xylan, arabinan, and lignin.ConclusionThis study of fungi that bioconvert energy crops is significant because 30 fungi were studied, because the fungi were isolated from decaying energy grasses, because enzyme activity and removal of plant cell wall components were recorded in addition to biomass conversion, and because the study period was 2 months. Each of these factors make our study the most thorough to date, and we discovered fungi that are significantly superior on all counts to the most widely used, industrial bioconversion fungus, Trichoderma reesei. Many of the best fungi that we found are in taxonomic groups that have not been exploited for industrial bioconversion and the cultures are available from the Centraalbureau voor Schimmelcultures in Utrecht, Netherlands, for all to use