The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

Two highly divergent alcohol dehydrogenases of melon exhibit fruit ripening-specific expression and distinct biochemical characteristics

Alcohol dehydrogenases (ADH) participate in the biosynthetic pathway of aroma volatiles in fruit by interconverting aldehydes to alcohols and providing substrates for the formation of esters. Two highly divergent ADH genes (15% identity at the amino acid level) of Cantaloupe Charentais melon (Cucumis melo var. Cantalupensis) have been isolated. Cm-ADH1 belongs to the medium-chain zinc-binding type of ADHs and is highly similar to all ADH genes expressed in fruit isolated so far. Cm-ADH2 belongs to the short-chain type of ADHs. The two encoded proteins are enzymatically active upon expression in yeast. Cm-ADH1 has strong preference for NAPDH as a co-factor, whereas Cm-ADH2 preferentially uses NADH. Both Cm-ADH proteins are much more active as reductases with Kms 10–20 times lower for the conversion of aldehydes to alcohols than for the dehydrogenation of alcohols to aldehydes. They both show strong preference for aliphatic aldehydes but Cm-ADH1 is capable of reducing branched aldehydes such as 3-methylbutyraldehyde, whereas Cm-ADH2 cannot. Both Cm-ADH genes are expressed specifically in fruit and up-regulated during ripening. Gene expression as well as total ADH activity are strongly inhibited in antisense ACC oxidase melons and in melon fruit treated with the ethylene antagonist 1-methylcyclopropene (1-MCP), indicating a positive regulation by ethylene. These data suggest that each of the Cm-ADH protein plays a specific role in the regulation of aroma biosynthesis in melon fruit

Identification of simple sequence repeat markers for sweetpotato weevil resistance

The development of sweetpotato [Ipomoea batatas (L.) Lam] germplasm with resistance to sweetpotato weevil (SPW) requires an understanding of the biochemical and genetic mechanisms of resistance to optimize crop resistance. The African sweetpotato landrace, ‘New Kawogo’, was reported to be moderately resistant to two species of SPW, Cylas puncticollis and Cylas brunneus. Resistance has been associated with the presence of hydroxycinnamic acids esters (HCAs), but the underlying genetic basis remains unknown. To determine the genetic basis of this resistance, a bi-parental sweetpotato population from a cross between the moderately resistant, white-fleshed ‘New Kawogo’ and the highly susceptible, orange-fleshed North American variety ‘Beauregard’ was evaluated for SPW resistance and genotyped with simple sequence repeat (SSR) markers to identify weevil resistance loci. SPW resistance was measured on the basis of field storage root SPW damage severity and total HCA ester concentrations. Moderate broad sense heritability (H2 = 0.49) was observed for weevil resistance in the population. Mean genotype SPW severity scores ranged from 1.0 to 9.0 and 25 progeny exhibited transgressive segregation for SPW resistance. Mean genotype total HCA ester concentrations were significantly different (P < 0.0001). A weak but significant correlation (r = 0.103, P = 0.015) was observed between total HCA ester concentration and SPW severity. A total of five and seven SSR markers were associated with field SPW severity and total HCA ester concentration, respectively. Markers IBS11, IbE5 and IbJ544b showed significant association with both field and HCA-based resistance, representing potential markers for the development of SPW resistant sweetpotato cultivars

Non-L\'evy mobility patterns of Mexican Me'Phaa peasants searching for fuelwood

We measured mobility patterns that describe walking trajectories of individual Me'Phaa peasants searching and collecting fuelwood in the forests of "La Monta\~na de Guerrero" in Mexico. These one-day excursions typically follow a mixed pattern of nearly-constant steps when individuals displace from their homes towards potential collecting sites and a mixed pattern of steps of different lengths when actually searching for fallen wood in the forest. Displacements in the searching phase seem not to be compatible with L\'evy flights described by power-laws with optimal scaling exponents. These findings however can be interpreted in the light of deterministic searching on heavily degraded landscapes where the interaction of the individuals with their scarce environment produces alternative searching strategies than the expected L\'evy flights. These results have important implications for future management and restoration of degraded forests and the improvement of the ecological services they may provide to their inhabitants.Comment: 15 pages, 4 figures. First version submitted to Human Ecology. The final publication will be available at http://www.springerlink.co

North African Influences and Potential Bias in Case-Control Association Studies in the Spanish Population

BACKGROUND: Despite the limited genetic heterogeneity of Spanish populations, substantial evidences support that historical African influences have not affected them uniformly. Accounting for such population differences might be essential to reduce spurious results in association studies of genetic factors with disease. Using ancestry informative markers (AIMs), we aimed to measure the African influences in Spanish populations and to explore whether these might introduce statistical bias in population-based association studies. METHODOLOGY/PRINCIPAL FINDINGS: We genotyped 93 AIMs in Spanish (from the Canary Islands and the Iberian Peninsula) and Northwest Africans, and conducted population and individual-based clustering analyses along with reference data from the HapMap, HGDP-CEPH, and other sources. We found significant differences for the Northwest African influence among Spanish populations from as low as ≈ 5% in Spanish from the Iberian Peninsula to as much as ≈ 17% in Canary Islanders, whereas the sub-Saharan African influence was negligible. Strikingly, the Northwest African ancestry showed a wide inter-individual variation in Canary Islanders ranging from 0% to 96%, reflecting the violent way the Islands were conquered and colonized by the Spanish in the XV century. As a consequence, a comparison of allele frequencies between Spanish samples from the Iberian Peninsula and the Canary Islands evidenced an excess of markers with significant differences. However, the inflation of p-values for the differences was adequately controlled by correcting for genetic ancestry estimates derived from a reduced number of AIMs. CONCLUSIONS/SIGNIFICANCE: Although the African influences estimated might be biased due to marker ascertainment, these results confirm that Northwest African genetic footprints are recognizable nowadays in the Spanish populations, particularly in Canary Islanders, and that the uneven African influences existing in these populations might increase the risk for false positives in association studies. Adjusting for population stratification assessed with a few dozen AIMs would be sufficient to control this effect

