Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Mice generated by in vitro fertilization exhibit vascular dysfunction and shortened life span

Children conceived by assisted reproductive technologies (ART) display a level of vascular dysfunction similar to that seen in children of mothers with preeclamspia. The long-term consequences of ART-associated vascular disorders are unknown and difficult to investigate in healthy children. Here, we found that vasculature from mice generated by ART display endothelial dysfunction and increased stiffness, which translated into arterial hypertension in vivo. Progeny of male ART mice also exhibited vascular dysfunction, suggesting underlying epigenetic modifications. ART mice had altered methylation at the promoter of the gene encoding eNOS in the aorta, which correlated with decreased vascular eNOS expression and NO synthesis. Administration of a deacetylase inhibitor to ART mice normalized vascular gene methylation and function and resulted in progeny without vascular dysfunction. The induction of ART-associated vascular and epigenetic alterations appeared to be related to the embryo environment; these alterations were possibly facilitated by the hormonally stimulated ovulation accompanying ART. Finally, ART mice challenged with a high-fat diet had roughly a 25% shorter life span compared with control animals. This study highlights the potential of ART to induce vascular dysfunction and shorten life span and suggests that epigenetic alterations contribute to these problems.

Chronic spontaneous activity generated in the somata of primary nociceptors is associated with pain-related behavior after spinal cord injury.

Mechanisms underlying chronic pain that develops after spinal cord injury (SCI) are incompletely understood. Most research on SCI pain mechanisms has focused on neuronal alterations within pain pathways at spinal and supraspinal levels associated with inflammation and glial activation. These events might also impact central processes of primary sensory neurons, triggering in nociceptors a hyperexcitable state and spontaneous activity (SA) that drive behavioral hypersensitivity and pain. SCI can sensitize peripheral fibers of nociceptors and promote peripheral SA, but whether these effects are driven by extrinsic alterations in surrounding tissue or are intrinsic to the nociceptor, and whether similar SA occurs in nociceptors in vivo are unknown. We show that small DRG neurons from rats (Rattus norvegicus) receiving thoracic spinal injury 3 d to 8 months earlier and recorded 1 d after dissociation exhibit an elevated incidence of SA coupled with soma hyperexcitability compared with untreated and sham-treated groups. SA incidence was greatest in lumbar DRG neurons (57%) and least in cervical neurons (28%), and failed to decline over 8 months. Many sampled SA neurons were capsaicin sensitive and/or bound the nociceptive marker, isolectin B4. This intrinsic SA state was correlated with increased behavioral responsiveness to mechanical and thermal stimulation of sites below and above the injury level. Recordings from C- and Aδ-fibers revealed SCI-induced SA generated in or near the somata of the neurons in vivo. SCI promotes the entry of primary nociceptors into a chronic hyperexcitable-SA state that may provide a useful therapeutic target in some forms of persistent pain.

CD73-generated adenosine restricts lymphocyte migration into draining lymph nodes.

