709 research outputs found
Does Treewidth Help in Modal Satisfiability?
Many tractable algorithms for solving the Constraint Satisfaction Problem
(CSP) have been developed using the notion of the treewidth of some graph
derived from the input CSP instance. In particular, the incidence graph of the
CSP instance is one such graph. We introduce the notion of an incidence graph
for modal logic formulae in a certain normal form. We investigate the
parameterized complexity of modal satisfiability with the modal depth of the
formula and the treewidth of the incidence graph as parameters. For various
combinations of Euclidean, reflexive, symmetric and transitive models, we show
either that modal satisfiability is FPT, or that it is W[1]-hard. In
particular, modal satisfiability in general models is FPT, while it is
W[1]-hard in transitive models. As might be expected, modal satisfiability in
transitive and Euclidean models is FPT.Comment: Full version of the paper appearing in MFCS 2010. Change from v1:
improved section 5 to avoid exponential blow-up in formula siz
Propositional Dynamic Logic for Message-Passing Systems
We examine a bidirectional propositional dynamic logic (PDL) for finite and
infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of
multi-modal logic we can express properties both in the entire future and in
the past of an event. Path expressions strengthen the classical until operator
of temporal logic. For every formula defining an MSC language, we construct a
communicating finite-state machine (CFM) accepting the same language. The CFM
obtained has size exponential in the size of the formula. This synthesis
problem is solved in full generality, i.e., also for MSCs with unbounded
channels. The model checking problem for CFMs and HMSCs turns out to be in
PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with
intersection, the semantics of a formula cannot be captured by a CFM anymore
Processing Succinct Matrices and Vectors
We study the complexity of algorithmic problems for matrices that are
represented by multi-terminal decision diagrams (MTDD). These are a variant of
ordered decision diagrams, where the terminal nodes are labeled with arbitrary
elements of a semiring (instead of 0 and 1). A simple example shows that the
product of two MTDD-represented matrices cannot be represented by an MTDD of
polynomial size. To overcome this deficiency, we extended MTDDs to MTDD_+ by
allowing componentwise symbolic addition of variables (of the same dimension)
in rules. It is shown that accessing an entry, equality checking, matrix
multiplication, and other basic matrix operations can be solved in polynomial
time for MTDD_+-represented matrices. On the other hand, testing whether the
determinant of a MTDD-represented matrix vanishes PSPACE$-complete, and the
same problem is NP-complete for MTDD_+-represented diagonal matrices. Computing
a specific entry in a product of MTDD-represented matrices is #P-complete.Comment: An extended abstract of this paper will appear in the Proceedings of
CSR 201
Sociology and postcolonialism: another 'missing' revolution?
Sociology is usually represented as having emerged alongside European modernity. The latter is frequently understood as sociology's special object with sociology itself a distinctively modern form of explanation. The period of sociology's disciplinary formation was also the heyday of European colonialism, yet the colonial relationship did not figure in the development of sociological understandings. While the recent emergence of postcolonialism appears to have initiated a reconsideration of understandings of modernity, with the development of theories of multiple modernities, I suggest that this engagement is more an attempt at recuperating the transformative aspect of postcolonialism than engaging with its critiques. In setting out the challenge of postcolonialism to dominant sociological accounts, I also address `missing feminist/queer revolutions', suggesting that by engaging with postcolonialism there is the potential to transform sociological understandings by opening up a dialogue beyond the simple pluralism of identity claims
Provider Perceptions of Barriers to HIV Care Among Women with HIV in Miami-Dade County, Florida, and Possible Solutions: A Qualitative Study
In Miami-Dade County, women with HIV (WWH) enrolled in Ryan White Program (RWP) services belong to groups that have historically faced structural barriers to care. To examine provider perceptions of WWH\u27s barriers to care and elicit possible solutions, we conducted semi-structured interviews (n = 20) with medical case managers and human immunodeficiency virus (HIV) healthcare providers from medical case management sites serving WWH enrolled in the Miami-Dade RWP. Verbatim transcripts were analyzed thematically by two coders through an iterative process; disagreements were resolved through consensus. Barriers included lack of disclosure and stigma, additional psychosocial barriers to care, structural and logistical barriers, and negative interactions with health care providers. Participant suggestions to address these barriers included strategies that support women and foster individualized services that are responsive to their lived experiences and needs. Other solutions, such as those related to transportation, housing, and general funding for the RWP, will require advocacy and policy change
Flow Phase Diagram for the Helium Superfluids
The flow phase diagram for He II and He-B is established and discussed
based on available experimental data and the theory of Volovik [JETP Letters
{\bf{78}} (2003) 553]. The effective temperature - dependent but scale -
independent Reynolds number , where
and are the mutual friction parameters and the superfluid Reynolds
number characterizing the circulation of the superfluid component in units of
the circulation quantum are used as the dynamic parameters. In particular, the
flow diagram allows identification of experimentally observed turbulent states
I and II in counterflowing He II with the turbulent regimes suggested by
Volovik.Comment: 2 figure
The Complexity of Computing Minimal Unidirectional Covering Sets
Given a binary dominance relation on a set of alternatives, a common thread
in the social sciences is to identify subsets of alternatives that satisfy
certain notions of stability. Examples can be found in areas as diverse as
voting theory, game theory, and argumentation theory. Brandt and Fischer [BF08]
proved that it is NP-hard to decide whether an alternative is contained in some
inclusion-minimal upward or downward covering set. For both problems, we raise
this lower bound to the Theta_{2}^{p} level of the polynomial hierarchy and
provide a Sigma_{2}^{p} upper bound. Relatedly, we show that a variety of other
natural problems regarding minimal or minimum-size covering sets are hard or
complete for either of NP, coNP, and Theta_{2}^{p}. An important consequence of
our results is that neither minimal upward nor minimal downward covering sets
(even when guaranteed to exist) can be computed in polynomial time unless P=NP.
This sharply contrasts with Brandt and Fischer's result that minimal
bidirectional covering sets (i.e., sets that are both minimal upward and
minimal downward covering sets) are polynomial-time computable.Comment: 27 pages, 7 figure
Classification, categorization and essential items for digital ulcer evaluation in systemic sclerosis: a DeSScipher/European Scleroderma Trials and Research group (EUSTAR) survey
Background
A consensus on digital ulcer (DU) definition in systemic sclerosis (SSc) has been recently reached (Suliman et al., J Scleroderma Relat Disord 2:115-20, 2017), while for their evaluation, classification and categorisation, it is still missing. The aims of this study were to identify a set of essential items for digital ulcer (DU) evaluation, to assess if the existing DU classification was useful and feasible in clinical practice and to investigate if the new categorisation was preferred to the simple distinction of DU in recurrent and not recurrent, in patients with systemic sclerosis (SSc).
Methods
DeSScipher is the largest European multicentre study on SSc. It consists of five observational trials (OTs), and one of them, OT1, is focused on DU management. The DeSScipher OT1 items on DU that reached â„â60% of completion rate were administered to EUSTAR (European Scleroderma Trials and Research group) centres via online survey. Questions about feasibility and usefulness of the existing DU classification (DU due to digital pitting scars, to loss of tissue, derived from calcinosis and gangrene) and newly proposed categorisation (episodic, recurrent and chronic) were also asked.
Results
A total of 84/148 (56.8%) EUSTAR centres completed the questionnaire. DeSScipher items scored by â„â70% of the participants as essential and feasible for DU evaluation were the number of DU defined as a loss of tissue (level of agreement 92%), recurrent DU (84%) and number of new DU (74%). For 65% of the centres, the proposed classification of DU was considered useful and feasible in clinical practice. Moreover, 80% of the centres preferred the categorisation of DU in episodic, recurrent and chronic to simple distinction in recurrent/not recurrent DU.
Conclusions
For clinical practice, EUSTAR centres identified only three essential items for DU evaluation and considered the proposed classification and categorisation as useful and feasible. The set of items needs to be validated while further implementation of DU classification and categorisation is warranted.
Trial registration
Observational trial on DU (OT1) is one of the five trials of the DeSScipher project (ClinicalTrials.gov; OT1 Identifier: NCT01836263, posted on April 19, 2013)
Enhanced cartilage regeneration in MIA/CD-RAP deficient mice
Melanoma inhibitory activity/cartilage-derived retinoic acid-sensitive protein (MIA/CD-RAP) is a small soluble protein secreted from chondrocytes. It was identified as the prototype of a family of extracellular proteins adopting an SH3 domain-like fold. In order to study the consequences of MIA/CD-RAP deficiency in detail we used mice with a targeted gene disruption of MIA/CD-RAP (MIAâ/â) and analyzed cartilage organisation and differentiation in in vivo and in vitro models. Cartilage formation and regeneration was determined in models for osteoarthritis and fracture healing in vivo, in addition to in vitro studies using mesenchymal stem cells of MIAâ/â mice. Interestingly, our data suggest enhanced chondrocytic regeneration in the MIAâ/â mice, modulated by enhanced proliferation and delayed differentiation. Expression analysis of cartilage tissue derived from MIAâ/â mice revealed strong downregulation of nuclear RNA-binding protein 54-kDa (p54nrb), a recently described modulator of Sox9 activity. In this study, we present p54nrb as a mediator of MIA/CD-RAP to promote chondrogenesis. Taken together, our data indicate that MIA/CD-RAP is required for differentiation in cartilage potentially by regulating signaling processes during differentiation
The tumour-associated glycoprotein podoplanin is expressed in fibroblast-like synoviocytes of the hyperplastic synovial lining layer in rheumatoid arthritis
- âŠ