32 results on '"Dorn, Britta"'
Search Results
2. Simplified group activity selection with group size constraints
- Author
-
Darmann, Andreas, Döcker, Janosch, Dorn, Britta, and Schneckenburger, Sebastian
- Published
- 2022
- Full Text
- View/download PDF
3. Obtaining a Proportional Allocation by Deleting Items
- Author
-
Dorn, Britta, de Haan, Ronald, and Schlotter, Ildikó
- Published
- 2021
- Full Text
- View/download PDF
4. Lack of Type 2 Innate Lymphoid Cells Promotes a Type I-Driven Enhanced Immune Response in Contact Hypersensitivity
- Author
-
Rafei-Shamsabadi, David A., van de Poel, Saskia, Dorn, Britta, Kunz, Stefanie, Martin, Stefan F., Klose, Christoph S.N., Arnold, Sebastian J., Tanriver, Yakup, Ebert, Karolina, Diefenbach, Andreas, Halim, Timotheus Y.F., McKenzie, Andrew N.J., and Jakob, Thilo
- Published
- 2018
- Full Text
- View/download PDF
5. Predominant Api m 10 sensitization as risk factor for treatment failure in honey bee venom immunotherapy
- Author
-
Frick, Marcel, Fischer, Jörg, Helbling, Arthur, Ruëff, Franziska, Wieczorek, Dorothea, Ollert, Markus, Pfützner, Wolfgang, Müller, Sabine, Huss-Marp, Johannes, Dorn, Britta, Biedermann, Tilo, Lidholm, Jonas, Ruecker, Gerta, Bantleon, Frank, Miehe, Michaela, Spillner, Edzard, and Jakob, Thilo
- Published
- 2016
- Full Text
- View/download PDF
6. On the hardness of bribery variants in voting with CP-nets
- Author
-
Dorn, Britta and Krüger, Dominikus
- Published
- 2016
- Full Text
- View/download PDF
7. Stimulation of naïve B cells with a fusion protein consisting of FlaA and Bet v 1 induces regulatory B cells ex vivo.
- Author
-
Goretzki, Alexandra, Lin, Yen‐Ju, Meier, Clara, Dorn, Britta, Wolfheimer, Sonja, Jamin, Annette, Schott, Maike, Wangorsch, Andrea, Vieths, Stefan, Jakob, Thilo, Scheurer, Stephan, and Schülke, Stefan
- Subjects
REGULATORY B cells ,B cells ,CHIMERIC proteins ,CELL fusion ,IMMUNOREGULATION ,ANTIBODY formation - Abstract
Background: The experimental fusion protein rFlaA:Betv1 was shown to efficiently suppress allergen‐specific sensitization in mice. However, the detailed mechanism of rFlaA:Betv1‐mediated immune modulation is not fully understood. In this study, we investigated the effect of rFlaA:Betv1 on naïve murine B cells. Methods: Immune modulating capacity of rFlaA:Betv1 was screened in IL‐10 reporter mice. B cells were isolated from spleens of naïve C57Bl/6, TLR5−/−, or MyD88−/− mice, stimulated with rFlaA:Betv1 and controls, and monitored for the expression of the regulatory B cell markers CD1d, CD24, CD38, and surface IgM by flow cytometry. Secreted cytokines, antibodies, and reactivity of the induced antibodies were investigated by ELISA and intracellular flow cytometry. Suppressive capacity of rFlaA:Betv1‐stimulated B cells was tested in mDC:CD4+ T cell:B cell triple cultures. Results: Upon in vivo application of rFlaA:Betv1 into IL‐10‐GFP reporter mice, CD19+ B cells were shown to produce anti‐inflammatory IL‐10, suggesting B cells to contribute to the immune‐modulatory properties of rFlaA:Betv1. rFlaA:Betv1‐induced IL‐10 secretion was confirmed in human B cells isolated from buffy coats. In vitro stimulation of naïve murine B cells with rFlaA:Betv1 resulted in an mTOR‐ and MyD88‐dependent production of IL‐10 and rFlaA:Betv1 induced Bet v 1‐reactive IgG production, which was not observed for IgA. rFlaA:Betv1‐stimulated B cells formed a CD19+CD24+CD1d+IgM+CD38+ Breg subpopulation capable of suppressing Bet v 1‐induced TH2 cytokine secretion in vitro. Conclusion: rFlaA:Betv1 can act as a thymus‐independent B cell antigen, stimulating the mTOR‐ and MyD88‐dependent differentiation of B cells displaying a regulatory phenotype, IL‐10 secretion, antigen‐binding antibody production, and a suppressive capacity in vitro. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
8. Contact anaphylaxis after application of an herbal ointment containing phenonip: Case report
- Author
-
Pföhler, Claudia, Müller, Cornelia S. L., Dorn, Britta, Jakob, Thilo, and Vogt, Thomas
- Published
- 2016
- Full Text
- View/download PDF
9. Multivariate Complexity Analysis of Swap Bribery
- Author
-
Dorn, Britta and Schlotter, Ildikó
- Published
- 2012
- Full Text
- View/download PDF
10. Asymptotic periodicity of recurrent flows in infinite networks
- Author
-
Dorn, Britta, Keicher, Vera, and Sikolya, Eszter
- Published
- 2009
- Full Text
- View/download PDF
11. Semigroups for flows in infinite networks
- Author
-
Dorn, Britta
- Published
- 2008
- Full Text
- View/download PDF
12. Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)
- Author
-
Bordewich, Magnus, Dorn, Britta, Linz, Simone, and Niedermeier, Rolf
- Subjects
000 Computer science, knowledge, general works ,Computer Science - Abstract
Phylogenetics is the study of ancestral relationships between species. Its central goal is the reconstruction and analysis of phylogenetic trees and networks. Even though research in phylogenetics is motivated by biological questions and applications, it heavily relies on mathematics and computer science. Dagstuhl Seminar 19443 on Algorithms and Complexity in Phylogenetics aimed at bringing together researchers from phylogenetics and theoretical computer science to enable an exchange of expertise, facilitate interactions across both research areas, and establish new collaborations. This report documents the program and outcomes of the seminar. It contains an executive summary, abstracts of talks, short summaries of working groups, and a list of open problems that were posed during the seminar.
- Published
- 2020
- Full Text
- View/download PDF
13. Exploiting bounded signal flow for graph orientation based on cause-effect pairs
- Author
-
Niedermeier Rolf, Krüger Dominikus, Hüffner Falk, Dorn Britta, and Uhlmann Johannes
- Subjects
Biology (General) ,QH301-705.5 ,Genetics ,QH426-470 - Abstract
Abstract Background We consider the following problem: Given an undirected network and a set of sender-receiver pairs, direct all edges such that the maximum number of "signal flows" defined by the pairs can be routed respecting edge directions. This problem has applications in understanding protein interaction based cell regulation mechanisms. Since this problem is NP-hard, research so far concentrated on polynomial-time approximation algorithms and tractable special cases. Results We take the viewpoint of parameterized algorithmics and examine several parameters related to the maximum signal flow over vertices or edges. We provide several fixed-parameter tractability results, and in one case a sharp complexity dichotomy between a linear-time solvable case and a slightly more general NP-hard case. We examine the value of these parameters for several real-world network instances. Conclusions Several biologically relevant special cases of the NP-hard problem can be solved to optimality. In this way, parameterized analysis yields both deeper insight into the computational complexity and practical solving strategies.
- Published
- 2011
- Full Text
- View/download PDF
14. E-Cadherin is dispensable for epidermal localization of Langerhans cells
- Author
-
Dorn, Britta
- Abstract
Langerhans cells (LC) are potent antigen presenting cells localized in the epidermis. LC express high levels of the adhesion molecule E-Cadherin (E-cad) which has been suggested to be responsible for adhesion to keratinocytes and thus LC localization to the epidermis, supported by three lines of evidence: formation of adherens junctions between E-cad expressing LC like dendritic cells and keratinocytes, down regulation of E-cad during activation, maturation and emigration of LC, and requirement of TGF-u03b2 for E-cad expression in dendritic cells (DC) and lack of epidermal LC in TGF-u03b2 null mutants. Since most of this evidence is indirect, we here address the question whether E-cad expression in LC is required for their epidermal localization in vivo. For this we used mice with a selective deficiency for E-Cad in CD11c+ cells generated by Cre/LoxP mediated recombination. In E-cadfl/flCD11c Cre+ mice E-cad expression was absent in LC as shown by flow cytometry. Surprisingly, lack of E-cad in LC had little effect on epidermal localization of LC as demonstrated by almost normal LC numbers in epidermal sheets and whole mount skin in Cre+ mice as compared to Cre- littermates. No differences were observed with regard to activation status of LC, in vivo LC migration to regional lymph nodes and TNCB induced contact hypersensitivity. In contrast, in vitro significantly more LC could be isolated from the epidermis of Cre+ mice than that of Cre- controls, which may indicate that E-cad is involved but not essential for adhesion of LC to epidermal keratinocytes. In conclusion our findings reveal that despite the lack of E-cad LC are still largely present in the epidermis, suggesting that E-Cadherin is dispensable for localization of LC within the epidermal layers of the skin.
- Published
- 2017
15. Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy.
- Author
-
Döcker, Janosch, Dorn, Britta, Linz, Simone, and Semple, Charles
- Subjects
- *
NP-complete problems , *POLYNOMIAL time algorithms , *HIERARCHIES , *POLYNOMIALS , *COMPUTATIONAL complexity - Abstract
The complexity of variants of 3 -SAT and Not-All-Equal 3 -SAT is well studied. However, in contrast, very little is known about the complexity of the problems' quantified counterparts. In the first part of this paper, we show that ∀∃ 3 -SAT is Π 2 P -complete even if (1) each variable appears exactly twice unnegated and exactly twice negated, (2) each clause is a disjunction of exactly three distinct variables, and (3) the number of universal variables is equal to the number of existential variables. Furthermore, we show that the problem remains Π 2 P -complete if (1a) each universal variable appears exactly once unnegated and exactly once negated, (1b) each existential variable appears exactly twice unnegated and exactly twice negated, and (2) and (3) remain unchanged. On the other hand, the problem becomes NP-complete for certain variants in which each universal variable appears exactly once. In the second part of the paper, we establish Π 2 P -completeness for ∀∃ Not-All-Equal 3 -SAT even if (1′) the Boolean formula is linear and monotone, (2′) each universal variable appears exactly once and each existential variable appears exactly three times, and (3′) each clause is a disjunction of exactly three distinct variables that contains at most one universal variable. On the positive side, we uncover variants of ∀∃ Not-All-Equal 3 -SAT that are co-NP-complete or solvable in polynomial time. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
16. Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241)
- Author
-
Boutilier, Craig, Dorn, Britta, Maudet, Nicolas, and Merlin, Vincent
- Subjects
000 Computer science, knowledge, general works ,Computer Science - Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15241 "Computational Social Choice: Theory and Applications". The seminar featured a mixture of classic scientific talks (including three overview talks), open problem presentations, working group sessions, and five-minute contributions ("rump session"). While there were other seminars on related topics in the past, a special emphasis was put on practical applications in this edition.
- Published
- 2016
- Full Text
- View/download PDF
17. Computational Social Choice: Theory and Applications
- Author
-
Boutilier, Craig, Dorn, Britta, Maudet, Nicolas, Merlin, Vincent, Systèmes Multi-Agents (SMA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Centre de recherche en économie et management (CREM), Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), ANR-14-CE24-0007,CoCoRICo-CoDec,Calcul, Communication, Rationalité et Incitations en Décision Collective et Coopérative(2014), Université de Caen Normandie (UNICAEN), and Normandie Université (NU)-Normandie Université (NU)-Université de Rennes (UR)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Computational Social Choice ,[SHS.INFO]Humanities and Social Sciences/Library and information sciences ,Matching ,Fair Division ,Voting ,JEL: C - Mathematical and Quantitative Methods/C.C7 - Game Theory and Bargaining Theory/C.C7.C78 - Bargaining Theory • Matching Theory ,JEL: D - Microeconomics/D.D7 - Analysis of Collective Decision-Making/D.D7.D71 - Social Choice • Clubs • Committees • Associations ,[SHS.ECO]Humanities and Social Sciences/Economics and Finance - Abstract
International audience; Computational social choice is an interdisciplinary research area dealing with the aggregation of preferences of groups of agents in order to reach a consensus decision that realizes some social objective.
- Published
- 2015
18. Often harder than in the Constructive Case: Destructive Bribery in CP-nets
- Author
-
Dorn, Britta, Kr��ger, Dominikus, and Scharpfenecker, Patrick
- Subjects
FOS: Computer and information sciences ,Computer Science - Computational Complexity ,Computational Complexity (cs.CC) - Abstract
We study the complexity of the destructive bribery problem---an external agent tries to prevent a disliked candidate from winning by bribery actions---in voting over combinatorial domains, where the set of candidates is the Cartesian product of several issues. This problem is related to the concept of the margin of victory of an election which constitutes a measure of robustness of the election outcome and plays an important role in the context of electronic voting. In our setting, voters have conditional preferences over assignments to these issues, modelled by CP-nets. We settle the complexity of all combinations of this problem based on distinctions of four voting rules, five cost schemes, three bribery actions, weighted and unweighted voters, as well as the negative and the non-negative scenario. We show that almost all of these cases are NP-complete or NP-hard for weighted votes while approximately half of the cases can be solved in polynomial time for unweighted votes., 22 pages
- Published
- 2015
19. IL‐10 signaling in dendritic cells is required for tolerance induction in a murine model of allergic airway inflammation.
- Author
-
Dolch, Anja, Kunz, Stefanie, Dorn, Britta, Alessandrini, Francesca, Müller, Werner, Jack, Robert S., Martin, Stefan F., Roers, Axel, and Jakob, Thilo
- Abstract
Allergen specific tolerance induction efficiently ameliorates subsequent allergen induced inflammatory responses. The underlying regulatory mechanisms have been attributed mainly to interleukin (IL)‐10 produced by diverse hematopoietic cells, while targets of IL‐10 in allergen specific tolerance induction have not yet been well defined. Here, we investigate potential cellular targets of IL‐10 in allergen specific tolerance induction using mice with a cell type specific inactivation of the IL‐10 receptor gene. Allergic airway inflammation was effectively prevented by tolerance induction in mice with IL‐10 receptor (IL‐10R) deficiency in T or B cells. Similarly, IL‐10R on monocytes/macrophages and/or neutrophils was not required for tolerance induction. In contrast, tolerance induction was impaired in mice that lack IL‐10R on dendritic cells: those mice developed an allergic response characterized by a pronounced neutrophilic lung infiltration, which was not ameliorated by tolerogenic treatment. In conclusion, our results show that allergen specific tolerance can be effectively induced without a direct impact of IL‐10 on cells of the adaptive immune system, and highlight dendritic cells, but not macrophages nor neutrophils, as the main target of IL‐10 during tolerance induction. IL‐10 signaling is crucial for tolerance induction in a murine model of allergic airway inflammation. Here we examined the targets of IL‐10 by using cell type specific IL‐10 receptor depleted mice. An amelioration of allergic airway inflammation after tolerance induction was observed when IL‐10R was depleted on T cells, B cells, monocytes/ macrophage, and neutrophils, but no tolerance induction could be observed in mice that lack IL‐10R on dendritic cells. These results reveal a fundamental role of IL‐10 signaling in dendritic cells during tolerance induction in allergic airway inflammation. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
20. The Monotone Satisfiability Problem with Bounded Variable Appearances.
- Author
-
Darmann, Andreas, Döcker, Janosch, and Dorn, Britta
- Subjects
MONOTONE operators ,PROBLEM solving ,FUNCTIONS of bounded variation ,COMPUTATIONAL complexity ,NUMBER theory - Abstract
The prominent Boolean formula satisfiability problem SAT is known to be 𝒩 𝒫 -complete even for very restricted variants such as 3-SAT, Monotone 3-SAT, or Planar 3-SAT, or instances with bounded variable appearance. We settle the computational complexity status for two variants with bounded variable appearance: We show that Planar Monotone Sat — the variant of Monotone Sat in which the incidence graph is required to be planar — is 𝒩 𝒫 -complete even if each clause consists of at most three distinct literals and each variable appears exactly three times, and that Monotone Sat is 𝒩 𝒫 -complete even if each clause consists of three distinct literals and each variable appears exactly four times in the formula. The latter confirms a conjecture stated in scribe notes [7] of an MIT lecture by Eric Demaine. In addition, we provide hardness results with respect to bounded variable appearances for two variants of Planar Monotone Sat. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
21. T cell derived IL-10 is dispensable for tolerance induction in a murine model of allergic airway inflammation.
- Author
-
Kunz, Stefanie, Dolch, Anja, Surianarayanan, Sangeetha, Dorn, Britta, Bewersdorff, Mayte, Alessandrini, Francesca, Behrendt, Rayk, Karp, Christopher L., Muller, Werner, Martin, Stefan F., Roers, Axel, and Jakob, Thilo
- Abstract
Regulatory mechanisms initiated by allergen-specific immunotherapy are mainly attributed to T cell derived IL-10. However, it has not been shown that T cell derived IL-10 is required for successful tolerance induction (TI). Here, we analyze cellular sources and the functional relevance of cell type specific IL-10 during TI in a murine model of allergic airway inflammation. While TI was effective in IL-10 competent mice, neutralizing IL-10 prior to tolerogenic treatment completely abrogated the beneficial effects. Cellular sources of IL-10 during TI were identified by using transcriptional reporter mice as T cells, B cells, and to a lesser extent DCs. Interestingly, TI was still effective in mice with T cell, B cell, B and T cell, or DC-specific IL-10 deficiency. In contrast, TI was not possible in mice lacking IL-10 in all hematopoetic cells, while it was effective in bone marrow (BM) chimera that lacked IL-10 only in nonhematopoetic cells. Taken together, allergen-specific tolerance depends on IL-10 from hematopoetic sources. The beneficial effects of allergen-specific immunotherapy cannot solely be attributed to IL-10 from T cells, B cells, or even DCs, suggesting a high degree of cellular redundancy in IL-10-mediated tolerance. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
22. Multivariate Complexity Analysis of Swap Bribery.
- Author
-
Dorn, Britta and Schlotter, Ildikó
- Abstract
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swapping the positions of two consecutive candidates in his preference ranking. The question is whether it is possible, without exceeding a given budget, to bribe the voters in a way that the preferred candidate wins in the election. We initiate a parameterized and multivariate complexity analysis of Swap Bribery, focusing on the case of k-approval. We investigate how different cost functions affect the computational complexity of the problem. We identify a special case of k-approval for which the problem can be solved in polynomial time, whereas we prove NP-hardness for a slightly more general scenario. We obtain fixed-parameter tractability as well as W[1]-hardness results for certain natural parameters. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
23. Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules.
- Author
-
Betzler, Nadja and Dorn, Britta
- Abstract
To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated according to a voting protocol. However, in realistic settings, the voters may often only provide partial orders. This directly leads to the Possible Winner problem that asks, given a set of partial votes, if a distinguished candidate can still become a winner. In this work, we consider the computational complexity of Possible Winner for the broad class of voting protocols defined by scoring rules. A scoring rule provides a score value for every position which a candidate can have in a linear order. Prominent examples include plurality, k-approval, and Borda. Generalizing previous NP-hardness results for some special cases and providing new many-one reductions, we settle the computational complexity for all but one scoring rule. More precisely, for an unbounded number of candidates and unweighted voters, we show that Possible Winner is NP-complete for all pure scoring rules except plurality, veto, and the scoring rule defined by the scoring vector (2,1,...,1,0), while it is solvable in polynomial time for plurality and veto. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
24. A General Data Reduction Scheme for Domination in Graphs.
- Author
-
Wiedermann, Jiří, Tel, Gerard, Pokorný, Jaroslav, Bieliková, Mária, Štuller, Július, Alber, Jochen, Dorn, Britta, and Niedermeier, Rolf
- Abstract
Data reduction by polynomial-time preprocessing is a core concept of (parameterized) complexity analysis in solving NP-hard problems. Its practical usefulness is confirmed by experimental work. Here, generalizing and extending previous work, we present a set of data reduction preprocessing rules on the way to compute optimal dominating sets in graphs. In this way, we arrive at the novel notion of "data reduction schemes." In addition, we obtain data reduction results for domination in directed graphs that allow to prove a linear-size problem kernel for Directed Dominating Set in planar graphs. [ABSTRACT FROM AUTHOR]
- Published
- 2006
- Full Text
- View/download PDF
25. Contact allergens induce CD8+ T cell-derived interleukin 10 that appears dispensable for regulation of contact hypersensitivity.
- Author
-
Dolch, Anja, Kunz, Stefanie, Dorn, Britta, Roers, Axel, Martin, Stefan F., and Jakob, Thilo
- Subjects
CONTACT dermatitis ,ALLERGENS ,CD8 antigen ,INTERLEUKIN-10 ,IMMUNOREGULATION ,PREVENTION - Abstract
Interleukin 10 ( IL-10) has been implied in the regulation of allergic contact dermatitis. Using transcriptional reporter mice we analyzed cellular sources of IL-10 during contact hypersensitivity ( CHS) and identified IL-10 expressing CD8
+ T cells in the skin that are antigen-specific, display PD-1, an effector memory phenotype, and IL-10 expression comparable to that of CD4+ T cells. However, in mice with a selective IL-10 deficiency in CD8+ T cells CHS responses were comparable to that of controls, even in the absence of CD4+ cells, suggesting that CD8+ T cell-derived IL-10 does not contribute significantly to the resolution of CHS responses. [ABSTRACT FROM AUTHOR]- Published
- 2017
- Full Text
- View/download PDF
26. ASYMPTOTIC PERIODICITY OF FLOWS IN TIME-DEPENDING NETWORKS.
- Author
-
BAYAZIT, FATIH, DORN, BRITTA, and FIJAVŽ, MARJETA KRAMAR
- Subjects
EQUATIONS ,TIME-varying systems ,CAUCHY problem ,ASYMPTOTIC expansions ,AIR traffic control - Abstract
We consider a linear transport equation on the edges of a network with time-varying coefficients. Using methods for non-autonomous abstract Cauchy problems, we obtain well-posedness of the problem and describe the asymptotic profile of the solutions under certain natural conditions on the network. We further apply our theory to a model used for air traffic flow management. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF
27. Towards a dichotomy for the Possible Winner problem in elections based on scoring rules
- Author
-
Betzler, Nadja and Dorn, Britta
- Subjects
- *
VOTING machines , *INFORMATION theory , *HARDNESS , *DECISION making , *COMPUTER network protocols , *COMPUTATIONAL complexity , *PLURALITY voting - Abstract
Abstract: To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated according to a voting protocol. However, in realistic settings, the voters may often only provide partial orders. This directly leads to the Possible Winner problem that asks, given a set of partial votes, whether a distinguished candidate can still become a winner. In this work, we consider the computational complexity of Possible Winner for the broad class of voting protocols defined by scoring rules. A scoring rule provides a score value for every position which a candidate can have in a linear order. Prominent examples include plurality, k-approval, and Borda. Generalizing previous NP-hardness results for some special cases, we settle the computational complexity for all but one scoring rule. More precisely, for an unbounded number of candidates and unweighted voters, we show that Possible Winner is NP-complete for all pure scoring rules except plurality, veto, and the scoring rule defined by the scoring vector , while it is solvable in polynomial time for plurality and veto. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
28. Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
- Author
-
Döcker, Janosch Otto and Dorn, Britta (Apl. Prof. Dr.)
- Subjects
Polynomialzeithierarchie ,Berechnungskomplexität , Entscheidungsproblem , Phylogenetik , Aussagenlogik , Boolesche Formel , Erfüllbarkeitsproblem ,Polynomial hierarchy - Abstract
In this thesis, we consider the complexity of decision problems from two different areas of research and place them in the polynomial hierarchy: phylogenetics and (quantified) propositional logic. In phylogenetics, researchers study the evolutionary relationships between species. The evolution of a particular gene can often be represented by a single phylogenetic tree. However, in order to model non-tree-like events on a species level such as hybridization and lateral gene transfer, phylogenetic networks are used. They can be considered as a structure that embeds a whole set of phylogenetic trees which is called the display set of the network. There are many interesting questions revolving around display sets and one is often interested in the computational complexity of the considered problems for particular classes of networks. In this thesis, we present our results for different questions related to the display sets of two networks and place the corresponding decision problems in the polynomial hierarchy. Another interesting question concerns the reconstruction of networks: given a set T of phylogenetic trees, can we construct a phylogenetic network with certain properties that embeds all trees in T? For a class of networks that satisfies certain temporal properties, Humphries et al. (2013) established a characterization for when this is possible based on the existence of a particular structure for T, a so-called cherry-picking sequence. We obtain several complexity results for the existence of such a sequence: Deciding the existence of a cherry-picking sequence turns out to be NP-complete for each non-trivial number (i.e., at least two) of given trees. Thereby, we settle the open question stated by Humphries et al. (2013) on the complexity for the case |T| = 2. On the positive side, we identify a special case that we place in the complexity class P by exploring connections to automata theory. Regarding propositional logic, we present our complexity results for the classical satisfiability problem (and variants resp. quantified generalizations thereof) and place the considered variants in the polynomial hierarchy. A common theme is to consider bounded variable appearances in combination with other restrictions such as monotonicity of the clauses or planarity of the incidence graph. This research was inspired by the conjecture that Monotone 3-SAT remains NP-complete if each variable appears at most five times which was stated in the scribe notes of a lecture held by Erik Demaine; we confirm this conjecture in an even more restricted setting where each variable appears exactly four times.
- Published
- 2021
29. Influence of E-cadherin deficiency on the dendrite morphology of Langerhans cells.
- Author
-
Dorn B, Ruhland C, Kunz S, Martin SF, and Jakob T
- Abstract
The expression of E-cadherin on Langerhans cells (LC) is required for adequate dendrite intercalation between epidermal keratinocytes. Upon disruption of epidermal homeostasis by tape stripping, E-cadherin competent LC extend dendrites reaching up to the epidermal surface, while E-cad deficient LC lack this ability., (© 2024 The Authors. European Journal of Immunology published by Wiley‐VCH GmbH.)
- Published
- 2024
- Full Text
- View/download PDF
30. Transition-State Compressibility and Activation Volume of Transient Protein Conformational Fluctuations.
- Author
-
Dreydoppel M, Dorn B, Modig K, Akke M, and Weininger U
- Abstract
Proteins are dynamic entities that intermittently depart from their ground-state structures and undergo conformational transitions as a critical part of their functions. Central to understanding such transitions are the structural rearrangements along the connecting pathway, where the transition state plays a special role. Using NMR relaxation at variable temperature and pressure to measure aromatic ring flips inside a protein core, we obtain information on the structure and thermodynamics of the transition state. We show that the isothermal compressibility coefficient of the transition state is similar to that of short-chain hydrocarbon liquids, implying extensive local unfolding of the protein. Our results further indicate that the required local volume expansions of the protein can occur not only with a net positive activation volume of the protein, as expected from previous studies, but also with zero activation volume by compaction of remote void volume, when averaged over the ensemble of states., Competing Interests: The authors declare no competing financial interest., (© 2021 The Authors. Published by American Chemical Society.)
- Published
- 2021
- Full Text
- View/download PDF
31. Contact allergens induce CD8 + T cell-derived interleukin 10 that appears dispensable for regulation of contact hypersensitivity.
- Author
-
Dolch A, Kunz S, Dorn B, Roers A, Martin SF, and Jakob T
- Subjects
- Animals, Mice, CD8-Positive T-Lymphocytes metabolism, Dermatitis, Contact immunology, Interleukin-10 metabolism
- Abstract
Interleukin 10 (IL-10) has been implied in the regulation of allergic contact dermatitis. Using transcriptional reporter mice we analyzed cellular sources of IL-10 during contact hypersensitivity (CHS) and identified IL-10 expressing CD8
+ T cells in the skin that are antigen-specific, display PD-1, an effector memory phenotype, and IL-10 expression comparable to that of CD4+ T cells. However, in mice with a selective IL-10 deficiency in CD8+ T cells CHS responses were comparable to that of controls, even in the absence of CD4+ cells, suggesting that CD8+ T cell-derived IL-10 does not contribute significantly to the resolution of CHS responses., (© 2016 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.)- Published
- 2017
- Full Text
- View/download PDF
32. Exploiting bounded signal flow for graph orientation based on cause-effect pairs.
- Author
-
Dorn B, Hüffner F, Krüger D, Niedermeier R, and Uhlmann J
- Abstract
Background: We consider the following problem: Given an undirected network and a set of sender-receiver pairs, direct all edges such that the maximum number of "signal flows" defined by the pairs can be routed respecting edge directions. This problem has applications in understanding protein interaction based cell regulation mechanisms. Since this problem is NP-hard, research so far concentrated on polynomial-time approximation algorithms and tractable special cases., Results: We take the viewpoint of parameterized algorithmics and examine several parameters related to the maximum signal flow over vertices or edges. We provide several fixed-parameter tractability results, and in one case a sharp complexity dichotomy between a linear-time solvable case and a slightly more general NP-hard case. We examine the value of these parameters for several real-world network instances., Conclusions: Several biologically relevant special cases of the NP-hard problem can be solved to optimality. In this way, parameterized analysis yields both deeper insight into the computational complexity and practical solving strategies.
- Published
- 2011
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.