Current and prospective pharmacotherapies for the treatment of pleural mesothelioma

Introduction: Mesothelioma is a rare asbestos-linked cancer with an expected incidence peak between 2015–2030. Therapies remain ineffective, thus developing and testing novel treatments is important for both oncologists and researchers. Areas covered: After describing mesothelioma and the shortcomings of current therapies, the article discusses numerous therapies in turn such as immunotherapy (passive and active), gene therapy (such as suicide gene therapy) and targeted therapy such as tyrosine kinase inhibitors. The bases for different therapies and clinical trials at different phases are also described. The article concludes by detailing possible reasons for therapy failure. Expert opinion: Despite the many attempts to uncover new therapeutic options, mesothelioma is still an orphan disease, complicated by factors such as the inflammatory microenvironment and low mutational load. Our opinion is that uncovering the biological mechanisms behind mesothelioma development will assist therapy development. The lack of efficacy of tyrosine kinase inhibitors and modest anti-angiogenic activity indicates a less relevant role for tumor cell proliferation and neoangiogenesis, thus the shortcut of treating mesothelioma with therapies from other cancers may be unsound. Conversely, many lines of evidence indicate that focussing on the survival mechanisms that tumor cells exploit may yield better therapeutics, particularly nutrition and cellular machinery

A novel PKC activating molecule promotes neuroblast differentiation and delivery of newborn neurons in brain injuries

Neural stem cells are activated within neurogenic niches in response to brain injuries. This results in the production of neuroblasts, which unsuccessfully attempt to migrate toward the damaged tissue. Injuries constitute a gliogenic/non-neurogenic niche generated by the presence of anti-neurogenic signals, which impair neuronal differentiation and migration. Kinases of the protein kinase C (PKC) family mediate the release of growth factors that participate in different steps of the neurogenic process, particularly, novel PKC isozymes facilitate the release of the neurogenic growth factor neuregulin. We have demonstrated herein that a plant derived diterpene, (EOF2; CAS number 2230806-06-9), with the capacity to activate PKC facilitates the release of neuregulin 1, and promotes neuroblasts differentiation and survival in cultures of subventricular zone (SVZ) isolated cells in a novel PKC dependent manner. Local infusion of this compound in mechanical cortical injuries induces neuroblast enrichment within the perilesional area, and noninvasive intranasal administration of EOF2 promotes migration of neuroblasts from the SVZ towards the injury, allowing their survival and differentiation into mature neurons, being some of them cholinergic and GABAergic. Our results elucidate the mechanism of EOF2 promoting neurogenesis in injuries and highlight the role of novel PKC isozymes as targets in brain injury regeneration

Common Variants of TLR1 Associate with Organ Dysfunction and Sustained Pro-Inflammatory Responses during Sepsis

Background: Toll-like receptors (TLRs) are critical components for host pathogen recognition and variants in genes participating in this response influence susceptibility to infections. Recently, TLR1 gene polymorphisms have been found correlated with whole blood hyper-inflammatory responses to pathogen-associated molecules and associated with sepsis-associated multiorgan dysfunction and acute lung injury (ALI). We examined the association of common variants of TLR1 gene with sepsis-derived complications in an independent study and with serum levels for four inflammatory biomarker among septic patients. Methodology/Principal Findings: Seven tagging single nucleotide polymorphisms of the TLR1 gene were genotyped in samples from a prospective multicenter case-only study of patients with severe sepsis admitted into a network of intensive care units followed for disease severity. Interleukin (IL)-1 b, IL-6, IL-10, and C-reactive protein (CRP) serum levels were measured at study entry, at 48 h and at 7th day. Alleles -7202G and 248Ser, and the 248Ser-602Ile haplotype were associated with circulatory dysfunction among severe septic patients (0.001<=p <= 0.022), and with reduced IL-10 (0.012<= p <=0.047) and elevated CRP (0.011<= p <=0.036) serum levels during the first week of sepsis development. Additionally, the -7202GG genotype was found to be associated with hospital mortality (p =0.017) and ALI (p =0.050) in a combined analysis with European Americans, suggesting common risk effects among studies Conclusions/Significance: These results partially replicate and extend previous findings, supporting that variants of TLR1 gene are determinants of severe complications during sepsis

Solving the mu problem with a heavy Higgs boson

We discuss the generation of the mu-term in a class of supersymmetric models characterized by a low energy effective superpotential containing a term lambda S H_1 H_2 with a large coupling lambda~2. These models generically predict a lightest Higgs boson well above the LEP limit of 114 GeV and have been shown to be compatible with the unification of gauge couplings. Here we discuss a specific example where the superpotential has no dimensionful parameters and we point out the relation between the generated mu-term and the mass of the lightest Higgs boson. We discuss the fine-tuning of the model and we find that the generation of a phenomenologically viable mu-term fits very well with a heavy lightest Higgs boson and a low degree of fine-tuning. We discuss experimental constraints from collider direct searches, precision data, thermal relic dark matter abundance, and WIMP searches finding that the most natural region of the parameter space is still allowed by current experiments. We analyse bounds on the masses of the superpartners coming from Naturalness arguments and discuss the main signatures of the model for the LHC and future WIMP searches.Comment: Extended discussion of the LHC phenomenology, as published on JHEP plus an addendum on the existence of further extremal points of the potential. 47 pages, 16 figure