After an inflammatory stimulus, lymphocyte migration into draining lymph nodes increases dramatically to facilitate the encounter of naive T cells with Ag-loaded dendritic cells. In this study, we show that CD73 (ecto-5'-nucleotidase) plays an important role in regulating this process. CD73 produces adenosine from AMP and is expressed on high endothelial venules (HEV) and subsets of lymphocytes. Cd73(-/-) mice have normal sized lymphoid organs in the steady state, but approximately 1.5-fold larger draining lymph nodes and 2.5-fold increased rates of L-selectin-dependent lymphocyte migration from the blood through HEV compared with wild-type mice 24 h after LPS administration. Migration rates of cd73(+/+) and cd73(-/-) lymphocytes into lymph nodes of wild-type mice are equal, suggesting that it is CD73 on HEV that regulates lymphocyte migration into draining lymph nodes. The A(2B) receptor is a likely target of CD73-generated adenosine, because it is the only adenosine receptor expressed on the HEV-like cell line KOP2.16 and it is up-regulated by TNF-alpha. Furthermore, increased lymphocyte migration into draining lymph nodes of cd73(-/-) mice is largely normalized by pretreatment with the selective A(2B) receptor agonist BAY 60-6583. Adenosine receptor signaling to restrict lymphocyte migration across HEV may be an important mechanism to control the magnitude of an inflammatory response.

Simultaneous analysis of nuclear and mitochondrial DNA, mRNA and miRNA from backspatter from inside parts of firearms generated by shots at "triple contrast" doped ballistic models

When a firearm projectile hits a biological target a spray of biological material (e.g., blood and tissue fragments) can be propelled from the entrance wound back towards the firearm. This phenomenon has become known as "backspatter" and if caused by contact shots or shots from short distances traces of backspatter may reach, consolidate on, and be recovered from, the inside surfaces of the firearm. Thus, a comprehensive investigation of firearm-related crimes must not only comprise of wound ballistic assessment but also backspatter analysis, and may even take into account potential correlations between these emergences. The aim of the present study was to evaluate and expand the applicability of the "triple contrast" method by probing its compatibility with forensic analysis of nuclear and mitochondrial DNA and the simultaneous investigation of co-extracted mRNA and miRNA from backspatter collected from internal components of different types of firearms after experimental shootings. We demonstrate that "triple contrast" stained biological samples collected from the inside surfaces of firearms are amenable to forensic co-analysis of DNA and RNA and permit sequence analysis of the entire mtDNA displacement-loop, even for "low template" DNA amounts that preclude standard short tandem repeat DNA analysis. Our findings underscore the "triple contrast" method's usefulness as a research tool in experimental forensic ballistics.

Synthesis and Structural Characterizations of New Coordination Polymers Generated by the Interaction Between the Trinuclear Triangular SBU [Cu 3 (μ 3 -OH)(μ-pz) 3 ] 2+ and 4,4′-Bipyridine. 3°

The reactions of 4,4′-bipyridine with selected trinuclear triangular copper(II) complexes, [Cu3(μ3-OH)(μ-pz)3(RCOO)2Lx], [pz = pyrazolate anion, R = CH3(CH2)n (2 ≤ n ≤ 5); L = H2O, MeOH, EtOH] yielded a series of 1D coordination polymers (CPs) based on the repetition of [Cu3(μ3-OH)(μ-pz)3] secondary building units joined by bipyridine. The CPs were characterized by conventional analytical methods (elemental analyses, ESI-MS, IR spectra) and single crystal XRD determinations. An unprecedented 1D CP, generated through the bipyridine bridging hexanuclear copper clusters moieties, two 1D CPs presenting structural analogies, and two monodimensional tapes having almost exactly superimposable structures, were obtained. In one case, the crystal packing makes evident the presence of small, not-connected pores, accounting for ca. 6% of free cell volume.

Prevention of vascular dysfunction and arterial hypertension in mice generated by assisted reproductive technologies by addition of melatonin to culture media.

Assisted reproductive technologies (ART) induce vascular dysfunction in humans and mice. In mice, ART-induced vascular dysfunction is related to epigenetic alteration of the endothelial nitric oxide synthase (eNOS) gene, resulting in decreased vascular eNOS expression and nitrite/nitrate synthesis. Melatonin is involved in epigenetic regulation, and its administration to sterile women improves the success rate of ART. We hypothesized that addition of melatonin to culture media may prevent ART-induced epigenetic and cardiovascular alterations in mice. We, therefore, assessed mesenteric-artery responses to acetylcholine and arterial blood pressure, together with DNA methylation of the eNOS gene promoter in vascular tissue and nitric oxide plasma concentration in 12-wk-old ART mice generated with and without addition of melatonin to culture media and in control mice. As expected, acetylcholine-induced mesenteric-artery dilation was impaired (P = 0.008 vs. control) and mean arterial blood pressure increased (109.5 ± 3.8 vs. 104.0 ± 4.7 mmHg, P = 0.002, ART vs. control) in ART compared with control mice. These alterations were associated with altered DNA methylation of the eNOS gene promoter (P < 0.001 vs. control) and decreased plasma nitric oxide concentration (10.1 ± 11.1 vs. 29.5 ± 8.0 μM) (P < 0.001 ART vs. control). Addition of melatonin (10(-6) M) to culture media prevented eNOS dysmethylation (P = 0.005, vs. ART + vehicle), normalized nitric oxide plasma concentration (23.1 ± 14.6 μM, P = 0.002 vs. ART + vehicle) and mesentery-artery responsiveness to acetylcholine (P < 0.008 vs. ART + vehicle), and prevented arterial hypertension (104.6 ± 3.4 mmHg, P < 0.003 vs. ART + vehicle). These findings provide proof of principle that modification of culture media prevents ART-induced vascular dysfunction. We speculate that this approach will also allow preventing ART-induced premature atherosclerosis in humans.

Endothelial- and Platelet-Derived Microparticles Are Generated During Liver Resection in Humans.

BACKGROUND Cell-derived plasma microparticles (<1.5 μm) originating from various cell types have the potential to regulate thrombogenesis and inflammatory responses. The aim of this study was to test the hypothesis that microparticles generated during hepatic surgery co-regulate postoperative procoagulant and proinflammatory events. METHODS In 30 patients undergoing liver resection, plasma microparticles were isolated, quantitated, and characterized as endothelial (CD31+, CD41-), platelet (CD41+), or leukocyte (CD11b+) origin by flow cytometry and their procoagulant and proinflammatory activity was measured by immunoassays. RESULTS During liver resection, the total numbers of microparticles increased with significantly more Annexin V-positive, endothelial and platelet-derived microparticles following extended hepatectomy compared to standard and minor liver resections. After liver resection, microparticle tissue factor and procoagulant activity increased along with overall coagulation as assessed by thrombelastography. Levels of leukocyte-derived microparticles specifically increased in patients with systemic inflammation as assessed by C-reactive protein but are independent of the extent of liver resection. CONCLUSIONS Endothelial and platelet-derived microparticles are specifically elevated during liver resection, accompanied by increased procoagulant activity. Leukocyte-derived microparticles are a potential marker for systemic inflammation. Plasma microparticles may represent a specific response to surgical stress and may be an important mediator of postoperative coagulation and inflammation.

Immunologic characteristics of immunogenic variants generated by {\it in vitro\/} treatment of a methylcholanthrene-induced murine fibrosarcoma MCA-F with 1 methyl-3-nitro-1-nitrosoguanidine, 5 -aza-2$\sp\prime$-deoxycytidine, or ultraviolet radiation

This study addresses the questions of whether the frequency of generation and in vivo cross-reactivity of highly immunogenic tumor clones induced in a single parental murine fibrosarcoma cell line MCA-F is more closely related to the agent used to induce the Imm$\sp{+}$ clone or whether these characteristics are independent of the agents used. These questions were addressed by treating the parental tumor cell line MCA-F with UV-B radiation (UV-B), 1-methyl-3-nitro-1-nitrosoguanidine (MNNG), or 5-aza-2$\sp\prime$-deoxycytidine (5-azaCdR). The frequency of Imm$\sp{+}$ variant generation was similarly high for the three different agents, suggesting that the frequency of Imm$\sp{+}$ generation was related more closely to the cell line than to the inducing agent used. Cross-reactivity was tested with two Imm$\sp{+}$ clones from each treatment group in a modified immunoprotection assay that selectively engendered antivariant, but not antiparental immunity. Under these conditions each clone, except one, immunized against itself. The MNNG-induced clones engendered stronger antivariant immunity but a weaker variant cross-reactive immunity could also be detected.^ This study also characterized the lymphocyte populations responsible for antivariant and antiparental immunity in vivo. Using the local adoptive transfer assay (LATA) and antibody plus complement depletion of T-cell subsets, we showed that immunity induced by the Imm$\sp{+}$ variants against the parent MCA-F was transferred by the Thy1.2$\sp{+}$, L3T4a$\sp{+}$, Lyt2.1$\sp{-}$ (CD4$\sp{+}$) population, without an apparent contribution by Thy1.2$\sp{+}$, L3T4a$\sp{-}$, Lyt2.1$\sp{+}$ (CD8$\sp{+}$) cells. A role for Lyt2.1$\sp{+}$T lymphocytes in antivariant, but not antiparent immunity was supported by the results of LATA and CTL assays. Immunization with low numbers of viable Imm$\sp{+}$ cells, or with high numbers of non viable Imm$\sp{+}$ cells engendered only antivariant immunity without parental cross-protection. The associative recognition of parental antigens and variant neoantigens resulting in strong antiparent immunity was investigated using somatic cells hybrids of Imm$\sp{+}$ variants of MCA-F and an antigenically distinct tumor MCA-D. An unexpected result of these latter experiments was the expression of a unique tumor-specific antigen by the hybrid cells. These studies demonstrate that the parental tumor-specific antigen and the variant neoantigen must be coexpressed on the cell surface to engender parental cross-protective immunity. (Abstract shortened with permission of author.) ^

Yield prediction and inbreeding of maize synthetics generated with lines and single crosses : classic probability

reduce costs and labor associated with predicting the genotypic mean (GM) of a synthetic variety (SV) of maize (Zea mays L.), breeders can develop SVs from L lines and s single crosses (SynL,SC) instead of L+2s lines (SynL). The objective of this work was to derive and study formulae for the inbreeding coefficient (IC) and GM of SynL,SC, SynL, and the SV derived from (L+2s)/2 single crosses (SynSC). All SVs were derived from the same L+2s unrelated lines whose IC is FL, and each parent of a SV was represented by m plants. An a priori probability equation for the IC was used. Important results were: 1) the largest and smallest GMs correspond to SynL and SynL,SC, respectively; 2) the GM predictors with the largest and intermediate precision are those for SynL and SynL,SC, respectively; 3) only when FL=1, or m is large, SynL and SynSC are the same population, but only with SynSC prediction costs and labor undergo the maximum decrease, although its prediction precision is the lowest. To determine the SV to be developed, breeders should also consider the availability of lines, single crosses, manpower and land area; besides budget, target farmers, target environments, etc.

PumaPlex 1.0: Data generated during the development of the SNP markers and SNP genotypes of pumas

Pumas are one of the most studied terrestrial mammals because of their widespread distribution, substantial ecological impacts, and conflicts with humans. Extensive efforts, often employing genetic methods, are undertaken to manage this species. However, the comparison of population genetic data is difficult because few of the microsatellite loci chosen are shared across research programs. Here, we describe the development of PumaPlex, a high-throughput assay to genotype 25 single nucleotide polymorphisms in pumas. We validated PumaPlex in more than 700 North American pumas (Puma concolor couguar), and demonstrated its ability to generate reproducible genotypes and accurately identify individuals. Furthermore, we compared PumaPlex with traditional genotyping of 12 microsatellite loci in fecal DNA samples and found that PumaPlex produced significantly more genotypes with fewer false alleles. PumaPlex promotes the cross-laboratory comparison of genotypes, is easily expandable in the future, and is a valuable tool for the genetic monitoring and management of North American puma populations.