| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster |
Preface.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster |
A predicative completion of a uniform space.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Perdry, Peter Schuster |
Noetherian orders.  |
Mathematical Structures in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Peter Schuster |
On the contrapositive of countable choice.  |
Arch. Math. Log.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Lethal mutagenesis, error thresholds, and the fight against viruses: Rigorous modeling is facilitated by a firm physical background.  |
Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Power laws in biology: Between fundamental regularities and useful interpolation rules.  |
Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Networks in biology: Handling biological complexity requires novel inputs into network theory.  |
Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Is there a Newton of the blade of grass? : The Complex Relation Between Mathematics, Physics, and Biology.  |
Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Problems, solutions, and completions.  |
J. Log. Algebr. Program.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Diener, Peter Schuster |
On Choice Principles and Fan Theorems.  |
J. UCS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster |
Contingeny and memory in evolution : High dimensionality and sparse occupation create history in complex systems.  |
Complexity  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Origins of life: Concepts, data, and debates : Managing complexity seems to be essential for studies on chemical evolution.  |
Complexity  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Henri Lombardi, Peter Schuster |
Spectral schemes as ringed lattices.  |
Ann. Math. Artif. Intell.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Free will, information, quantum mechanics, and biology : It pays to distinguish different forms of free choice and information.  |
Complexity  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Diener, Peter Schuster |
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis.  |
CCA  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta |
Apartness, compactness and nearness.  |
Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe |
Editorial: Math. Log. Quart. 1/2008.  |
Math. Log. Q.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
The Zariski spectrum as a formal geometry.  |
Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Peter Schuster |
A continuity principle, a version of Baire's theorem and a boundedness principle.  |
J. Symb. Log.  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Radka Svobodová Vareková, Ivan Bradác, Martin Plchút, Michal Skrdla, Michael Wacenovsky, Helmuth Mahr, Georg Mayer, Herbert Tanner, Hermann Brugger, Josef Withalm, Peter Lederer, Heinrich Huber, Gerhard Gierlinger, Ronald Graf, Hakim Tafer, Ivo L. Hofacker, Peter Schuster, Martin Polcík |
www.rnaworkbench.com: A new program for analyzing RNA interference.  |
Computer Methods and Programs in Biomedicine  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Are there recipes for how to handle complexity? : Biological evolution creates complex entities and knows how to master them.  |
Complexity  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Editorial remarks.  |
Complexity  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Corrigendum to "Unique solutions".  |
Math. Log. Q.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Nonlinear dynamics from physics to biology.  |
Complexity  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
A beginning of the end of the holism versus reductionism debate?: Molecular biology goes cellular and organismic.  |
Complexity  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Lu, Heinz W. Engl, Rainer Machné, Peter Schuster |
Inverse Bifurcation Analysis of a Model for the Mammalian G 1/ S Regulatory Module.  |
BIRD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Problems as Solutions.  |
CiE  |
2007 |
DBLP DOI BibTeX RDF |
uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics |
| 1 | Peter Schuster |
Unique solutions.  |
Math. Log. Q.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea, Peter Schuster |
Ideals in constructive Banach algebra theory.  |
J. Complexity  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Phillipson, Peter Schuster |
Analytical Dynamics of Neuron Pulse Propagation.  |
I. J. Bifurcation and Chaos  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster |
Binary Refinement Implies Discrete Exponentiation.  |
Studia Logica  |
2006 |
DBLP DOI BibTeX RDF |
Constructive set theory, Exponentiation axiom |
| 1 | Josef Berger, Peter Schuster |
Classifying Dini's Theorem.  |
Notre Dame Journal of Formal Logic  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges, Peter Schuster |
The fan theorem and unique existence of maxima.  |
J. Symb. Log.  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta |
Quasi-apartness and neighbourhood spaces.  |
Ann. Pure Appl. Logic  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Formal Zariski topology: Positivity and points.  |
Ann. Pure Appl. Logic  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Lu, Heinz W. Engl, Peter Schuster |
Inverse bifurcation analysis: application to simple gene systems.  |
Algorithms for Molecular Biology  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Boltzmann, atomism, evolution, and statistics: Continuity versus discreteness in biology.  |
Complexity  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Untamable curiosity, innovation, discovery, and bricolage: Are we doomed to progress to ever increasing complexity?  |
Complexity  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster, Júlia Zappe |
Do Noetherian Modules Have Noetherian Basis Functions?.  |
CiE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Phillipson, Peter Schuster |
A Comparative Study of the Hodgkin-huxley and Fitzhugh-nagumo Models of Neuron Pulse Propagation.  |
I. J. Bifurcation and Chaos  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Crosilla, Hajime Ishihara, Peter Schuster |
On constructing completions.  |
J. Symb. Log.  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster |
What is Continuity, Constructively?  |
J. UCS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta |
Strong continuity implies uniform sequential continuity.  |
Arch. Math. Log.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
"Less is more" and the art of modeling complex phenomena: Simplification may but need not be the key to handle large networks.  |
Complexity  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
The commons' tragicomedy: Self-governance doesn't come easily.  |
Complexity  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Evolution and design: The Darwinian view of evolution is a scientific fact and not an ideology.  |
Complexity  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Generation of information and complexity: Different forms of learning and innovation: A simple mechanism of learning.  |
Complexity  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta |
Compactness in apartness spaces?  |
Spatial Representation  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thierry Coquand, Henri Lombardi, Peter Schuster |
A Nilregular Element Property.  |
Mathematics, Algorithms, Proofs  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster |
Evolution in Simple Systems and the Emergence of Complexity.  |
Web Intelligence  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea, Peter Schuster |
Ideals in Constructive Banach Algebra Theory.  |
CCA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster |
Invited Talk: Landscapes in RNA folding and evolution.  |
German Conference on Bioinformatics  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hajime Ishihara, Peter Schuster |
Compactness under constructive scrutiny.  |
Math. Log. Q.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Phillipson, Peter Schuster |
An Analytic Picture of Neuron oscillations.  |
I. J. Bifurcation and Chaos  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster, John L. Casti |
Notice of Retraction and Apology.  |
Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
The disaster of central control.  |
Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Chemical reaction kinetics is back: Attempts to deal with complexity in biology: Developing a quantitative molecular view to understanding life.  |
Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster, Alfred W. Hübler |
Good-bye and thank you to our complexity-at-large editors.  |
Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Unique existence, approximate solutions, and countable choice.  |
Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Peter Schuster, Luminita Vîta |
Apartness, Topology, and Uniformity: a Constructive View.  |
Math. Log. Q.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Phillipson, Peter Schuster |
Bistability of Harmonically Forced Relaxation oscillations.  |
I. J. Bifurcation and Chaos  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster |
Compactness and Continuity, Constructively Revisited.  |
CSL  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter M. Schuster |
A Constructive Look at Generalised Cauchy Reals.  |
Math. Log. Q.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Principles of Biopolymer Evolution.  |
German Conference on Bioinformatics  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster |
Elementary Choiceless Constructive Analysis.  |
CSL  |
2000 |
DBLP DOI BibTeX RDF |
Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis |
| 1 | Douglas S. Bridges, Fred Richman, Peter Schuster |
Linear Independence without Choice.  |
Ann. Pure Appl. Logic  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo L. Hofacker, Peter Schuster, Peter F. Stadler |
Combinatorics of RNA Secondary Structures.  |
Discrete Applied Mathematics  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Modeling Molecular Evolution - A Challenge for Bioinformatics.  |
German Conference on Bioinformatics  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Göbel, Christian V. Forst, Peter Schuster |
Structural Constraints and Neutrality in RNA.  |
German Conference on Bioinformatics  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Göbel, Christian V. Forst, Peter Schuster |
Structural Constraints and Neutrality in RNA.  |
German Conference on Bioinformatics - Selected Papers  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Artificial Life and Molecular Evolutionary Biology.  |
ECAL  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster, Peter F. Stadler |
Landscapes: Complex Optimization Problems and Biopolymer Structures.  |
Computers & Chemistry  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Optimization and Complexity in Molecular Biology and Physics.  |
Parallelism, Learning, Evolution  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Hartmann, Peter Schuster |
Multiplicative Complexity of some Rational Functions.  |
Theor. Comput. Sci.  |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.  |
Komplexität von Entscheidungsproblemen 1976  |
1976 |
DBLP DOI BibTeX RDF |
|