Isomorphic Implication

We study the isomorphic implication problem for Boolean constraints. We show that this is a natural analog of the subgraph isomorphism problem. We prove that, depending on the set of constraints, this problem is in P, or is NP-complete, or is NP-hard, coNP-hard, and in P_‖^NP. We show how to extend the NP-hardness and coNP-hardness to P_‖^NP-hardness for some cases, and conjecture that this can be done in all cases. Supported in part by grants NSF-CCR-0311021 and DFG VO 630/5-1 and VO 630/5-2. An extended abstract of this paper appears in Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science (MFCS 2005), pp. 119–130, Springer-Verlag Lecture Notes in Computer Science #3618, August 2005. Work of M. Bauland done in part while visiting CASCI’s Laboratory for Complexity at Rochester Institute of Technology. Work of E. Hemaspaandra done in part while on sabbatical at the University of Rochester.     

Generalized modal satisfiability

It is well known that modal satisfiability is PSPACE-complete (Ladner (1977) [21]). However, the complexity may decrease if we restrict the set of propositional operators used. Note that there exist an infinite number of propositional operators, since a propositional operator is simply a Boolean function. We completely classify the complexity of modal satisfiability for every finite set of propositional operators, i.e., in contrast to previous work, we classify an infinite number of problems. We show that, depending on the set of propositional operators, modal satisfiability is PSPACE-complete, coNP-complete, or in P. We obtain this trichotomy not only for modal formulas, but also for their more succinct representation using modal circuits. We consider both the uni-modal and the multi-modal cases, and study the dual problem of validity as well.     

Algorithms and complexity analysis for some flow problems

Several network-flow problems with additional constraints are considered. They are all special cases of the linear-programming problem and are shown to be -complete. It is shown that the existence of a strongly polynomial-time algorithm for any of these problems implies the existence of such an algorithm for the general linear-programming problem. On the positive side, strongly polynomial algorithms for some parametric flow problems are given, when the number of parameters is fixed. These algorithms are applicable to constrained flow problems when the number of additional constraints is fixed.Work on the paper was done while at Stanford University and IBM Almaden Research Center. This research was partially supported by NSF PYI Grant CCR-8858097.     

Food vacuole proteome of the malarial parasite Plasmodium falciparum

The Plasmodium falciparum food vacuole (FV) is a lysosome-like organelle where erythrocyte hemoglobin digestion occurs. It is a favorite target in the development of antimalarials. We have used a tandem mass spectrometry approach to investigate the proteome of an FV-enriched fraction and identified 116 proteins. The electron microscopy analysis and the Western blot data showed that the major component of the fraction was the FV and, as expected, the majority of previously known FV markers were recovered. Of particular interest, several proteins involved in vesicle-mediated trafficking were identified, which are likely to play a key role in FV biogenesis and/or FV protein trafficking. Recovery of parasite surface proteins lends support to the cytostomal pathway of hemoglobin ingestion as a FV trafficking route. We have identified 32 proteins described as hypothetical in the databases. This insight into FV protein content provides new clues towards understanding the biological function of this organelle in P. falciparum.     

Motor sequencing deficits in schizophrenia: A comparison with Parkinson's disease.

Motor abnormalities occur in schizophrenia (SZ) and may arise from striatal dysfunction. This study examined whether the pattern of performance on simple and complex motor abilities in SZ was similar to that of patients with Parkinson's disease (PD). Quantitative tests of speeded movement and motor and cognitive sequencing were used to assess 25 SZ, 16 PD, and 84 normal controls (NCs). Sequencing performance was also examined with motor rigidity taken into account. Compared with the NC group, the SZ and PD groups were impaired on measures of motor rigidity and motor sequencing. With rigidity accounted for, the SZ group was significantly more impaired than the PD group on motor sequencing; cognitive and motor processes contributed to the motor deficit. Cognitive sequencing performance predicted motor sequencing performance in PD but not SZ. Although both SZ and PD resulted in significant motor and cognitive sequencing deficits, the pattern and correlates of these deficits differ, suggesting that the affected neural systems underlying motor deficits in SZ are different from those involved in PD. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

"Shouldn't we consider...?": Jury discussions of forbidden topics and effects on damage awards.

The Federal Rules of Evidence prohibit disclosure to civil jurors of information that is arguably related to their decision-making (e.g., that either party is insured). The basis for so-called "blindfolding" is that a jury might be biased by this information to alter its appraisal of the evidence to reach a desired verdict. The purpose of this study was to examine the extent to which mock juries in an automobile negligence case discuss several "silent factors" during deliberation (viz., insurance carried by the parties, the payment of attorneys' fees, and previous settlements between the plaintiff and other defendants) and the effects of such discussion on their compensatory damage award. We presented summaries of the evidence that varied in the severity of the plaintiff's injuries and the reprehensibility of the defendant's conduct. These variables influenced judgments of liability and damage awards. Analysis of the content of jury deliberations regarding damages showed that, although nearly all juries talked about silent factors, the size of their damage awards was unrelated to the frequency of these discussions and that such discussion accounted for only a very small portion of the variance in awards. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Solid-state and multidimensional solution-state NMR of solid phase extracted and ultrafiltered riverine dissolved organic matter

In this study we used multidimensional solution-state NMR to elucidate the differences in the chemical composition of solid phase extracted and ultrafiltered DOM isolates. DOM was isolated from water sampled from an oligotrophic river, the River Tagliamento (Italy). The recovery of total DOM was up to 42% with both isolation techniques. In addition to 1- and 2-D solution-state NMR, we also applied 1-D solid-state 13C NMR spectroscopy for DOM characterization. 13C NMR spectroscopy only produced broad overlapping resonances, thus allowing a bulk characterization of DOM composition. However, it demonstrated that the bulk chemical composition of the two DOM fractions exhibited minor spatial-temporal changes. The 2-D experiments (TOCSY, HMQC) showed that the solid phase extracted hydrophobic DOM contained predominantly aliphatic esters, ethers, and hydroxyl groups, whereas the ultrafiltered DOM was comprised partially of peptides/protein, with further evidence for a small amount of aliphatic/fatty acid material. Sugars were present in both DOM fractions. The results show the two isolation techniques selected for different suites of compounds within the bulk DOM pool.     

Discrimination Against Women.

After being turned down for a job in academia because she was a woman, the author discusses job discrimination against women in institutions of higher learning, particularly in psychology. The author argues that the price of any system of discrimination impoverishes psychology because it excluded many talented and competent people. (PsycINFO Database Record (c) 2010 APA, all rights reserved)