4,275 research outputs found

    Predictable arguments of knowledge

    Get PDF
    We initiate a formal investigation on the power of predictability for argument of knowledge systems for NP. Specifically, we consider private-coin argument systems where the answer of the prover can be predicted, given the private randomness of the verifier; we call such protocols Predictable Arguments of Knowledge (PAoK). Our study encompasses a full characterization of PAoK, showing that such arguments can be made extremely laconic, with the prover sending a single bit, and assumed to have only one round (i.e., two messages) of communication without loss of generality. We additionally explore PAoK satisfying additional properties (including zero-knowledge and the possibility of re-using the same challenge across multiple executions with the prover), present several constructions of PAoK relying on different cryptographic tools, and discuss applications to cryptography

    Fiber-Flux Diffusion Density for White Matter Tracts Analysis: Application to Mild Anomalies Localization in Contact Sports Players

    Full text link
    We present the concept of fiber-flux density for locally quantifying white matter (WM) fiber bundles. By combining scalar diffusivity measures (e.g., fractional anisotropy) with fiber-flux measurements, we define new local descriptors called Fiber-Flux Diffusion Density (FFDD) vectors. Applying each descriptor throughout fiber bundles allows along-tract coupling of a specific diffusion measure with geometrical properties, such as fiber orientation and coherence. A key step in the proposed framework is the construction of an FFDD dissimilarity measure for sub-voxel alignment of fiber bundles, based on the fast marching method (FMM). The obtained aligned WM tract-profiles enable meaningful inter-subject comparisons and group-wise statistical analysis. We demonstrate our method using two different datasets of contact sports players. Along-tract pairwise comparison as well as group-wise analysis, with respect to non-player healthy controls, reveal significant and spatially-consistent FFDD anomalies. Comparing our method with along-tract FA analysis shows improved sensitivity to subtle structural anomalies in football players over standard FA measurements

    Spin-lattice instability to a fractional magnetization state in the spinel HgCr2O4

    Full text link
    Magnetic systems are fertile ground for the emergence of exotic states when the magnetic interactions cannot be satisfied simultaneously due to the topology of the lattice - a situation known as geometrical frustration. Spinels, AB2O4, can realize the most highly frustrated network of corner-sharing tetrahedra. Several novel states have been discovered in spinels, such as composite spin clusters and novel charge-ordered states. Here we use neutron and synchrotron X-ray scattering to characterize the fractional magnetization state of HgCr2O4 under an external magnetic field, H. When the field is applied in its Neel ground state, a phase transition occurs at H ~ 10 Tesla at which each tetrahedron changes from a canted Neel state to a fractional spin state with the total spin, Stet, of S/2 and the lattice undergoes orthorhombic to cubic symmetry change. Our results provide the microscopic one-to-one correspondence between the spin state and the lattice distortion

    Genetic variation for tuber mineral concentrations in accessions of the Commonwealth Potato Collection

    Get PDF
    The variation in tuber mineral concentrations amongst accessions of wild tuber-bearing Solanum species in the Commonwealth Potato Collection (CPC) was evaluated under greenhouse conditions. Selected CPC accessions, representing the eco-geographical distribution of wild potatoes, were grown to maturity in peat-based compost under controlled conditions. Tubers from five plants of each accession were harvested, bulked and their mineral composition analysed. Among the germplasm investigated, there was a greater range in tuber concentrations of some elements of nutritional significance to both plants and animals, such as (Ca, Fe and Zn; 6.7, 3.6, and 4.5-fold respectively) than others, such as (K, P and S; all <3-fold). Significant positive correlations were found between mean altitude of the species' range and tuber P, K, Cu and Mg concentrations. The amount of diversity observed in the CPC collection indicates the existence of wide differences in tuber mineral accumulation among different potato accessions. This might be useful in breeding for nutritional improvement of potato tubers

    Describing Robotic Bat Flight with Stable Periodic Orbits

    Get PDF
    From a dynamic system point of view, bat locomotion stands out among other forms of flight. During a large part of bat wingbeat cycle the moving body is not in a static equilibrium. This is in sharp contrast to what we observe in other simpler forms of flight such as insects, which stay at their static equilibrium. Encouraged by biological examinations that have revealed bats exhibit periodic and stable limit cycles, this work demonstrates that one effective approach to stabilize articulated flying robots with bat morphology is locating feasible limit cycles for these robots; then, designing controllers that retain the closed-loop system trajectories within a bounded neighborhood of the designed periodic orbits. This control design paradigm has been evaluated in practice on a recently developed bio-inspired robot called Bat Bot (B2)

    Biodiversity Loss and the Taxonomic Bottleneck: Emerging Biodiversity Science

    Get PDF
    Human domination of the Earth has resulted in dramatic changes to global and local patterns of biodiversity. Biodiversity is critical to human sustainability because it drives the ecosystem services that provide the core of our life-support system. As we, the human species, are the primary factor leading to the decline in biodiversity, we need detailed information about the biodiversity and species composition of specific locations in order to understand how different species contribute to ecosystem services and how humans can sustainably conserve and manage biodiversity. Taxonomy and ecology, two fundamental sciences that generate the knowledge about biodiversity, are associated with a number of limitations that prevent them from providing the information needed to fully understand the relevance of biodiversity in its entirety for human sustainability: (1) biodiversity conservation strategies that tend to be overly focused on research and policy on a global scale with little impact on local biodiversity; (2) the small knowledge base of extant global biodiversity; (3) a lack of much-needed site-specific data on the species composition of communities in human-dominated landscapes, which hinders ecosystem management and biodiversity conservation; (4) biodiversity studies with a lack of taxonomic precision; (5) a lack of taxonomic expertise and trained taxonomists; (6) a taxonomic bottleneck in biodiversity inventory and assessment; and (7) neglect of taxonomic resources and a lack of taxonomic service infrastructure for biodiversity science. These limitations are directly related to contemporary trends in research, conservation strategies, environmental stewardship, environmental education, sustainable development, and local site-specific conservation. Today’s biological knowledge is built on the known global biodiversity, which represents barely 20% of what is currently extant (commonly accepted estimate of 10 million species) on planet Earth. Much remains unexplored and unknown, particularly in hotspots regions of Africa, South Eastern Asia, and South and Central America, including many developing or underdeveloped countries, where localized biodiversity is scarcely studied or described. ‘‘Backyard biodiversity’’, defined as local biodiversity near human habitation, refers to the natural resources and capital for ecosystem services at the grassroots level, which urgently needs to be explored, documented, and conserved as it is the backbone of sustainable economic development in these countries. Beginning with early identification and documentation of local flora and fauna, taxonomy has documented global biodiversity and natural history based on the collection of ‘‘backyard biodiversity’’ specimens worldwide. However, this branch of science suffered a continuous decline in the latter half of the twentieth century, and has now reached a point of potential demise. At present there are very few professional taxonomists and trained local parataxonomists worldwide, while the need for, and demands on, taxonomic services by conservation and resource management communities are rapidly increasing. Systematic collections, the material basis of biodiversity information, have been neglected and abandoned, particularly at institutions of higher learning. Considering the rapid increase in the human population and urbanization, human sustainability requires new conceptual and practical approaches to refocusing and energizing the study of the biodiversity that is the core of natural resources for sustainable development and biotic capital for sustaining our life-support system. In this paper we aim to document and extrapolate the essence of biodiversity, discuss the state and nature of taxonomic demise, the trends of recent biodiversity studies, and suggest reasonable approaches to a biodiversity science to facilitate the expansion of global biodiversity knowledge and to create useful data on backyard biodiversity worldwide towards human sustainability

    The Endogenous Th17 Response in NO<inf>2</inf>-Promoted Allergic Airway Disease Is Dispensable for Airway Hyperresponsiveness and Distinct from Th17 Adoptive Transfer

    Get PDF
    Severe, glucocorticoid-resistant asthma comprises 5-7% of patients with asthma. IL-17 is a biomarker of severe asthma, and the adoptive transfer of Th17 cells in mice is sufficient to induce glucocorticoid-resistant allergic airway disease. Nitrogen dioxide (NO2) is an environmental toxin that correlates with asthma severity, exacerbation, and risk of adverse outcomes. Mice that are allergically sensitized to the antigen ovalbumin by exposure to NO2 exhibit a mixed Th2/Th17 adaptive immune response and eosinophil and neutrophil recruitment to the airway following antigen challenge, a phenotype reminiscent of severe clinical asthma. Because IL-1 receptor (IL-1R) signaling is critical in the generation of the Th17 response in vivo, we hypothesized that the IL-1R/Th17 axis contributes to pulmonary inflammation and airway hyperresponsiveness (AHR) in NO2-promoted allergic airway disease and manifests in glucocorticoid-resistant cytokine production. IL-17A neutralization at the time of antigen challenge or genetic deficiency in IL-1R resulted in decreased neutrophil recruitment to the airway following antigen challenge but did not protect against the development of AHR. Instead, IL-1R-/- mice developed exacerbated AHR compared to WT mice. Lung cells from NO2-allergically inflamed mice that were treated in vitro with dexamethasone (Dex) during antigen restimulation exhibited reduced Th17 cytokine production, whereas Th17 cytokine production by lung cells from recipient mice of in vitro Th17-polarized OTII T-cells was resistant to Dex. These results demonstrate that the IL-1R/Th17 axis does not contribute to AHR development in NO2-promoted allergic airway disease, that Th17 adoptive transfer does not necessarily reflect an endogenously-generated Th17 response, and that functions of Th17 responses are contingent on the experimental conditions in which they are generated. © 2013 Martin et al

    From DNA sequence to application: possibilities and complications

    Get PDF
    The development of sophisticated genetic tools during the past 15 years have facilitated a tremendous increase of fundamental and application-oriented knowledge of lactic acid bacteria (LAB) and their bacteriophages. This knowledge relates both to the assignments of open reading frames (ORF’s) and the function of non-coding DNA sequences. Comparison of the complete nucleotide sequences of several LAB bacteriophages has revealed that their chromosomes have a fixed, modular structure, each module having a set of genes involved in a specific phase of the bacteriophage life cycle. LAB bacteriophage genes and DNA sequences have been used for the construction of temperature-inducible gene expression systems, gene-integration systems, and bacteriophage defence systems. The function of several LAB open reading frames and transcriptional units have been identified and characterized in detail. Many of these could find practical applications, such as induced lysis of LAB to enhance cheese ripening and re-routing of carbon fluxes for the production of a specific amino acid enantiomer. More knowledge has also become available concerning the function and structure of non-coding DNA positioned at or in the vicinity of promoters. In several cases the mRNA produced from this DNA contains a transcriptional terminator-antiterminator pair, in which the antiterminator can be stabilized either by uncharged tRNA or by interaction with a regulatory protein, thus preventing formation of the terminator so that mRNA elongation can proceed. Evidence has accumulated showing that also in LAB carbon catabolite repression in LAB is mediated by specific DNA elements in the vicinity of promoters governing the transcription of catabolic operons. Although some biological barriers have yet to be solved, the vast body of scientific information presently available allows the construction of tailor-made genetically modified LAB. Today, it appears that societal constraints rather than biological hurdles impede the use of genetically modified LAB.

    Targeting BTK for the treatment of FLT3-ITD mutated acute myeloid leukemia

    Get PDF
    Approximately 20% of patients with acute myeloid leukaemia (AML) have a mutation in FMS-like-tyrosine-kinase-3 (FLT3). FLT3 is a trans-membrane receptor with a tyrosine kinase domain which, when activated, initiates a cascade of phosphorylated proteins including the SRC family of kinases. Recently our group and others have shown that pharmacologic inhibition and genetic knockdown of Bruton's tyrosine kinase (BTK) blocks AML blast proliferation, leukaemic cell adhesion to bone marrow stromal cells as well as migration of AML blasts. The anti-proliferative effects of BTK inhibition in human AML are mediated via inhibition of downstream NF-κB pro-survival signalling however the upstream drivers of BTK activation in human AML have yet to be fully characterised. Here we place the FLT3-ITD upstream of BTK in AML and show that the BTK inhibitor ibrutinib inhibits the survival and proliferation of FLT3-ITD primary AML blasts and AML cell lines. Furthermore ibrutinib inhibits the activation of downstream kinases including MAPK, AKT and STAT5. In addition we show that BTK RNAi inhibits proliferation of FLT3-ITD AML cells. Finally we report that ibrutinib reverses the cyto-protective role of BMSC on FLT3-ITD AML survival. These results argue for the evaluation of ibrutinib in patients with FLT3-ITD mutated AML
    corecore