Frank Stephan
YOU?
Author Swipe
View article: Languages of Words of Low Automatic Complexity Are Hard to Compute
Languages of Words of Low Automatic Complexity Are Hard to Compute Open
The automatic complexity of a finite word (string) is an analogue for finite automata of Sipser's distinguishing complexity (1983) and was introduced by Shallit and Wang (2001). For a finite alphabet $Σ$ of at least two elements, we consid…
View article: IMPROVED LOWER BOUNDS FOR STRONG <i>n</i>-CONJECTURES
IMPROVED LOWER BOUNDS FOR STRONG <i>n</i>-CONJECTURES Open
The well-known $abc$ -conjecture concerns triples $(a,b,c)$ of nonzero integers that are coprime and satisfy ${a+b+c=0}$ . The strong n -conjecture is a generalisation to n summands where integer solutions of the equation ${a_1 + \cdots + …
View article: First high peak and average power single-pass THz free-electron laser in operation
First high peak and average power single-pass THz free-electron laser in operation Open
We report on the operation of the first high peak and average power single-pass terahertz free-electron laser (THz FEL) based on a high-brightness photoinjector for developing a THz source for pump-probe experiments at advanced x-ray FELs …
View article: Strong $n$-conjectures over rings of integers
Strong $n$-conjectures over rings of integers Open
We study diophantine equations of the form ${a_1 + \ldots + a_n = 0}$ where the $a_i$'s are assumed to be coprime and to satisfy certain subsum conditions. We are interested in the limit superior of the qualities of the admissible solution…
View article: Quasi-Isometric Reductions between Infinite
Quasi-Isometric Reductions between Infinite Open
View article: A Faster Exact Algorithm to Count X3sat Solutions
A Faster Exact Algorithm to Count X3sat Solutions Open
View article: An Improved Algorithm for Sparse Instances of SAT
An Improved Algorithm for Sparse Instances of SAT Open
We show that the CNF satisfiability problem (SAT) can be solved in time $O^*(1.1199^{(d-2)n})$, where $d$ is either the maximum number of occurrences of any variable or the average number of occurrences of all variables if no variable occu…
View article: Classifying different criteria for learning algebraic structures
Classifying different criteria for learning algebraic structures Open
In the last years there has been a growing interest in the study of learning problems associated with algebraic structures. The framework we use models the scenario in which a learner is given larger and larger fragments of a structure fro…
View article: Improved lower bounds for strong $n$-conjectures
Improved lower bounds for strong $n$-conjectures Open
The well-known $abc$-conjecture concerns triples $(a,b,c)$ of non-zero integers that are coprime and satisfy ${a+b+c=0}$. The strong $n$-conjecture is a generalisation to $n$ summands where integer solutions of the equation ${a_1 + \ldots …
View article: Independence and Induction in Reverse Mathematics
Independence and Induction in Reverse Mathematics Open
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense mu…
View article: ETMR-25. UNRAVELING THE ROLE OF SHH SIGNALING PATHWAY IN RETINOBLASTOMA
ETMR-25. UNRAVELING THE ROLE OF SHH SIGNALING PATHWAY IN RETINOBLASTOMA Open
BACKGROUND Retinoblastoma (RB) is a pediatric cancer affecting the retina, often requiring surgical removal of one or both eyes due to the limited effectiveness of current treatments. There is an urgent need for advanced therapeutic strate…
View article: Randomness versus superspeedability
Randomness versus superspeedability Open
Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that…
View article: Languages Given by Finite Automata Over the Unary Alphabet
Languages Given by Finite Automata Over the Unary Alphabet Open
View article: Quasi-Isometric Reductions Between Infinite Strings
Quasi-Isometric Reductions Between Infinite Strings Open
This paper studies the recursion-theoretic aspects of large-scale geometries of infinite strings, a subject initiated by Khoussainov and Takisaka (2017). We investigate several notions of quasi-isometric reductions between recursive infini…
View article: On the Parameterized Complexity of Diverse SAT
On the Parameterized Complexity of Diverse SAT Open
We study the Boolean Satisfiability problem (SAT) in the framework of diversity, where one asks for multiple solutions that are mutually far apart (i.e., sufficiently dissimilar from each other) for a suitable notion of distance/dissimilar…
View article: Addition machines, automatic functions and open problems of Floyd and Knuth
Addition machines, automatic functions and open problems of Floyd and Knuth Open
View article: Supplementary Figure 2 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Supplementary Figure 2 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
PDF file - 323KB, Supplemental Figure 2. hMOB3 specifically interacts with MST1.
View article: Supplementary Figure 2 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Supplementary Figure 2 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
PDF file - 323KB, Supplemental Figure 2. hMOB3 specifically interacts with MST1.
View article: Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
View article: Data from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Data from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
New therapeutic targets are needed that circumvent inherent therapeutic resistance of glioblastoma multiforme (GBM). Here, we report such a candidate target in the uncharacterized adaptor protein hMOB3, which we show is upregulated in GBM.…
View article: Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
View article: Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Table 2 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
View article: Data from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Data from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Glioblastoma multiforme (GBM) is the most common aggressive brain cancer with a median survival of approximately 1 year. In a search for novel molecular targets that could be therapeutically developed, our kinome-focused microarray analysi…
View article: Supplementary Table 1 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Table 1 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Table 1 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
View article: Supplementary Figure 3 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Supplementary Figure 3 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
PDF file - 280KB, Supplemental Figure 3. hMOB3 negatively regulates MST1 apoptotic cleavage.
View article: Supplementary Materials and Methods, Figure Legends from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Supplementary Materials and Methods, Figure Legends from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
PDF file - 138KB
View article: Supplementary Figure 1 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme
Supplementary Figure 1 from hMOB3 Modulates MST1 Apoptotic Signaling and Supports Tumor Growth in Glioblastoma Multiforme Open
PDF file - 500KB, Supplemental Figure 1. Upregulation of hMOB3 in GBM and characterization of hMOB3 antibody and shRNAs.
View article: Data from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Data from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Glioblastoma multiforme (GBM) is the most common aggressive brain cancer with a median survival of approximately 1 year. In a search for novel molecular targets that could be therapeutically developed, our kinome-focused microarray analysi…
View article: Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Figures 1-4 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
View article: Supplementary Table 3 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma
Supplementary Table 3 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma Open
Supplementary Table 3 from MAP Kinase-Interacting Kinase 1 Regulates SMAD2-Dependent TGF-β Signaling Pathway in Human Glioblastoma