Förster, Frank, Liang, Chuanguang, Shkumatov, Alexander, Beisser, Daniela, Engelmann, Julia C, Schnölzer, Martina, ...
Abstract Background Tardigrades represent an animal phylum with extraordinary resistance to environmental stress. Results To gain insights into their stress-specific adaptation potential, major...
Ce papier présente une analyse empirique de l’inégalité salariale et de la ségrégation entre suisses et immigrants au niveau de l’entreprise. Notre approche tient compte de l’interaction...
Ce papier présente une analyse empirique de l’inégalité salariale et de la ségrégation entre suisses et immigrants au niveau de l’entreprise. Notre approche tient compte de l’interaction...
A local limit theorem for the critical random graph (2009)
Van Der Hofstad, Remco W; Technische Universiteit Eindhoven; Rhofstad@win.tue.nl, Kager, Wouter; VU University; Wkager@few.vu.nl, Müller, Tobias; Tel Aviv University; Tobias@post.tau.ac.il
We consider the limit distribution of the orders of the k largest components in the Erdös-Rényi random graph inside the ``critical window'' for arbitrary k. We prove a local limit theorem for this...
Photon-Photon Entanglement with a Single Trapped Atom (2009)
Weber, Bernhard, Specht, Holger P., Müller, Tobias, Bochmann, Jörg, Mücke, Martin, Moehring, David L., ...
Müller, Tobias, Albrecht, Doris, Gebhardt, Christine
The lateral nucleus of the amygdala (LA) is implicated in emotional and social behaviors. We recently showed that in horizontal brain slices, activation of NMDA receptors (NMDARs) is a requirement...
Detecting species-site dependencies in large multiple sequence alignments (2009)
Schwarz, Roland, Seibel, Philipp N., Rahmann, Sven, Schoen, Christoph, Huenerberg, Mirja, Müller-Reible, Clemens, ...
Multiple sequence alignments (MSAs) are one of the most important sources of information in sequence analysis. Many methods have been proposed to detect, extract and visualize their most significant...
profile hidden Markov models (2008)
Torben Friedrich, Birgit Pils, Thomas D, Jörg Schultz, Tobias Müller
doi:10.1093/bioinformatics/btl486 Modelling interaction sites in protein domains with interaction
147. Gaussian Mixture Density Estimation applied to Microarray Data (2008)
Christine Steinhoff, Tobias Müller, Ulrike Nuber, Martin Vingron
Microarray experiments can be used to determine gene expression profiles of specific cell types. In this way, genes of a given cell type might be categorized into active or not. Typically one would...
Practical Investigation of Constraints with Graph Views (2008)
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the problem at hand and...
Schoen, Christoph, Blom, Jochen, Claus, Heike, Schramm-Glück, Anja, Brandt, Petra, Müller, Tobias, ...
The ITS2 Database II: homology modelling RNA structure for molecular systematics (2008)
Selig, Christian, Wolf, Matthias, Müller, Tobias, Dandekar, Thomas, Schultz, Jörg
An increasing number of phylogenetic analyses are based on the internal transcribed spacer 2 (ITS2). They mainly use the fast evolving sequence for low-level analyses. When considering the highly...
ProfDistS: (profile-) distance based phylogeny on sequence--structure alignments (2008)
Wolf, Matthias, Ruderisch, Benjamin, Dandekar, Thomas, Schultz, Jörg, Müller, Tobias
Motivation: The Profile Neighbor Joining (PNJ) algorithm as implemented in the software ProfDist is computationally efficient in reconstructing very large trees. Besides the huge amount of sequence...
Dittrich, Marcus T., Klau, Gunnar W., Rosenwald, Andreas, Dandekar, Thomas, Müller, Tobias
Motivation: With the exponential growth of expression and protein–protein interaction (PPI) data, the frontier of research in systems biology shifts more and more to the integrated analysis of...
Adding Constraint Systems to DFKI Oz (2007)
We present an experimental C interface to Oz, which enables programmers to add metaterms to the DFKI Oz system in a modular way. Low-level issues, as garbage collection and waking up suspended...
Müller, Tobias, Philippi, Nicole, Dandekar, Thomas, Schultz, Jörg, Wolf, Matthias
Given two organisms, how can one distinguish whether they belong to the same species or not? This might be straightforward for two divergent organisms, but can be extremely difficult and laborious...
Havet, Frédéric, Kang, Ross, Müller, Tobias, Sereni, Jean-Sébastien
In this paper, we study the notion of circular choosability recently introduced by Mohar and Zhu. First, we provide a negative answer to a question of Zhu about circular cliques. We next prove that,...
Havet, Frédéric, Kang, Ross, Müller, Tobias, Sereni, Jean-Sébastien
In this paper, we study the notion of circular choosability recently introduced by Mohar and Zhu. First, we provide a negative answer to a question of Zhu about circular cliques. We next prove that,...
Robert E. Leu, Michael Gerfin, Yves Flückiger, Tobias Müller, Carlo Knöpfel, Gebhard Kirchgässner, ...
Schultz, Jörg, Müller, Tobias, Achtziger, Marco, Seibel, Philipp N., Dandekar, Thomas, Wolf, Matthias
The internal transcribed spacer 2 (ITS2) is a phylogenetic marker which has been of broad use in generic and infrageneric level classifications, as its sequence evolves comparably fast. Only...
Modelling interaction sites in protein domains with interaction profile hidden Markov models (2006)
Friedrich, Torben, Pils, Birgit, Dandekar, Thomas, Schultz, Jörg, Müller, Tobias
Motivation: Due to the growing number of completely sequenced genomes, functional annotation of proteins becomes a more and more important issue. Here, we describe a method for the prediction of...
Improper colouring of (random) unit disk graphs (2005)
Kang, Ross J., Müller, Tobias, Sereni, Jean-Sébastien
For any graph $G$, the $k$-improper chromatic number $\chi^k(G)$ is the smallest number of colours used in a colouring of $G$ such that each colour class induces a subgraph of maximum degree $k$. We...
Improper colouring of (random) unit disk graphs (2005)
Kang, Ross J., Müller, Tobias, Sereni, Jean-Sébastien
For any graph $G$, the $k$-improper chromatic number $\chi^k(G)$ is the smallest number of colours used in a colouring of $G$ such that each colour class induces a subgraph of maximum degree $k$. We...
Improper colouring of (random) unit disk graphs (2005)
Ross J. Kang, Tobias Müller, Jean-sébastien Sereni
For any graph G, the k-improper chromatic number χ k (G) is the smallest number of colours used in a colouring of G such that each colour class induces a subgraph of maximum degree k. We investigate...
Funktionelle Charakterisierung vonP2-Purinorezeptoren aufhumanen Atemwegsepithelzellen (2005)
Epithelzellen spielen in der Regulation der Immunantwort in der Lunge eine bedeutende Rolle und sind auch an der Pathogenese allergischer Atemwegserkrankungen beteiligt. Man geht heute davon aus,...
Krasnianski, Anna, Deschauer, Marcus, Neudecker, Stephan, Gellerich, Frank N., Müller, Tobias, Schoser, Benedikt G., ...
Previous findings suggested specific mitochondrial dysfunction in skeletal muscle of patients with amyotrophic lateral sclerosis (ALS). To answer the question of whether the dysfunction is specific,...
Dürk, Thorsten, Panther, Elisabeth, Müller, Tobias, Sorichter, Stephan, Ferrari, Davide, Pizzirani, Cinzia, ...
The neurotransmitter 5-hydroxytryptamine (5-HT), commonly known as serotonin, is released at peripheral sites from activated enterochromaffin cells, mast cells and platelets. In this study we...
Dürk, Thorsten, Panther, Elisabeth, Müller, Tobias, Sorichter, Stephan, Ferrari, Davide, Pizzirani, Cinzia, ...
The neurotransmitter 5-hydroxytryptamine (5-HT), commonly known as serotonin, is released at peripheral sites from activated enterochromaffin cells, mast cells and platelets. In this study we...
ProfDist: a tool for the construction of large phylogenetic trees based on profile distances (2005)
Friedrich, Joachim, Dandekar, Thomas, Wolf, Matthias, Müller, Tobias
Summary: ProfDist is a user-friendly software package using the profile-neighbor-joining method (PNJ) in inferring phylogenies based on profile distances on DNA or RNA sequences. It is a tool for...
ProfDist: a tool for the construction of large phylogenetic trees based on profile distances (2005)
Friedrich, Joachim, Dandekar, Thomas, Wolf, Matthias, Müller, Tobias
Summary: ProfDist is a user-friendly software package using the profile-neighbor-joining method (PNJ) in inferring phylogenies based on profile distances on DNA or RNA sequences. It is a tool for...
Krasnianski, Anna, Deschauer, Marcus, Neudecker, Stephan, Gellerich, Frank N., Müller, Tobias, Schoser, Benedikt G., ...
Previous findings suggested specific mitochondrial dysfunction in skeletal muscle of patients with amyotrophic lateral sclerosis (ALS). To answer the question of whether the dysfunction is specific,...
Krasnianski, Anna, Deschauer, Marcus, Neudecker, Stephan, Gellerich, Frank N., Müller, Tobias, Schoser, Benedikt G., ...
Previous findings suggested specific mitochondrial dysfunction in skeletal muscle of patients with amyotrophic lateral sclerosis (ALS). To answer the question of whether the dysfunction is specific,...
Um von potentiell nutzbringender Information profitieren zu können, muss diese sowohl grundlegend verfügbar und somit auffindbar, als auch effizient recherchierbar sein. Die Einordnung von...
Tobias Müller, Sven Rahmann, Thomas D, Matthias Wolf, Thomas Dandekar, Matthias Wolf
Background: In phylogenetic analysis we face the problem that several subclade topologies are known or easily inferred and well supported by bootstrap analysis, but basal branching patterns cannot be...
Global constraints for round robin tournament scheduling (2004)
Martin Henz, Tobias Müller, Sven Thiel
In the presence of side-constraints and optimization criteria, round robin tournament problems are hard combinatorial problems, commonly tackled with tree search and branch-andbound optimization....
On the power of profiles for transcription factor binding site detection (2003)
Sven Rahmann, Tobias Müller, Martin Vingron
Test; Significance; Power; TRANSFAC. Abstract. Transcription factor binding site (TFBS) detection plays an important role in computational biology, with applications in gene finding and gene...
IVG-Immobilien-Delphi: Anlageverhalten institutioneller Anleger (2003)
Schulte, Karl-Werner, Pierschke, Barbara, Müller, Tobias, Steden, Philip, Pfeiffer, Iris, Henke, Jutta, ...
Müller, Tobias, Spang, Rainer, Vingron, Martin
Evolution of proteins is generally modeled as a Markov process acting on each site of the sequence. Replacement frequencies need to be estimated based on sequence alignments. Here we compare three...
A Holistic Approach to a Reliable Infrastructure for SAP R/3 on AIX (2001)
Diana Gfroerer, Yvonne Kratz, Dr. Andreas Gruber, Tobias Müller, Torsten Opitz, Uwe Thiel
for SAP R/3 on AIX Design, set up, and manage a highly available IBM ^ pSeries environment Implement a disaster proven backup and recovery solution Plan optimized network and disk layouts...
Non-symmetric score matrices and the detection of homologous transmembrane proteins (2001)
Müller, Tobias, Rahmann, Sven, Rehmsmeier, Marc
Given a transmembrane protein, we wish to find related ones by a database search. Due to the strongly hydrophobic amino acid composition of transmembrane domains, suboptimal results are obtained when...
GIFT: A Generic Interface for reusing Filtering Algorithms (2000)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
Many dierent constraint programming (CP) systems exist today. For each CP system, there are many dierent ltering algorithms. Researchers and developers usually choose a CP system of their choice to...
GIFT: A Generic Interface for reusing Filtering Algorithms (2000)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
. Many di#erent constraint programming (CP) systems exist today. For each CP system, there are many di#erent filtering algorithms. Researchers and developers usually choose a CP system of their...
GIFT: A Generic Interface for reusing Filtering Algorithms (2000)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
. Many di#erent constraint programming (CP) systems exist today. For each CP system, there are many di#erent filtering algorithms. Researchers and developers usually choose a CP system of their...
An Overview of Finite Domain Constraint Programming (2000)
In recent years, the repertoire of available techniques for solving combinatorial problems has seen a significant addition: constraint programming. Constraint programming is best seen as a framework...
Figaro: Yet Another Constraint Programming Library (1999)
Martin Henz, Tobias Müller, Ng Ka Boon
Existing libraries and languages for finite domain constraint programming usually have depth-first search (with branch and bound) built-in as the only search algorithm. Exceptions are the languages...
Extensions of Constraint Solving for Proof Planning (1999)
Erica Melis, Erica Melis, Tobias Müller, Tobias Muller, Jürgen Zimmer, Jurgen Zimmer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver such as consistency...
Practical Investigation of Constraints with Graph Views (1999)
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the problem at hand and...
Finite set constraints in Oz (1997)
We report on the extension of the concurrent constraint language Oz by constraints over finite sets of integers. Set constraints are an important addition to the constraint programming system Oz and...
Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving (1997)
Tobias Müller, Faculteit Wiskunde
This thesis describes an attempt to employ conceptual graphs in a new way. In the past conceptual graphs have always been regarded as existentially quantified logic sentences. The intuition that...
Finite Set Constraints in Oz (1997)
Tobias Müller, Martin Müller, Forschungsbereich Programmiersysteme
We report on the extension of the concurrent constraint language Oz by constraints over finite sets of integers. Set constraints are an important addition to the constraint programming system Oz and...
Finite set constraints in Oz (1997)
Tobias Müller, Martin Müller, Forschungsbereich Programmiersysteme
We report on the extension of the concurrent constraint language Oz by constraints over finite sets of integers. Set constraints are an important addition to the constraint programming system Oz and...
A survey on finite domain programming in Oz (1996)
This paper describes the finite domain system embedded in Oz, a higher-order concurrent constraint language with encapsulated search. The novel aspect of Oz described here is the integration of an...
Multiparadigm programming in Oz (1995)
Martin Müller, Tobias Müller, Peter Van Roy
The foundation of Prolog's success is the high abstraction level of its declarative subset, namely first-order Horn clause logic with SLDNF resolution. What's missing from Prolog is that...
Gert Smolka, Ralf Treinen, Michael Mehl, Michael Mehl, Tobias Müller, ...
DFKI Oz is an interactive implementation of Oz, a high-level programming language designed for concurrent symbolic computation. DFKI Oz features a programming interface based on GNU Emacs, a...
Michael Mehl, Tobias Müller, Konstantin Popov, Ralf Scheidhauer
DFKI Oz is an interactive implementation of Oz, a high-level programming language designed for concurrent symbolic computation. DFKI Oz features a programming interface based on GNU Emacs, a...
Multiparadigm Programming in Oz (1995)
Intelligenz Gmbh, Martin M Uller, Martin M Uller, Tobias M Uller, Tobias M Uller, Martin Müller, ...
The foundation of Prolog's success is the high abstraction level of its declarative subset, namely first-order Horn clause logic with SLDNF resolution. What's missing from Prolog is that...
Gert Smolka, Martin Müller, Martin Muller, Tobias Müller, Tobias Muller, ...
Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This document describes a number of DFKI Oz demo applications chosen from domains Oz has been...
Constraint Programming in Oz (1994)
Tobias Müller, Konstantin Popov, Christian Schulte, Jörg Würtz
Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This report gives a tutorial introduction to constraint programming in Oz. We discuss finite domain...
Immigration, distribution des revenus et bien-être social
This paper explores the consequences of immigration for aggregate income and income distribution. On the one hand, immigration generally increases the residents' aggregate income, on the other hand,...
Müller, Tobias, Dürk, Thorsten, Blumenthal, Britta, Grimm, Melanie, Cicko, Sanja, Panther, Elisabeth, ...
Beside its well described role in the central and peripheral nervous system 5-hydroxytryptamine (5-HT), commonly known as serotonin, is also a potent immuno-modulator. Serotoninergic receptors...
Identifying functional modules in protein–protein interaction networks: an integrated exact approach
Dittrich, Marcus T., Klau, Gunnar W., Rosenwald, Andreas, Dandekar, Thomas, Müller, Tobias
Motivation: With the exponential growth of expression and protein–protein interaction (PPI) data, the frontier of research in systems biology shifts more and more to the integrated analysis of...
Engelmann, Julia C., Schwarz, Roland, Blenk, Steffen, Friedrich, Torben, Seibel, Philipp N., Dandekar, Thomas, ...
Over the past years, microarray databases have increased rapidly in size. While they offer a wealth of data, it remains challenging to integrate data arising from different studies. Here we propose...
Detecting species-site dependencies in large multiple sequence alignments
Schwarz, Roland, Seibel, Philipp N., Rahmann, Sven, Schoen, Christoph, Huenerberg, Mirja, Müller-Reible, Clemens, ...
Multiple sequence alignments (MSAs) are one of the most important sources of information in sequence analysis. Many methods have been proposed to detect, extract and visualize their most significant...